Namespaces
Variants
Actions

Open-closed set

From Encyclopedia of Mathematics
Jump to: navigation, search

A subset of a topological space which is simultaneously open and closed in that space (cf. Open set; Closed set). A topological space $X$ is disconnected if and only if it contains an open-closed set other than $\emptyset$ and $X$. If the family of all open-closed sets of a topological space is a basis of its topology, then this space is called inductively zero-dimensional. Every Boolean algebra is isomorphic to the Boolean algebra of all open-closed sets of an appropriate inductively zero-dimensional Hausdorff compactum. The so-called extremally-disconnected Hausdorff compacta form a special class of zero-dimensional compacta, and are characterized by the fact that the closure of any open set in them is also open (and closed). Every complete Boolean algebra is isomorphic to the Boolean algebra of all open-closed sets of an appropriate extremally-disconnected Hausdorff compactum.


Comments

An open-closed set is also called a closed-open set or clopen set.

The correspondence between Boolean algebras and inductively zero-dimensional compact Hausdorff spaces is known as Stone duality or Stone topological duality. Instead of "inductively zero dimensional" one also finds simply "zero-dimensional topological space" or "zero dimensional" in the literature.

A zero-dimensional compact Hausdorff space is called a Boolean space.

References

[a1] S. Koppelberg, "General theory of Boolean algebras" J.D. Monk (ed.) R. Bonnet (ed.) , Handbook of Boolean algebras , 1 , North-Holland (1989) pp. Sect. 3.7
How to Cite This Entry:
Open-closed set. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Open-closed_set&oldid=31023
This article was adapted from an original article by V.I. Ponomarev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article