Completely regular spaces and the Stone-Cech compactification

[9/0%]
LaTeX

If x∈Xx \in X and δx(f)=f(x)\delta_x(f) = f(x) for all ff in Cb(X)C_b(X), show that ∥δx∥=1\left\| \delta_x\right\| = 1.

?

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 XX is completely regular, then there is a compact space βX\beta X such that

?
(a)

there is a continuous map Δ:X→βX\Delta : X \to \beta X with the property that Δ:X→Δ(X)\Delta : X \to \Delta (X) is a homeomorphism;

(b)

Δ(X)\Delta (X) is dense in βX\beta X;

(c)

if f∈Cb(X)f \in C_b(X), then there is a continuous map fβ:βX→Ff^\beta : \beta X \to \mathbb {F} such that fβ∘Δ=ff^\beta \circ \Delta = f.

Moreover, if Ω\Omega is a compact space having these properties, then Ω\Omega is homeomorphic to βX\beta X.

If XX is completely regular, Ω\Omega is compact, and f:X→Ωf : X \to \Omega is continuous, show that there is a continuous map fβ:βX→Ωf^\beta : \beta X \to \Omega such that fβ∣X=ff^\beta | X = f.

?

If XX is completely regular, show that XX is open in βX\beta X if and only if XX is locally compact.

?

Let N\mathbb {N} have the discrete topology. Let {rn:n∈N}\left\{ r_n : n \in \mathbb {N} \right\} be an enumeration of the rational numbers in [0,1][0,1]. Let S=S = the irrational numbers in [0,1][0,1] and for each ss in SS let {rn:n∈Ns}\left\{ r_n : n \in N_s \right\} be a subsequence of {rn}\left\{ r_n \right\} such that s=lim⁡{rn:n∈Ns}s = \lim \left\{ r_n : n \in N_s \right\}. Show:

?
(a)

if s,t∈Ss, t \in S and s≠ts \neq t, Ns∩NtN_s \cap N_t is finite;

(b)

if for each ss in SS, \clNs=\cl N_s = the closure of NsN_s in βN\beta \mathbb {N} and As=(\clNs)∖NA_s = (\cl N_s) \setminus \mathbb {N}, then {As:s∈S}\left\{ A_s : s \in S \right\} are pairwise disjoint subsets of βN∖N\beta \mathbb {N} \setminus \mathbb {N} that are both open and closed.

Show that if XX is normal, τ∈βX\tau \in \beta X, and there is a sequence {xn}\left\{ x_n \right\} in XX such that xn→τx_n \to \tau in βX\beta X, then τ∈X\tau \in X. If XX is not normal, is the result still true?

?

Let XX be the space of all ordinals less than the first uncountable ordinal and give XX the order topology. Show that βX=\beta X = the one point compactification of XX. (You can find the pertinent definitions in Kelley [1955].)

?

If XX is completely regular, then Cb(X)C_b(X) is a C∗C^*-algebra and its maximal ideal space is the Stone--Cech compactification of XX.

?

References

[Con07] Conway J.B. A Course in Functional Analysis. 2nd ed., Springer, 2007.