lau wrote:
I may just make rekoil's day. Day make just far saying that
There is no reason not to define a number system where 1.0 and 0.9999... are distinct. To be even sillier, you could choose to make 1.0 and 1.00 be different and there's no obligation for either to be the same as a plain 1 without a decimal point.
Unfortunately, such systems aren't very useful.
The mapping of the real numbers to the decimal (or binary, or sexagesimal) representations happens to be where the identity of 1.0 and 0.99999.... comes in. They are two ways of writing a decimal expansion for the same real number.
In fact, when using decimal expansions, every real number that is representable by a FINITE decimal expansion (i.e. is of the form n/10^m where n and m are integers), has TWO decimal representations. The obvious one, which is actually followed by an infinite series of zero digits, and the less obvious one, which is the finite (n-1)/10^m, followed by an infinite series of 9 digits.
For example
12.64537=12.645369999999... correct?
I think I still prefer the impractical system where there is a significant difference between .999... and 1.