Jump to content

Topology/Cantor Space

From Wikibooks, open books for an open world

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 set

[edit | edit source]

The Cantor set is the limit of an infinite process of removing subsets of the unit interval depicted here. Cantor ternary set, in seven iterations

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 space

[edit | edit source]

A Cantor space is any space homeomorphically equivalent to defined above. The value of this definition is elucidated by the following theorem.

Brouwer's Theorem

[edit | edit source]

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.

Example

[edit | edit source]

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 .