Compactifications and the Stone–Čech construction

Try

The one-point compactification of discrete N forces every continuous function extending to the added point to have an eventual limiting value. The parity function, alternating zero and one, cannot extend continuously to that compactification.

Stone–Čech uses a different compactification with a universal property: every continuous map from the original space to a compact Hausdorff target extends. The parity obstruction shows why one extra point is not enough for this stronger requirement.

Predict

Predict why all bounded continuous real-valued functions should appear as coordinates. If the construction remembers every such function, extending their values becomes automatic.

Predict what condition is needed for those coordinates to recover the original topology. Separating points alone gives injectivity. Separating a point from the complement of each neighborhood gives the stronger embedding property, just as in the metrization construction.

Experiment

Compare the two compactification goals.

Construction	Input hypothesis	Main property
One-point	Noncompact locally compact Hausdorff	Compactness after adding one point
Stone–Čech	Completely regular T₁	Extension to every compact Hausdorff target
Already compact Hausdorff X	Either appropriate construction viewpoint	No extra points in βX

A compactification here means a dense topological embedding into a compact Hausdorff space. The original topology must be preserved on the embedded copy.

Understand

A completely regular T₁ space separates each point x from a closed set F not containing it by a continuous function to [0,1], equal to one at x and zero on F. Normal T₁ spaces satisfy this by Urysohn, but complete regularity is the condition needed for the construction.

Let C be the set of all continuous maps X→[0,1]. Define evaluation e(x)=(f(x)) indexed by f∈C. It is continuous coordinatewise. Complete regularity separates points using closed singletons, so e is injective. For each neighborhood U of x, choose a function one at x and zero outside U; a coordinate neighborhood around one pulls back inside U. Thus e is a homeomorphism onto its image.

Define βX as the closure of e(X) in the cube [0,1]^C. Tychonoff makes the cube compact, and coordinate separation makes it Hausdorff. The closure is therefore compact Hausdorff and contains a dense copy of X.

For the universal property, let f:X→K be continuous with K compact Hausdorff. Such K is normal, hence completely regular, and embeds into its own evaluation cube. Every coordinate h of that cube gives h∘f on X, already one of the source coordinates. These coordinates extend to βX and define a continuous map into the target cube. Its values lie in the closed embedded K because the preimage of K contains dense e(X). Composing with the inverse embedding gives the desired extension. Two extensions agree on the dense copy of X and must agree everywhere because the target is Hausdorff.

Apply

Prove the uniqueness statement using disjoint target neighborhoods: if two values differ at a point, continuity gives a source neighborhood where the values remain in disjoint neighborhoods; density supplies a point of agreement there, a contradiction.

Repair “βX is just X with one infinity point.” For discrete N, parity extends to βN by the universal property but cannot extend to the one-point compactification. The constructions therefore cannot be equivalent while preserving the original embedded N.

Continue

The construction depends on product compactness and hence the stated choice framework; it is not produced by enumerating finitely many test functions. Optional depth: prove that any compact Hausdorff compactification of X receives a unique continuous map from βX restricting to the identity copy of X, by applying the universal property to that embedding.