Supremum Proof of .999... = 1

[TylerH]

I know .999... = 1. I'm just arguing against this method of proof.

A common proof I see that .999 \ldots = 1 is that sup\{.9, .99, .999, \ldots \} = 1, but this is only true if you assume .999 \ldots \ge 1. If you assume, as most argue, that .999 \ldots < 1, then sup \{.9, .99, .999, \ldots \} = .999 \ldots < 1. Of course, by assuming .999 \ldots < 1, you get the nonsense expected at the end of a proof by contradiction, but you still have to proof that .999 \ldots < 1 is nonsense by proving .999 \ldots = 1. Therefore, the supremum method is useless.

Is my logic correct?

[Hurkyl]

Is my logic correct?
I'm not entirely sure. I think no, because you seem to be confusing the proof sketch with the actual proof. Computing that supremum is the idea of the proof. The actual proof consists of actually carrying out the relatively easy computation. (assuming it's being presented in a context where calculation is expected to be so obvious/trivial it can be emitted)

[ArcanaNoir]

Okay we just had a first look at sups, but I thought I understood it to mean : sup [-1,1) = 1
for example.
So, why should sup{.9999...}=1 only if .999....>=1? shouldn't it require lessthan/equal 1?

[TylerH]

I'm not entirely sure. I think no, because you seem to be confusing the proof sketch with the actual proof. Computing that supremum is the idea of the proof. The actual proof consists of actually carrying out the relatively easy computation. (assuming it's being presented in a context where calculation is expected to be so obvious/trivial it can be emitted)Assume 1 > .999... Obviously, 1 is greater than any number in {.9, .99, .999, ...}, but so is .999... So, since the supremum is the lowest upper bound, and 1 and .999... are bother upper bounds, .999... is the sup or lub.

Okay we just had a first look at sups, but I thought I understood it to mean : sup [-1,1) = 1
for example.
So, why should sup{.9999...}=1 only if .999....>=1? shouldn't it require lessthan/equal 1?
sup is the lowest upper bound, so if a is the lowest upper bound, and b is an upper bound, then b >= a. This is a direct consequence of the definition of sup.

[lavinia]

I know .999... = 1. I'm just arguing against this method of proof.

A common proof I see that .999 \ldots = 1 is that sup\{.9, .99, .999, \ldots \} = 1, but this is only true if you assume .999 \ldots \ge 1. If you assume, as most argue, that .999 \ldots < 1, then sup \{.9, .99, .999, \ldots \} = .999 \ldots < 1. Of course, by assuming .999 \ldots < 1, you get the nonsense expected at the end of a proof by contradiction, but you still have to proof that .999 \ldots < 1 is nonsense by proving .999 \ldots = 1. Therefore, the supremum method is useless.

Is my logic correct?

.9999... is meaningful as a limit. The partial sequences .999... of a finite number of 9's are a Cauchy sequence.The difference 1 - ,9999... of 1 with n 9's is .00000...1 with n+1 leading zeros.

[TylerH]

Yeah, I've seen the Cauchy sequence proof, too. I see no flawed assumption. But do you see what I mean about the Supremum method?

[Char. Limit]

I personally prefer the infinite series proof in my signature.

[TylerH]

I don't see a signature. But, I know which one you're referring to.

[Fredrik]

You can't prove that 0.999...=1 without first defining what the left-hand side means. The standard definition is 0.999\dots=\sum_{n=1}^\infty \frac{9}{10^n}, but 0.999\dots=\sup\{0.9,0.99,\dots\} is a perfectly acceptable alternative definition. What definition are you using?

[Hells]

I personally prefer the infinite series proof in my signature.

It hinges on the definition of limit.

[Char. Limit]

It hinges on the definition of limit.

Unless I make .999...=1 an axiom, I'd have to hinge it on something. I think the definition of a limit is sufficiently stable.

[ArcanaNoir]

I personally prefer the infinite series proof in my signature.

I don't see a signature either.

[Fredrik]

It hinges on the definition of limit.
What's your point? Every proof of the result 0.999...=1 hinges on the definition of 0.999... and the definitions of the terms used in that definition, and so on, all the way down to primitives (the terms left undefined). The primitives are usually taken to be the concept of "set" and "membership" (what it means for a set to be a member of a set).

By the way, all the acceptable definitions of 0.999... are equivalent to simply stating that 0.999...=1. Each proof tells us precisely that the definition of 0.999... it relies on is equivalent to 0.999...=1.

The point of such a proof isn't to find out if 0.999...=1 is "really" true, but to confirm that the definition we chose does the job we intended it to do. A definition of 0.999... that can be used to show that 0.999...≠1 would simply be dismissed.

[Robert1986]

@TylerH:

So, you just define .999... to be sup{.9, .99, ...} and then show that 1 is also the sup of this set. I think this is they way the proof you mentioned is supposed to work.

[TylerH]

@TylerH:

So, you just define .999... to be sup{.9, .99, ...} and then show that 1 is also the sup of this set. I think this is they way the proof you mentioned is supposed to work.

Okay, now that makes sense. It would force .999... = 1 by the transitive property of equality.

[Mohammad_93]

0.111...... * 9 = 0.999......
but 1/9 = 0.111......
so 0.999..... = 0.111..... * 9 = (1/9) * 9 = 1

[Nanas]

when I I have first know the recurvesing numbers i used to use this method

x=0.999.....
10x=9.999.....
9x=9
x=9/9=1


But you can consider the number as a geometric series

[Char. Limit]

when I I have first know the recurvesing numbers i used to use this method

x=0.999.....
10x=9.999.....
9x=9
x=9/9=1


But you can consider the number as a geometric series

And indeed, this is what you're doing. Just in a more veiled manner.

[Robert1986]

when I I have first know the recurvesing numbers i used to use this method

x=0.999.....
10x=9.999.....
9x=9
x=9/9=1


But you can consider the number as a geometric series

The only problem is that when you multiply .99... by anything, you have to have a definition for what that means. Of course, we think of it as just moving the decimal point over, and this is a good way to give a convincing argument to a layman that .999... is 1, but to do it rigoursly, I think you need to do the series expansion or the supremum thing or something else.

[Hurkyl]

0.111...... * 9 = 0.999......
but 1/9 = 0.111......
so 0.999..... = 0.111..... * 9 = (1/9) * 9 = 1

What was the point of this? What bearing did it have to do with anything in the thread or even the title?

I don't see any point in reopening the thread, especially in this fashion. Thread closed.