0.999.../Proof by equality of Dedekind cuts

Assumptions

edit

Proof

edit

In the Dedekind cut approach, the real number 1 is the set of all rational numbers that are less than 1.

 

Meanwhile, the real number 0.999... is the set of rational numbers r such that r < 0, or r < 0.9, or r < 0.99, or r is less than some other number of the form

 

In full

 

The proof that these two Dedekind cuts are equal then relies on proving that these two set conditions are equivalent.

It can be shown that any number rational number smaller than 0.999... is also smaller than 1, since any non-negative n will give a value of 1-(1/10)^n which is smaller than 1.

All that remains is to prove that if a rational is smaller than 1, that it is always in 0.999... that:

 

for any r in Q

Substituting r for a natural fraction a/b

 

And letting n in the Quantification equal the denominator b gives

 

cross-multiplication by 10^b gives

 

and since we know that a is smaller than b, and 10 is positive, this will always be true.

Thus the two sets are equivalent, and 0.999... = 1.