Just like the series 1/2 + 1/4 + 1/8 + 1/16 + ... adds up to 1. Try doing it on a calculator. The more numbers you add, the closer and closer to 1 you get without ever reaching it. But if you have in infinite sum, you finally reach 1.
Very nice. In fact, that's just another special case of the same thing. There's nothing special about base 10 (or base 2, in the case of AltF4's example), except that we might be more used to seeing it. In fact, for any base
b > 1, we can represent "0.(
b-1)~" (spoken: "Zero point
b-1 repeated"), in base
b as
(
b-1)*
b^-1 + (
b-1)*
b^-2 + (
b-1)*
b^-3 + ...
just as we did with
0.9~ = 9*10^-1 + 9*10^-2 + 9*10^-3 + ...
We can also write our representation of "Zero point
b-1 repeated" in summation notation, as
\sum_{
k=0}^\infty (
b-1)*
b^(-
k - 1)
or, equivalently,
\sum_{
k=0}^\infty (
b-1)/
b * (1/
b)^
k
(look closely at this ^. Nothing has happened, just exponents moving around.)
Now we plug into the geometric series formula
a/(1 -
r), where
a = (
b-1)/
b, and
r = 1/
b. Weeelll, we have that 1 -
r = 1 - 1/
b = (
b - 1)/
b =
a, so that
a/(1 -
r) = 1!
Hence "Zero point
b-1 repeated"
always evaluates to 1, whether
b is 10, 2, 8, 16, or 645.
[/proof].
Anyways, we mathematicians do welcome the sort of intuitive notion that "0.9~
just ought to be different than 1". It's sort of the same sense that 0 + x
just ought to be x, no matter what x is; we use this sort of intuition all the time in constructing the very thing you call "Real numbers".
It's certainly possible to construct a model of "Real numbers" in which 0.9~ is different from 1. The problem is that this one intuitive notion that "0.9~
just ought to be different than 1" is not consistent with our other intuitive notions of addition and multiplication. i.e. such a model would not even closely resemble what we think of as "Real numbers" anyways.
Am I making sense?
edit:
But, what I wonder is, are those equations allowed as proof(I mean those on the first page and stuff)? Because to me it seemed like there are mathematically wrong as in multiplying and dividing with infinity is kinda wrong, I believe.
There has been no multiplying or dividing by infinity, at least in any of the examples I have given, only infinite sums, which constitute limits to infinity (which is the very thing we mean by the "~" in "0.9~"). And multiplying by infinity is perfectly acceptable, so long as you don't try to multiply it by zero.
\infty * x
= \infty, if x > 0 (including x = \infty)
= -\infty, if x < 0 (including x = -\infty)
undefined, if x = 0
x / \infty
= undefined, if x = +\infty or x = -\infty
= 0, otherwise.
In analysis, you start working with something called the "Extended Real Line", which is the real numbers with +\infty and -\infty capped on the ends. You get used to funky rules like that. :D
edit edit: Oh! You mean with the whole "10x = 9.999~" bit? Yes, you can do that, but it's not as obvious as it looks. That's a pretty subtle fact that takes a little proving. You start with "x = 0.999~", which is essentially saying "the limit of a sequence is x", and you end with "10x = 9.999~", which is the same as saying "the limit of 10 times a sequence is 10 times the limit of the sequence, which is 10*x". Kinda weird, subtle, but it works.
edit edit edit: sorry about the TeX tags. \infty = "infinity", \sum = "Big Sigma"