Zero-dimensional space

Lore & Background

Zero-dimensional Polish spaces are a particularly convenient setting for descriptive set theory, with examples including the Cantor space and Baire space. All points of a zero-dimensional manifold are isolated.

Reader's Guide

Zero-dimensional spaces are a fundamental concept in topology, illustrating how dimension can be defined in multiple inequivalent ways. Their study clarifies the relationship between dimension, connectedness, and separation properties. For separable, metrisable spaces, the three main definitions coincide, providing a unified framework. The fact that zero-dimensional Hausdorff spaces are totally disconnected, but not conversely, highlights a subtle distinction. The equivalence for locally compact Hausdorff spaces is a key result. Zero-dimensional Polish spaces, such as the Cantor space and Baire space, are essential in descriptive set theory. The characterization of Hausdorff zero-dimensional spaces as subspaces of Cantor cubes (2^I) shows their structural simplicity. Zero-dimensional manifolds consist entirely of isolated points, making them discrete spaces. Overall, zero-dimensional spaces serve as building blocks for more complex topological structures and as a testing ground for dimension theory.

Did You Know?

• A zero-dimensional Hausdorff space is necessarily totally disconnected, but the converse fails.
• A locally compact Hausdorff space is zero-dimensional if and only if it is totally disconnected.
• Hausdorff zero-dimensional spaces are precisely the subspaces of topological powers 2^I, where 2 = {0,1} is given the discrete topology.
• All points of a zero-dimensional manifold are isolated.