Anonymous
10/12/2025, 6:37:25 PM
No.16813065
>>16813062
In the standard definition, staring with a zero means you are between 0 and 1 inclusive. If you want to change that to [0, 1), you can do that, and then you have a scheme for naming points on the number line in which 0.999... is undefined, since there is no point in the number line in all of the intervals {[0, 1), [0.9, 1.0), [0.99, 1.00), ...}. This scheme has the advantage of giving each number a unique name.
In the standard definition, staring with a zero means you are between 0 and 1 inclusive. If you want to change that to [0, 1), you can do that, and then you have a scheme for naming points on the number line in which 0.999... is undefined, since there is no point in the number line in all of the intervals {[0, 1), [0.9, 1.0), [0.99, 1.00), ...}. This scheme has the advantage of giving each number a unique name.