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.

Possible Duplicate:
Examples of perfect sets.

The cantor set is obtained by succesively removing the "open middle third" from each closed interval in $K_n$ to obtain $K_{n+1}$, where $K_0 = [0,1]$.

The intersection of all $K_n$ results in a compact set of null measure and empty interior.

The question is about modifying this construction to get a set with empty interior (which would stem from the fact that it contains no open intervals) and measure $\alpha$, with $0<\alpha<1$.

I thought about removing a smaller interval in each step (smaller by a factor of $\alpha$), but I realised this won't work because at step $n$ the removed part is smaller by a factor of $\alpha^n$ which tends to $0$. So at each step I should remove something that is proportionally greater than what I removed at the preceding step. I suspect a series will arise.

I'll appreciate any hints that take me into the right direction.

share|improve this question
1  
    
Another related: math.stackexchange.com/questions/133113/… –  Henry May 24 '12 at 0:41
add comment

marked as duplicate by t.b., Jonas Meyer, Marvis, Asaf Karagila, Weltschmerz May 23 '12 at 23:52

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

1 Answer

up vote 2 down vote accepted

An example of such a set is the fat Cantor set. A typical construction is by removing the middle $1/4^{th}$ at the first step and in general removing the middle $1/4^n$ from each of the $2^{n-1}$ intervals at the $n^{th}$ step. Hence, the measure of the set is $$1 - \sum_{n=1}^{\infty} \left( \dfrac{2^{n-1}}{4^n}\right) = 1 - \sum_{n=1}^{\infty} \left( \dfrac1{2^{n+1}}\right) = 1/2$$ and by definition it has no interval inside it.

share|improve this answer
add comment

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