Ver la fonte de 0,9 periódicu

[[Archivu:999 Perspective 2.svg|360px|right]]
En [[matemátiques]], '''0,999…''' (siendo la coma un [[separador decimal]]) ye'l [[númberu decimal periódicu]] que se demuestra nesti mesmu artículu— denota al [[unu|númberu 1]]. N'otres pallabres, los símbolos «0,999...» y «1» son dos representaciones distintes del mesmu [[númberu real]].<ref>0,9 periódicu tamién puede escribise como <math>\textstyle 0,\!\bar{9}</math> o <math>\textstyle 0,\!\dot{9}</math> o <math>\textstyle 0,\!(9)\,\!</math> o bien como un <math> 0, \ </math> siguíu de tantos 9's como se deseye na parte decimal periódica.</ref> Les [[Demostración matemática|demostraciones]] matemátiques d'esta [[Igualdá matemática|igualdá]] formuláronse con distintos graos de [[rigor matemáticu|rigor]], dependiendo del métodu escoyíu pa definir los númberos reales, les hipótesis y camientos de partida, el contestu históricu o'l públicu al que se dirixe.

El fechu de que ciertos númberos reales puedan representase por más d'una secuencia de díxitos nun se llenda al [[sistema de numberación decimal|sistema decimal]] namái. El mesmu fenómenu asocede en toles [[base (aritmética)|bases]] [[númberu enteru|enteres]], y los matemáticos tamién cuantificaren les maneres d'escribir 1 en bases non enteres. Nin siquier se trata d'un fenómenu acutáu al númberu 1: tou númberu decimal finitu non nulu tien un ximielgu con infinitos nuevos, por casu: 2 y 1,999... representen al númberu natural dos; 28,3287 y 28,3286999... tamién representen al mesmu númberu decimal. Por simplicidá, el decimal finito ye cuasi siempres la representación preferida, lo que puede contribuyir a una equivocada interpretación de que ye la ''única'' representación. Per otra parte, la forma ''non terminal'' d'un númberu dexa estudiar más fácilmente los patrones de la espansión decimal de ciertes [[Fracción|fracciones]]; en base tres, por casu, dexa espresar la estructura ternaria del [[conxuntu de Cantor]], un [[fractal]] simple. La ''representación múltiple'' tien de tomase en cuenta na [[Diagonalización de Cantor|demostración clásica]] de la non numerabilidá de los númberos reales. De manera más xeneral, cualesquier [[sistema de numberación posicional]] de los númberos reales, contién una cantidá infinita de númberos con representaciones múltiples.

La igualdá 0,999... = 1 acéptase dende va tiempu polos matemáticos ya inclúiese nos llibros de testu. Nun foi hasta les últimes décades en que los [[Educación matemática|enseñantes de matemática]] se decidieron por estudiar la perceición d'esta igualdá ente los estudiantes, munchos de los que primeramente la cuestionaron o la negaron. Munchos persuádense por una [[Argumentu d'autoridá|apelación a l'autoridá]] de los llibros de testu y los profesores, o por razonamientos aritméticos. Sicasí, dalgunos nun se conformen polo que busquen una xustificación ulterior.

La igualdá 0,999... = 1 ta íntimamente rellacionada cola ausencia de númberos reales [[infinitesimal]]es non nulos. Dellos sistemes de numberación alternativos, como los [[númberu hiperreal|númberos hiperreales]], sí contienen infinitesimales non nulos; nestos sistemes, a diferencia de los reales, puede haber númberos que la so estrema col 1 seya menor que cualquier númberu racional. Otros sistemes, como por casu los [[Númberu p-ádico|númberos p-ádicos]], tienen otra forma d'espansión decimal», que se porta de manera bien distinta a la espansión de los númberos reales. Anque los númberos reales son l'oxetu d'estudiu más común nel campu del [[analís matemáticu]], tantu los hiperreales como los p-ádicos tienen aplicaciones nesta área.

== Demostraciones alxebraiques ==
=== Fracciones y división euclidiana ===

Una razón pola que los decimales infinitos son una ampliación necesaria de los decimales finitos, ye que dexa la representación de fracciones. Utilizando l'algoritmu de la división, una simple división d'enteros como 1/9, convertir nel decimal periódicu 0,111..., nel que los díxitos repitir ensin fin. Esti exemplu utilizar pa dar una rápida demostración de que 0,999... = 1.

La multiplicación de 9 por 1 da 9 en cada díxitu, asina 9 × 0,111... = 0,999..., y 9 × 1/9 = 1, lo qu'implica que 0,999... = 1:<ref>Peressini p.186.</ref>

<math>
\begin{align}
 \frac{1}{9} & = 0,111\dots \\
 9 \times \frac{1}{9} & = 9 \times 0,111\dots \\
 1 & = 0,999\dots
\end{align}
</math>

Una alternativa, tamién bien frecuente, ye utilizar 1/3 = 0,333... y multiplicar por 3.

=== Multiplicación por 10 ===

Cuando un númberu escritu en notación decimal multiplicar por 10, los díxitos nun camuden pero'l separador decimal muévese un llugar a la derecha. Asina, 10 × 0,999... = 9,999..., que ye 9 unidaes mayor que'l númberu orixinal. Pa comprobalo, basta restar 0,999... de 9,999..., los díxitos a la derecha del separador decimal atáyense unu a unu, y el resultáu ye 9&nbsp;−&nbsp;9&nbsp;=&nbsp;0 pa cada unu d'estos díxitos:

:<math>
\begin{align}
x &= 0,999\ldots \\
10 x &= 9,999\ldots \\
10 x - x &= 9,999\ldots - 0,999\ldots \\
9 x &= 9 \\
x &= 1
\end{align}
</math>

=== Discutiniu ===

Anque estes pruebes demuestren que 0,999...&nbsp;=&nbsp;1, el pretender qu'«espliquen» la ecuación, depende de les mires de l'audiencia atendida. N'aritmética elemental, estes pruebes ayuden a esplicar por qué 0,999...&nbsp;=&nbsp;1, o por qué 0,333...&nbsp;<&nbsp;0,34. N'álxebra elemental, estes demostraciones espliquen por qué'l métodu xeneral de conversión ente fracciones y númberos decimales funciona. Pero les pruebes nun esclarien la rellación fundamental ente los decimales y los númberos a los que representen, onde subyaz la entruga de cómo dos decimales distintos pueden ser, ello ye qu'iguales.<ref>Esti argumentu atópase en Peressini y Peressini p. 186.</ref> William Byers argumenta que l'estudiante qu'acepta que 0,999...&nbsp;=&nbsp;1 basáu nestes pruebes, pero que nun resolvió l'ambigüedá, nun entendió realmente la ecuación.<ref>Byers páxs. 39–41.</ref> Según Fred Richman, el primer argumentu «toma la so fuercia del fechu de que la mayor parte de la xente foi adoctrinada p'aceptar la primer ecuación ensin pensalo».<ref>Richman p. 396.</ref>

Una vegada que se definió un esquema representativu, puede usase pa xustificar les regles de l'aritmética decimal utilizada nestes demostraciones. Entá más, puede demostrase direutamente que los decimales 0,999... y 1,000... representen el mesmu númberu real; esta construcción ''por definición'' esplícase más embaxo.

== Demostraciones analítiques ==

Como la cuestión de 0,999... nun afecta al desarrollu formal de les matemátiques, puede aplazase hasta que se demuestren los teoremes estándares del [[analís real]]. Un requisitu ye carauterizar los númberos reales que pueden escribise en notación decimal, compuestu por un signu opcional, una secuencia finita de cualquier númberu de díxitos que formen la parte entera, un separador decimal y una secuencia de díxitos que formen la parte fraccionaria. Pa falar de 0,999... la parte entera puede resumise como ''b<sub>0</sub>'' y pueden desdexase negativos, asina una espansión decimal tien la forma

:<math>b_0,b_1b_2b_3b_4b_5\dots</math>

Ye vital que la parte fraccionaria, a diferencia de la parte entera, nun tea llindada a un númberu finitu de díxitos. Esto ye una [[notación posicional]], asina por casu, el cinco en 500 contribúi diez veces más que'l 5 en 50, y el 5 en 0,05 contribúi una décima parte que'l 5 en 0,5.

=== Series infinites y socesiones ===
{{vt|Representación decimal}}

El desarrollu quiciabes más común de les espansiones decimales, ye definiles en términos de [[series infinites]]. Polo xeneral:

:<math>b_0 , b_1 b_2 b_3 b_4 \ldots = b_0 + b_1\left({\tfrac{1}{10}}\right) + b_2\left({\tfrac{1}{10}}\right)^2 + b_3\left({\tfrac{1}{10}}\right)^3 + b_4\left({\tfrac{1}{10}}\right)^4 + \cdots .</math>

Pa 0,999... puede aplicase'l teorema de [[serie converxente|converxencia]] de les [[Serie xeométrica|series xeométriques]]:<ref>Rudin p. 61, Theorem 3.26; J. Stewart p. 706</ref>

:Si <math>|r| < 1 \,\!</math> entós <math>ar+ar^2+ar^3+\cdots = \frac{ar}{1-r}.</math>

Puesto que 0,999... ye una suma d'esti tipu, con <math>\scriptstyle r=1/10 </math>, el teorema resuelve rápido la cuestión:

:<math>0,999\ldots = 9\left(\tfrac{1}{10}\right) + 9\left({\tfrac{1}{10}}\right)^2 + 9\left({\tfrac{1}{10}}\right)^3 + \cdots = \frac{9\left({\tfrac{1}{10}}\right)}{1-{\tfrac{1}{10}}} = 1.\,</math>

Esta demostración (ello ye que que 10 ye igual a 9,999...) apaez yá en 1770 en ''Elementos d'álxebra'' de [[Leonhard Euler]].<ref>Euler p.170.</ref>

[[Archivu:base4 333.svg|right|thumb|250px|Llendes: l'intervalu unidá, incluyendo la socesión de fracciones (en [[Sistema de numberación cuaternariu|base 4]]): <math>\scriptstyle 0,3~;~0,33~;~0,333~;~ \ldots</math> que converxe a 1.]]

La suma de series xeométriques en sí, son un resultáu anterior a Euler. Una demostración típica del [[sieglu XVIII]] utiliza una manipulación términu a términu asemeyada a la [[#Multiplicación por 10|demostración alxebraica]] enantes amosada; en 1811, el llibru de testu de Bonnycastle ''Una Introducción a l'Álxebra'' usa una serie xeométrica d'esti tipu pa xustificar la mesma maniobra sobre 0,999....<ref>Grattan-Guinness p.69; Bonnycastle p.177.</ref> Una reacción del [[sieglu XIX]] contra tales métodos d'adición lliberales resultó na definición qu'entá apodera güei: la suma d'una serie ''definese'' como la llende de la socesión de les sos sumes parciales. Una demostración correspondiente del teorema calcula esplícitamente esta socesión; puede atopase en cualquier introducción al cálculu o l'analís basáu na demostración.<ref>J. Stewart p.706, Rudin p.61, Protter y Morrey p.213, Pugh p.180, J.B. Conway p.31.</ref>

Una [[Socesión matemática|socesión]] (''x''<sub>0</sub>, ''x''<sub>1</sub>, ''x''<sub>2</sub>, ...) tien por [[Llende d'una socesión llende]] ''x'' si la distancia |''x''&nbsp;−&nbsp;''x''<sub>''n''</sub>| se vuelve arbitrariamente pequeña a midida que ''n'' aumenta. L'afirmación mesma 0,999...&nbsp;=&nbsp;1 pue interpretase y demostrase como llende:<ref>La llende sigue, por casu, de Rudin p. 57, Teorema 3.20y. Pa un enfoque más direutu, ver tamién Finney, Weir, Giordano (2001) ''Thomas' Calculus: Early Transcendentals'' 10ed, Addison-Wesley, New York. Seición 8.1, exemplu 2(a), exemplu 6(b).</ref>

:<math>0,999\ldots = \lim_{n\to\infty}0,\underbrace{ 99\ldots9 }_{n} = \lim_{n\to\infty}\sum_{k = 1}^n\frac{9}{10^k} = \lim_{n\to\infty}\left(1-\frac{1}{10^n}\right) = 1-\lim_{n\to\infty}\frac{1}{10^n} = 1.\,</math>

L'últimu pasu, que <math>\lim_{n \to \infty}\frac{1}{10^n} = 0</math>, suel xustificase pol axoma de la [[propiedá arquimediana]] de los númberos reales. Esta actitú a la escontra <math>\scriptstyle 0,999\ldots</math> basada en llendes ye por cierto más evocadora, anque muncho menos precisa. Por casu, nel llibru de testu de 1846 ''The University Arithmetic'' esplícase: «0,999 +, siguiendo al infinitu = 1, porque cada 9 anexáu avera'l valor entá más a 1»; el testu de 1895 ''Arithmetic for Schools'' diz «...cuando se toma una gran cantidá de 9s, la diferencia ente 1 y 0,99999... vuélvese inconcebiblemente pequeña».<ref>Davies p. 175; Smith y Harrington p. 115.</ref> Estos enfoques [[Heurística|heurísticos]] suelen interpretase polos estudiantes como que 0,999... en sí ye menor que 1.

=== Intervalos encaxaos y cotes cimeres ===
{{vt|Principiu de los intervalos encaxaos}}
[[Archivu:999 Intervals C.svg|right|thumb|250px|Intervalos encaxaos: en base 3, 1 = 1,000... = 0,222...]]

La definición de series amosada más arriba ye una manera cenciella de definir un númberu real denotáu por una espansión decimal. El procesu opuestu apurre una visión complementaria: pa un númberu real dau, definir la espansión decimal que lu denota.

Si un númberu real ''x'' pertenez al [[intervalu zarráu]] [0 ; 10] (i.y, ye mayor o igual a cero y menor o igual a diez), puede estremase esti intervalu en diez partes que se superpongan namái nes estremidaes: [0 ; 1], [1 ; 2], [2 ; 3], y asina hasta [9 ; 10]. El númberu ''x'' tien de pertenecer a dalgún d'ellos; si pertenez a [2 ;3], anótase'l díxitu «2» y subdivídese esi intervalu en [2 ; 2,1], [2,1 ; 2,2], ..., [2,8 ; 2,9], [2,9 ; 3]. Siguiendo esti procesu llógrase una socesión infinita d'[[Principiu de los intervalos encaxaos|intervalos encaxaos]], retulaos por una socesión infinita de díxitos ''b''<sub>0</sub>, ''b''<sub>1</sub>, ''b''<sub>2</sub>, ''b''<sub>3</sub>, ..., que s'escriben

:<math>x = b_0,b_1b_2b_3 \dots</math>

Con esti formalismu, les identidaes 1&nbsp;=&nbsp;0,999... y 1&nbsp;=&nbsp;1,000... reflexen, respeutivamente, el fechu de que'l 1 tea tantu nel intervalu [0 ; 1] como en [1 ; 2], polo que puede escoyese cualesquier de los dos intervalos al escribir los díxitos. P'asegurase de qu'esta notación nun abuse del signu «=», riquir d'un métodu que dexe reconstruyir un únicu númberu real pa cada decimal, como por casu les llendes; otres construcciones enceten la tema del ordenamientu.<ref>Beals p. 22; I. Stewart p. 34.</ref>

Una opción direuta ye'l [[Principiu de los intervalos encaxaos|teorema de los intervalos encaxaos]], que garantiza que, dada una socesión d'intervalos zarraos encaxaos, que'l so llargor puede facese arbitrariamente pequeñu, los intervalos contienen exautamente un númberu real nel so [[Interseición de conxuntos|interseición]]. Asina, ''b''<sub>0</sub>,''b''<sub>1</sub>''b''<sub>2</sub>''b''<sub>3</sub>... queda definíu como l'únicu númberu conteníu en tolos intervalos [''b''<sub>0</sub> ; ''b''<sub>0</sub> + 1], [''b''<sub>0</sub>,''b''<sub>1</sub> ; ''b''<sub>0</sub>,''b''<sub>1</sub> + 0,1], y asina socesivamente. D'esta miente, 0,999... ye l'únicu númberu real que ta en tolos intervalos [0 ; 1], [0,9 ; 1], [0,99 ; 1], y [0,99...9 ; 1] pa cada cola finita de 9s. Teniendo en cuenta que'l 1 ye un elementu de cada unu d'estos intervalos, 0,999... = 1.<ref>Bartle and Sherbert páxs. 60–62; Pedrick p. 29; Sohrab p. 46.</ref>

El teorema de los intervalos surde polo xeneral como una carauterística entá más fundamental de los númberos reales: la existencia de la ''mínima cota cimera'' o [[supremu]]. Pa esplotar direutamente estos oxetos, defínese ''b''<sub>0</sub>,''b''<sub>1</sub>''b''<sub>2</sub>''b''<sub>3</sub>... como la mínima cota cimera del conxuntu d'aproximantes {''b''<sub>0</sub> ; ''b''<sub>0</sub>,''b''<sub>1</sub> ; ''b''<sub>0</sub>,''b''<sub>1</sub>''b''<sub>2</sub> ; ...}.<ref>Apostol páxs. 9, 11–12; Beals p. 22; Rosenlicht p. 27.</ref> Puede demostrase qu'esta definición (o la definición de los intervalos encaxaos) ye consistente col procesu de subdivisión, lo cual implica 0,999... = 1 nuevamente. Tom Apostol conclúi,

{{cita|El fechu de qu'un númberu real pueda tener dos representaciones decimales distintos ye puramente un reflexu del fechu de que dos conxuntos distintos de númberos reales pueden tener el mesmu supremu.<ref>Apostol p. 12.</ref>}}

== Demostración per construcción de los númberos reales ==
{{vt|Axomes de los númberos reales}}

Puede definise explícitamente a los númberos reales como una cierta [[Axomes de los númberos reales|estructura construyida sobre los númberos racionales]], basándose na [[teoría axomática de conxuntos]]. Los [[númberos naturales]] – 0, 1, 2, 3, ... – empiecen en 0 y siguen ascendentemente, de cuenta que cada númberu tien un socesor. Esti conxuntu puede estendese al añader los negativos, llográndose asina'l conxuntu de los [[númberos enteros]]; éstos, de la mesma, tamién pueden estendese si añaden los cocientes, a los [[númberos racionales]]. Estos conxuntos numbéricos acompañar de los cuatro operaciones aritmétiques fundamentales: suma, resta, multiplicación y división. De manera más sutil, tienen un [[Teoría del orde|ordenamientu]], de cuenta que cada unu d'estos númberos puede ser comparáu con dalgún otru, y va ser menor que, mayor que, o igual a esti otru númberu.

El pasu de los racionales a los reales ye una estensión enforma mayor. Hai siquier dos maneres corrientes de faelo, dambes publicaes en 1872: per mediu de les [[cortadures de Dedekind]] y por [[Socesión de Cauchy|socesiones de Cauchy]]. Pruebes de que 0,999... = 1 qu'utilicen direutamente estes construcciones nun s'atopen en llibros de testu d'analís real, onde l'enclín modernu mientres les últimes décades foi l'usu del analís axomáticu. Inclusive cuando la hai, la construcción ye usualmente aplicada a la demostración de los axomes de los númberos reales, que depués sofiten les pruebes anteriores. Sicasí, munchos autores sostienen qu'empezar cola construcción ye más apropiáu lóxicamente, y les pruebes que resulten tienen mayor autonomía.<ref>La síntesis histórica foi reivindicada por Griffiths y Hilton (p.xiv) en 1970 y de nuevu por Pugh (p. 10) en 2001; dambos prefieren de fechu les cortadures de Dedekind a los axomes. Pal usu de les cortadures en llibros de testu, vease Pugh p. 17 o Rudin p. 17. Pa puntos de vista en lóxica, Pugh p. 10, Rudin p.ix, o Munkres p. 30.</ref>

=== Cortadures de Dedekind ===
{{vt|Cortadures de Dedekind}}

Nel métodu de les cortadures de Dedekind, cada númberu real ''x'' defínese como'l [[conxuntu infinitu]] de tolos númberos racionales que son menores que ''x''.<ref>Enderton (p. 113) diz al respeutu: «La idea detrás de les cortadures de Dedekind ye qu'un númberu real ''x'' puede denotarse per mediu d'un conxuntu infinitu de racionales, netamente, tolos racionales menores que ''x''. Vamos Definir n'efeutu a ''x'' como'l conxuntu de racionales menores que ''x''. Pa evitar circularidá na definición, tenemos de poder carauterizar los conxuntos de racionales que pueden llograse d'esta forma...»</ref> En particular, el númberu real 1 ye'l conxuntu de tolos númberos racionales menores a 1.<ref>Rudin páxs. 17–20, Richman p. 399, o Enderton p. 119. Pa ser precisos, Rudin, Richman, y Enderton llamen a esta cortadura 1*, 1<sup>−</sup>, y 1<sub>''R''</sub>, respeutivamente; los trés identificar col númberu real 1 tradicional. Nótese que lo que Rudin y Enderton llamen una cortadura de Dedekind, Richman llamar «cortadura non principal de Dedekind».</ref> Toa espansión decimal positiva determina fácilmente una cortadura de Dedekind: el conxuntu de númberos racionales que son menores que dalguna etapa de la espansión. Depués el númberu real 0,999... ye'l conxuntu de númberos racionales ''r'' tales que ''r'' < 0, o ''r'' < 0,9, o ''r'' < 0,99, o ''r'' ye menor que dalgún otru númberu de la forma :<math>\begin{align}1-\left(\tfrac{1}{10}\right)^n\end{align}</math>.<ref>Richman
 
p. 399.</ref>

Tou elementu de 0,999... ye menor que 1, depués ye un elementu del númeo real 1. Inversamente, un elementu de 1 ye un númberu racional

:<math>\begin{align}\tfrac{a}{b}<1\end{align},</math>

lo cual implica

:<math>\begin{align}\tfrac{a}{b}<1-\left(\tfrac{1}{10}\right)^b\end{align}.</math>

Puesto que 0,999... y 1 contienen los mesmos númberos racionales, son el mesmu conxuntu: 0,999... = 1.

Esta definición de los númberos reales como cortadures de Dedekind foi publicada per primer vegada por [[Richard Dedekind]] en 1872.<ref name="MacTutor2">{{cita web |url=http://www-gap.dcs.st-and.ac.uk/~history/PrintHT/Real_numbers_2.html |títulu=History topic: The real numbers: Stevin to Hilbert |autor=J J O'Connor and Y F Robertson |obra=MacTutor History of Mathematics |fecha=ochobre de 2005 |fechaaccesu=30 d'agostu de 2006}}</ref> El métodu descritu enantes p'asignar un númberu real a cada espansión decimal ye por cuenta de una publicación de calter esplicativu intitulada: ''"Is 0.999 ... = 1?"'' de Fred Richman en ''[[Mathematics Magazine]]'', dirixida a enseñantes de matemática de nivel entemediu y los sos estudiantes.<ref>Richman.</ref> Richman nota qu'al tomar les cortadures de Dedekind en cualesquier [[conxuntu trupu|subconxuntu trupu]] de los númberos racionales llógrase'l mesmu resultáu; en particular, utiliza [[fracciones decimales]], pa les cualos la demostración ye más inmediata. Tamién nota que, típicamente, les definiciones dexen que { x : x < 1 } seya una cortadura pero non { x : x ≤ 1 } (o viceversa).

"¿Para qué faer esto? Precisamente pa esaniciar la posibilidá de qu'esistan númberos distintos 0,9* y 1. [...] Entós vemos que na definición tradicional de los númberos reales, la ecuación 0,9* = 1 ta incorporada dende l'empiezu."<ref>Richman páxs. 398–399.</ref> Un cambéu suplementariu del procesu lleva a una estructura distinta onde nun son iguales. Anque consistente, munches de les operaciones aritmétiques avezaes fallen, por casu la fracción 1/3 nun tien representación; vease [[#En sistemes de numberación alternativos|sistemes de numberación alternativos]] más embaxo.

=== Socesiones de Cauchy ===
{{vt|Socesión de Cauchy}}

Otru métodu de construcción de los númberos reales utiliza l'ordenamientu de los racionales de manera menos direuta. Defínese primero la distancia ente ''x'' y ''y'' como'l valor absolutu |''x''&nbsp;−&nbsp;''y''|, onde'l valor absolutu |''z''| defínese como'l máximu ente ''z'' y −''z'', polo que nunca ye negativu. Defínese entós a los númberos reales como la socesión de racionales que cumplen la propiedá de les [[Socesión de Cauchy|socesiones de Cauchy]] con esta distancia, esto ye: na socesión (''x''<sub>0</sub>, ''x''<sub>1</sub>, ''x''<sub>2</sub>, ...), una aplicación de los númberos naturales nos racionales, pa tou racional positivu δ esiste ''N'' tal que |''x''<sub>''m''</sub>&nbsp;−&nbsp;''x''<sub>''n''</sub>|&nbsp;≤&nbsp;δ pa tou ''m'', ''n''&nbsp;>&nbsp;''N'' (la distancia ente los términos vuélvese menor que cualquier númberu racional positivu).<ref>Griffiths & Hilton §24.2 «Sequences» p. 386.</ref>

Si (''x''<sub>''n''</sub>) y (''y''<sub>''n''</sub>) son dos socesiones de Cauchy, entós defínense como númberos reales iguales si la socesión (''x''<sub>''n''</sub>&nbsp;−&nbsp;''y''<sub>''n''</sub>) tien por llende 0. Truncamientos del númberu decimal ''b''<sub>0</sub>,''b''<sub>1</sub>''b''<sub>2</sub>''b''<sub>3</sub>... xeneren una socesión de racionales que ye de Cauchy; d'esta manera define'l valor real del númberu.<ref>Griffiths & Hilton páxs. 388, 393.</ref> Depués, según esti formalismu, la xera ye amosar que la socesión de númberos racionales

:<math>\left(1 - 0, 1 - {9 \over 10}, 1 - {99 \over 100}, \dots\right)
= \left(1, {1 \over 10}, {1 \over 100}, \dots \right)</math>

tien por llende 0. Considerando'l ''n-ésimo'' términu de la socesión, pa ''n''=0,1,2,..., tien d'amosase entós que

:<math>\lim_{n\rightarrow\infty}\frac{1}{10^n} = 0.</math>

Esta llende calcúlase fácilmente;<ref>Griffiths & Hilton p. 395.</ref> una demostración posible ye la siguiente: pa ε = ''a''/''b'' > 0 puede tomase ''N''&nbsp;=&nbsp;''b'' na definición de [[llende d'una socesión]]. Asina, nuevamente 0,999...&nbsp;=&nbsp;1.

La definición de los númberos reales como socesiones de Cauchy foi publicada per primer vegada de manera independiente por [[Eduard Heine]] y [[Georg Cantor]], tamién en 1872.<ref name="MacTutor2" /> El métodu de les espansiones decimales descritu enantes, incluyendo la prueba de que 0,999... = 1, sigue de cerca'l trabayu de Griffiths & Hilton de 1970 ''"Un llibru de testu comprensible de matemática clásica: una interpretación contemporánea"''. El llibru ta escritu específicamente pa ufiertar una segunda mirada sobre conceutos familiares so una interpretación moderna.<ref>Griffiths & Hilton pp.viii, 395.</ref>

== Xeneralizaciones ==

La resultancia 0,999... = 1 xeneralízase rápido de dos formes. De primeres, tou númberu non nulu con una notación decimal finita (equivalentemente, con una socesión infinita de ceros) tien una contraparte con infinitos nueves, por casu: 0,24999... ye igual a 0,25 esautamente como nel casu especial consideráu. Estos númberos son esautamente les fracciones decimales, y son [[conxuntu trupu|trupes]].<ref>Petkovšek p. 408.</ref>

De segundes, un teorema comparable puede aplicase en cada radix o [[Base (aritmética)|base]], por casu: en base 2 ([[sistema binariu]]), 0,111... ye igual a 1, y en base 3 ([[sistema ternariu]]), 0,222... ye igual a 1. Los llibros de testu d'analís real suelen resalvar l'exemplu 0,999... y presenten dalguna d'estos dos xeneralizaciones dende l'empiezu.<ref>Protter and Morrey p. 503; Bartle and Sherbert p. 61.</ref>

Representaciones alternatives del 1 tamién se dan en bases non enteres, por casu, na [[base áurea]] , los dos representaciones estándar son 1,000... y 0,101010..., y esisten infinites representaciones más qu'inclúin 1s axacentes. Polo xeneral, pa ''cuasi tou'' ''q'' ente 1 y 2, esisten incontables espansiones en ''q''-base del 1. Per otru llau, hai incontables ''q'' (incluyendo tolos númberos naturales mayores que 1) pa los cualos namái hai una espansión en ''q''-base del 1, amás del 1,000.... trivial. Esta resultancia foi llográu per vegada primera por [[Paul Erdős]], Miklos Horváth y István Joó alredor de 1990. En 1998, Vilmos Komornik y Paola Loreti determinaron la menor base d'esti tipu, la [[constante de Komornik–Loreti]] ''q'' = 1,787231650.... Nesta base, 1 = 0,11010011001011010010110011010011...; los díxitos vienen daos pola [[socesión de Thue-Morse]], que nun se repite.<ref>Komornik and Loreti p. 636.</ref>

Una xeneralización de mayor algame fai referencia a ''los sistemes de numberación posicional más xenerales''. Estos sistemes tamién tienen múltiples representaciones, y, per un sitiu, revisten mayor entueyu, por casu:<ref>Kempner p. 611; Petkovšek p. 409.</ref> 
* Nel sistema [[ternariu banciáu]], <sup>1</sup>/<sub>2</sub> = 0,111... = 1,<o>111</o>....
* Nel inversu del sistema [[factorádico]] (utilizando bases 2,3,4,... pa posiciones ''dempués'' del puntu decimal), 1 = 1,000... = 0,1234....

=== Imposibilidá de la representación única ===

El fechu de que toos estos sistemes de numberación estremaos aprovan múltiples representaciones pa dellos númberos reales, puede atribuyise a una diferencia fundamental ente los númberos reales, en cuantes que conxuntu ordenáu, y una coleición de cadenes infinites de símbolos ordenaos [[Orde lexicográficu|lexicográficamente]]. Ello ye que les siguientes dos propiedaes dan cuenta d'esta dificultá:
* Si un [[Intervalu (matemática)|intervalu]] de los [[númberos reales]] se [[Partición (matemática)|particiona]] en dos partes non vacíes ''L'' y ''R'' tales que cada elementu de ''L'' seya (puramente) menor que tou elementu de ''R'', entós: o bien ''L'' contién un elementu mayor, o bien ''R'' contién un elementu menor, pero non dambos.
* La coleición de [[Cadena de carácter|cadenes]] infinites de símbolos tomaos de cualquier alfabetu» finitu, ordenáu lexicográficamente, pue ser particionáu en dos partes non vacíes ''L'' y ''R'', tales que cada elementu de ''L'' ye menor que tou elementu de ''R'', onde ''L'' contién un elementu mayor ''y'' ''R'' contién un elementu menor. Ello ye que ye abondu con tomar dos subcadenes finites (iniciales) ''p''<sub>1</sub>, ''p''<sub>2</sub> d'elementos de la coleición, tales que difieran namái nel símbolu final, pal que tienen valores socesivos, y tomar pa ''L'' el conxuntu de toles cadenes na coleición que la so subcadena correspondiente seya lo más ''p''<sub>1</sub>, y pa la borrafa ''R'', la cadena de la coleición que la so subcadena correspondiente seya siquier ''p''<sub>2</sub>. Depués, ''L'' tien un elementu mayor, empezando por ''p''<sub>1</sub> y escoyendo el mayor símbolu disponible en toles posiciones siguientes, onde ''R'' tien un elementu menor que se llogra al siguir ''p''<sub>2</sub> del menor símbolu en toles posiciones.

El primer puntu deduzse de propiedaes básiques de los númberos reales: ''L'' tien un [[supremu]], ''R'' tien un [[ínfimu]], y vese darréu que son iguales; un númberu real va tar en ''R'' o en ''L'' pero non en dambos, pos son [[conxuntos dixuntos]]. El segundu puntu xeneraliza'l par 0,999.../1,000... llográu por ''p''<sub>1</sub>&nbsp;=&nbsp;"0", ''p''<sub>2</sub>&nbsp;=&nbsp;"1". Ello ye que nun ye necesariu utilizar el mesmu alfabetu pa toles posiciones (de cuenta que por casu los sistemes de [[raigañu mistu]] pueden incluyise) o considerar la coleición completa de cadenes posibles; los únicos puntos importantes son que, en cada posición, un [[conxuntu finito]] de símbolos (que pueden depender inclusive de los símbolos previos) pueda ser escoyíu (esto ye necesariu p'asegurar eleiciones máximes y mínimes), y qu'al faer una eleición válida pa cualquier posición, el resultáu tien de ser una cadena infinita válida (de cuenta que nun se dexa «9» en cada posición si prohiben socesión infinites de «9»s). So estes premises, l'argumentu anterior amuesa qu'una aplicación que [[Función monótona|caltién l'orde]] de la coleición de cadenes a un intervalu de númberos reales, nun puede ser una [[Función biyectiva|biyección]]: o bien dellos númberos nun correspuenden a nenguna cadena, o bien dalgunos d'ellos correspuenden a más d'una cadena.

Marko Petkovšek demostró que pa tou sistema posicional que nome a tolos númberos reales, el conxuntu de reales que va tener representación múltiple ye siempres trupu. Llapada a esta demostración: «un exerciciu instructivu en ''topología punto-conxuntu''»; arreya conxuntos de valores posicionales vistos como [[Espaciu de Stone|espacios de Stone]] y el fechu de que la so representación real vien dada por [[Función continua#Funciones continues n'espacios topolóxicos|funciones continues]].<ref>Petkovšek páxs. 410–411.</ref>

== Aplicaciones ==

Una aplicación de 0,999... como representación de 1 dar en [[teoría de númberos]] elemental. En 1802, H. Goodwin publicó una observación sobre l'apaición de 9s nes representaciones decimales periódiques de fracciones que'l so denominador son ciertos [[númberos primos]]. Por casu

* <sup>1</sup>/<sub>7</sub> = 0,142857142857... y 142 + 857 = 999.
* <sup>1</sup>/<sub>73</sub> = 0,0136986301369863... y 0136 + 9863 = 9999.

Y. Midy probó un resultáu xeneral sobre estes fracciones, güei llamáu'l ''[[teorema de Midy]]'', en 1836. La prueba ye escura, y nun ta claro si la so demostración arreya direutamente 0,999..., pero hai siquier una prueba moderna, realizada por W. G. Leavitt, que sí lo fai; si puede demostrase qu'un númberu decimal de la forma 0.''b''<sub>1</sub>''b''<sub>2</sub>''b''<sub>3</sub>... ye un enteru positivu, entós tien que ser 0,999..., que ye la fonte de los 9s nel teorema.<ref>Leavitt 1984 p. 301.</ref> Les investigaciones nesta direición pueden motivar el desarrollu de conceutos tales como [[máximu común divisor]], [[aritmética modular]], [[Númberu de Fermat|númberos de Fermat]], [[Orde (teoría de grupos)|orde]] d'elementos d'un [[Grupu (matemática)|grupu]] y la [[llei de reciprocidá cuadrática]].<ref>Lewittes páxs. 1–3; Leavitt 1967 páxs. 669, 673; Shrader-Frechette páxs. 96–98.</ref>
[[Archivu:Cantor base 3.svg|right|thumb|Posiciones de <sup>1</sup>/<sub>4</sub>, <sup>2</sup>/<sub>3</sub>, y 1 nel [[conxuntu de Cantor]]]]
N'analís real, el casu análogu en base-3: 0,222... = 1, xuega un papel esencial na carauterización d'unu de los [[fractales]] más simples: el [[conxuntu de Cantor]]: 
* Un puntu del [[intervalu unidá]] ta nel conxuntu de Cantor si y solu si puede ser representáu en sistema ternariu usando namái los díxitos 0 y 2.

El ''n-ésimu'' díxitu de la representación reflexa la posición del puntu na ''n-ésima'' etapa de la construcción. Por casu, el puntu <sup>2</sup>⁄<sub>3</sub> da cola representación avezada de 0,2 o 0,2000..., yá que ta a la derecha de la primer etapa y a la izquierda de toa etapa de construcción posterior. El puntu <sup>1</sup>⁄<sub>3</sub> represéntase non como 0,1 sinón como 0,0222..., pos ta a la izquierda de la primer etapa y a la derecha de toa etapa de construcción posterior.<ref>Pugh p. 97; Alligood, Sauer, y Yorke páxs. 150–152. Protter y Morrey (p. 507) and Pedrick (p. 29) asignen esta descripción como exerciciu.</ref>

Los nueves repitíos apaecen tamién n'otru trabayu de George Cantor: tienen de tomase en cuenta pa construyir una prueba válida, al aplicar el so [[Diagonalización de Cantor|prueba diagonal de 1891]] a les espansiones decimales ed la [[Conxuntu non numerable|non denombrabilidá]] del intervalu unidá. Esta demostración precisa poder declarar la diferencia ente ciertos pares de númberos reales basada nes sos espansiones decimales, polo que se deben evitar pareyes como 0,2 y 0,1999... Un métodu simple representa tolos númberos con espansión non finita; el métodu opuestu esclúi nueves repetitivos.<ref>Maor (p. 60) y Mankiewicz (p. 151) revisión del métodu anterior; Mankiewicz atribuyir a Cantor, pero la fonte primaria nun ta clara. Munkres (p. 50) menta l'últimu métodu.</ref> Una variante quiciabes más cercana al argumentu orixinal de Cantor utiliza de fechu base-2: tresformando les espansiones en base-3 n'espansiones en base-2, puede demostrase igualmente la non denombrabilidá del conxuntu de Cantor.<ref>Rudin p. 50, Pugh p. 98.</ref>

== Escepticismu na enseñanza ==

Los estudiantes en matemática suelen refugar la igualdá de 0,999... y 1, por razones que van dende la so apariencia desemeyada, hasta fondos equívocos sobre'l conceutu de [[llende d'una socesión]] y la naturaleza de los [[infinitesimal]]es. Hai dellos factores que contribúin al tracamundiu:
* Los estudiantes suelen tar «mentalmente comprometíos cola noción de qu'un númberu puede representase d'una manera y solo d'una manera por un decimal.» Ver dos decimales manifiestamente distintos representando'l mesmu númberu paez una [[paradoxa]], lo que s'amplifica pola apariencia del supuestamente bien entendíu númberu 1.<ref>Bunch p. 119; Tall y Schwarzenberger p. 6. La última suxerencia débese a Burrell (p. 28): «Quiciabes el más fitu de tolos númberos ye'l 1&nbsp;... Polo que ye particularmente perturbador cuando se trata de pasar al 0,9~ como 1.»</ref>
* Dellos estudiantes interpreten «0,999...» (o dalguna notación asemeyada) como una cola llarga pero finita de 9s, posiblemente con un llargor variable y non especificada. Si acepten una cola infinita de nueves, pueden esperar entá un postreru 9 «al infinitu».<ref>Tall y Schwarzenberger páxs. 6–7; Tall 2000 p. 221.</ref>
* La intuición y la enseñanza ambigua lleven a los estudiantes a pensar que la llende d'una socesión ye dalgún tipu de procesu infinitu en llugar d'un valor fixu, yá que una socesión non necesariamente algama la so llende. Cuando los estudiantes acepten la diferencia ente una socesión de númberos y la so llende, pueden llegar a lleer «0,999...» como si significara la socesión en llugar de la so llende.<ref>Tall y Schwarzenberger p. 6; Tall 2000 p. 221.</ref>

Estes idees suelen malinterpretarse nel contestu tradicional de los númberos reales, anque dalgunes d'elles pueden ser válides n'otros sistemes de numberación, yá seya inventaos pola so utilidá matemática polo xeneral, o como contraexemplos instructivos pa una meyor comprensión de 0,999...

Munches d'estes esplicaciones fueron propuestes pol profesor [[David O. Tall]], quien estudió les carauterístiques de la enseñanza y la cognición que lleven a dellos de los tracamundios qu'atopó ente los sos estudiantes del colexu. Entrugando a los sos estudiantes pa determinar por qué la vasta mayoría refuga primeramente la igualdá, atopó que «los estudiantes siguen concibiendo'l 0,999... como una socesión de númberos que s'averen más y más a 1 y non como un valor fixu, porque 'nun s'especificó cuántos llugares hai' o 'ye'l decimal más cercanu posible debaxo del 1'».<ref>Tall 2000 p. 221.</ref>

De les pruebes elementales, multiplicar 0,333... = <sup>1</sup>⁄<sub>3</sub> por 3 ye aparentemente una estratexa convincente pa persuadir a los estudiantes reticentes de que 0,999... = 1. Aun así, confrontados col conflictu ente la so creencia na primer ecuación y la negación alrodiu de la segunda, dellos estudiantes empiecen a descreer de la primera, o bien, terminen atayaos.<ref>Tall 1976 páxs. 10–14.</ref> Tampoco tán a salvo métodos más sofisticaos: estudiantes que son absolutamente capaces d'aplicar definiciones rigoroses, pueden entá sentir la necesidá de recurrir a imáxenes intuitives cuando son sorprendíos por resultaos matemáticos avanzaos, incluyendo 0,999... Por casu, n'analís real, una estudiante foi capaz de probar que 0,333... = <sup>1</sup>⁄<sub>3</sub> utilizando la definición del [[supremu]], pa depués aportunar en que 0,999... < 1 basada na so conocencia previa de división euclídea.<ref>Pinto and Tall p. 5, Edwards y Ward páxs. 416–417.</ref> Dalgunos más, son capaces de probar que <sup>1</sup>⁄<sub>3</sub> = 0,333..., pero, confrontaos cola [[#Fracciones y división euclidiana|prueba por fracciones]], aportunen en que la lóxica» prevalez sobre los cálculos matemáticos.

[[Joseph Mazur]] cunta la hestoria d'un brillante estudiante de cálculu que «cuestionaba cuasi tolo que yo dicía en clase pero nunca cuestionaba la so calculadora,» y que creía que nueve dígitos yera tolo que se precisaba pa facer matemátiques, incluyendo'l cálculu del raigañu cuadráu de 23; esti estudiante quedó inconforme col argumentu de que 9,99... = 10, llamándolo un «feroz procesu imaxinativu de crecedera infinita»."<ref>Mazur páxs. 137–141.</ref>

Como parte de la [[teoría APOS]] d'Ed Dubinsky del aprendizaxe matemáticu, Dubinsky y los sos collaboradores (2005) proponen qu'aquellos estudiantes que conciben el 0,999... como una cola finita indeterminada, a una distancia infinitamente pequeña del 1, «nun construyeron entá un procesu de concepción completu del decimal infinitu». Otros estudiantes que completaron la concepción del procesu de 0,999... quiciabes nun fueron entá capaces de «encapsular» esi procesu dientro d'una concepción del oxetu», como la concepción que tienen del oxetu 1, y por esto ven el procesu 0,999... y del oxetu 1 como incompatibles. Dubinsky ''et al.'' tamién rellacionen esta habilidá mental d'encapsulación con ver <sup>1</sup>⁄<sub>3</sub> como un númberu con derechu propiu y con tratar al conxuntu de númberos naturales como un tou.<ref>Dubinsky ''et al.'' 261–262.</ref>

== Na cultura popular ==

Cola puxanza d'[[Internet]], los alderiques alrodiu del 0,999... trespasaron los salones de clases y son llugar común en [[Grupu de noticies]] y [[Foru (Internet)|foros]], incluyendo dellos que de fechu tienen pocu que ver coles matemátiques. Nel grupu de noticies <tt>sci.math</tt>, argumentar sobre 0,999... ye un deporte popular», y ye una de les entrugues que se respuenden nes sos '''FAQ''' ([[entrugues frecuentes]]).<ref>Reparáu por Richman (p. 396). {{cita web |url=http://www.faqs.org/faqs/sci-math-faq/specialnumbers/0.999eq1/ |autor=Hans de Vreught | añu=1994 | títulu=sci.math FAQ: Why is 0.9999... = 1? |fechaaccesu=29 de xunu de 2006}}</ref> Les ''FAQ'' tomen de volao el casu <sup>1</sup>⁄<sub>3</sub>, multiplicación por 10, llendes y tamién alude a les socesiones de Cauchy.

La edición del 2003 de la columna «interés xeneral» del diariu ''[[The Straight Dope]]'' alderica sobre'l 0,999... vía <sup>1</sup>⁄<sub>3</sub> y llendes, y fala de los tracamundios surdíos na tema:

{{cita|1=El primate inferior que nos habita entá s'aguanta, diciendo: 0,999~ nun representa verdaderamente un ''númberu'', sinón, un ''procesu''. P'atopar un númberu tenemos de parar el procesu, puntu en que la igualdá 0,999~ = 1 ruémpese. 
Ye cualquier cosa.<ref>{{cita web 
 |url=http://www.straightdope.com/columns/030711.html 
 |títulu=An infinite question: Why doesn't .999~ = 1? 
 |fecha=11 de xunetu de 2003 
 |autor=[[Cecil Adams]] 
 |obra=[[The Straight Dope]] 
 |editorial=[[Chicago Reader]] 
 |fechaaccesu=6 de setiembre de 2006
 }}</ref>
|2=|col2=}}

La crónica ''The Straight Dope'' cita un discutiniu nel so propiu foru, traíu de «otru foru anónimu que trata principalmente de... xuegos de videu». Na mesma vena, la cuestión del 0,999... tuvo tanto ésitu mientres los primeros siete años del foru [[Battle.net]] de la sociedá [[Blizzard Entertainment]], que la compañía emitió un comunicáu'l 1° d'abril de 2004 ([[pexe d'abril|día del pexe d'abril]]), afirmando que, definitivamente, ye 1:

{{cita|Tamos bien emocionaos por cerrar esti llibru de discutinios d'una vegada por toes. Fuimos testigos de l'aprehensión y esmolición de los nuesos veceros por saber si 0,999~ ye o non igual a 1, y tamos arguyosos d'anunciar que la siguiente demostración, finalmente, y de manera concluyente, resuelve la tema.<ref>{{cita web
 | url=http://us.blizzard.com/en-us/company/press/pressreleases.html?040401
 | títulu=Blizzard Entertainment Announces .999~ (Repeating) = 1
 | obra=Press Release 
 | editorial=Blizzard Entertainment
 | fecha=1 d'abril de 2004 
 | fechaaccesu=16 de payares de 2009
 }}</ref>
}}

Dos pruebes siguen darréu, basaes en llendes y na multiplicación por 10.

0,999... ye tamién parte del folclor matemáticu:<ref>Renteln and Dundes, p. 27.</ref>

{{cita|'''Entruga:''' ¿Cuántos matemáticos precisen pa camudar un focu?

'''Respuesta:''' 0,999999...}}

== En sistemes de numberación alternativos ==

Magar los númberos reales formen un [[sistema de numberación]] desaxeradamente útil, la decisión d'interpretar que la notación «0,999...» denota un númberu real ye, n'última instancia, una convención; [[Timothy Gowers]] acota, en ''''Mathematics: A Very Short Introduction'', que la identidá resultante 0,999... = 1 ye igualmente una convención:

{{cita|De toes maneres, nun ye n'absoluto una convención arbitraria, yá que'l nun adoptala fuercia a unu a inventar nuevos oxetos estraños o a abandonar delles de les regles familiares de l'aritmética.<ref>Gowers p. 60.</ref>}}

Ye posible definir otros sistemes de numberación utilizando distintes regles o oxetos nuevos; en dalgunos d'estos sistemes, les demostraciones anteriores tendríen que reinterpretase y podría atopase que, nun sistema de numberación dau, 0,9... y 1 podríen nun ser idénticos. De toes maneres, munchos sistemes de numberación son estensiones del&nbsp;– más qu'alternatives independientes al&nbsp;– sistema de númberos reales, poro 0,999... = 1 sigue siendo ciertu. Inclusive en dichos sistemes de numberación, vale la pena esaminar sistemes de numberación alternativos, non solo por cómo 0,999... pórtase (si, pal casu, un númberu espresáu como «0,999...» tuviera sentíu y nun fuera ambiguu), sinón tamién pol comportamientu de fenómenos rellacionaos. Si dalgunu d'estos fenómenos difier d'aquellos que se presenten nel sistema de los númberos reales, entós siquier dalguna de les hipótesis de base del nuevu sistema tien de ser falsu.

=== Infinitesimales ===
{{vt|Infinitesimal}}

Dalgunes de les demostraciones de que 0,999... = 1 se basa na [[propiedá arquimediana]] de los númberos reales: nun hai [[infinitesimal]]es non nulos. Específicamente, la diferencia 1&nbsp;−&nbsp;0,999... tien de ser menor que cualquier númberu racional positivu, polo que tien de ser un infinitesimal; yá que los númberos reales nun contienen infinitesimales non nulos, síguese que la diferencia tien de ser cero, y poro, los dos valores son el mesmu.

Pueden construyise [[estructures alxebraiques]] ordenaes, matemáticamente coherentes, incluyendo delles alternatives a los númberos reales, que son non arquimedianes. Por casu, los [[Númberu dual|númberos duales]] inclúin un nuevu elementu infinitesimal ε, análogu a la unidá imaxinaria ''i'' de los [[númberos complexos]], sacante pol fechu que ε<sup>2</sup>&nbsp;=&nbsp;0. La estructura que resulta ye d'utilidá en [[diferenciación automática]]. Los númberos duales pueden dotase d'un [[orde lexicográficu]], y nesi casu los múltiplos de conviértense n'elementos non arquimedianos.<ref>Berz 439–442.</ref> Hai que notar que, sicasí, en cuantes qu'estensión de los númberos reales, los númberos duales entá traen 0,999...&nbsp;=&nbsp;1. Hai que notar amás que, magar ε esiste nos númberos duales, tamién ε/2, polo que ε nun ye «el menor númberu dual positivu», y, ello ye que como nos reales, nun existe tal elementu.

L' [[analís non estándar]] aprove un sistema de numberación con tou un conxuntu d'infinitesimales (y los sos inversos).<ref>Pa un tratamientu refechu del analís non estándar vease por casu ''Non-standard Analysis'' de Robinson.</ref> [[A. H. Lightstone]] desenvuelve una espansión decimal pa los [[númberos hiperreales]] en (0 ; 1)<sup>∗</sup>.<ref>Lightstone páxs. 245–247.</ref> Lightstone amuesa cómo acomuñar a cada númberu una socesión de díxitos, :
<math>
 0. d_1 d_2 d_3 \; \dots \; d_{\infty}
</math>

indexaos polos númberos [[Hiperenteru|hipernaturales]]. Anque nun alderica direutamente 0,999..., amuesa que'l númberu real 1/3 representáu por 0,333...;...333... de resultes del [[principiu de tresferencia]]. En particular, «0,333...;...000...» y «0,999...;...000...» nun correspuenden a nengún númberu.

Coles mesmes, el númberu hiperrreal <math>\scriptstyle o_H\,=\,0,999\ldots;\ldots 999000\ldots</math> col últimu díxitu 9 a un rangu infinitu hipernatural ''H'', satisfai la desigualdá estricta <math>\scriptstyle o_H <1</math>. Subsecuentemente, Karin Katz y [[Mikhail Katz]] proponen una evaluación alternativa de «0,999...»:
: <math>
 0. \underbrace{999 \; \ldots \; }_{H} \; =
 1 \; - \; \frac{1}{10^{H}}
</math><ref>Katz & Katz 2010.</ref>

Toes estes interpretaciones asitien «0,999...» infinitamente cerca del 1. [[Ian Stewart (matemáticu)|Ian Stewart]] caracteriza esta interpretación como una forma «absolutamente razonable» de xustificar rigorosamente la intuición de que «falta daqué bien pequeñu» ente 0,999... y 1....<ref>Stewart 2009, p. 175; el discutiniu completu de 0,999... estiéndese hasta páxs. 172–175.</ref> Xunto con Katz & Katz, Robert Ely tamién cuestiona'l camientu de que les idees de los estudiantes sobre'l fechu de que <math>\scriptstyle 0,999\ldots \,<\, 1</math> provengan d'intuiciones errónees alrodiu de los númberos reales, ya interpretaes como intuiciones «non estándar» que pueden apreciase dientro del aprendizaxe del cálculu.<ref>Katz & Katz (2010b).</ref><ref>R. Ely (2010).</ref>

=== Hackenbush ===

La [[teoría de xuegos combinatorios]] apurre númberos alternativos a los reales; un exemplu bultable ye'l [[Hackenbush]]<ref>Vease {{ill|en| Hackenbush| Hackenbush}}.</ref> azul-negro infinitu. En 1974, [[Elwyn Berlekamp]] describió la correspondencia ente les cadenes Hackenbush y la espansión binaria de los númberos reales, motiváu pola idea de la [[compresión de datos]]. Nesti exemplu, el valor de la cadena Hackenbush LRRLRLRL... ye 0.010101<sub>2</sub>...&nbsp;=&nbsp;<sup>1</sup>/<sub>3</sub>, sicasí, el valor de LRLLL... (correspondiente a 0.111...<sub>2</sub>) ye infinitesimalmente menor que 1. La diferencia ente los dos ye'l [[númberu surreal]] <sup>1</sup>/<sub>ω</sub>, onde ω ye'l primer [[Númberu ordinal (teoría de conxuntos)|númberu ordinal]] infinitu; la representación correspondiente ye LRRRR... o 0.000...<sub>2</sub>.<ref>Berlekamp, Conway, y Guy (páxs. 79–80, 307–311) alderica 1 y <sup>1</sup>/<sub>3</sub> y enceten <sup>1</sup>/<sub>ω</sub>. El xuegu pa 0.111...<sub>2</sub> sigue direutamente de la Regla de Berlekamp.</ref>

Esto dase de fechu na espansión binaria de munchos númberos racionales, onde'l valor de los númberos ye'l mesmu pero l'árbol de los caminos binarios correspondientes son distintos. Por casu, 0.10111...<sub>2</sub>&nbsp;=&nbsp;0.11000...<sub>2</sub>, son dambes iguales a 3/4, pero la primer representación correspuende al árbol del camín binariu LRLRRR... ente que la segunda correspuende al otru camín LRRLLL....

=== Sustracción non definida ===

Nos casos en que la operación de sustracción nun tea definida, entós 1&nbsp;−&nbsp;0,999... a cencielles nun existe, y les pruebes daes más arriba dexen de ser válides. Estructures matemátiques nes que la operación aditiva ta definida pero non la operación de sustracción inclúin, por casu, [[semigrupos]] [[Conmutatividad|conmutativos]], [[monoide|monoides conmutativos]] y [[semianillos]]. Richman considera dos d'estos sistemes, diseñaos de manera tal que 0,999... < 1.

De primeres, Richman define un ''númberu decimal'' non negativu como una espansión decimal lliteral. Define l'[[orde lexicográficu]] y la operación d'adición, notando que 0,999...&nbsp;<&nbsp;1 a cencielles porque 0&nbsp;<&nbsp;1 nel llugar de les unidaes, pero pa cualesquier ''x'' non terminal, tiense 0,999...&nbsp;+&nbsp;''x''&nbsp;=&nbsp;1&nbsp;+&nbsp;''x''. Depués, una peculiaridá de los númberos decimales, ye que l'adición non siempres puede atayase; otra ye que nengún númberu decimal correspuende a <sup>1</sup>⁄<sub>3</sub>. Dempués de definir la multiplicación, los númberos decimales formen un semianillo conmutativu positivu, totalmente ordenáu.<ref>Richman páxs. 397–399.</ref>

Nel procesu de definir la multiplicación, Richman tamién define otru sistema al que llama «corte ''D''», que ye'l conxuntu de [[cortadures de Dedekind]] de les fracciones decimales. Pelo normal, esta definición lleva a los númberos reales, pero pa una fracción decimal ''d'', Richman alteriar llixeramente dexando tantu la corte (−∞,&nbsp;''d''&nbsp;) como la corte (−∞,&nbsp;''d''&nbsp;], al que llama «corte principal». La resultancia ye que nun hai infinitesimales positivos nes cortadures ''D'', pero hai «un tipu d'infinitesimal negativu» 0<sup>−</sup> que nun tener espansión decimal.

Richman conclúi que 0,999...&nbsp;=&nbsp;1&nbsp;+&nbsp;0<sup>−</sup>, ente que la ecuación «0,999... + ''x'' = 1» nun tien solución.<ref>Richman páxs. 398–400. Rudin (p. 23) asigna esta esta construcción alternativa (sobre los racionales) como l'últimu exerciciu del capítulu 1.</ref>

=== Númberos ''p''-ádicos ===
{{vt|Númberu p-ádicu}}
[[Archivu:4adic 333.svg|right|thumb|225px|Los enteros 4-ádicos (puntos negros), incluyendo la secuencia (3, 33, 333, ...) converxe a −1.<br />El 10-ádico análogu ye ...999 = −1.]]

Al ser entrugaos alrodiu de 0,999..., los novatos de cutiu piensen que tien d'haber un «9 final», creen que 1&nbsp;−&nbsp;0,999... ye un númberu positivu que pueden escribir como «0,000...1». Tenga o nun tenga esto sentíu, l'oxetivu intuitivu ye claru: sumar 1 al postreru 9 en 0,999... acarreta tolos 9's a 0's y dexa 1 nel llugar de les unidaes. Ente otres razones, esta idea falla pos nun hai un postreru 9» en 0,999...<ref>Gardiner p. 98; Gowers p. 60.</ref> Sicasí, esiste un sistema que contién una cola infinita de 9's incluyendo un postreru 9.

Los [[númberu p-ádico|númberos ''p''-ádicos]] ye un sistema de numberación alternativu d'interés en [[teoría de númberos]]. Como los númberos reales, los númberos ''p''-ádicos pueden construyise a partir de los númberos racionales vía [[Socesión de Cauchy|socesiones de Cauchy]]; la construcción utiliza una métrica distinta na cual 0 ta más cerca de ''p'', y muncho más cerca de ''p<sup>n</sup>'' que de 1. Los númberos ''p''-ádicos formen un [[Campu (matemátiques)|campu]] pa ''p'' primu y un [[Aniellu (álxebra)|aniellu]] pa otru ''p'', incluyendo'l 10. Depués, l'aritmética ye posible nos ''p''-ádicos, y nun hai infinitesimales.

Nos númberos 10-ádicos, los análogos de les espansiones decimales cuerren escontra la izquierda. La espansión 10-ádica ...999 tien un postreru 9, y nun tien un primera 9. Puede sumase un 1 al llugar de les unidaes, lo que dexa detrás solo 0's dempués del acarretu: 1&nbsp;+&nbsp;...999&nbsp;=&nbsp;...000&nbsp;=&nbsp;0, y asina ...999&nbsp;=&nbsp;−1.<ref name="Fjelstad11">Fjelstad p. 11.</ref> Otra derivación utiliza series xeométriques. La serie infinita multiplicada por «...999» nun converxe nos númberos reales, pero converxe nos 10-ádicos, lo que dexa reutilizar la fórmula familiar:
: <math>
 \ldots \; 999 =
 9 + 9(10) + 9(10)^2 + 9(10)^3 + \; \cdots =
 \frac{9}{1-10} =
 -1
</math><ref>Fjelstad páxs. 14–15.</ref>

Una tercer derivación foi inventada por una estudiante desconfiable del argumentu del so profesor basáu en llendes, pa probar que 0,999...&nbsp;=&nbsp;1; inspirar de la prueba [[#Multiplicación por 10|multiplicación por 10]] na direición opuesta: si ''x''&nbsp;=&nbsp;...999 entós 10''x''&nbsp;=&nbsp; ...990, depués 10''x''&nbsp;=&nbsp;''x''&nbsp;−&nbsp;9, polo que ''x''&nbsp;=&nbsp;−1 nuevamente.<ref name="Fjelstad11" />

Como última estensión, yá que {{nowrap begin}}0,999... = 1{{nowrap end}} (nos reales) y {{nowrap begin}}...999 = −1{{nowrap end}} (nos 10-ádicos), entós con fe ciega y manipulación descarada de símbolos»<ref>DeSua p. 901.</ref> unu puede sumar les dos ecuaciones y llegar a {{nowrap begin}}...999,999... = 0.{{nowrap end}} Esta ecuación nun tien sentíu nin como espansión 10-ádica nin como espansión decimal ordinaria, pero resulta ser significativa y verdadera si desenvuélvese una teoría de dobles decimales» con, eventualmente, terminaciones repetitives a la izquierda pa representar un sistema bien conocíu: los númberos reales.<ref>DeSua páxs. 902–903.</ref>

== Ver tamién ==
{{columnes}}
* [[Representación decimal]]
* [[Númberu periódicu]]
* [[Unu]]
* [[Finitismo]]
* [[Infinitu]]
{{nueva columna}}
* [[Serie matemática]]
* [[Serie xeométrica]]
* [[Llende matemática]]
* [[Analís real]]
* [[Analís non estándar]]

{{final columnes}}

== Fuentes ==
=== Referencies ===
{{llistaref|3}}

=== Bibliografía ===
* {{cita llibru |autor=Alligood, Sauer, and Yorke |añu=1996 |títulu=Chaos: An introduction to dynamical systems |capítulu=4.1 Cantor Sets |editorial=Springer |isbn=0-387-94677-2}}
* {{cita llibru |apellíos=Apostol |nome=Tom M. |añu=1974 |títulu=Mathematical analysis |edición=2y |editorial=Addison-Wesley |isbn=0-201-00288-4}}
* {{cita llibru |autor=Bartle, R.G. and D.R. Sherbert |añu=1982 |títulu=Introduction to real analysis |editorial=Wiley |isbn=0-471-05944-7}}
* {{cita llibru |apellíos=Beals |nome=Richard |títulu=Analysis |añu=2004 |editorial=Cambridge UP |isbn=0-521-60047-2}}
* {{cita llibru |autor=[[Elwyn Berlekamp|Berlekamp, Y.R.]]; [[John Horton Conway|J.H. Conway]]; and [[Richard K. Guy|R.K. Guy]] |añu=1982 |títulu=[[Winning Ways for your Mathematical Plays]] |editorial=Academic Press |isbn=0-12-091101-9}}
* {{cita conferencia |apellíu=Berz |nome=Martin |títulu=Automatic differentiation as nonarchimedean analysis |añu=1992 |booktitle=Computer Arithmetic and Enclosure Methods |editorial=Elsevier |páxines=439–450 |url=http://citeseer.ist.psu.edu/berz92automatic.html}}
* {{cita llibru |apellíos=Bunch |nome=Bryan H. |títulu=Mathematical fallacies and paradoxes |añu=1982 |editorial=Van Nostrand Reinhold |isbn=0-442-24905-5}}
* {{cita llibru |apellíos=Burrell |nome=Brian |títulu=Merriam-Webster's Guide to Everyday Math: A Home and Business Reference |añu=1998 |editorial=Merriam-Webster |isbn=0-87779-621-1}}
* {{cita llibru |apellíos=Byers |nome=William |títulu=How Mathematicians Think: Using Ambiguity, Contradiction, and Paradox to Create Mathematics |añu=2007 |editorial=Princeton UP |isbn=0-691-12738-7}}
* {{cita llibru |apellíos=Conway |nome=John B. |enllaceautor=John B. Conway |títulu=Functions of one complex variable I |edición=2y |editorial=Springer-Verlag |añu-orixinal=1973 |añu=1978 |isbn=0-387-90328-3}}
* {{cita llibru |apellíos=Davies |nome=Charles |añu=1846 |títulu=The University Arithmetic: Embracing the Science of Numbers, and Their Numerous Applications |editorial=A.S. Barnes |url=https://books.google.com/books?vide=LCCN02026287&pg=PA175}}
* {{cita publicación |apellíu=DeSua |nome=Frank C. |títulu=A system isomorphic to the reals |publicación=The American Mathematical Monthly |volume=67 |númberu=9 |fecha=payares de 1960 |páxines=900–903 |doi=10.2307/2309468}}
* {{cita publicación |autor=Dubinsky, Ed, Kirk Weller, Michael McDonald, and Anne Brown |títulu=Some historical issues and paradoxes regarding the concept of infinity: an APOS analysis: part 2 |publicación=Educational Studies in Mathematics |añu=2005 |volume=60 |páxines=253–266 |doi=10.1007/s10649-005-0473-0}}
* {{cita publicación |autor=Edwards, Barbara and Michael Ward |fecha=mayu de 2004 |títulu=Surprises from mathematics education research: Student (los mios)use of mathematical definitions |publicación=The American Mathematical Monthly |volume=111 |páxines=411–425 |url=http://www.wou.edu/~wardm/FromMonthlyMay2004.pdf |doi=10.2307/4145268|formatu=PDF |númberu=5}}
* {{cita llibru |apellíos=Enderton |nome=Herbert B. |añu=1977 |títulu=Elements of set theory |editorial=Elsevier |isbn=0-12-238440-7}}
* {{cita llibru |apellíos=Euler |nome=Leonhard |enllaceautor=Leonhard Euler |añu-orixinal=1770 |añu=1822 |edición=3rd English |títulu=Elements of Algebra |editor=John Hewlett and Francis Horner, English translators. |editorial=Orme Longman |url=https://books.google.com/books?id=X8yv0sj4_1YC&pg=PA170 |isbn=0387960147}}
* {{cita publicación |apellíu=Fjelstad |nome=Paul |títulu=The repeating integer paradox |publicación=The College Mathematics Journal |volume=26 |númberu=1 |fecha=xineru de 1995 |páxines=11–15 |doi=10.2307/2687285}}
* {{cita llibru |apellíos=Gardiner |nome=Anthony |títulu=Understanding Infinity: The Mathematics of Infinite Processes |añu-orixinal=1982 |añu=2003 |editorial=Dover |isbn=0-486-42538-X}}
* {{cita llibru |apellíos=Gowers |nome=Timothy |enllaceautor=William Timothy Gowers |títulu=Mathematics: A Very Short Introduction |añu=2002 |editorial=Oxford UP |isbn=0-19-285361-9}}
* {{cita llibru |apellíos=Grattan-Guinness |nome=Ivor |añu=1970 |títulu=The development of the foundations of mathematical analysis from Euler to Riemann |editorial=[[MIT Press]] |isbn=0-262-07034-0}}
* {{cita llibru | apellíu=Griffiths | nome=H.B. | nome2=P.J. |apellíu2=Hilton | títulu=A Comprehensive Textbook of Classical Mathematics: A Contemporary Interpretation | añu=1970 | editorial=Van Nostrand Reinhold | ubicación=Londres| isbn=0-442-02863-6}}
* {{cita publicación |apellido1=Katz |nome1=K. |apellíu2=Katz |nome2=M. |author2-link=Mikhail Katz |añu=2010a |títulu=When is .999… less than 1? |publicación=[[The Montana Mathematics Enthusiast]] |volume=7 |númberu=1 |páxines=3–30 |url=http://www.math.umt.edu/TMME/vol7non1/ |urlarchivu=https://web.archive.org/web/20110720095125/http://www.math.umt.edu/TMME/vol7non1/ |fechaarchivu=20 de xunetu de 2011 }}
* {{cita publicación |apellíu=Kempner |nome=A.J. |títulu=Anormal Systems of Numeration |publicación=The American Mathematical Monthly |volume=43 |númberu=10 |fecha=avientu de 1936 |páxines=610–617 |doi=10.2307/2300532}}
* {{cita publicación |autor=Komornik, Vilmos; and Paola Loreti |títulu=Unique Developments in Non-Integer Bases |publicación=The American Mathematical Monthly |volume=105 |númberu=7 |añu=1998 |páxines=636–639 |doi=10.2307/2589246 }}
* {{cita publicación |apellíu=Leavitt |nome=W.G. |títulu=A Theorem on Repeating Decimals |publicación=The American Mathematical Monthly |volume=74 |númberu=6 |añu=1967 |páxines=669–673 |doi=10.2307/2314251}}
* {{cita publicación |apellíu=Leavitt |nome=W.G. |títulu=Repeating Decimals |publicación=The College Mathematics Journal |volume=15 |númberu=4 |fecha=setiembre de 1984 |páxines=299–308 |doi=10.2307/2686394}}
* {{cita web | url=http://arxiv.org/abs/math.NT/0605182 |títulu=Midy's Theorem for Periodic Decimals |apellíu=Lewittes |nome=Joseph |obra=New York Number Theory Workshop on Combinatorial and Additive Number Theory |añu=2006 |editorial=[[arXiv]]}}
* {{cita publicación |apellíu=Lightstone |nome=A.H. |títulu=Infinitesimals |publicación=The American Mathematical Monthly |volume=79 |númberu=3 |fecha=marzu de 1972 |páxines=242–251 |doi=10.2307/2316619}}
* {{cita llibru |apellíos=Mankiewicz |nome=Richard |añu=2000 |títulu=The story of mathematics|editorial=Cassell |isbn=0-304-35473-2}}
* {{cita llibru |apellíos=Maor |nome=Eli |títulu=To infinity and beyond: a cultural history of the infinite |añu=1987 |editorial=Birkhäuser |isbn=3-7643-3325-1}}
* {{cita llibru |apellíos=Mazur |nome=Joseph |títulu=Euclid in the Rainforest: Discovering Universal Truths in Logic and Math |añu=2005 |editorial=Pearson: Pi Press |isbn=0-13-147994-6}}
* {{cita llibru |apellíos=Munkres |nome=James R. |títulu=Topology |añu=2000 |añu-orixinal=1975 |edición=2y |editorial=Prentice-Hall |isbn=0-13-181629-2}}
* {{cita conferencia |apellíu=Núñez |nome=Rafael |títulu=Do Real Numbers Really Move? Language, Thought, and Gesture: The Embodied Cognitive Foundations of Mathematics |añu=2006 |booktitle=18 Unconventional Essays on the Nature of Mathematics |editorial=Springer |páxines=160–181 |url=http://www.cogsci.ucsd.edu/~nunez/web/publications.html |id=ISBN 978-0-387-25717-4 |archiveurl=https://web.archive.org/web/20110718014351/http://www.cogsci.ucsd.edu/~nunez/web/publications.html |archivedate=2011-07-18 |accessdate=2017-12-17 }}
* {{cita llibru |apellíos=Pedrick |nome=George |títulu=A First Course in Analysis |añu=1994 |editorial=Springer |isbn=0-387-94108-8}}
* {{cita llibru |nome=Anthony |apellíos=Peressini |nome2=Dominic |apellíos2=Peressini |editor=Bart van Kerkhove, Jean Paul van Bendegem |capítulu=Philosophy of Mathematics and Mathematics Education |títulu=Perspectives on Mathematical Practices |editorial=Springer |isbn=978-1-4020-5033-6 |añu=2007 |serie=Logic, Epistemology, and the Unity of Science |volume=5}}
* {{cita publicación |apellíu=Petkovšek |nome=Marko |títulu=Ambiguous Numbers are Dense |publicación=[[American Mathematical Monthly]] |volume=97 |númberu=5 |fecha=mayu de 1990 |páxines=408–411 |doi=10.2307/2324393}}
* {{cita conferencia |autor=Pinto, Márcia and David Tall |títulu=Following students' development in a traditional university analysis course |booktitle=PME25 |páxines=v4: 57–64 |añu=2001 |url=http://www.warwick.ac.uk/staff/David.Tall/pdfs/dot2001j-pme25-pintu-tall.pdf|formatu=PDF|fechaaccesu=3 de mayu de 2009}}
* {{cita llibru |autor=Protter, M.H. and [[Charles B. Morrey, Jr.|C.B. Morrey]] |añu=1991 |edición=2y |títulu=A first course in real analysis |editorial=Springer |isbn=0-387-97437-7}}
* {{cita llibru |apellíos=Pugh |nome=Charles Chapman |títulu=Real mathematical analysis |añu=2001 |editorial=Springer-Verlag |isbn=0-387-95297-7}}
* {{cita publicación |autor=Renteln, Paul and Allan Dundes |fecha=xineru de 2005 |títulu=Foolproof: A Sampling of Mathematical Folk Humor |publicación=[[Notices of the AMS]] |volume=52 |númberu=1 |páxines=24–34 |url=http://www.ams.org/notices/200501/fea-dundes.pdf|doi=|formatu=PDF|fechaaccesu=3 de mayu de 2009}}
* {{cita publicación |nome=Fred |apellíu=Richman |fecha=avientu de 1999 |títulu=Is 0.999… = 1? |publicación=[[Mathematics Magazine]] |volume=72 |númberu=5 |páxines=396–400 }} Free HTML preprint: {{cita web |url=http://www.math.fau.edu/Richman/HTML/999.htm |nome=Fred |apellíu=Richman |títulu=Is 0.999… = 1? |fecha=8 de xunu de 1999 |fechaaccesu=23 d'agostu de 2006 |urlarchivu=https://web.archive.org/web/20060203031201/http://www.math.fau.edu/Richman/HTML/999.htm |fechaarchivu=3 de febreru de 2006 }} Note: the journal article contains material and wording not found in the preprint.
* {{cita llibru |apellíos=Robinson |nome=Abraham |enllaceautor=Abraham Robinson |títulu=Non-standard analysis |añu=1996 |edición=Revised |editorial=[[Princeton University Press]]|isbn=0-691-04490-2}}
* {{cita llibru |apellíos=Rosenlicht |nome=Maxwell |añu=1985 |títulu=Introduction to Analysis |editorial=Dover |isbn=0-486-65038-3}} 
* {{cita llibru |apellíos=Rudin |nome=Walter |enllaceautor=Walter Rudin |títulu=Principles of mathematical analysis |edición=3y |añu=1976 |añu-orixinal=1953 |editorial=McGraw-Hill |isbn=0-07-054235-X}}
* {{cita publicación |apellíu=Shrader-Frechette |nome=Maurice |títulu=Complementary Rational Numbers |publicación=Mathematics Magazine |volume=51 |númberu=2 |fecha=marzu de 1978 |páxines=90–98 }}
* {{cita llibru |autor=Smith, Charles and Charles Harrington |añu=1895 |títulu=Arithmetic for Schools |editorial=Macmillan |url=https://books.google.com/books?vide=LCCN02029670&pg=PA115}}
* {{cita llibru |apellíos=Sohrab |nome=Houshang |títulu=Basic Real Analysis |añu=2003 |editorial=Birkhäuser |isbn=0-8176-4211-0}}
* {{cita llibru |apellíos=Stewart |nome=Ian |títulu=The Foundations of Mathematics |añu=1977 |editorial=Oxford UP |isbn=0-19-853165-6}}
* {{cita llibru |apellíos=Stewart |nome=Ian |títulu=Professor Stewart's Hoard of Mathematical Treasures |añu=2009 |editorial=Profile Books |isbn=978-1-84668-292-6}}
* {{cita llibru |apellíos=Stewart |nome=James |títulu=Calculus: Early transcendentals |edición=4y |añu=1999 |editorial=Brooks/Cole |isbn=0-534-36298-2}}
* {{cita publicación |autor=D.O. Tall and R.L.Y. Schwarzenberger |títulu=Conflicts in the Learning of Real Numbers and Limits |publicación=Mathematics Teaching |añu=1978 |volume=82 |páxines=44–49 |url=http://www.warwick.ac.uk/staff/David.Tall/pdfs/dot1978c-with-rolph.pdf|formatu=PDF|fechaaccesu=3 de mayu de 2009}}
* {{cita publicación |apellíu=Tall |nome=David |enllaceautor=David O. Tall |títulu=Conflicts and Catastrophes in the Learning of Mathematics |publicación=Mathematical Education for Teaching |añu=1976/7 |volume=2 |númberu=4 |páxines=2–18 |url=http://www.warwick.ac.uk/staff/David.Tall/pdfs/dot1976a-confl-catastrophy.pdf|formatu=PDF|fechaaccesu=3 de mayu de 2009}}
* {{cita publicación |apellíu=Tall |nome=David |títulu=Cognitive Development In Advanced Mathematics Using Technology |publicación=Mathematics Education Research Journal |añu=2000 |volume=12 |númberu=3 |páxines=210–230 |url=http://www.warwick.ac.uk/staff/David.Tall/pdfs/dot2001b-merj-amt.pdf|formatu=PDF|fechaaccesu=3 de mayu de 2009}}
* {{cita llibru|apellíos=von Mangoldt|nome=Dr. Hans|enllaceautor =Hans Carl Friedrich von Mangoldt| títulu=Einführung in die höhere Mathematik|edición=1st|añu=1911|editorial=Verlag von S. Hirzel| allugamientu=Leipzig|idioma=alemán|capítulu=Reihenzahlen}}
* {{cita llibru |apellíos=Wallace |nome=David Foster|enllaceautor =David Foster Wallace |títulu=Everything and more: a compact history of infinity |añu=2003 |editorial=Norton |isbn=0-393-00338-8}}

== Enllaces esternos ==
{{commons|0.999...}}

{{control d'autoridaes}}
[[Categoría:Númberos reales]]