Stone–Čech compactification

E679313

compactification functor topological construction universal construction

The Stone–Čech compactification is a construction in topology that associates to any topological space a universal, maximally extensive compact Hausdorff space into which it densely embeds.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (4)

Label	Occurrences
Stone–Čech compactification canonical	5
Čech–Stone compactification	3
Stone–Čech remainder construction	1
Stone–Čech remainder βX\X	1

How this entity was disambiguated

This entity first appeared as the object of triple T7648137 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Stone–Čech compactification
Context triple: [Alexandrov compactification, relatedConcept, Stone–Čech compactification]

A. Alexandrov compactification
The Alexandrov compactification is a topological construction that adds a single “point at infinity” to a non-compact space to make it compact.
B. Tychonoff theorem for products of compact spaces
The Tychonoff theorem for products of compact spaces is a fundamental result in topology stating that any product of compact topological spaces is compact, a statement that is equivalent in strength to the axiom of choice.
C. Alexandrov–Hausdorff theorem
The Alexandrov–Hausdorff theorem is a result in descriptive set theory that characterizes analytic sets as continuous images of Baire space, playing a key role in the study of definable sets in Polish spaces.
D. Alexandrov–Čech cohomology
Alexandrov–Čech cohomology is a topological cohomology theory that computes invariants of spaces using inverse limits over open covers, closely related to and often coinciding with sheaf cohomology.
E. Hausdorff
Hausdorff is a topological separation property requiring that any two distinct points in a space can be enclosed in disjoint open sets.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Stone–Čech compactification
Target entity description: The Stone–Čech compactification is a construction in topology that associates to any topological space a universal, maximally extensive compact Hausdorff space into which it densely embeds.

A. Alexandrov compactification
The Alexandrov compactification is a topological construction that adds a single “point at infinity” to a non-compact space to make it compact.
B. Tychonoff theorem for products of compact spaces
The Tychonoff theorem for products of compact spaces is a fundamental result in topology stating that any product of compact topological spaces is compact, a statement that is equivalent in strength to the axiom of choice.
C. Alexandrov–Hausdorff theorem
The Alexandrov–Hausdorff theorem is a result in descriptive set theory that characterizes analytic sets as continuous images of Baire space, playing a key role in the study of definable sets in Polish spaces.
D. Alexandrov–Čech cohomology
Alexandrov–Čech cohomology is a topological cohomology theory that computes invariants of spaces using inverse limits over open covers, closely related to and often coinciding with sheaf cohomology.
E. Hausdorff
Hausdorff is a topological separation property requiring that any two distinct points in a space can be enclosed in disjoint open sets.
F. None of above. chosen

Statements (47)

Predicate	Object
instanceOf	compactification ⓘ functor ⓘ topological construction ⓘ universal construction ⓘ
alsoKnownAs	Stone–Čech remainder construction ⓘ linked to: Stone–Čech compactification
appliesTo	Tychonoff spaces ⓘ linked to: Tychonoff space completely regular spaces ⓘ
area	category theory ⓘ general topology ⓘ
characterization	can be described as the maximal ideal space of C_b(X) ⓘ can be described via ultrafilters on X ⓘ
codomain	compact Hausdorff spaces ⓘ
constructionMethod	via maximal ideals of C_b(X) ⓘ via ultrafilters on the underlying set of X ⓘ
constructionOf	a compact Hausdorff space βX containing X densely ⓘ
domain	topological spaces ⓘ
feature	βX contains X as a dense subspace ⓘ βX is Hausdorff ⓘ βX is compact ⓘ βX is extremally disconnected for certain X ⓘ βX is unique up to homeomorphism ⓘ
field	topology ⓘ
hasComponent	Stone–Čech remainder βX\X ⓘ linked to: Stone–Čech compactification
historicalPeriod	20th century mathematics ⓘ
maps	a continuous map f:X→Y to a continuous map βf:βX→βY ⓘ
minimalityProperty	βX is the largest compactification of X in the sense of continuous maps ⓘ
namedAfter	Eduard Čech ⓘ Marshall Harvey Stone ⓘ linked to: Marshall H. Stone
preserves	products up to natural homeomorphism for Tychonoff spaces ⓘ
property	extends continuous maps uniquely ⓘ gives a dense embedding of the original space ⓘ is functorial on the category of topological spaces ⓘ is universal among compact Hausdorff extensions ⓘ
relatedConcept	Alexandroff one-point compactification ⓘ linked to: Alexandrov compactification C-algebra of continuous bounded functions ⓘ Gelfand duality ⓘ linked to: Gelfand representation of commutative C-algebras ultrafilter ⓘ Čech–Stone compactification ⓘ linked to: Stone–Čech compactification
specialCase	one-point compactification for certain locally compact spaces ⓘ
symbol	βX ⓘ
universalProperty	every continuous map from X to a compact Hausdorff space factors uniquely through βX ⓘ
usedIn	Ramsey theory ⓘ functional analysis ⓘ nonstandard analysis ⓘ semigroup theory ⓘ set-theoretic topology ⓘ topological dynamics ⓘ

How these facts were elicited

Referenced by (10)

Full triples — surface form annotated when it differs from this entity's canonical label.

Alexandrov compactification → relatedConcept → Stone–Čech compactification ⓘ

Marshall H. Stone → notableWork → Stone–Čech compactification ⓘ

Marshall H. Stone → knownFor → Stone–Čech compactification ⓘ

Stone–Čech compactification → alsoKnownAs → Stone–Čech remainder construction ⓘ