It sounds more like an exercise: If one look on Cd X Cd, then D(Cd) is the
diagonal projection of the set. But on the other side it is a Cantor type
construction (which on each step preserve 3^n intervals of length 2/d^n,
insteed or 2^n for the Cantor set).
> Do you know where i can find a proof for the following statement?
>
> Cd the one dimensional cantor set with 0 <d <1/2.Then l(D(Cd))>0 iff
> d >=1/3.Also in that case D(Cd) is an interval.
> l is the lebesgue measure,D the distance set.
>
>
>
>
>
>
>
> Yahoo! Groups Links
>
>
>
>
>
>
>
>
>