Diferencies ente revisiones de «0,9 periódicu»
Contenido eliminado Contenido añadido
m Iguo testu: -"pequenu" +"pequeñu" |
Etiqueta: Reversión |
||
Llinia 1:
[[Archivu:999
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 llinda 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.
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 percepció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.
Llinia 13:
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>
<math>
Llinia 27:
=== 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.
:<math>
Llinia 41:
=== Discutiniu ===
Anque estes pruebes demuestren que 0,999... = 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... = 1, o por qué 0,333... < 0,34. N'álxebra elemental, estes demostraciones espliquen por qué'l métodu xeneral de conversión ente fracciones y númberos decimales funciona.
Una vegada que se definió un esquema representativu, puede usase pa xustificar les riegles de l'aritmética decimal utilizada nestes demostraciones. Entá más, puede demostrase directamente 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.
Llinia 47:
== Demostraciones analítiques ==
Como la cuestión de 0,999... nun afecta al desenvolvimientu formal de les matemátiques, puede aplazase hasta que se demuestren los teoremes estándares del [[analís real]]. Un requisitu ye caracterizar 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.
:<math>b_0,b_1b_2b_3b_4b_5\dots</math>
Llinia 56:
{{vt|Representación decimal}}
El desenvolvimientu quiciabes más común de les espansiones decimales, ye definiles en términos de [[series infinites]].
:<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>
:Si <math>|r| < 1 \,\!</math> entós <math>ar+ar^2+ar^3+\cdots = \frac{ar}{1-r}.</math>
Llinia 72:
[[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 una resultancia 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,
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'' − ''x''<sub>''n''</sub>| se vuelve arbitrariamente pequeña a midida que ''n'' aumenta. L'afirmación mesma 0,999... = 1 pue interpretase y demostrase como llende:<ref>La llende sigue, por casu, de Rudin p. 57, Teorema 3.20y.
:<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.
=== Intervalos encaxaos y cotes cimeres ===
{{vt|
[[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 dáu, 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'[[
:<math>x = b_0,b_1b_2b_3 \dots</math>
Con esti formalismu, les identidaes 1 = 0,999... y 1 = 1,000... reflexen, respectivamente, 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.
Una opción directa ye'l [[
El teorema de los intervalos surde polo xeneral como una característica entá más fundamental de los númberos reales: la existencia de la ''mínima cota cimera'' o [[supremu]].
{{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>}}
Llinia 101:
{{vt|Axomes de los númberos reales}}
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]].
=== 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'efectu a ''x'' como'l conxuntu de racionales menores que ''x''.
p. 399.</ref>
Llinia 122:
Cuidao 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/
"¿
=== Socesiones de Cauchy ===
Llinia 146:
== 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 esactamente como nel casu especial consideráu. Estos númberos son esactamente les fracciones decimales, y son [[conxuntu trupu|trupes]].<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>
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.
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;
* 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....
Llinia 159:
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 colecció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 [[
* La colecció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 colecció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 colección que la so subcadena correspondiente seya lo más ''p''<sub>1</sub>, y pa la borrafa ''R'', la cadena de la colecció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> = "0", ''p''<sub>2</sub> = "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 colecció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, la resultancia 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|caltien l'orde]] de la colecció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
== 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]].
* <sup>1</sup>/<sub>7</sub> = 0,142857142857... y 142 + 857 = 999.
Llinia 174:
Y. Midy probó una resultancia 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 directamente 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 dirección pueden motivar el desenvolvimientu 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 pp. 1–3; Leavitt 1967 pp. 669, 673; Shrader-Frechette pp. 96–98.</ref>
[[Archivu:Cantor base 3.svg|right|thumb|
N'analís real, el casu análogu en base-3: 0,222... = 1, xuega un papel esencial na caracterizació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.
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,
== 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 ...
* 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 pp. 6–7; Tall 2000 p. 221.</ref>
* La intuición y l'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>
Llinia 193:
Munches d'estes esplicaciones fueron propuestes pol profesor [[David O. Tall]], quien estudió les caracterí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 pp. 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 sosprendíos por resultaos matemáticos avanzaos, incluyendo 0,999...
[[Joseph Mazur]] cunta la hestoria d'un brillante estudiante de cálculu que «cuestionaba casi 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 pp. 137–141.</ref>
Llinia 205:
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''.
Ye cualquier cosa.<ref>{{cita web
|url=http://www.straightdope.com/columns/030711.html
Llinia 222:
| url=http://us.blizzard.com/en-us/company/press/pressreleases.html?040401
| títulu=Blizzard Entertainment Announces .999~ (Repeating) = 1
| obra=
| editorial=Blizzard Entertainment
| fecha=1 d'abril de 2004
Llinia 250:
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 − 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.
L' [[analís non estándar]] aprove un sistema de numberación con tou un conxuntu d'infinitesimales (y los sos inversos).<ref>
<math>
0. d_1 d_2 d_3 \; \dots \; d_{\infty}
Llinia 265:
</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
=== Hackenbush ===
Llinia 271:
La [[teoría de xuegos combinatorios]] apurre númberos alternativos a los reales; un exemplu vultable 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 l'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>... = <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 primera [[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 (pp. 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 directamente de la Riegla 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.
=== Sustracción non definida ===
Llinia 279:
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... < 1 a cencielles porque 0 < 1 nel llugar de les unidaes, pero pa cualesquier ''x'' non terminal, tiense 0,999... + ''x'' = 1 + ''x''. Depués, una peculiaridá de los númberos decimales, ye que la 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 pp. 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.
Richman conclúi que 0,999... = 1 + 0<sup>−</sup>, ente que la ecuación «0,999... + ''x'' = 1» nun tien solución.<ref>Richman pp. 398–400. Rudin (p. 23) asigna esta esta construcción alternativa (sobre los racionales) como l'últimu exerciciu del capítulu 1.</ref>
Llinia 291:
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 [[Aníu (álxebra)|aníu]] 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 esquierda. La espansión 10-ádica ...999 tien un postreru 9, y nun tien un primera 9.
: <math>
\ldots \; 999 =
Llinia 328:
* {{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
* {{cite conference |apellíu=Berz |nome=Martin |title=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
* {{cita llibru |apellíos=Conway |nome=John B. |enlaceautor=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=http://books.google.com/books?vide=LCCN02026287&pg=
* {{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=
* {{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 |enlaceautor=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=http://books.google.com/books?id=X8yv0sj4_1YC&pg=
* {{cita publicación |apellíu=Fjelstad |nome=
* {{cita llibru |apellíos=Gardiner |nome=Anthony |títulu=Understanding Infinity: The Mathematics of Infinite
* {{cita llibru |apellíos=Gowers |nome=Timothy |enlaceautor=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
* {{cita llibru | apellíu=Griffiths | nome=H.B. | nome2=
* {{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/ |fechaarchivo=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
* {{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
* {{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=
* {{cita llibru |apellíos=Munkres |nome=James R. |títulu=Topology |añu=2000 |añu-orixinal=1975 |edición=2y |editorial=
* {{cite conference |apellíu=Núñez |nome=Rafael |title=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}}
* {{cita llibru |apellíos=
* {{cita llibru |nome=Anthony |apellíos=
* {{cita publicación |apellíu=
* {{cite conference |autor=
* {{cita llibru |autor=
* {{cita llibru |apellíos=
* {{cita publicación |autor=Renteln,
* {{cita publicación |nome=Fred |apellíu=Richman |fecha=avientu de 1999 |títulu=Is 0.999… = 1? |publicación=[[Mathematics Magacín]] |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 |fechaarchivo=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 |enlaceautor=Abraham Robinson |títulu=Non-standard analysis |añu=1996 |edición=Revised |editorial=[[
* {{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 |enlaceautor=Walter Rudin |títulu=
* {{cita publicación |apellíu=Shrader-Frechette |nome=Maurice |títulu=Complementary Rational Numbers |publicación=Mathematics Magacín |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=http://books.google.com/books?vide=LCCN02029670&pg=
* {{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=
* {{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=
* {{cita publicación |apellíu=Tall |nome=David |enlaceautor=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=
* {{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=
* {{cita llibru|apellíos=von Mangoldt|nome=Dr. Hans|enlaceautor =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|enlaceautor =David Foster Wallace |títulu=Everything and more: a compact history of infinity |añu=2003 |editorial=Norton |isbn=0-393-00338-8}}
|