In
mathematics, 0.999... (also written as 0.9, 0..9 or 0.(9)) is a notation for the
repeating decimal consisting of an unending sequence of 9s after the
decimal point. This repeating decimal is a
numeral that represents the smallest number no less than every
number in the sequence ; that is, the
supremum of this sequence.[a] This number is equal to1. In other words, "0.999..." is not "almost exactly 1" or "very, very nearly but not quite 1"; rather, "0.999..." and "1" represent exactly the same number.
There are many ways of showing this equality, from
intuitive arguments to
mathematically rigorousproofs. The technique used depends on the target audience, background assumptions, historical context, and preferred development of the
real numbers, the system within which 0.999... is commonly defined. In
other systems, 0.999... can have the same meaning, a different definition, or be undefined.
More generally, every nonzero
terminating decimal has two equal representations (for example, 8.32000... and 8.31999...), which is a property of all
positional numeral system representations regardless of
base. The utilitarian preference for the terminating decimal representation contributes to the misconception that it is the only representation. For this and other reasons—such as rigorous proofs relying on non-elementary techniques, properties, or disciplines—some people can find the equality sufficiently counterintuitive that they question or reject it. This has been the subject of several studies in
mathematics education.
Proof by adding and comparing decimal numbers
It is possible to prove the equation using just the mathematical tools of comparison and addition of (finite)
decimal numbers, without any reference to more advanced topics such as
series,
limits, formal
construction of real numbers, etc. The proof given
below is a direct formalization of the intuitive fact that, if one draws , , , etc. on the
number line, there is no room left for placing a number between them and 1. The meaning of the notation 0.999... is the least point on the number line lying to the right of all of the numbers , , , etc. Because there is ultimately no room between 1 and these numbers, the point 1 must be this least point, and so .
Intuitive explanation
If one places , , , etc. on the
number line, one sees immediately that all these points are to the left of 1, and that they get closer and closer to 1. For any number that is less than 1, the sequence , , , and so on will eventually reach a number larger than . So, it does not make sense to identify with any number smaller than 1. Meanwhile, every number larger than 1 will be larger than any decimal of the form for any finite number of nines. Therefore, cannot be identified with any number larger than 1, either. Because cannot be bigger than 1 or smaller than 1, it must equal 1 if it is to be any real number at all.[1][2]
Rigorous proof
More precisely, the distance from 0.9 to 1 is , the distance from 0.99 to 1 is , and so on. The distance to 1 from the -th point (the one with 9s after the decimal point) is .
Therefore, if 1 were not the smallest number greater than , , , etc., then there would be a point on the number line that lies between 1 and all these points. This point would be at a positive distance from 1 that is less than for every
integer. In the standard
number systems (the
rational numbers and the
real numbers), there is no positive number that is less than for all . This is (one version of) a property of these number systems known as the
Archimedean property.[3][4] Therefore, 1 is the smallest number that is greater than all , , , etc., and so .
One way to show that the difference between and is less than the inverse of any positive integer is as follows. The number , with nines after the decimal point, is denoted . Thus , , , and so on. As , with digits after the decimal point, the addition rule for decimal numbers implies
for every
positive integer. One has to show that 1 is the smallest number that is no less than all . For this, it suffices to prove that, if a number is not larger than 1 and no less than all , then . So let such that
for every positive integer . Therefore,
which, using basic arithmetic and the first equality established above, simplifies to
This implies that the difference between and is less than the inverse of any positive integer. Thus, this difference must be zero, and, thus ; that is, .
This proof relies on the fact that zero is the only
nonnegative number that is less than all inverses of integers, or equivalently that no number is larger than every integer. This is the Archimedean property, which holds for rational numbers and real numbers. Real numbers may be enlarged into
number systems, such as
hyperreal numbers, with infinitely small numbers (
infinitesimals) and infinitely large numbers (
infinite numbers).[5][6] When using such systems, the notation 0.999... is generally not used, as there is no smallest number among the numbers larger than all .[b]
Least upper bounds and completeness
Part of what this argument shows is that there is a
least upper bound of the sequence , , , etc.: the smallest number that is greater than all of the terms of the sequence. One of the
axioms of the
real number system is the
completeness axiom, which states that every bounded sequence has a least upper bound.[7][8] This least upper bound is one way to define infinite decimal expansions: the real number represented by an infinite decimal is the least upper bound of its finite truncations.[9] The argument here does not need to assume completeness to be valid, because it shows that this particular sequence of rational numbers has a least upper bound and that this least upper bound is equal to one.
Algebraic arguments
Many algebraic arguments have been provided, which suggest that They are not rigorous
mathematical proofs since they are typically based on the assumption that the rules for adding and multiplying finite
decimals extend to infinite decimals. The extension of these rules to infinite decimals is both intuitive and correct, but it requires justification.
Simple algebraic illustrations of equality are a subject of pedagogical discussion and critique.
Byers (2007) discusses the argument that, in elementary school, one is taught that , so, ignoring all essential subtleties, "multiplying" this identity by gives . He further says that this argument is unconvincing, because of an unresolved ambiguity over the meaning of the
equals sign; a student might think, "It surely does not mean that the number 1 is identical to that which is meant by the notation ." Most undergraduate mathematics majors encountered by Byers feel that while is "very close" to 1 on the strength of this argument, with some even saying that it is "infinitely close", they are not ready to say that it is equal to 1.[10]Richman (1999) discusses how "this argument gets its force from the fact that most people have been indoctrinated to accept the first equation without thinking", but also suggests that the argument may lead skeptics to question this assumption.[11]
Byers also presents the following argument.
Students who did not accept the first argument sometimes accept the second argument, but, in Byers's opinion, still have not resolved the ambiguity, and therefore do not understand the representation of infinite decimals.
Peressini & Peressini (2007), presenting the same argument, also state that it does not explain the equality, indicating that such an explanation would likely involve concepts of infinity and
completeness.[12]Baldwin & Norton (2012), citing
Katz & Katz (2010a), also conclude that the treatment of the identity based on such arguments as these, without the formal concept of a limit, is premature.[13]Cheng (2023) concurs, arguing that knowing one can multiply by 10 by shifting the decimal point presumes an answer to the deeper question of how one gives a meaning to the expression at all.[14]
The same argument is also given by
Richman (1999), who notes that skeptics may question whether is
cancellable – that is, whether it makes sense to subtract from both sides.[11]
Analytic proofs
Since the question of 0.999... does not affect the formal development of mathematics, it can be postponed until one proves the standard theorems of
real analysis. One requirement is to characterize real numbers that can be written in decimal notation, consisting of an optional
sign, a finite sequence of one or more digits forming an integer part, a decimal separator, and a sequence of digits forming a fractional part. To discuss 0.999..., the integer part can be summarized as and one can neglect negatives, so a decimal expansion has the form
The fraction part, unlike the integer part, is not limited to finitely many digits. This is a
positional notation, so for example the digit 5 in 500 contributes ten times as much as the 5 in 50, and the 5 in 0.05 contributes one tenth as much as the 5 in 0.5.
The sum of a geometric series is itself a result even older than Euler. A typical 18th-century derivation used a term-by-term manipulation similar to the
algebraic proof given above, and as late as 1811, Bonnycastle's textbook An Introduction to Algebra uses such an argument for geometric series to justify the same maneuver on 0.999...[17] A 19th-century reaction against such liberal summation methods resulted in the definition that still dominates today: the sum of a series is defined to be the limit of the sequence of its partial sums. A corresponding proof of the theorem explicitly computes that sequence; it can be found in any proof-based introduction to calculus or analysis.[18]
A
sequence has the value as its
limit if the distance becomes arbitrarily small as increases. The statement that can itself be interpreted and proven as a limit:[c]
The first two equalities can be interpreted as symbol shorthand definitions. The remaining equalities can be proven. The last step, that approaches to 0 as approaches to infinity (), is often justified by the
Archimedean property of the real numbers. This limit-based attitude towards is often put in more evocative but less precise terms. For example, the 1846 textbook The University Arithmetic explains, ".999 +, continued to infinity = 1, because every annexation of a 9 brings the value closer to 1"; the 1895 Arithmetic for Schools says, "when a large number of 9s is taken, the difference between 1 and .99999... becomes inconceivably small".[19] Such
heuristics are often incorrectly interpreted by students as implying that 0.999... itself is less than 1.
The series definition above defines the real number named by a decimal expansion. A complementary approach is tailored to the opposite process: for a given real number, define the decimal expansion(s) to name it.
If a real number x is known to lie in the
closed interval (that is, it is greater than or equal to 0 and less than or equal to 10), one can imagine dividing that interval into ten pieces that overlap only at their endpoints: , , , and so on up to . The number must belong to one of these; if it belongs to [2, 3], then one records the digit "2" and subdivides that interval into , , ..., , . Continuing this process yields an infinite sequence of
nested intervals, labeled by an infinite sequence of digits , and one writes
In this formalism, the identities 1 = 0.999... and 1 = 1.000... reflect, respectively, the fact that 1 lies in both . and , so one can choose either subinterval when finding its digits. To ensure that this notation does not abuse the "=" sign, one needs a way to reconstruct a unique real number for each decimal. This can be done with limits, but other constructions continue with the ordering theme.[20]
One straightforward choice is the
nested intervals theorem, which guarantees that given a sequence of nested, closed intervals whose lengths become arbitrarily small, the intervals contain exactly one real number in their
intersection. So is defined to be the unique number contained within all the intervals , , and so on. 0.999... is then the unique real number that lies in all of the intervals , , , and for every finite string of 9s. Since 1 is an element of each of these intervals, .[21]
The nested intervals theorem is usually founded upon a more fundamental characteristic of the real numbers: the existence of
least upper bounds or suprema. To directly exploit these objects, one may define to be the least upper bound of the set of approximants .[22] One can then show that this definition (or the nested intervals definition) is consistent with the subdivision procedure, implying again. Tom Apostol concludes, "the fact that a real number might have two different decimal representations is merely a reflection of the fact that two different sets of real numbers can have the same supremum."[23]
Some approaches explicitly define real numbers to be certain
structures built upon the rational numbers, using
axiomatic set theory. The
natural numbers begin with 0 and continue upwards so that every number has a successor. One can extend the natural numbers with their negatives to give all the
integers, and to further extend to ratios, giving the
rational numbers. These number systems are accompanied by the arithmetic of addition, subtraction, multiplication, and division.[24][25] More subtly, they include
ordering, so that one number can be compared to another and found to be less than, greater than, or equal to another number.[26]
The step from rationals to reals is a major extension. There are at least two popular ways to achieve this step, both published in 1872:
Dedekind cuts and
Cauchy sequences. Proofs that that directly uses these constructions are not found in textbooks on real analysis, where the modern trend for the last few decades has been to use an axiomatic analysis. Even when a construction is offered, it is usually applied toward proving the axioms of the real numbers, which then support the above proofs. However, several authors express the idea that starting with a construction is more logically appropriate, and the resulting proofs are more self-contained.[d]
In the
Dedekind cut approach, each real number is defined as the
infinite set of all
rational numbers less than .[e] In particular, the real number 1 is the set of all rational numbers that are less than 1.[f] Every positive decimal expansion easily determines a Dedekind cut: the set of rational numbers that are less than some stage of the expansion. So the real number 0.999... is the set of rational numbers such that , or , or , or is less than some other number of the form[27]
Every element of 0.999... is less than 1, so it is an element of the real number 1. Conversely, all elements of 1 are rational numbers that can be written as
with and . This implies
and thus
Since
by the definition above, every element of 1 is also an element of 0.999..., and, combined with the proof above that every element of 0.999... is also an element of 1, the sets 0.999... and 1 contain the same rational numbers, and are therefore the same set, that is, .
The definition of real numbers as Dedekind cuts was first published by
Richard Dedekind in 1872.[28]
The above approach to assigning a real number to each decimal expansion is due to an expository paper titled "Is 0.999 ... = 1?" by Fred Richman in Mathematics Magazine.[11] Richman notes that taking Dedekind cuts in any
dense subset of the rational numbers yields the same results; in particular, he uses
decimal fractions, for which the proof is more immediate. He also notes that typically the definitions allow to be a cut but not (or vice versa).[29] A further modification of the procedure leads to a different structure where the two are not equal. Although it is consistent, many of the common rules of decimal arithmetic no longer hold, for example, the fraction has no representation; see
§ Alternative number systems below.
Another approach is to define a real number as the limit of a
Cauchy sequence of rational numbers. This construction of the real numbers uses the ordering of rationals less directly. First, the distance between and is defined as the absolute value , where the absolute value is defined as the maximum of and , thus never negative. Then the reals are defined to be the sequences of rationals that have the Cauchy sequence property using this distance. That is, in the sequence , a mapping from natural numbers to rationals, for any positive rational there is an such that for all ; the distance between terms becomes smaller than any positive rational.[30]
If and are two Cauchy sequences, then they are defined to be equal as real numbers if the sequence has the limit 0. Truncations of the decimal number generate a sequence of rationals, which is Cauchy; this is taken to define the real value of the number.[31] Thus in this formalism the task is to show that the sequence of rational numbers
has a limit 0. Considering the -th term of the sequence, for , it must therefore be shown that
The definition of real numbers as Cauchy sequences was first published separately by
Eduard Heine and
Georg Cantor, also in 1872.[28] The above approach to decimal expansions, including the proof that , closely follows Griffiths & Hilton's 1970 work A comprehensive textbook of classical mathematics: A contemporary interpretation.[33]
Commonly in
secondary schools' mathematics education, the real numbers are constructed by defining a number using an integer followed by a
radix point and an infinite sequence written out as a string to represent the
fractional part of any given real number. In this construction, the set of any combination of an integer and digits after the decimal point (or radix point in non-base 10 systems) is the set of real numbers. This construction can be rigorously shown to satisfy all of the
real axioms after defining an
equivalence relation over the set that defines 1 =eq 0.999... as well as for any other nonzero decimals with only finitely many nonzero terms in the decimal string with its trailing 9s version.[34] With this construction of the reals, all proofs of the statement "1 = 0.999..." can be viewed as implicitly assuming equality when any operations are performed on the real numbers.
One of the notions that can resolve the issue is the requirement that real numbers be densely ordered. Dense ordering implies that if there is no new element strictly between two elements of the set, the two elements must be considered equal. Therefore, if were to be different from , there would have to be another real number in between them but there is none: a single digit cannot be changed in either of the two to obtain such a number.[35]
Generalizations
The result that generalizes readily in two ways. First, every nonzero number with a finite decimal notation (equivalently, endless trailing 0s) has a counterpart with trailing 9s. For example, 0.24999... equals 0.25, exactly as in the special case considered. These numbers are exactly the decimal fractions, and they are
dense.[36][9]
Second, a comparable theorem applies in each radix or
base. For example, in base 2 (the
binary numeral system) 0.111... equals 1, and in base 3 (the
ternary numeral system) 0.222... equals 1. In general, any terminating base expression has a counterpart with repeated trailing digits equal to . Textbooks of real analysis are likely to skip the example of 0.999... and present one or both of these generalizations from the start.[37]
Alternative representations of 1 also occur in non-integer bases. For example, in the
golden ratio base, the two standard representations are and , and there are infinitely many more representations that include adjacent 1s. Generally, for
almost all between 1 and 2, there are uncountably many base- expansions of 1. In contrast, there are still uncountably many , including all natural numbers greater than 1, for which there is only one base- expansion of 1, other than the trivial . This result was first obtained by
Paul Erdős, Miklos Horváth, and István Joó around 1990. In 1998 Vilmos Komornik and
Paola Loreti determined the smallest such base, the
Komornik–Loreti constant. In this base, ; the digits are given by the
Thue–Morse sequence, which does not repeat.[38]
A more far-reaching generalization addresses
the most general positional numeral systems. They too have multiple representations, and in some sense, the difficulties are even worse. For example:[39]
In the reverse
factorial number system (using bases for positions after the decimal point), .
Impossibility of unique representation
That all these different number systems suffer from multiple representations for some real numbers can be attributed to a fundamental difference between the real numbers as an ordered set and collections of infinite strings of symbols, ordered
lexicographically. Indeed, the following two properties account for the difficulty:
If an
interval of the
real numbers is
partitioned into two non-empty parts , , such that every element of is (strictly) less than every element of , then either contains a largest element or contains a smallest element, but not both.
The collection of infinite
strings of symbols taken from any finite "alphabet", lexicographically ordered, can be partitioned into two non-empty parts , , such that every element of is less than every element of , while contains the largest element and contains the smallest element. Indeed, it suffices to take two finite
prefixes (initial substrings) of elements from the collection such that they differ only in their final symbol, for which symbol they have successive values, and take for the set of all strings in the collection whose corresponding prefix is at most , and for the remainder, the strings in the collection whose corresponding prefix is at least . Then has the largest element, starting with and choosing the largest available symbol in all following positions. In contrast, has the smallest element obtained by following by the smallest symbol in all positions.
The first point follows from the basic properties of real numbers: has a
supremum and has an
infimum, which are easily seen to be equal; being a real number it either lies in or in , but not both since and are supposed to be
disjoint. The second point generalizes the 0.999.../1.000... pair obtained for , . One need not use the same alphabet for all positions (so that for instance
mixed radix systems can be included) or consider the full collection of possible strings; the only important points are that at each position a
finite set of symbols (which may even depend on the previous symbols) can be chosen from (this is needed to ensure maximal and minimal choices), and that making a valid choice for any position should result in a valid infinite string (so one should not allow "9" in each position while forbidding an infinite succession of "9"s). Under these assumptions, the above argument shows that an
order preserving map from the collection of strings to an interval of the real numbers cannot be a
bijection: either some numbers do not correspond to any string, or some of them correspond to more than one string.
Petkovšek (1990) has proven that for any positional system that names all the real numbers, the set of reals with multiple representations is always dense. He calls the proof "an instructive exercise in elementary
point-set topology"; it involves viewing sets of positional values as
Stone spaces and noticing that their real representations are given by
continuous functions.[40]
Applications
One application of 0.999... as a representation of 1 occurs in elementary
number theory. In 1802, H. Goodwyn published an observation on the appearance of 9s in the repeating-decimal representations of fractions whose denominators are certain
prime numbers.[41] Examples include:
and .
and .
E. Midy proved a general result about such fractions, now called
Midy's theorem, in 1836. The publication was obscure, and it is unclear if his proof directly involved 0.999..., but at least one modern proof by W. G. Leavitt does. If it can be proved that if a decimal of the form is a positive integer, then it must be 0.999..., which is then the source of the 9s in the theorem.[42] Investigations in this direction can motivate such concepts as
greatest common divisors,
modular arithmetic,
Fermat primes,
order of
group elements, and
quadratic reciprocity.[43]
Returning to real analysis, the base-3 analogue plays a key role in the characterization of one of the simplest
fractals, the middle-thirds
Cantor set: a point in the
unit interval lies in the Cantor set if and only if it can be represented in ternary using only the digits 0 and 2.
The -th digit of the representation reflects the position of the point in the -th stage of the construction. For example, the point is given the usual representation of 0.2 or 0.2000..., since it lies to the right of the first deletion and the left of every deletion thereafter. The point is represented not as 0.1 but as 0.0222..., since it lies to the left of the first deletion and the right of every deletion thereafter.[44]
Repeating nines also turns up in yet another of Georg Cantor's works. They must be taken into account to construct a valid proof, applying
his 1891 diagonal argument to decimal expansions, of the
uncountability of the unit interval. Such a proof needs to be able to declare certain pairs of real numbers to be different based on their decimal expansions, so one needs to avoid pairs like 0.2 and 0.1999... A simple method represents all numbers with nonterminating expansions; the opposite method rules out repeating nines.[g] A variant that may be closer to Cantor's original argument uses base 2, and by turning base-3 expansions into base-2 expansions, one can prove the uncountability of the Cantor set as well.[45]
Skepticism in education
Students of mathematics often reject the equality of 0.999... and 1, for reasons ranging from their disparate appearance to deep misgivings over the
limit concept and disagreements over the nature of
infinitesimals. There are many common contributing factors to the confusion:
Students are often "mentally committed to the notion that a number can be represented in one and only one way by a decimal." Seeing two manifestly different decimals representing the same number appears to be a
paradox, which is amplified by the appearance of the seemingly well-understood number 1.[h]
Some students interpret "0.999..." (or similar notation) as a large but finite string of 9s, possibly with a variable, unspecified length. If they accept an infinite string of nines, they may still expect a last 9 "at infinity".[46]
Intuition and ambiguous teaching lead students to think of the limit of a sequence as a kind of infinite process rather than a fixed value since a sequence need not reach its limit. Where students accept the difference between a sequence of numbers and its limit, they might read "0.999..." as meaning the sequence rather than its limit.[47]
These ideas are mistaken in the context of the standard real numbers, although some may be valid in other number systems, either invented for their general mathematical utility or as instructive
counterexamples to better understand 0.999...
Many of these explanations were found by
David Tall, who has studied characteristics of teaching and cognition that lead to some of the misunderstandings he has encountered with his college students. Interviewing his students to determine why the vast majority initially rejected the equality, he found that "students continued to conceive of 0.999... as a sequence of numbers getting closer and closer to 1 and not a fixed value, because 'you haven't specified how many places there are' or 'it is the nearest possible decimal below 1'".[48]
The elementary argument of multiplying by 3 can convince reluctant students that . Still, when confronted with the conflict between their belief in the first equation and their disbelief in the second, some students either begin to disbelieve the first equation or simply become frustrated.[49] Nor are more sophisticated methods foolproof: students who are fully capable of applying rigorous definitions may still fall back on intuitive images when they are surprised by a result in advanced mathematics, including . For example, one real analysis student was able to prove that using a
supremum definition but then insisted that based on her earlier understanding of
long division.[50] Others still can prove that , but, upon being confronted by the
fractional proof, insist that "logic" supersedes the mathematical calculations.
Mazur (2005) tells the tale of an otherwise brilliant calculus student of his who "challenged almost everything I said in class but never questioned his calculator," and who had come to believe that nine digits are all one needs to do mathematics, including calculating the square root of 23. The student remained uncomfortable with a limiting argument that , calling it a "wildly imagined infinite growing process."[51]
As part of Ed Dubinsky's
APOS theory of mathematical learning, he and his collaborators (2005) propose that students who conceive of 0.999... as a finite, indeterminate string with an infinitely small distance from 1 have "not yet constructed a complete process conception of the infinite decimal". Other students who have a complete process conception of 0.999... may not yet be able to "encapsulate" that process into an "object conception", like the object conception they have of 1, and so they view the process 0.999... and the object 1 as incompatible. Dubinsky et al. also link this mental ability of encapsulation to viewing as a number in its own right and to dealing with the set of natural numbers as a whole.[52]
Cultural phenomenon
With the rise of the
Internet, debates about 0.999... have become commonplace on
newsgroups and
message boards, including many that nominally have little to do with mathematics. In the newsgroup sci.math, arguing over 0.999... is described as a "popular sport", and it is one of the questions answered in its
FAQ.[53][54] The FAQ briefly covers , multiplication by 10, and limits, and it alludes to Cauchy sequences as well.
A 2003 edition of the general-interest newspaper column The Straight Dope discusses 0.999... via and limits, saying of misconceptions,
The lower primate in us still resists, saying: .999~ doesn't really represent a number, then, but a process. To find a number we have to halt the process, at which point the .999~ = 1 thing falls apart.
Nonsense.[55]
A Slate article reports that the concept of 0.999... is "hotly disputed on websites ranging from World of Warcraft message boards to
Ayn Rand forums".[56] In the same vein, the question of 0.999... proved such a popular topic in the first seven years of
Blizzard Entertainment's
Battle.net forums that the company issued a "press release" on
April Fools' Day 2004 that it is 1:
We are very excited to close the book on this subject once and for all. We've witnessed the heartache and concern over whether .999~ does or does not equal 1, and we're proud that the following proof finally and conclusively addresses the issue for our customers.[57]
Two proofs are then offered, based on limits and multiplication by 10.
Although the real numbers form an extremely useful
number system, the decision to interpret the notation "0.999..." as naming a real number is ultimately a convention, and
Timothy Gowers argues in Mathematics: A Very Short Introduction that the resulting identity is a convention as well:
However, it is by no means an arbitrary convention, because not adopting it forces one either to invent strange new objects or to abandon some of the familiar rules of arithmetic.[59]
Some proofs that rely on the
Archimedean property of the real numbers: that there are no nonzero
infinitesimals. Specifically, the difference must be smaller than any positive rational number, so it must be an infinitesimal; but since the reals do not contain nonzero infinitesimals, the difference is zero, and therefore the two values are the same.
However, there are mathematically coherent ordered
algebraic structures, including various alternatives to the real numbers, which are non-Archimedean.
Non-standard analysis provides a number system with a full array of infinitesimals (and their inverses).[i]A. H. Lightstone developed a decimal expansion for
hyperreal numbers in (0, 1)∗. Lightstone shows how to associate each number with a sequence of digits,
indexed by the
hypernatural numbers. While he does not directly discuss 0.999..., he shows the real number is represented by , which is a consequence of the
transfer principle. As a consequence the number . With this type of decimal representation, not every expansion represents a number. In particular "" and "" do not correspond to any number.[60]
The standard definition of the number 0.999... is the
limit of the sequence. A different definition involves an ultralimit, i.e., the equivalence class of this sequence in the
ultrapower construction, which is a number that falls short of 1 by an infinitesimal amount.[61] More generally, the hyperreal number , with last digit 9 at infinite
hypernatural rank , satisfies a strict inequality . Accordingly, an alternative interpretation for "zero followed by infinitely many 9s" could be[62]
All such interpretations of "0.999..." are infinitely close to 1.
Ian Stewart characterizes this interpretation as an "entirely reasonable" way to rigorously justify the intuition that "there's a little bit missing" from 1 in 0.999....[j] Along with
Katz & Katz (2010b), Robert Ely also questions the assumption that students' ideas about are erroneous intuitions about the real numbers, interpreting them rather as nonstandard intuitions that could be valuable in the learning of calculus.[63]
Hackenbush
Combinatorial game theory provides a generalized concept of number that encompasses the real numbers and much more besides.[64] For example, in 1974,
Elwyn Berlekamp described a correspondence between strings of red and blue segments in
Hackenbush and binary expansions of real numbers, motivated by the idea of
data compression. For example, the value of the Hackenbush string is . However, the value of (corresponding to is infinitesimally less than 1. The difference between the two is the
surreal number, where is the first
infinite ordinal; the relevant game is or .[k]
This is true of the binary expansions of many rational numbers, where the values of the numbers are equal but the corresponding binary tree paths are different. For example, , which are both equal to , but the first representation corresponds to the binary tree path , while the second corresponds to the different path .
Revisiting subtraction
Another manner in which the proofs might be undermined is if simply does not exist because subtraction is not always possible. Mathematical structures with an addition operation but not a subtraction operation include
commutativesemigroups,
commutative monoids, and
semirings. Richman considers two such systems, designed so that .
First,
Richman (1999) defines a nonnegative decimal number to be a literal decimal expansion. He defines the
lexicographical order and an addition operation, noting that simply because in the ones place, but for any nonterminating , one has . So one peculiarity of the decimal numbers is that addition cannot always be canceled; another is that no decimal number corresponds to . After defining multiplication, the decimal numbers form a positive, totally ordered, commutative semiring.[65]
In the process of defining multiplication, Richman also defines another system he calls "cut ", which is the set of
Dedekind cuts of decimal fractions. Ordinarily, this definition leads to the real numbers, but for a decimal fraction he allows both the cut and the "principal cut" . The result is that the real numbers are "living uneasily together with" the decimal fractions. Again . There are no positive infinitesimals in cut , but there is "a sort of negative infinitesimal," , which has no decimal expansion. He concludes that , while the equation "" has no solution.[l]
When asked about 0.999..., novices often believe there should be a "final 9", believing to be a positive number which they write as "0.000...1". Whether or not that makes sense, the intuitive goal is clear: adding a 1 to the final 9 in 0.999... would carry all the 9s into 0s and leave a 1 in the ones place. Among other reasons, this idea fails because there is no "final 9" in 0.999....[66] However, there is a system that contains an infinite string of 9s including a last 9.
The
-adic numbers are an alternative number system of interest in
number theory. Like the real numbers, the -adic numbers can be built from the rational numbers via
Cauchy sequences; the construction uses a different metric in which 0 is closer to , and much closer to , than it is to 1.[67] The -adic numbers form a
field for prime and a
ring for other , including 10. So arithmetic can be performed in the -adics, and there are no infinitesimals.
In the 10-adic numbers, the analogues of decimal expansions run to the left. The 10-adic expansion ...999 does have a last 9, and it does not have a first 9. One can add 1 to the ones place, and it leaves behind only 0s after carrying through: , and so .[68] Another derivation uses a geometric series. The infinite series implied by "...999" does not converge in the real numbers, but it converges in the 10-adics, and so one can re-use the familiar formula:[69]
Compare with the series in the
section above. A third derivation was invented by a seventh-grader who was doubtful over her teacher's limiting argument that 0.999... = 1 but was inspired to take the multiply-by-10 proof
above in the opposite direction: if , then , so , hence again.[68]
As a final extension, since (in the reals) and (in the 10-adics), then by "blind faith and unabashed juggling of symbols"[70] one may add the two equations and arrive at . This equation does not make sense either as a 10-adic expansion or an ordinary decimal expansion, but it turns out to be meaningful and true in the
doubly infinitedecimal expansion of the
10-adic solenoid, with eventually repeating left ends to represent the real numbers and eventually repeating right ends to represent the 10-adic numbers.[71]
Related questions
Zeno's paradoxes, particularly the paradox of the runner, are reminiscent of the apparent paradox that 0.999... and 1 are equal. The runner paradox can be mathematically modelled and then, like 0.999..., resolved using a geometric series. However, it is not clear if this mathematical treatment addresses the underlying metaphysical issues Zeno was exploring.[72]
Negative zero is another redundant feature of many ways of writing numbers. In number systems, such as real numbers, where "0" denotes the additive identity and is neither positive nor negative, the usual interpretation of "−0" is that it should denote the additive inverse of 0, which forces .[73] Nonetheless, some scientific applications use separate positive and negative zeroes, as do some computing binary number systems (for example integers stored in the
sign and magnitude or
ones' complement formats, or floating point numbers as specified by the
IEEE floating-point standard).[74]
^This definition is equivalent to the definition of decimal numbers as the limits of their summed components, which, in the case of 0.999..., is the limit of the sequence (0.9, 0.99, 0.999, ...). The equivalence is due to bounded increasing sequences having their limit always equal to their
least upper bound.
^For example, one can show this as follows: if is any number such that , then . Thus if has this property for all , the smaller number does, as well.
^The limit follows, for example, from
Rudin (1976), p. 57, Theorem 3.20e. For a more direct approach, see also
Finney, Weir & Giordano (2001), section 8.1, example 2(a), example 6(b).
^Enderton (1977), p. 113 qualifies this description: "The idea behind Dedekind cuts is that a real number can be named by giving an infinite set of rationals, namely all the rationals less than . We will in effect define to be the set of rationals smaller than . To avoid circularity in the definition, we must be able to characterize the sets of rationals obtainable in this way..."
^Rudin (1976), pp. 17–20,
Richman (1999), p. 399, or
Enderton (1977), p. 119. To be precise, Rudin, Richman, and Enderton call this cut , , and , respectively; all three identify it with the traditional real number 1. Note that what Rudin and Enderton call a Dedekind cut, Richman calls a "non-principal Dedekind cut".
^Maor (1987), p. 60 and
Mankiewicz (2000), p. 151 review the former method; Mankiewicz attributes it to Cantor, but the primary source is unclear.
Munkres (2000), p. 50 mentions the latter method.
^Bunch (1982), p. 119;
Tall & Schwarzenberger (1978), p. 6. The last suggestion is due to
Burrell (1998), p. 28: "Perhaps the most reassuring of all numbers is 1 ... So it is particularly unsettling when someone tries to pass off 0.9~ as 1."
^For a full treatment of non-standard numbers, see
Robinson (1996).
^Stewart (2009), p. 175; the full discussion of 0.999... is spread through pp. 172–175.
^Berlekamp, Conway & Guy (1982), pp. 79–80, 307–311 discuss 1 and and touch on . The game for follows directly from Berlekamp's Rule.
^Richman (1999), pp. 398–400.
Rudin (1976), p. 23 assigns this alternative construction (but over the rationals) as the last exercise of Chapter 1.
^Richman (1999), p. 398–399. "Why do that? Precisely to rule out the existence of distinct numbers and . [...] So we see that in the traditional definition of the real numbers, the equation is built in at the beginning."
^Artigue (2002), p. 212, "... the ordering of the real numbers is recognized as a dense order. However, depending on the context, students can reconcile this property with the existence of numbers just before or after a given number (0.999... is thus often seen as the predecessor of 1).".
A transition from calculus to advanced analysis, Mathematical analysis is intended to be "honest, rigorous, up to date, and, at the same time, not too pedantic." (pref.) Apostol's development of the real numbers uses the least upper bound axiom and introduces infinite decimals two pages later. (pp. 9–11)
Artigue, Michèle (2002). Holton, Derek; Artigue, Michèle; Kirchgräber, Urs; Hillel, Joel; Niss, Mogens; Schoenfeld, Alan (eds.). The Teaching and Learning of Mathematics at University Level. New ICMI Study Series. Vol. 7. Springer, Dordrecht.
doi:
10.1007/0-306-47231-7.
ISBN978-0-306-47231-2.
This text aims to be "an accessible, reasonably paced textbook that deals with the fundamental concepts and techniques of real analysis." Its development of the real numbers relies on the supremum axiom. (pp. vii–viii)
This book presents an analysis of paradoxes and fallacies as a tool for exploring its central topic, "the rather tenuous relationship between mathematical reality and physical reality". It assumes first-year high-school algebra; further mathematics is developed in the book, including geometric series in Chapter 2. Although 0.999... is not one of the paradoxes to be fully treated, it is briefly mentioned during a development of Cantor's diagonal method. (pp. ix-xi, 119)
This article is a field study involving a student who developed a Leibnizian-style theory of infinitesimals to help her understand calculus, and in particular to account for 0.999... falling short of 1 by an infinitesimal 0.000...1.
An introductory undergraduate textbook in set theory that "presupposes no specific background". It is written to accommodate a course focusing on axiomatic set theory or on the construction of number systems; the axiomatic material is marked such that it may be de-emphasized. (pp. xi–xii)
This book grew out of a course for
Birmingham-area
grammar school mathematics teachers. The course was intended to convey a university-level perspective on
school mathematics, and the book is aimed at students "who have reached roughly the level of completing one year of specialist mathematical study at a university". The real numbers are constructed in Chapter 24, "perhaps the most difficult chapter in the entire book", although the authors ascribe much of the difficulty to their use of
ideal theory, which is not reproduced here. (pp. vii, xiv)
Kempner, A. J. (December 1936). "Anormal Systems of Numeration". The American Mathematical Monthly. 43 (10): 610–617.
doi:
10.2307/2300532.
JSTOR2300532.
Komornik, Vilmos; Loreti, Paola (1998). "Unique Developments in Non-Integer Bases". The American Mathematical Monthly. 105 (7): 636–639.
doi:
10.2307/2589246.
JSTOR2589246.
Kroemer, Herbert; Kittel, Charles (1980). Thermal Physics (2e ed.). W. H. Freeman. p. 462.
ISBN978-0-7167-1088-2.
Li, Liangpan (March 2011). "A new approach to the real numbers".
arXiv:1101.1800 [
math.CA].
Mankiewicz seeks to represent "the history of mathematics in an accessible style" by combining visual and qualitative aspects of mathematics, mathematicians' writings, and historical sketches. (p. 8)
Mascari, Gianfranco; Miola, Alfonso (1988). "On the integration of numeric and algebraic computations". In Beth, Thomas; Clausen, Michael (eds.). Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra.
doi:
10.1007/BFb0039172.
ISBN978-3-540-39133-3.
A topical rather than chronological review of infinity, this book is "intended for the general reader" but "told from the point of view of a mathematician". On the dilemma of rigor versus readable language, Maor comments, "I hope I have succeeded in properly addressing this problem." (pp. x-xiii)
Intended as an introduction "at the senior or first-year graduate level" with no formal prerequisites: "I do not even assume the reader knows much set theory." (p. xi) Munkres's treatment of the reals is axiomatic; he claims of bare-hands constructions, "This way of approaching the subject takes a good deal of time and effort and is of greater logical than mathematical interest." (p. 30)
Peressini, Anthony; Peressini, Dominic (2007). "Philosophy of Mathematics and Mathematics Education". In van Kerkhove, Bart; van Bendegem, Jean Paul (eds.).
Perspectives on Mathematical Practices. Logic, Epistemology, and the Unity of Science. Vol. 5. Springer.
ISBN978-1-4020-5033-6.
This book aims to "present a theoretical foundation of analysis that is suitable for students who have completed a standard course in calculus." (p. vii) At the end of Chapter 2, the authors assume as an axiom for the real numbers that bounded, nondecreasing sequences converge, later proving the nested intervals theorem and the least upper bound property. (pp. 56–64) Decimal expansions appear in Appendix 3, "Expansions of real numbers in any base". (pp. 503–507)
While assuming familiarity with the rational numbers, Pugh introduces
Dedekind cuts as soon as possible, saying of the axiomatic treatment, "This is something of a fraud, considering that the entire structure of analysis is built on the real number system." (p. 10) After proving the least upper bound property and some allied facts, cuts are not used in the rest of the book.
Rosenlicht, Maxwell (1985).
Introduction to Analysis. Dover.
ISBN978-0-486-65038-8. This book gives a "careful rigorous" introduction to real analysis. It gives the axioms of the real numbers and then constructs them (pp. 27–31) as infinite decimals with 0.999... = 1 as part of the definition.
A textbook for an advanced undergraduate course. "Experience has convinced me that it is pedagogically unsound (though logically correct) to start off with the construction of the real numbers from the rational ones. At the beginning, most students simply fail to appreciate the need for doing this. Accordingly, the real number system is introduced as an ordered field with the least-upper-bound property, and a few interesting applications of this property are quickly made. However, Dedekind's construction is not omitted. It is now in an Appendix to Chapter 1, where it may be studied and enjoyed whenever the time is ripe." (p. ix)
This book aims to "assist students in discovering calculus" and "to foster conceptual understanding". (p. v) It omits proofs of the foundations of calculus.
Choi, Younggi; Do, Jonghoon (November 2005). "Equality Involved in 0.999... and (-8)1/3". For the Learning of Mathematics. 25 (3): 13–15, 36.
JSTOR40248503.
Edwards, B. (1997). "An undergraduate student's understanding and use of mathematical definitions in real analysis". In Dossey, J.; Swafford, J.O.; Parmentier, M.; Dossey, A.E. (eds.). Proceedings of the 19th Annual Meeting of the North American Chapter of the International Group for the Psychology of Mathematics Education. Vol. 1. Columbus, OH: ERIC Clearinghouse for Science, Mathematics and Environmental Education. pp. 17–22.
Ferrini-Mundy, J.; Graham, K. (1994). Kaput, J.; Dubinsky, E. (eds.). "Research in calculus learning: Understanding of limits, derivatives and integrals". MAA Notes: Research Issues in Undergraduate Mathematics Learning. 33: 31–45.
Przenioslo, Malgorzata (March 2004). "Images of the limit of function formed in the course of mathematical studies at the university". Educational Studies in Mathematics. 55 (1–3): 103–132.
doi:
10.1023/B:EDUC.0000017667.70982.05.
S2CID120453706.
Szydlik, Jennifer Earles (May 2000). "Mathematical Beliefs and Conceptual Understanding of the Limit of a Function". Journal for Research in Mathematics Education. 31 (3): 258–276.
doi:
10.2307/749807.
JSTOR749807.
Tall, David O. (2009). "Dynamic mathematics and the blending of knowledge structures in the calculus". ZDM Mathematics Education. 41 (4): 481–492.
doi:
10.1007/s11858-009-0192-6.
S2CID14289039.