The Cantor Ternary Set: The Cantor ternary set is a subset of the real interval S0 = [0, 1]. We use a recursive definition to define the Cantor ternary set. To form Si+1 from Si, we remove the open interval which is the middle third of each of the intervals comprising Si. Explicitly, we have: S0 = [0, 1] 1 2 S1 = 0, ∪ , 1 3 3 1 2 1 2 7 8 S2 = 0, ∪ , ∪ , ∪ , 1 9 9 3 3 9 9 etc... ∞ Let S = Si, which we call the Cantor ternary set. i\=0 1. List five elements of the set S. 2. Find the sum of the lengths of the intervals which are removed to construct S. (This demonstrates that S is an example of a set of measure zero.) Another way to view the Cantor ternary set is in terms of ternary expansions. Given x ∈ ∞ (0, 1) a real number, there is a sequence of integers (ai)i=1, ai ∈{0, 1, 2} such that the series ∞ ai 3i Xi=1 converges to x. In other words, we can write x in a ternary (base 3) form: x =0.a1a2a3 .... This ternary form exists for all x ∈ (0, 1). Just like the decimal expansion, the ternary q expansion is unique except when x is of the form , q ∈ Z+, in which case there are exactly two 3i such sequences converging to x. For example 1 = (0.01000 . .)3 = (0.002222 . .)3. 9 3. Prove that the Cantor ternary set is equal to the subset of [0, 1] consisting of all x which have a ternary expansion for which ai ∈ {0, 2} for all i, i.e. the numbers which have an expansion with no 1’s. (Read this carefully in the cases where x has two possible expansions. If x has one ternary expansion which contains no 1’s, then it is in the Cantor set.) 4. Show that the Cantor ternary set S has the same cardinality as the real numbers by finding a bijection between S and the interval [0, 1]. 5. Prove that if a, b ∈ S with a < b, then there exists a real number r∈ / S such that a<r<b. 6. (The Cantor ternary function.) Given any x ∈ [0, 1], we have discussed how x has a ternary expansion ∞ ai x = , ai ∈{0, 1, 2}. 3i Xi=1 For each x, we first assign an N as follows: if none of the ai are 1, then N = ∞, otherwise let 1 N be the smallest index such that aN = 1. Next, let bn = 2 an for all n ≤ N and let bN = 1. Define the function N bn f(x)= . 2n Xn=1 1. Prove that this definition of f is well-defined, i.e. if x has two ternary expansions, they both yield the same value for f(x). 2. Prove that f is continuous and increasing on [0, 1].. 3. Prove that f is constant on each interval from the complement of the Cantor ternary set C. 4. Prove that f maps the Cantor ternary set C onto the interval [0, 1]. (This is another proof that the Cantor set is uncountable.) References: Royden, H.L. Real Analysis Third Ed., 1988, Macmillan Publishing Company. Steen, L.A. and Seebach, Jr., J.A. Counterexamples in Topology, Dover Publications, 1978..