Stone–Čech compactification
In the mathematical discipline of
A form of the axiom of choice is required to prove that every topological space has a Stone–Čech compactification. Even for quite simple spaces X, an accessible concrete description of βX often remains elusive. In particular, proofs that βX \ X is nonempty do not give an explicit description of any particular point in βX \ X.
The Stone–Čech compactification occurs implicitly in a paper by
).History
In the same 1930 article where Tychonoff defined completely regular spaces, he also proved that every Tychonoff space (i.e. Hausdorff completely regular space) has a Hausdorff compactification (in this same article, he also proved Tychonoff's theorem). In 1937, Čech extended Tychonoff's technique and introduced the notation βX for this compactification. Stone also constructed βX in a 1937 article, although using a very different method. Despite Tychonoff's article being the first work on the subject of the Stone–Čech compactification and despite Tychonoff's article being referenced by both Stone and Čech, Tychonoff's name is rarely associated with βX.[3]
Universal property and functoriality
The Stone–Čech compactification of the topological space X is a compact Hausdorff space βX together with a continuous map iX : X → βX that has the following
![The universal property of the Stone-Cech compactification expressed in diagram form.](http://upload.wikimedia.org/wikipedia/commons/thumb/d/dd/Stone_cech_diagram.svg/250px-Stone_cech_diagram.svg.png)
As is usual for universal properties, this universal property characterizes βX up to homeomorphism.
As is outlined in § Constructions, below, one can prove (using the axiom of choice) that such a Stone–Čech compactification iX : X → βX exists for every topological space X. Furthermore, the image iX(X) is dense in βX.
Some authors add the assumption that the starting space X be Tychonoff (or even
- The map from X to its image in βX is a homeomorphism if and only if X is Tychonoff.
- The map from X to its image in βX is a homeomorphism to an open subspace if and only if X is locally compact Hausdorff.
The Stone–Čech construction can be performed for more general spaces X, but in that case the map X → βX need not be a homeomorphism to the image of X (and sometimes is not even injective).
As is usual for universal constructions like this, the extension property makes β a
- Hom(βX, K) ≅ Hom(X, UK),
which means that β is
Examples
If X is a compact Hausdorff space, then it coincides with its Stone–Čech compactification.[5]
The Stone–Čech compactification of the first uncountable ordinal , with the order topology, is the ordinal . The Stone–Čech compactification of the
Constructions
Construction using products
One attempt to construct the Stone–Čech compactification of X is to take the closure of the image of X in
where the product is over all maps from X to compact Hausdorff spaces K (or, equivalently, the image of X by the right
Construction using the unit interval
One way of constructing βX is to let C be the set of all continuous functions from X into [0, 1] and consider the map where
This may be seen to be a continuous map onto its image, if [0, 1]C is given the product topology. By Tychonoff's theorem we have that [0, 1]C is compact since [0, 1] is. Consequently, the closure of X in [0, 1]C is a compactification of X.
In fact, this closure is the Stone–Čech compactification. To verify this, we just need to verify that the closure satisfies the appropriate universal property. We do this first for K = [0, 1], where the desired extension of f : X → [0, 1] is just the projection onto the f coordinate in [0, 1]C. In order to then get this for general compact Hausdorff K we use the above to note that K can be embedded in some cube, extend each of the coordinate functions and then take the product of these extensions.
The special property of the unit interval needed for this construction to work is that it is a cogenerator of the category of compact Hausdorff spaces: this means that if A and B are compact Hausdorff spaces, and f and g are distinct maps from A to B, then there is a map h : B → [0, 1] such that hf and hg are distinct. Any other cogenerator (or cogenerating set) can be used in this construction.
Construction using ultrafilters
Alternatively, if is discrete, then it is possible to construct as the set of all
Again we verify the universal property: For with compact Hausdorff and an ultrafilter on we have an ultrafilter base on the pushforward of This has a unique limit because is compact Hausdorff, say and we define This may be verified to be a continuous extension of
Equivalently, one can take the Stone space of the complete Boolean algebra of all subsets of as the Stone–Čech compactification. This is really the same construction, as the Stone space of this Boolean algebra is the set of ultrafilters (or equivalently prime ideals, or homomorphisms to the 2 element Boolean algebra) of the Boolean algebra, which is the same as the set of ultrafilters on
The construction can be generalized to arbitrary Tychonoff spaces by using
.)Construction using C*-algebras
The Stone–Čech compactification is naturally homeomorphic to the
The Stone–Čech compactification of the natural numbers
In the case where X is
As explained above, one can view βN as the set of
The study of βN, and in particular N*, is a major area of modern
These state:
- Every compact Hausdorff space of weightat most (see Aleph number) is the continuous image of N* (this does not need the continuum hypothesis, but is less interesting in its absence).
- If the continuum hypothesis holds then N* is the unique Parovicenko space, up to isomorphism.
These were originally proved by considering Boolean algebras and applying Stone duality.
Jan van Mill has described βN as a "three headed monster"—the three heads being a smiling and friendly head (the behaviour under the assumption of the continuum hypothesis), the ugly head of independence which constantly tries to confuse you (determining what behaviour is possible in different models of set theory), and the third head is the smallest of all (what you can prove about it in
An application: the dual space of the space of bounded sequences of reals
The Stone–Čech compactification βN can be used to characterize (the
Given a bounded sequence there exists a
We have defined an extension map from the space of bounded scalar valued sequences to the space of continuous functions over βN.
This map is bijective since every function in C(βN) must be bounded and can then be restricted to a bounded scalar sequence.
If we further consider both spaces with the sup norm the extension map becomes an isometry. Indeed, if in the construction above we take the smallest possible ball B, we see that the sup norm of the extended sequence does not grow (although the image of the extended function can be bigger).
Thus, can be identified with C(βN). This allows us to use the Riesz representation theorem and find that the dual space of can be identified with the space of finite Borel measures on βN.
Finally, it should be noticed that this technique generalizes to the L∞ space of an arbitrary measure space X. However, instead of simply considering the space βX of ultrafilters on X, the right way to generalize this construction is to consider the Stone space Y of the measure algebra of X: the spaces C(Y) and L∞(X) are isomorphic as C*-algebras as long as X satisfies a reasonable finiteness condition (that any set of positive measure contains a subset of finite positive measure).
A monoid operation on the Stone–Čech compactification of the naturals
The natural numbers form a monoid under addition. It turns out that this operation can be extended (generally in more than one way, but uniquely under a further condition) to βN, turning this space also into a monoid, though rather surprisingly a non-commutative one.
For any subset, A, of N and a positive integer n in N, we define
Given two ultrafilters F and G on N, we define their sum by
it can be checked that this is again an ultrafilter, and that the operation + is
is continuous.
More generally, if S is a semigroup with the discrete topology, the operation of S can be extended to βS, getting a right-continuous associative operation.[10]
See also
- Compactification (mathematics) – Embedding a topological space into a compact space as a dense subset
- Filters in topology – Use of filters to describe and characterize all basic topological notions and results.
- One-point compactification– Way to extend a non-compact topological space
- Wallman compactification – A compactification of T1 topological spaces
Notes
- ^ M. Henriksen, "Rings of continuous functions in the 1950s", in Handbook of the History of General Topology, edited by C. E. Aull, R. Lowen, Springer Science & Business Media, 2013, p. 246
- ^ Narici & Beckenstein 2011, p. 240.
- ^ Narici & Beckenstein 2011, pp. 225–273.
- ^ Munkres 2000, pp. 239, Theorem 38.4.
- ^ Munkres 2000, pp. 241.
- ISBN 978-3-642-61935-9.
- ^ W.W. Comfort, S. Negrepontis, The Theory of Ultrafilters, Springer, 1974.
- ^ This is Stone's original construction.
- ISBN 978-0-444-86580-9
- ISBN 978-3-11-025835-6.
References
- JSTOR 1968839
- Schwarz, Jacob T.(1988). Linear Operators part I:general theory (Wiley Classics ed.). John Wiley & Sons. p. 276.
- MR 1642231
- OCLC 42683260.
- Koshevnikova, I.G. (2001) [1994], "Stone-Čech compactification", Encyclopedia of Mathematics, EMS Press
- Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. OCLC 144216834.
- Shields, Allen (1987), "Years ago", S2CID 189886579
- Stone, Marshall H. (1937), "Applications of the theory of Boolean rings to general topology", JSTOR 1989788
- S2CID 124737286