Cantor Set

Cantor Ternary Set

A Cantor ternary set $C$ of base-3 can be constructed through the infinite process of removing the middle one third of the open intervals from each closed interval composing the previous constructing sets sequentially. Specifically, starting from a closed interval $C_{0}=[0,1]$, one can remove firstly the middle one third open interval, $(1/3,2/3)$, and get the remaining union of closed intervals $C_{1}=C_{0}\setminus (1/3,2/3)=[0,1/3]\cup [2/3,1]$. Then one can define $C2$ with a similar manner: $C_{2}=C_{1}\setminus ((1/9,2/9)\cup (7/9,8/9))=[0,1/9]\cup [2/9,1/3]\cup [2/3,7/9]\cup [8/9,1]$. Consecutively, each $C_{n}$ is constructed by removing the middle one third of the closed intervals of $C_{n-1}$. The Cantor set $C$ is then defined as follows.

$C=\cup _{n=1}^{+\infty }C_{n}.$

Properties of Cantor Sets

A Cantor set $C$ constructed with the iterating process above has the following properties.

• $C$ is compact, nowhere dense, and totally disconnected. Moreover, $C$ has no isolated points.
• Denote $\lambda$ as the Lebesgue measure and ${\mathcal {B}}_{\mathbb {R} }$ as the Borel set defined on $\mathbb {R}$. Then $C$ is measurable, and $\lambda (C)=0$.
• Cantor set is in bijection with $[0,1]$, giving us a counterexample of a noncountable set having zero measure.

Cantor Function

The Cantor set can be used to define Cantor Function.