In mathematics, in general topology, **compactification** is the process or result of making a topological space into a compact space.^{ [1] } 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.

Intuitively, the process can be pictured as follows: first shrink the real line to the open interval (-π,π) 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 -π to π for simplicity. Identify each such point θ on the circle with the corresponding point on the real line tan(θ/2). This function is undefined at the point π, since tan(π/2) is undefined; we will identify this point with our point ∞.

Since tangents and inverse tangents are both continuous, our identification function is a homeomorphism between the real line and the unit circle without ∞. What we have constructed is called the *Alexandroff one-point compactification* of the real line, discussed in more generality below. It is also possible to compactify the real line by adding *two* points, +∞ and -∞; this results in the extended real line.

An embedding of a topological space *X* as a dense subset of a compact space is called a **compactification** of *X*. It is often useful to embed topological spaces in compact spaces, because of the special properties compact spaces have.

Embeddings into compact Hausdorff spaces may be of particular interest. Since every compact Hausdorff space is a Tychonoff space, and every subspace of a Tychonoff space is Tychonoff, we conclude that any space possessing a Hausdorff compactification must be a Tychonoff space. In fact, the converse is also true; being a Tychonoff space is both necessary and sufficient for possessing a Hausdorff compactification.

The fact that large and interesting classes of non-compact spaces do in fact have compactifications of particular sorts makes compactification a common technique in topology.

For any noncompact topological space *X* the (**Alexandroff**) **one-point compactification** α*X* of *X* is obtained by adding one extra point ∞ (often called a *point at infinity*) and defining the open sets of the new space to be the open sets of *X* together with the sets of the form *G* ∪ {∞}, where *G* is an open subset of *X* such that *X* \ *G* is closed and compact. The one-point compactification of *X* is Hausdorff if and only if *X* is Hausdorff, noncompact and locally compact.^{ [2] }

Of particular interest are Hausdorff compactifications, i.e., compactifications in which the compact space is Hausdorff. A topological space has a Hausdorff compactification if and only if it is Tychonoff. In this case, there is a unique (up to homeomorphism) "most general" Hausdorff compactification, the Stone–Čech compactification of *X*, denoted by β*X*; formally, this exhibits the category of Compact Hausdorff spaces and continuous maps as a reflective subcategory of the category of Tychonoff spaces and continuous maps.

"Most general" or formally "reflective" means that the space β*X* is characterized by the universal property that any continuous function from *X* to a compact Hausdorff space *K* can be extended to a continuous function from β*X* to *K* in a unique way. More explicitly, β*X* is a compact Hausdorff space containing *X* such that the induced topology on *X* by β*X* is the same as the given topology on *X*, and for any continuous map *f*:*X* → *K*, where *K* is a compact Hausdorff space, there is a unique continuous map *g*:β*X* → *K* for which *g* restricted to *X* is identically *f*.

The Stone–Čech compactification can be constructed explicitly as follows: let *C* be the set of continuous functions from *X* to the closed interval [0,1]. Then each point in *X* can be identified with an evaluation function on *C*. Thus *X* can be identified with a subset of [0,1]^{C}, the space of *all* functions from *C* to [0,1]. Since the latter is compact by Tychonoff's theorem, the closure of *X* as a subset of that space will also be compact. This is the Stone–Čech compactification.^{ [3] }^{ [4] }

Walter Benz and Isaak Yaglom have shown how stereographic projection onto a single-sheet hyperboloid can be used to provide a compactification for split complex numbers. In fact, the hyperboloid is part of a quadric in real projective four-space. The method is similar to that used to provide a base manifold for group action of the conformal group of spacetime.^{ [5] }

Real projective space **RP**^{n} is a compactification of Euclidean space **R**^{n}. For each possible "direction" in which points in **R**^{n} can "escape", one new point at infinity is added (but each direction is identified with its opposite). The Alexandroff one-point compactification of **R** we constructed in the example above is in fact homeomorphic to **RP**^{1}. Note however that the projective plane **RP**^{2} is *not* the one-point compactification of the plane **R**^{2} since more than one point is added.

Complex projective space **CP**^{n} is also a compactification of **C**^{n}; the Alexandroff one-point compactification of the plane **C** is (homeomorphic to) the complex projective line **CP**^{1}, which in turn can be identified with a sphere, the Riemann sphere.

Passing to projective space is a common tool in algebraic geometry because the added points at infinity lead to simpler formulations of many theorems. For example, any two different lines in **RP**^{2} intersect in precisely one point, a statement that is not true in **R**^{2}. More generally, Bézout's theorem, which is fundamental in intersection theory, holds in projective space but not affine space. This distinct behavior of intersections in affine space and projective space is reflected in algebraic topology in the cohomology rings – the cohomology of affine space is trivial, while the cohomology of projective space is non-trivial and reflects the key features of intersection theory (dimension and degree of a subvariety, with intersection being Poincaré dual to the cup product).

Compactification of moduli spaces generally require allowing certain degeneracies – for example, allowing certain singularities or reducible varieties. This is notably used in the Deligne–Mumford compactification of the moduli space of algebraic curves.

In the study of discrete subgroups of Lie groups, the quotient space of cosets is often a candidate for more subtle **compactification** to preserve structure at a richer level than just topological.

For example, modular curves are compactified by the addition of single points for each cusp, making them Riemann surfaces (and so, since they are compact, algebraic curves). Here the cusps are there for a good reason: the curves parametrize a space of lattices, and those lattices can degenerate ('go off to infinity'), often in a number of ways (taking into account some auxiliary structure of *level*). The cusps stand in for those different 'directions to infinity'.

That is all for lattices in the plane. In *n*-dimensional Euclidean space the same questions can be posed, for example about SO(n)\SL_{n}(**R**)/SL_{n}(**Z**). This is harder to compactify. There are a variety of compactifications, such as the Borel–Serre compactification, the reductive Borel-Serre compactification, and the Satake compactifications, that can be formed.

- The theories of ends of a space and prime ends.
- Some 'boundary' theories such as the collaring of an open manifold, Martin boundary, Shilov boundary and Furstenberg boundary.
- The Bohr compactification of a topological group arises from the consideration of almost periodic functions.
- The projective line over a ring for a topological ring may compactify it.
- The Baily–Borel compactification of a quotient of a Hermitian symmetric space.
- The wonderful compactification of a quotient of algebraic groups.
- The compactifications that are simultaneously convex subsets in a locally convex space are called convex compactifications, their additional linear structure allowing e.g. for developing a differential calculus and more advanced considerations e.g. in relaxation in variational calculus or optimization theory.
^{ [6] }

In mathematics, more specifically in general topology, **compactness** is a property that generalizes the notion of a subset of Euclidean space being closed and bounded. Examples include a closed interval, a rectangle, or a finite set of points. This notion is defined for more general topological spaces than Euclidean space in various ways.

In topology and related branches of mathematics, **Tychonoff spaces** and **completely regular spaces** are kinds of topological spaces. These conditions are examples of separation axioms.

This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also fundamental to algebraic topology, differential topology and geometric topology.

In topology and related branches of mathematics, a **normal space** is a topological space *X* that satisfies **Axiom T _{4}**: every two disjoint closed sets of

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.

In mathematics, the **real line**, or **real number line** is the line whose points are the real numbers. That is, the real line is the set **R** of all real numbers, viewed as a geometric space, namely the Euclidean space of dimension one. It can be thought of as a vector space, a metric space, a topological space, a measure space, or a linear continuum.

In the mathematical discipline of general topology, **Stone–Čech compactification** is a technique for constructing a universal map from a topological space *X* to a compact Hausdorff space *βX*. The Stone–Čech compactification *βX* of a topological space *X* is the largest, most general compact Hausdorff space "generated" by *X*, in the sense that any continuous map from *X* to a compact Hausdorff space factors through *βX*. If *X* is a Tychonoff space then the map from *X* to its image in *βX* is a homeomorphism, so *X* can be thought of as a (dense) subspace of *βX*; every other compact Hausdorff space that densely contains *X* is a quotient of *βX*. For general topological spaces *X*, the map from *X* to *βX* need not be injective.

In the mathematical field of topology, the **Alexandroff extension** is a way to extend a noncompact topological space by adjoining a single point in such a way that the resulting space is compact. It is named for the Russian mathematician Pavel Alexandroff. More precisely, let *X* be a topological space. Then the Alexandroff extension of *X* is a certain compact space *X** together with an open embedding *c* : *X* → *X** such that the complement of *X* in *X** consists of a single point, typically denoted ∞. The map *c* is a Hausdorff compactification if and only if *X* is a locally compact, noncompact Hausdorff space. For such spaces the Alexandroff extension is called the **one-point compactification** or **Alexandroff compactification**. The advantages of the Alexandroff compactification lie in its simple, often geometrically meaningful structure and the fact that it is in a precise sense minimal among all compactifications; the disadvantage lies in the fact that it only gives a Hausdorff compactification on the class of locally compact, noncompact Hausdorff spaces, unlike the Stone–Čech compactification which exists for any topological space, a much larger class of spaces.

In mathematics, **Tychonoff's theorem** states that the product of any collection of compact topological spaces is compact with respect to the product topology. The theorem is named after Andrey Nikolayevich Tikhonov, who proved it first in 1930 for powers of the closed unit interval and in 1935 stated the full theorem along with the remark that its proof was the same as for the special case. The earliest known published proof is contained in a 1937 paper of Eduard Čech.

In mathematics, **general topology** is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology. Another name for general topology is **point-set topology**.

In mathematics, an **order topology** is a certain topology that can be defined on any totally ordered set. It is a natural generalization of the topology of the real numbers to arbitrary totally ordered sets.

**Pavel Sergeyevich Alexandrov**, sometimes romanized *Paul Alexandroff*, was a Soviet mathematician. He wrote about three hundred papers, making important contributions to set theory and topology. In topology, the Alexandroff compactification and the Alexandrov topology are named after him.

In mathematics, the **Bohr compactification** of a topological group *G* is a compact Hausdorff topological group *H* that may be canonically associated to *G*. Its importance lies in the reduction of the theory of uniformly almost periodic functions on *G* to the theory of continuous functions on *H*. The concept is named after Harald Bohr who pioneered the study of almost periodic functions, on the real line.

In mathematics, the **compact-open topology** is a topology defined on the set of continuous maps between two topological spaces. The compact-open topology is one of the commonly used topologies on function spaces, and is applied in homotopy theory and functional analysis. It was introduced by Ralph Fox in 1945.

* Counterexamples in Topology* is a book on mathematics by topologists Lynn Steen and J. Arthur Seebach, Jr.

In mathematics, in the field of topology, a topological space is said to be **realcompact** if it is completely regular Hausdorff and every point of its Stone–Čech compactification is real. Realcompact spaces have also been called **Q-spaces**, **saturated spaces**, **functionally complete spaces**, **real-complete spaces**, **replete spaces** and **Hewitt–Nachbin spaces**. Realcompact spaces were introduced by Hewitt (1948).

**Johannes de Groot** was a Dutch mathematician, the leading Dutch topologist for more than two decades following World War II.

In mathematics, the **multiplier algebra**, denoted by *M*(*A*), of a C*-algebra *A* is a unital C*-algebra which is the largest unital C*-algebra that contains *A* as an ideal in a "non-degenerate" way. It is the noncommutative generalization of Stone–Čech compactification. Multiplier algebras were introduced by Busby (1968).

In mathematics, a **polyadic space** is a topological space that is the image under a continuous function of a topological power of an Alexandroff one-point compactification of a discrete topological space.

- ↑ Munkres, James R. (2000).
*Topology*(2nd ed.). Prentice Hall. ISBN 0-13-181629-2. - ↑ Alexandroff, Pavel S. (1924), "Über die Metrisation der im Kleinen kompakten topologischen Räume",
*Mathematische Annalen*,**92**(3–4): 294–301, doi:10.1007/BF01448011, JFM 50.0128.04 - ↑ Čech, Eduard (1937). "On bicompact spaces".
*Annals of Mathematics*.**38**(4): 823–844. doi:10.2307/1968839. hdl: 10338.dmlcz/100420 . JSTOR 1968839. - ↑ Stone, Marshall H. (1937), "Applications of the theory of Boolean rings to general topology",
*Transactions of the American Mathematical Society*,**41**(3): 375–481, doi: 10.2307/1989788 , JSTOR 1989788 - ↑ 15 parameter conformal group of spacetime described in
- ↑ Roubíček, T. (1997).
*Relaxation in Optimization Theory and Variational Calculus*. Berlin: W. de Gruyter. ISBN 3-11-014542-1.

This page is based on this Wikipedia article

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.