An open in Cantor space is a collection of finite sequences of binary digits (that is a subset of the free monoid ) such that: * If and is an extension of (that is with possibly additional digits added to the end), then ; * If and (where is the immediate extension of by the digit ), then .
A point belongs to an open if, for some in , is an extension of .
Traditionally, Cantor space is understood as a topological space. We start with the points, as defined above, then specify which sets of points are open. Although there are other ways to state which sets are open, we may define a set to be open if it is the set of points that belong to some open as defined above.
A newer approach is to understand Cantor space as a locale. Then we start with the opens and define an order relation on them to define a frame. In this case, the order relation is the obvious one, that if as subsets of . Then the points come for free, and correspond precisely to the points as defined above.
In classical mathematics, these two approaches are equivalent; a point is determined by its opens, and an open is determined by its points. The theorem that a point is determined by its opens (so that Cantor space, as a topological space, is sober) is valid internal to any pretopos with an exponentiable natural numbers object; as such, it applies even in predicative and constructive mathematics. However, the theorem that an open is determined by its points (so that Cantor space, as a locale, is topological) is equivalent to the fan theorem; it is true in some pretoposes and accepted by some schools of constructivism but false in other pretoposes and rejected, or even refuted, by other constructivists.
When the fan theorem is not valid, the localic approach is probably better; it allows more of the useful properties of Cantor space to hold.
One then checks that this function is in fact an embedding.
From the localic perspective, a continuous map is given by a homomorphism of frames in the opposite direction. Given an open in (as a binary relation on rational numbers, as described at locale of real numbers), this is mapped to the open in Cantor space such that if and only if
One then checks that this is an embedding.
I should check this some day; for the moment, I am taking it on faith. —Toby
In either case, the idea is: * A point of Cantor space corresponds to a number written in base with infinitely many digits, using only the digits and ; while * An open corresponds to a union of intervals, each of which is given by approximating a number in base to a finite number of digits, using only the digits and .
One sometimes speaks of the Cantor set to stress that one is considering Cantor space as a subspace of the real line.
Cantor space, especially in its guise as a subspace of the real line, is quite famous; see Wikipedia. Here are some headline properties:
Cantor space is totally disconnected.