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] The term extremely disconnected is sometimes used, but it is incorrect.)
An extremally disconnected space that is also compact and Hausdorff is sometimes called a Stonean space. This is different from a Stone space, which is usually a totally disconnected compact Hausdorff space. 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).
Contents
Examples
Every discrete space is extremally disconnected.
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 C(X) where X is extremally disconnected, compact and Hausdorff.
Any set with the cofinite topology is extremally disconnected, but if the set is infinite this space is connected. More generally, every hyperconnected space is extremally 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
Totally disconnected space
References
"extremally" in the O.E.D.
Semadeni (1971, Thm. 24.7.1)
A. V. Arkhangelskii (2001) [1994], "Extremally-disconnected space", Encyclopedia of Mathematics, EMS Presss
Gleason, Andrew M. (1958), "Projective topological spaces", Illinois Journal of Mathematics, 2 (4A): 482–489, doi:10.1215/ijm/1255454110, MR 0121775
Hartig, Donald G. (1983), "The Riesz representation theorem revisited", The 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, JSTOR 2033466
Semadeni, Zbigniew (1971), Banach spaces of continuous functions. Vol. I, PWN---Polish Scientific Publishers, Warsaw, MR 0296671
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
