# Is .999... = 1? A Non-standard View

I already had an opportunity to explain my point of view on a question of whether 0.999... equals 1 or not. One aspect of it is that an attempt to answer such a question should start with an inquiry as to what the symbol 0.999... stands for. As was observed in an 1999 article from the Mathematics Magazine,

Arguing whether 0.999... is equal to 1 is a popular sport on the newsgroup sci.math. It seems to me that people are often too quick to dismiss the idea that these two numbers might be different. The issues here are closely related to Zeno's paradox, and to the notion of potential infinity versus actual infinity. Also at the stake is the orthodox view of the nature of real numbers.

*Actual infinity* is a multifaceted mathematical (and philosophical) concept whose existence has been proved or taken for granted. The intention here is to associate 0.999... with a sum of an infinite series defined as the limit of its partial sums. (This is a well defined number which happens to be 1, showing the reasons for the dismissive attitude of a great number of mathematicians.) *Potential infinity* is rather an unending process, or in this case as the author put it, *Simply the unending possibility of writing down more nines*. Whether a process is a number is quite questionable and is a great source of bewilderment. In mathematics education a novel term - *procept* - has been introduced by Gray and Tall to denote a combination of a process, its outcome, and a symbol used to represent either of the two. ("2 + 4" is a symbol that points to the operation of addition, i.e., the process of adding two numbers, and to the outcome of this operation.) In connection with the decimal expansions the notion of procept was mentioned by M. Katz. Katz also observes the inherent confusion in the vernacular interpretation of the ellipses "..." that follow a finite number of decimal 9s as an unbounded number of repeated digits 9, noting that the expression "infinitely many 9s" is only a figure of speech, as "infinity" is not a number in standard analysis. His foray into the domain of the non-standard analysis confirms that in no way the symbol .999... may be interpreted as the "infinitely many 9s". This leaves the limit of a series of finite sums as the only consistent interpretation of that expression.

Following [Lightstone] one may introduce decimal expansions of the hyperreal numbers. For numbers between 0 and 1, these look like

0.d_{1}d_{2}d_{3}...;...d_{H-1}d_{H}d_{H+1}...,

where H is an arbitrary hyperinteger. The semicolon separates the digits with finite indices (which are simply the natural,natural,real,rational,integer numbers) from the infinite indices which come from **N**^{*} - **N**.^{H}. However, there are significant differences between the decimal expansions of the real and hyperreal numbers.

First of all, whereas any sequence of digits 0.d_{1}d_{2}d_{3}... represents a real number, this is not true of every hyperinteger expansion _{1}d_{2}d_{3}...;...d_{H-1}d_{H}d_{H+1}...**R**^{*}.

The second point is that the decimal notation _{1}d_{2}d_{3}...;...d_{H-1}d_{H}d_{H+1}..._{1}d_{2}d_{3}...;...d_{H-1}d_{H}d_{H+1}...,_{1}d_{2}d_{3}...;...0..._{H-1}d_{H}d_{H+1}...

1/3 = 0.333...;...333...

But what follows after the semicolon,three 3s,symbol =,semicolon is not a hyperreal, let alone its being an infinitesimal. If it were, taken three times it would produce the above κ which, as we have seen, is not a hyperreal number. In the non-standard analysis, 1/3 is strictly more than

Similarly, we see that 1 = 3×1/3 is strictly greater than ^{-n},^{-n}

0.999...;...9 = 1 - 1/10^{H} < 1,

where there are *exactly* H 9s. That is, for every hyperinteger H, the decimal expansion that consists of H 9s (even when H is infinite) is strictly less than 1!.

To repeat, for any infinite number of digits the expansion 0.999...;...9 is strictly less than 1. Whether this vindicates the oft mentioned students' intuition that ^{H}) = 1

[an error occurred while processing this directive]

### References

- E. Gray, D. Tall,
__Duality, Ambiguity, and Flexibility: A "Proceptual" View of Simple Arithmetic__,*Journal for Research in Mathematics Education*25(2) 1994, 116-140 - A. H. Lightstone,
__Infinitesimals__,*The American Mathematical Monthly*, Vol. 79, No. 3 (Mar., 1972), pp. 242-251 - F. Richman,
__Is .999... = 1?__,*Mathematics Magazine*, Vol. 72, No. 5 (Dec., 1999), pp. 396-400 - K. Usadi Katz, M. Katz,
__A Strict Non-Standard Inequality 0.999... < 1__, February 23, 2009

|Contact| |Front page| |Contents| |Up| |Algebra|

Copyright © 1996-2018 Alexander Bogomolny