September 21st, 2010, 08:07 PM  #1 
Senior Member Joined: Sep 2009 Posts: 115 Thanks: 0  countable, uncountable
so we are told that if E1, E2, ... are finite sets, and E:=E1 x E2 x ... :={(x1, x2, ...) : xj in Ej for all j in N} then E is countable. We are to prove this or show a counterexample to disprove it. So in the back of the book it tells us that this is false. I am totally confused about this problem, and how to go about it. Any help would be appreciated. 
September 21st, 2010, 08:38 PM  #2 
Global Moderator Joined: Nov 2006 From: UTC 5 Posts: 16,046 Thanks: 937 Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms  Re: countable, uncountable
Can you prove that the real numbers between 0 and 1 are uncountable? Can you prove that the real numbers between 0 and 1, expressed in binary, are uncountable? Can you take it from there?

September 22nd, 2010, 06:38 AM  #3 
Senior Member Joined: Sep 2009 Posts: 115 Thanks: 0  Re: countable, uncountable
Yes, I can prove that numbers from 0 to 1 are uncountable. However, I do not see how this can help me. Isnt the set [0,1] infinite? 
September 22nd, 2010, 06:46 AM  #4  
Global Moderator Joined: Nov 2006 From: UTC 5 Posts: 16,046 Thanks: 937 Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms  Re: countable, uncountable Quote:
 
September 22nd, 2010, 03:41 PM  #5 
Senior Member Joined: Sep 2009 Posts: 115 Thanks: 0  Re: countable, uncountable
hmm, so {0,1} is finite, so since it is an infinite series of finite sets times each other, does that mean like cantor's proof to prove (0,1) is infinite, we are able to prove it the same way saying suppose each element y1=x11x12x13........, y2=..........,... and so on then show that there exists an element which is not in there so therefore we have a cotnradiction and our set is uncountable? 
September 22nd, 2010, 04:18 PM  #6 
Global Moderator Joined: Nov 2006 From: UTC 5 Posts: 16,046 Thanks: 937 Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms  Re: countable, uncountable
Right. (Or just show that there's a bijection between one such sequence and the real numbers between 0 and 1 and call that a proof, since you know the reals are uncountable.)


Tags 
countable, uncountable 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
show that M is uncountable  450081592  Real Analysis  2  November 23rd, 2011 07:34 PM 
Prove that f: N > {0,1} is uncountable  arcdude  Applied Math  1  November 23rd, 2011 12:46 PM 
Uncountable  whatlifeforme  Number Theory  1  October 30th, 2011 05:53 AM 
Surjection, Uncountable Set  vaevictis59  Applied Math  18  March 16th, 2010 10:14 AM 
Sets, Countable and Uncountable  Bernie  Applied Math  3  September 9th, 2009 02:28 AM 