S.O.S. Mathematics CyberBoard

Your Resource for mathematics help on the web!
It is currently Mon, 20 May 2013 04:29:20 UTC

All times are UTC [ DST ]




Post new topic Reply to topic  [ 2 posts ] 
Author Message
 Post subject: Uncountable
PostPosted: Thu, 22 Sep 2011 02:45:53 UTC 
Offline
Member

Joined: Tue, 6 Sep 2011 04:11:20 UTC
Posts: 19
I'm going to assume this is similar to Cantor's diagonal proof, but I'm having trouble "seeing" the exact correlation.

Let A={b | b is a sequence of 0's and 1's} Prove a is uncountable.

Let X be a countable subset of A. Let xn represent all sequences with n elements. Then X can be written as

Xn = {bn,m} where m is the mth element of xn}

So,
x1={b1,1}
x2={b2,1 , b2,2}
xn={bn,1 , bn,2 , ... , bn,m}

I think I'm making a mess of it. Any guidance would be appreciated.


Top
 Profile  
 
 Post subject: Re: Uncountable
PostPosted: Thu, 22 Sep 2011 04:06:38 UTC 
Offline
Member of the 'S.O.S. Math' Hall of Fame
User avatar

Joined: Mon, 23 Feb 2009 23:20:33 UTC
Posts: 1049
Location: Adelaide, Australia
If all the binary sequences in the set are of finite length, the statement is false. So the intention must be that the set contains all binary sequences of infinite length. But this is just a matter of regurgitating Cantor's diagonal argument without alteration.


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 2 posts ] 

All times are UTC [ DST ]


Who is online

Users browsing this forum: No registered users


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum

Search for:
Jump to:  
Contact Us | S.O.S. Mathematics Homepage
Privacy Statement | Search the "old" CyberBoard

users online during the last hour
Powered by phpBB © 2001, 2005-2011 phpBB Group.
Copyright © 1999-2013 MathMedics, LLC. All rights reserved.
Math Medics, LLC. - P.O. Box 12395 - El Paso TX 79913 - USA