## You are here

Homeclosure and interior of Cantor set

## Primary tabs

# closure and interior of Cantor set

The Cantor set is closed and its interior is empty.

To prove the first assertion, note that each of the sets $C_{0},C_{1},C_{2},\ldots$, being the union of a finite number of closed intervals is closed. Since the Cantor set is the intersection of all these sets and intersections of closed sets are closed, it follows that the Cantor set is closed.

To prove the second assertion, it suffices to show that given any open interval $I$, no matter how small, at least one point of that interval will not belong to the Cantor set. To accomplish this, the ternary characterization of the Cantor set is useful. Because rational numbers whose denominators are powers of 3 are dense, there exists a rational number $n/3^{m}$ contained in $I$. Expressed in base 3, this rational number has a finite expansion. If this expansion contains the digit “1”, then our number does not belong to Cantor set, and we are done. If not, since $I$ is open, there must exist a number $k>m$ such that $n/3^{m}+1/3^{k}\in I$. Now, the last digit of the ternary expansion of this number is “1” by construction, so we also find a number not belonging to the interval in this case.

## Mathematics Subject Classification

28A80*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections