104 Topology of R
n
By Proposition 4.3.3, the intersection C = ∩
i≥1
S
i
is a closed set. It is bounded and
hence compact. By Cantor’s Intersection Theorem, this intersection is not empty.
Figure 4.3 shows an approximation to the Cantor set, namely S
5
.
0 1
FIGURE 4.3. The Cantor set (actually S
5
).
Every endpoint of an interval in one of the sets S
n
belongs to C. But in fact,
C contains many other points. Each point in C is determined by a binary decision
tree. At the first stage, pick one of the two intervals of S
1
of length 1/3, which we
label 0 and 2. This interval is split into two in S
2
by removing the middle third.
Choose either the left (label 0) or right (label 2) to obtain an interval labeled 00,
02, 20, or 22. Continuing in this way, we choose a decreasing sequence of intervals
determined by an infinite sequence of 0s and 2s. By Cantor’s Intersection Theorem
(Theorem 4.4.7), every choice determines a point of intersection. There is only one
point in each of these intersections because the length of the intervals tends to 0.
We leave it to you to describe the (proper) set of decision trees that correspond to
left or right endpoints.
The Cantor set has empty interior. For if C contained an open interval (a, b)
with a < b, it would also be contained in each S
n
. This forces b − a ≤ 3
−n
for
every n, whence a = b. So the interior of C is empty. A set whose closure has no
interior is nowhere dense.
Yet C has no isolated points. A point x of a set A is isolated if there is an
ε > 0 such that the ball B
ε
(x) intersects A only in the singleton {x}. In fact, C
is a perfect set, meaning that every point of C is the limit of a sequence of other
points in C. In other words, every point is a cluster point. To see this, suppose
first that x is not the right endpoint of one of the intervals of some S
n
. For each
n, let x
n
be the right endpoint of the interval of S
n
containing x. Then x
n
6= x
and |x
n
− x| ≤ 3
−n
. So x = lim
n→∞
x
n
. If x is the right endpoint of one of these
intervals, use the left endpoints instead to define the sequence x
n
.
The set C is very large, the same size as [0, 1], in the sense of cardinality from
Appendix 2.8. Consider the numbers in [0, 1] expanded as infinite “decimals” in
base 3 (the ternary expansion). That is, each number may be expressed as
x = (x
0
.x
1
x
2
x
3
. . . )
base 3
=
X
k≥0
3
−k
x
k
,
where x
i
belong to {0, 1, 2} for i ≥ 1. Note that S
1
consists of all numbers in [0, 1]
that have an expansion with the first digit equal to 0 or 2. In particular,
1
3
= (.1)
base 3
= (.02222222 . . . )
base 3
and 1 = (.22222222 . . . )
base 3
.
Likewise, S
i
consists of all numbers in [0, 1] such that the first i terms of some
ternary expansion are all 0s and 2s. Since C is the intersection of all the S
i
, it
consists of precisely all the numbers in [0, 1] that have a ternary expansion using
only 0s and 2s.