Measure Theory · Examples

Cantor Set

Definition:

We dig out an interval with length $\xi$ in the middle of $[0,1]$.

And repeat such operation for intervals left.

Finally we get $\xi -\text{Cantor Set}$, noted $C_{\xi }$.

At first Cantor constructed this set with $\xi =\frac{1}{3}$.

---

Properties:

1, $m(C_{\xi })=0.$

Fat Cantor Set

Definition:

Likewise, we dig out an interval with length ${\xi }_0$ in the middle of $[0,1]$.

But the next time, we dig out intervals with length ${\xi }_1$.

And repeat such operation for intervals left.

Finally we get $\text{Fat Cantor Set}$, noted $\hat{C}$.

At first Cantor constructed this set with $\xi =\frac{1}{3}$.

---

Properties:

1,
$$m(\hat{C})=1-\sum _{k=0}^{+\infty }{2}^k{\xi }_k.$$