# Prove that any Cantor-like set is uncountable.

I have known that there exists some Cantor-like sets with positive measure, and wondering if I can prove that any any Cantor-like set is uncountable by construting or just proving the existence of a bijection of any two Cantor-like sets.
Maybe there are several different proofs of this property, but I want to know will this method work.
A Cantor-like set is a set construting in the following way:
Removing $2^{k-1}$ centrally situated open intervals of length $l_k$ at each $k^{th}$ stage, with $$l_1+2l_2+...+2^{k-1}l_k<1$$

• What is your definition of a cantor like set – TomGrubb Sep 30 '18 at 14:55
• If you're considering fat Cantor sets, then they can't be countable, because they have positive Lebesgue measure. – Matematleta Sep 30 '18 at 15:09
• @Driver8 You should write an official answer even if it is very short. – Paul Frost Sep 30 '18 at 15:27
• As @TomGrubb has suggested, you need to tell us what definition of "Cantor set" you want to make use of. This is because there are several properties of Cantor sets that imply being uncountable, and some of these properties might be part of your definition of "Cantor set" (and thus an answer based on such a property would work for you) and other of these properties might not be part of your definition of "Cantor set" (and thus an answer based on such a property would not work for you unless accompanied by a proof that your definition of "Cantor set" implies the property). – Dave L. Renfro Sep 30 '18 at 16:03
• @Matematleta What I want to know is if I can construt a bijection of a Cantor set to a fat Cantor set as you called, which gives a alternative proof. – Hugo Oct 1 '18 at 5:45

• All Cantor sets are unconuntable, so they have cardinality $\frak c$. Do you want to construct bijections? – Matematleta Oct 1 '18 at 15:29