Completely regular spaces and the Stone-Cech compactification
[9/0%]If and for all in , show that .
Prove that a subset of a completely regular space is completely regular.
Fill in the details of the proof of Theorem 6.2 (Stone-Cech Compactification): if is completely regular, then there is a compact space such that
there is a continuous map with the property that is a homeomorphism;
is dense in ;
if , then there is a continuous map such that .
Moreover, if is a compact space having these properties, then is homeomorphic to .
If is completely regular, is compact, and is continuous, show that there is a continuous map such that .
If is completely regular, show that is open in if and only if is locally compact.
Let have the discrete topology. Let be an enumeration of the rational numbers in . Let the irrational numbers in and for each in let be a subsequence of such that . Show:
if and , is finite;
if for each in , the closure of in and , then are pairwise disjoint subsets of that are both open and closed.
Show that if is normal, , and there is a sequence in such that in , then . If is not normal, is the result still true?
Let be the space of all ordinals less than the first uncountable ordinal and give the order topology. Show that the one point compactification of . (You can find the pertinent definitions in Kelley [1955].)
If is completely regular, then is a -algebra and its maximal ideal space is the Stone--Cech compactification of .