July 5th, 2016, 02:55 PM  #11 
Global Moderator Joined: May 2007 Posts: 6,399 Thanks: 546 
I surrender. I was trying to present a simplified proof based on measure theory without invoking measure theory. The basic proof is simply the following: The unit interval has measure 1. Any countable set has measure 0. Therefore, the unit interval is not countable. 
July 5th, 2016, 03:58 PM  #12 
Math Team Joined: Dec 2013 From: Colombia Posts: 7,091 Thanks: 2360 Math Focus: Mainly analysis and algebra 
Measure theory is not something I'm familiar with. That bald statement is very clear and obviously serves as a proof, but it hides all understanding of the issues. For someone not familiar with measure theory it raises more questions than it answers. Not that that is necessarily a bad thing if one has the time and the inclination to follow up on those questions. It's certainly something that has some interest for me, but it's not my top priority right now. 
July 5th, 2016, 05:01 PM  #13 
Senior Member Joined: Nov 2010 From: Berkeley, CA Posts: 174 Thanks: 35 Math Focus: Elementary Number Theory, Algebraic NT, Analytic NT 
@mathman, Your proof is valid. For example, see Proposition 2.2 (d), Proposition 2.3 and Corollary 2.4 in this paper. 
July 6th, 2016, 04:30 AM  #14 
Senior Member Joined: Mar 2015 From: New Jersey Posts: 1,194 Thanks: 91 
You can't compare distances with number of points because points have no measure (width), so the OP is meaningless. You can't use number of points as a distance. There is a distance between points, but a countably infinite number of points between them. Therefore the OP and post #11 are incorrect. 
July 6th, 2016, 05:55 PM  #15  
Global Moderator Joined: May 2007 Posts: 6,399 Thanks: 546  Quote:
 
July 16th, 2016, 02:53 PM  #16  
Senior Member Joined: Mar 2015 From: New Jersey Posts: 1,194 Thanks: 91  Quote:
If the marbles have no width, the number of marbles is 1M/0, which is undefined and meaningless. To get a pure number (count) you have to have a dimension in numerator and denominator to cancel out. You don't need abstract mathematics to think, on the contrary.  
July 16th, 2016, 07:14 PM  #17  
Math Team Joined: Dec 2013 From: Colombia Posts: 7,091 Thanks: 2360 Math Focus: Mainly analysis and algebra  Quote:
 
July 17th, 2016, 02:06 PM  #18  
Global Moderator Joined: May 2007 Posts: 6,399 Thanks: 546  Quote:
 
July 18th, 2016, 06:08 AM  #19 
Senior Member Joined: Mar 2015 From: New Jersey Posts: 1,194 Thanks: 91  
July 18th, 2016, 09:28 AM  #20 
Math Team Joined: Dec 2013 From: Colombia Posts: 7,091 Thanks: 2360 Math Focus: Mainly analysis and algebra  

Tags 
argument, cantor, diagonal, reals, uncountable 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Cantor: The reals are uncountable  zylo  Topology  31  February 13th, 2016 05:44 AM 
Cantor's Diagonal Argument  zylo  Math  22  January 26th, 2016 09:05 PM 
Help! Cantor's Diagonal Argument  mjcguest  Applied Math  9  July 25th, 2013 08:22 AM 
Cantorīs diagonal argument  netzweltler  Applied Math  191  November 7th, 2010 02:39 PM 
Counting the reals: Cantor's Diagonal Proof  ch00blet  Applied Math  3  January 12th, 2010 12:50 PM 