Register to reply 
Cantor set end points are and are not countable! 
Share this thread: 
#1
Nov2912, 09:14 PM

P: 4

The number of end points of the cantor set double each time an iteration is performed, therefore the total number of end points after infinite iterations is ~ 2^N where N is cantor's aleph null. 2^N is, however, c (the number of the continuum) and is therefore uncountable but we know that the end points of the cantor set are countable. Hence the apparent contradiction. Any help?



#2
Nov2912, 09:59 PM

P: 181

There aren't 2^N endpoints in the Cantor set, but only N again. These endpoints correspond to all binary fractions with either finitely many zeroes or finitely many ones, for instance
.0100110000000000000...(only zeroes)... and .1101001111111111...(only ones)... (Read each zero as "select the left third" and each one as "select the right third", and you'll be "led" to the endpoint in question.) But there are more real numbers between 0 and 1, e.g. .01010101010101010...(onezero repeated infinitely)... and .01001000100001000001... (the number of zeroes increases by 1 each time)... So seen as a set of real numbers, the Cantor set only has countably many elements, and there are uncountably many others within the same interval, from 0 to 1. 


#3
Nov2912, 10:54 PM

P: 4

I understand the argument for the cantor set end points being countable, but that still does not explain the fact that in order to generate the cantor set an infinite number of end point doublings must take place. If we double something repeatedly N times then we will end up with 2^N things. Since N in this case is aleph null we end up with c end points. The only explanation I can think of is that we somehow pass over to the full cantor set as N goes to aleph null and as is well known the full cantor set is uncountable. This, however, is not a very satisfying (or rigorous) argument.



#4
Nov2912, 11:20 PM

Mentor
P: 18,022

Cantor set end points are and are not countable!



#5
Nov2912, 11:54 PM

P: 4

I disagree with Micromass. As an example take a proof that the reals between zero and one have a cardinal number of 2^N where N is aleph null:
First write the reals in binary notation from 0.000000... to 0.111111... Then the first place after the decimal can take one of two possible values (0 or 1). The next place can take one of two values also so that brings the number of combinations to four. The next place brings it to eight etc. The Nth place brings the number of combinations to 2^N. If we proceed to N=infinity (aleph null) we get that the number of reals between zero and one is c. 


#6
Nov3012, 12:41 AM

Mentor
P: 18,022

There is no reason to expect [tex]\lim_{n\rightarrow \aleph_0} 2^n=2^{\aleph_0}[/tex] 


#7
Nov3012, 12:59 AM

Sci Advisor
P: 820




#8
Nov3012, 08:06 AM

Sci Advisor
P: 1,716

The cantor set includes all of the limit points of the end points of the middle thirds



#9
Nov3012, 08:44 AM

P: 4

Thank you micromass and pwshafu. I guess I had better study set theory more thoroughly.



#10
Dec412, 08:40 PM

P: 1

I'm back from studying a little set theory and I have the answer to my apparent contradiction.
First of all my proof of c=2^N where N is aleph null, was not wrong but merely incomplete. See http://en.wikipedia.org/wiki/Cardina..._the_continuum. The "Alternative Explaination" section uses a proof very similar to mine except the second part of the bijection is completed. Also my proof cannot be used to show that the rationals are uncountable because in that case there are serious constraints upon the values of the individual digits once past a finite number of them so that the total number of combinations of the digits is not 2^N. Secondly, I found that doubling something N times does indeed lead to 2^N things (the power set of N) even when N is aleph null or for that matter aleph n. Finally, the apparent contradiction goes away once it is realized that an end point is only created during an iteration n when n is finite. At n=aleph null the full Cantor set appears because the ternary expansions of the nonend points are a infinite (aleph null) pattern of zeros and twos which can be be shown, through a bijective mapping to the binary numbers between 0 and one, to have a cardinality of 2^N. I admit that all of the above arguments may be imprecise and nonrigorous by todays standards but I also believe that Cantor would have agreed with them. 


Register to reply 
Related Discussions  
Countable union of countable sets vs countable product of countable sets  Set Theory, Logic, Probability, Statistics  5  
Condensation points in a separable metric space and the CantorBendixon Theorem  Calculus & Beyond Homework  11  
Is set of points (p,q) countable?  Linear & Abstract Algebra  2  
Construct compact set of R with countable limit points  Calculus  8 