MCC wrote:Smythe Dakota wrote:Or, to look at it another way:
I challenge anybody to come up with a number larger than .9999.... but less than 1.
Doesn't that mean that 0.9999.... and 1 are seperate numbers
Suppose I said, can anybody come up with an integer (whole number) greater than 1 but less than 2, with the implication that if they can't then
1 = 2
You're right that Bill's argument is not a proof, however, you should not neglect the perfectly valid proof udosuk gave. If you prefer a variation on Bill's argument, consider the following: I define two numbers to be equal if and only if their difference is 0, i.e.,
a = b if and only if
a-b = 0. An immediate consequence of this is that if
a<b, then
b-a = ε for some positive real number ε.
Assume that
.999... ≠ 1. Then
1-(.999...)=ε for some positive real number ε. For any real number
x, there exists a unique integer
k such that
10^k ≤ x < 10^{k+1}. Fix such a
k for our ε. Since
10^k is no bigger than ε, adding it to
.999... cannot get you bigger than
1. However, it is easy to see that
.999...+10^k > 1, a contradiction. For example, if
k = -3, then
.99999999...+10^{-3} = .9999999...+.001=1.000999999....
MCC wrote:However large 0.9999.... gets, it never equals 1.
.999... is a fixed number, it can't get larger, it just is what it is, a real number equal to
1. Your statement reminds me of the joke
2+2=5 for large values of
2.