- #1
Opus131
- 1
- 0
We know that analytically 0.999... = 1.0. But does 0.999... have any sort of "independent" existence (on the real-number line or otherwise)? Here's my argument against that:
Consider the semi-open line segment [0,1). This set of points has no greatest member. Let's say it did have a greatest member. Then surely that would equal 0.999... Put another way, if 0.999... doesn't equal 1, then we have to conclude that 0.999... only equals 0.999..., which is to say that it's in a class by itself. But where on the real-number line is it located? Intuitively, it would have to be the point "just before" unity. But no such point exists because no two points are "next to" each other on the line. Therefore the idea that 0.999... exists is vague and has to be relegated to the realm of metaphysics.
My argument is intuitive, not analytical. But is the conclusion correct?
Consider the semi-open line segment [0,1). This set of points has no greatest member. Let's say it did have a greatest member. Then surely that would equal 0.999... Put another way, if 0.999... doesn't equal 1, then we have to conclude that 0.999... only equals 0.999..., which is to say that it's in a class by itself. But where on the real-number line is it located? Intuitively, it would have to be the point "just before" unity. But no such point exists because no two points are "next to" each other on the line. Therefore the idea that 0.999... exists is vague and has to be relegated to the realm of metaphysics.
My argument is intuitive, not analytical. But is the conclusion correct?