Extremally disconnected space
In mathematics, an extremally disconnected space is a topological space in which the closure of every open set is open. (The term "extremally disconnected" is correct, even though the word "extremally" does not appear in most dictionaries,[1] and is sometimes mistaken by spellcheckers for the homophone extremely disconnected.) An extremally disconnected space that is also compact and Hausdorff is sometimes called a Stonean space. This is not the same as a Stone space, which is a totally disconnected compact Hausdorff space. Every Stonean space is a Stone space, but not vice versa. In the duality between Stone spaces and Boolean algebras, the Stonean spaces correspond to the complete Boolean algebras.
An extremally disconnected first-countable collectionwise Hausdorff space must be discrete. In particular, for metric spaces, the property of being extremally disconnected (the closure of every open set is open) is equivalent to the property of being discrete (every set is open).
Examples and non-examples
- Every discrete space is extremally disconnected. Every indiscrete space is both extremally disconnected and connected.
- The Stone–Čech compactification of a discrete space is extremally disconnected.
- The spectrum of an abelian von Neumann algebra is extremally disconnected.
- Any commutative AW*-algebra is isomorphic to [math]\displaystyle{ C(X) }[/math] where [math]\displaystyle{ X }[/math] is extremally disconnected, compact and Hausdorff.
- Any infinite space with the cofinite topology is both extremally disconnected and connected. More generally, every hyperconnected space is extremally disconnected.
- The space on three points with base [math]\displaystyle{ \{\{x,y\},\{x,y,z\}\} }[/math] provides a finite example of a space that is both extremally disconnected and connected. Another example is given by the sierpinski space, since it is finite, connected, and hyperconnected.
The following spaces are not extremally disconnected:
- The Cantor set is not extremally disconnected. However, it is totally disconnected.
Equivalent characterizations
A theorem due to (Gleason 1958) says that the projective objects of the category of compact Hausdorff spaces are exactly the extremally disconnected compact Hausdorff spaces. A simplified proof of this fact is given by (Rainwater 1959).
A compact Hausdorff space is extremally disconnected if and only if it is a retract of the Stone–Čech compactification of a discrete space.[2]
Applications
(Hartig 1983) proves the Riesz–Markov–Kakutani representation theorem by reducing it to the case of extremally disconnected spaces, in which case the representation theorem can be proved by elementary means.
See also
References
- ↑ extremally (3rd ed.), Oxford University Press, September 2005, http://oed.com/search?searchType=dictionary&q=extremally (Subscription or UK public library membership required.)
- ↑ (Semadeni 1971)
- Hazewinkel, Michiel, ed. (2001), "Extremally-disconnected space", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=E/e037240
- Gleason, Andrew M. (1958), "Projective topological spaces", Illinois Journal of Mathematics 2 (4A): 482–489, doi:10.1215/ijm/1255454110
- Hartig, Donald G. (1983), "The Riesz representation theorem revisited", American Mathematical Monthly 90 (4): 277–280, doi:10.2307/2975760
- Johnstone, Peter T. (1982). Stone spaces. Cambridge University Press. ISBN 0-521-23893-5.
- Rainwater, John (1959), "A Note on Projective Resolutions", Proceedings of the American Mathematical Society 10 (5): 734–735, doi:10.2307/2033466
- Semadeni, Zbigniew (1971), Banach spaces of continuous functions. Vol. I, PWN---Polish Scientific Publishers, Warsaw
 |  |
