bob_gray98 responds to me:
quote:
A shorter proof is that between any two real numbers there is a rational number, what number is between 149.999999... and 150?
Well, no, that isn't proof. That's punting. That puts the onus on the person you're arguing with to prove the opposite rather than you stepping up to do your side of the deal.
Now, if you were to show that there is no number between 149.999... and 150 (no need to restrict it to rational numbers...between any two non-idential numbers, there are an infinite number of rational and irrational numbers), then you would have proven it.
There is a reason to point out that these two are the same thing, however. It is used in the common proof that the size of the reals is larger than the size of the rationals:
From previous work, we know that the size of the rationals is the same as the size of the integers. Thus, if we can come up with a 1-1 correspondance of a set with the integers, the two are the same size.
Suppose we have a list of all the numbers between 0 and 1 (and thus, a 1-1 correspondance with the set of integers). Let's write them out in their infinite decimal expansion. Thus, we have:
a = 0.a
1a
2a
3a
4...
b = 0.b
1b
2b
3b
4...
c = 0.c
1c
2c
3c
4...
.
.
.
Then let's create a new number, p where:
p = 0.a
1b
2c
3d
4...
But, let's alter it so that if p
i = 2, then p
i = 3 and if p
1 <> 2,then p
i = 2.
Whew!
Now, what we end up with is a number that is different from every single number in the list...specifically at the ith position.
Rrhain
WWJD? JWRTFM!