Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Please see my Edited version at the end of the post.

================================

http://en.m.wikipedia.org/wiki/Cantor_set

My definition of Cantor Set is just like that of wikipedia.

That is, $C=[0,1]\setminus \bigcup_{i=1}^{\infty} \bigcup_{k=0}^{3^{i-1}-1} (\frac{3k+1}{3^i}, \frac{3k+2}{3^i})$.

With this definition, i have shown that $C$ is compact, perfect, equipotent with $2^{\aleph_0}$ and contains no openset. (i.e. Basic properties of Cantor set)

I preferred this definition to another since this definition is simple and strictly written in first-order logic.

Let $C_n = [0,1]\setminus \bigcup_{i=1}^n \bigcup_{k=0}^{3^{i-1}-1} (\frac{3k+1}{3^i},\frac{3k+2}{3^i})$.

Then $\bigcap_{n\in \mathbb{N}} C_n = C$.

Here, how do i prove that $C_n$ is a disjoint union of $2^n$ intervals, each of length $3^{-n}$?

(To make it clear, intervals here refer to closed connected sets)

=========================== EDIT:

This is not actually i meant, but this is exactly the same as what i wanted to prove anyway..

Let $A_0=B_0=[0,1]$. Define $\{A_n\}$ recursively such as; $A_{n+1}=\frac{A_n}{3} \cup (\frac{2}{3} + \frac{A_n}{3})$.

Now, define $B_n=[0,1]\setminus \bigcup_{i=1}^n \bigcup_{k=0}^{3^{i-1}-1} (\frac{3k+1}{3^i},\frac{3k+2}{3^i})$, $\forall n\in \mathbb{Z}^+$.

How do i prove $A_n=B_n$?

share|improve this question
    
I feel very uncomfortable to define Cantor Set as "Removing the middle part constantly", since it doesn't seem to be written in first-order logic (even though it is).. Please, if 'removing the middle part' can be precisely written in mathematical language, let me know.. –  Katlus Nov 29 '12 at 15:38
    
The Cantor set is not a disjoint countable union of intervals, but its complement is. Because the Cantor set is an intersection of closed sets its complement is open. And every open set in $\mathbb R$ is a disjoint union of open intervals. –  kahen Nov 29 '12 at 15:42
    
@kahen I'm sorry that the title is wrong but i didn't mean Cantor Set itself but $C_n$ at the end of my post. I don't know how to call this $C_n$ –  Katlus Nov 29 '12 at 15:45
    
Well, you could use recursion if you can show that $C_n$ is made out of two small $C_{n-1}$s. –  Karolis Juodelė Nov 29 '12 at 15:53
    
@Karolis That is exactly what i tried, but i found it really hard to prove.. Please help –  Katlus Nov 29 '12 at 15:55
add comment

1 Answer

up vote 4 down vote accepted

I don't have enough reputation to post a comment, so i'll write it here.

There's a little typo in the definition of the Cantor-set (first formula), the interval should be $\left(\frac{3k+1}{3^i},\frac{3k+2}{3^i}\right)$

I think you can prove it by induction using the recursive formula of the wikipedia article : $C_n=\frac{C_{n-1}}{3}\cup\left(\frac{2}{3}+\frac{C_{n-1}}{3}\right)$ I hope this is helpful.

EDIT : I was typing when other comments came up. So here are some details you need.

By induction, assume that $C_{n-1}$ is the disjoint union of $2^{n-1}$ intervals in $[0,1]$ each of them with lenght $\frac{1}{3^{n-1}}$.

On one hand, $A_n:=\frac{C_{n-1}}{3}$ is a subset of $[0,\frac{1}{3}]$ and is again a disjoint union of $2^{n-1}$ intervals but of lenght $\frac{1}{3}\cdot\frac{1}{3^{n-1}}=\frac{1}{3^{n}}$

On the other hand, $B_n:=\frac{2}{3}+\frac{C_{n-1}}{3}$ is a subset of $[\frac{2}{3},1]$ and is as well a disjoint union of $2^{n-1}$ intervals of lenght $\frac{1}{3^{n}}$.

Conclusion : $C_n$ is the union of $A_n$ and $B_n$ which is disjoint and hence composed of $2\cdot2^{n-1}=2^n$ intervals of the desired lenght.

share|improve this answer
    
@Thaibaut My main problem is i cannot prove the above recursive formula. (That is, $C_{n+1}=\frac{C_n}{3} \cup (\frac{2}{3} + \frac{C_n}{3})$). And i think that definition of $C_n$ in my post and that in wikipedia are different. I believe wikipedia defined $C_n$ as 'removing the middle' argument. What i want to show is that $C_n$ in wikipedia and $C_n$ in my post are actually equal. –  Katlus Nov 29 '12 at 16:23
    
See my edited post. –  Katlus Nov 29 '12 at 16:41
    
Sorry about the missunderstanding then. I'll think about it a little and reply later. –  Thibaut Dumont Nov 29 '12 at 17:10
1  
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.