TOPICS
Search

Compactification


A Hausdorff compactification of a topological space X is a compact T2-space Y in which X is embedded as a dense subspace. A noncompact locally compact T2-space has a one-point compactification, which is its smallest Hausdorff compactification in the usual domination order. For example, the real line is densely embedded in the circle by adding a point at infinity. Similarly, adding one point at infinity compactifies the plane to the sphere.

A topological space X has a Hausdorff compactification iff it is completely regular and a T1-space. The Hausdorff one-point compactification requires the space to be locally compact; it does not exist for every such space.

The extended real line R union {-infty,infty} with the order topology is a two point compactification of R. The projective plane can be viewed as a compactification of the plane.


See also

Compact Set, One-Point Compactification, Stereographic Projection, Topological Space

Portions of this entry contributed by Todd Rowland

Portions of this entry contributed by Allan Cortzen

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W., with contributions by Todd Rowland and Allan Cortzen. "Compactification." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Compactification.html

Subject classifications