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.
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
First of all, whereas any sequence of digits 0.d1d2d3... represents a real number, this is not true of every hyperinteger expansion
The second point is that the decimal notation
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
0.999...;...9 = 1 - 1/10H < 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
- Infinitesimals. Non-standard Analysis
- Formal Languages
- Theories and Proofs
- Models and Metamathematics
- Hyperintegers and Hyperreal Numbers
- Structure of Hyperreal Numbers
- The Transfer Principle
- Common Concepts - A Non-standard View
- Is .999... = 1? A Non-standard View
Back to What Is Infinity?
- 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
- What Is Infinity?
- What Is Finite?
- Infinity As a Limit
- Cardinal Numbers
- Ordinal Numbers
- Surreal Numbers
- Infinitesimals. Non-standard Analysis
- Various Geometric Infinities
- Paradoxes of Infinity