In mathematics, a zero-dimensional topological space (also called a nildimensional space) is a space that has a dimension of zero with respect to one of several specific measures of dimension in topology. The simplest graphical representation of a zero-dimensional space is a point. Zero-dimensional spaces have important applications in various fields of mathematics, particularly in topology and descriptive set theory.
Defining Zero-Dimensional Space
The concept of a zero-dimensional space depends on the specific way dimensions are assigned to topological spaces. There are several notions used to define zero-dimensionality:
- Lebesgue Covering Dimension: A space is zero-dimensional if every open cover has a refinement that is a cover by disjoint open sets. This definition is used in the context of the Lebesgue covering dimension, which is one of the standard ways of measuring the dimension of a space.
- Finite-to-Finite Covering Dimension: A topological space is zero-dimensional with respect to this dimension if every finite open cover has a refinement that is also a finite open cover, such that each point in the space is contained in exactly one open set from the refinement.
- Small Inductive Dimension: A space is zero-dimensional with respect to the small inductive dimension if it has a base consisting entirely of clopen sets (sets that are both open and closed). This definition applies when discussing inductive dimensions, a measure used to describe the complexity of topological spaces.
These three definitions are equivalent for separable metrisable spaces, meaning they all lead to the same conclusion for certain well-behaved spaces.
Properties of Zero-Dimensional Spaces
- Totally Disconnected: A zero-dimensional Hausdorff space is necessarily totally disconnected, meaning it has no connected subsets except for single points. However, the converse does not always hold—there are spaces that are totally disconnected but not zero-dimensional.
- Locally Compact Hausdorff Spaces: For locally compact Hausdorff spaces, the space is zero-dimensional if and only if it is totally disconnected. This provides an important equivalence in topological spaces.
- Polish Spaces: Zero-dimensional Polish spaces (complete, separable, and metrizable spaces) are useful in descriptive set theory. Examples include Cantor space and Baire space, which are often studied in the context of mathematical logic.
- Cantor Cube: A zero-dimensional Hausdorff space can also be represented as a subspace of topological powers. Specifically, a zero-dimensional space can be seen as a subspace of 2I2^I2I, where 2={0,1}2 = \{0,1\}2={0,1} has the discrete topology. When III is countably infinite, this space is known as the Cantor space.
- Manifolds: A zero-dimensional manifold is a space where every point is isolated, meaning that the space consists only of distinct, non-connected points. This implies that a zero-dimensional manifold has no continuous structure, making it a very simple form of a topological manifold.
Examples of Zero-Dimensional Spaces
- Cantor Space: The Cantor space is a classic example of a zero-dimensional space. It can be constructed by repeatedly removing the middle third of an interval, resulting in a set of isolated points. It is an important example in descriptive set theory and topology.
- Baire Space: Another example is Baire space, which is a Polish space that is zero-dimensional. It is a space of functions, specifically the set of all functions from the natural numbers to the two-point set {0,1}\{0,1\}{0,1}.
- Discrete Spaces: Any discrete space where each point is isolated is a zero-dimensional space. For example, a set of points where every point is a single-element subset forms a zero-dimensional space.
Conclusion
Zero-dimensional spaces are a fundamental concept in topology and geometry, with significant implications for the study of connectedness, compactness, and the behavior of spaces at the smallest scales. Understanding the properties and examples of zero-dimensional spaces, such as Cantor space and Baire space, helps in exploring more complex topological structures and applications in mathematical logic.
