Compactification (mathematics)

In mathematics, in general topology, compactification is the process or result of making a topological space into a compact space. A compact space is a space in which every open cover of the space contains a finite subcover. The methods of compactification are various, but each is a way of controlling points from "going off to infinity" by in some way adding "points at infinity" or preventing such an "escape". Consider the real line with its ordinary topology. This space is not compact; in a sense, points can go off to infinity to the left or to the right. It is possible to turn the real line into a compact space by adding a single "point at infinity" which we will denote by ∞. The resulting compactification can be thought of as a circle (which is compact as a closed and bounded subset of the Euclidean plane). Every sequence that ran off to infinity in the real line will then converge to ∞ in this compactification. The direction in which a number approaches infinity on the number line (either in the - direction or + direction) is still preserved on the circle; for if a number approaches towards infinity from the - direction on the number line, then the corresponding point on the circle can approach ∞ from the left for example. Then if a number approaches infinity from the + direction on the number line, then the corresponding point on the circle can approach ∞ from the right. Intuitively, the process can be pictured as follows: first shrink the real line to the open interval (−pi, pi) on the x-axis; then bend the ends of this interval upwards (in positive y-direction) and move them towards each other, until you get a circle with one point (the topmost one) missing. This point is our new point ∞ "at infinity"; adding it in completes the compact circle. A bit more formally: we represent a point on the unit circle by its angle, in radians, going from −pi to pi for simplicity. Identify each such point θ on the circle with the corresponding point on the real line tan(θ/2).

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (1)

Related concepts (27)

Related courses (1)

Related lectures (5)

Invariance of Domain

Delves into the invariance of domain theorem, proving that a subset homeomorphic to an open subset is open itself, with implications for embeddings and homeomorphisms.

Elliptic Curves: Group Structure and Isomorphism

Explores the group structure and isomorphism of elliptic curves, including inverses, associativity, and compactification to the torus.

Modular curves: Riemann surfaces and transition maps

Covers modular curves as compact Riemann surfaces, explaining their topology, construction of holomorphic charts, and properties.

Hecke modifications, wonderful compactifications and moduli of principal bundles

Michael Lennox Wong

In this paper we obtain parametrizations of the moduli space of principal bundles over a compact Riemann surface using spaces of Hecke modifications in several cases. We begin with a discussion of Hec

Scuola Normale Superiore2013

Non-positive curvature is a fundamental aspect of geometry appearing in Euclidean spaces, hyperbolic spaces, trees, buildings and many more spaces. We study it with the general but powerful tool of CA

In elementary mathematics, a number line is a picture of a graduated straight line that serves as visual representation of the real numbers. Every point of a number line is assumed to correspond to a real number, and every real number to a point. The integers are often shown as specially-marked points evenly spaced on the line. Although the image only shows the integers from –3 to 3, the line includes all real numbers, continuing forever in each direction, and also numbers that are between the integers.

In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space. More precisely, it is a topological space in which every point has a compact neighborhood. In mathematical analysis locally compact spaces that are Hausdorff are of particular interest; they are abbreviated as LCH spaces. Let X be a topological space. Most commonly X is called locally compact if every point x of X has a compact neighbourhood, i.