The Cantor space is a generalisation of the Cantor set, which can be seen as any element as the homeomorphism class of the Cantor set defined below.
Definition of the Cantor setEdit
So at any given step we remove the middle thirds of the unit interval, let so at the n-th step we have:
So the effect is scaling the previous step down by a third and putting two copies next to each other. Then the Cantor set is
Definition of the Cantor spaceEdit
A Cantor space is any space homeomorphically equivalent to defined above. The value of this defintion is elucidated by the following theorem.
An equivalent form of Brouwer's original theorem is: "A topological space is a Cantor space if and only if it is non-empty, perfect, compact, totally disconnected, and metrizable."
To understand this let's fill in the definition not yet covered.
1. Clearly, non-empty means it is not the empty set.
2. Perfect means the space has no isolated points (no points whose singleton is an open set in the ambient space).
3. Compactness has been covered.
4. Totally disconnected means the connected components (the maximal connected subsets) of the space are all points.
5. Metrisable means there exists a metric for this space.
Thus the theorem states that the combination of these conditions leaves a space homeomorphic to the Cantor set.
Consider the map from the set of infinite binary codes often written to the Cantor set defined above: defined as for a sequence
Then f is a homeomorphism of metric spaces, meaning that all the properties above hold for the space .