Quote:
Originally Posted by Mariogs379
Density of Q in R proof...
WTS: For every two real numbers a and b, with a < b (and a and b both positive), there exists a rational number r satisfying a < r < b.
Proof: We need to find m and n in N s.t. a < m/n < b. So we choose an n large enough so that 1/n < b-a. Now we just need to find an m small enough so that a < m/n < b. Here's where I get confused:
My book says "multiplying our inequality (a < m/n < b) by n yields na < m < nb. But we're setting out to show that there exist m, n in N such that a < m/n < b...so how can we use this in our proof?
Obviously I'm missing something but would appreciate the help.
Thanks guys (Wyman),
Mariogs
If there is at least 1 integer n such than a<n<b then that integer is the rational number in question.
If there are no integers between a,b we can deduce than x=b-a<1.
If we consider an integer m such that m>1/(b-a)=1/x and we then multiply a,b with m we will get A=a*m,B=b*m and A-B=m*(b-a)>1/x*(b-a)=1/x*x=1
So A-B>1 which means there is an integer n such that A<n<B. Basically
the rational n/1=n is between A,B so clearly
m*a<n<m*b and a<n/m<b
So the rational n/m is the required rational between a,b.
The fact that if B-A>1 implies an integer is between A,B is trivial.
If that were not true then the next integer lower than A and the next integer higher than B would have a distance larger or equal than A-B>1 and you would have 2 integers A1,B1 that differ by more than 1 without another integer between them existing which is false because A1+1 is such integer clearly.
By the way if A itself is an integer we do not need the above A1,B1, we can immediately consider A+1 as a number between A,B that is an integer. (same logic on the reverse if B was an integer).
Also if a-b=1 then either both are integers or an integer n exists between a,b. So either n or (a+b)/2 is the required rational.
Last edited by masque de Z; 04-19-2012 at 07:51 PM.