- #36
TylerH
- 729
- 0
Would this not be the proof, rendering "sup{.9, .99, .999, ...} = 1" extraneous?mathwonk said:The harder part is to show that no number smaller than 1 is as large as all those finite decimals. Note that those finite decimals of form .9999. differ from 1 by a finite decimal of form .0001. So if there were a number lying strictly between 1 and all those finite decimals, it would differ from 1 by a positive number which is less than every number of form .000000...0001. I quit there in an elementary class saying that cannot happen. But for you, here is a sketch of the slightly tedious argument:
It amounts to showing there is no positive number smaller than all those numbers of form
.000000...0001. Now any non zero finite decimal has a first non zero digit in some position, and if we put a 0 in that position and follow it by a 1, we have a smaller number of the form .000000...0001. Thus no finite decimal can be smaller than all those.
As for an infinite decimal, it is at least as large as all its finite truncations by definition, and we can find a number of form .000000...0001. that is strictly smaller than one of those truncations. Thus also every infinite decimal is larger than some number of form .000000...0001.