Pregunta de Examen de Admisin UNI - 2011

CONCLUSION :

1)Esta teoria se sigue cumpliendo en otras bases por ejemplo la base binaria . 2)El inciso I y II de la pregunta de admisin UNI son Verdaderos . 3)En la solucin de la Academia Csar Vallejo en la cual dice : Algunos Autores indican sugieren que existe una doble opcin de lateora de las representaciones decimales lo cual es falso . 4)Existe mucha desinformacin en ciertos conceptos matemticos debidoa que muchos tpicos solo se desarrollan en libros de matematicassuperiores como el libro de ANALISIS MATEMATICO DE TOMAPOSTOL por citar un ejemplo y esa fue razn por la que escrib estearticulo .

0,9 peridico
De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda

En matemticas, 0,999... es el nmero decimal peridico que -se demuestra- denota al nmero 1. En otras palabras, los smbolos 0,999... y 1 son dos representaciones distintas del mismo nmero real.1 Las demostraciones matemticas de esta igualdad han sido formuladas con diferentes grados de rigor, dependiendo del mtodo elegido para definir los nmeros reales, las hiptesis y suposiciones de partida, el contexto histrico o el pblico al que se dirige. El hecho de que ciertos nmeros reales puedan ser representados por ms de una secuencia de dgitos no se limita al sistema decimal nicamente. El mismo fenmeno ocurre en todas las bases enteras, y los matemticos tambin han cuantificado los modos de escribir 1 en bases no enteras. Ni siquiera se trata de un fenmeno restringido al nmero 1: todo nmero decimal finito no nulo tiene un gemelo con infinitos nueves, por ejemplo: 2 y 1,999... representan al nmero natural dos; 28,3287 y 28,3286999... tambin representan al mismo nmero decimal. Por simplicidad, el decimal finito es casi siempre la representacin preferida, lo que puede contribuir a una equivocada interpretacin de que es la nica representacin. Por otra parte, la forma no-terminal de un nmero permite estudiar ms fcilmente los patrones de la expansin decimal de ciertas fracciones; en base tres, por ejemplo, permite expresar la estructura ternaria del conjunto de Cantor, un fractal simple. La representacin mltiple debe tomarse en cuenta en la demostracin clsica de la nodenombrabilidad de los nmeros reales. De manera ms general, cualquier sistema de numeracin posicional de los nmeros reales, contiene una cantidad infinita de nmeros con representaciones mltiples. La igualdad 0,999... = 1 ha sido aceptada desde hace tiempo por los matemticos y se la incluye en los libros de texto. No ha sido hasta las ltimas dcadas en que los enseantes de matemtica se han inclinado por estudiar la percepcin de esta igualdad entre los estudiantes, muchos de los cuales inicialmente la cuestionan o la niegan. Muchos se persuaden por una apelacin a la autoridad de los libros de texto y los profesores, o por razonamientos aritmticos. Sin embargo, algunos no se conforman por lo que buscan una justificacin ulterior. La igualdad 0,999... = 1 est ntimamente relacionada con la ausencia de nmeros reales infinitesimales no-nulos. Algunos sistemas de numeracin alternativos, como los nmeros hiperreales, s contienen infinitesimales no-nulos; en estos sistemas, a diferencia de los reales, puede haber nmeros cuya diferencia con el 1 sea menor que cualquier nmero

racional. Otros sistemas, como por ejemplo los nmeros p-dicos, tienen otra forma de expansin decimal, que se comporta de manera muy distinta a la expansin de los nmeros reales. Aunque los nmeros reales son el objeto de estudio ms comn en el campo del anlisis matemtico, tanto los hiperreales como los p-dicos tienen aplicaciones en esta rea.

ndice
[ocultar]

1 Demostraciones algebraicas o 1.1 Fracciones y divisin euclidiana o 1.2 Multiplicacin por 10 o 1.3 Discusin 2 Demostraciones analticas o 2.1 Series infinitas y sucesiones o 2.2 Intervalos encajados y cotas superiores 3 Demostraciones por construccin de los nmeros reales o 3.1 Cortaduras de Dedekind o 3.2 Sucesiones de Cauchy 4 Generalizaciones o 4.1 Imposibilidad de la representacin nica 5 Aplicaciones 6 Escepticismo en la enseanza 7 En la cultura popular 8 En sistemas de numeracin alternativos o 8.1 Infinitesimales o 8.2 Hackenbush o 8.3 Sustraccin no definida o 8.4 Nmeros p-dicos 9 Vase tambin 10 Fuentes o 10.1 Referencias o 10.2 Bibliografa 11 Enlaces externos

Demostraciones algebraicas[editar]
Fracciones y divisin euclidiana[editar]
Una razn por la que los decimales infinitos son una ampliacin necesaria de los decimales finitos, es que permite la representacin de fracciones. Utilizando el algoritmo de la divisin, una simple divisin de enteros como 1/9, se convierte en el decimal peridico

0,111..., en el que los dgitos se repiten sin fin. Este ejemplo se utiliza para dar una rpida demostracin de que 0,999... = 1. La multiplicacin de 9 por 1 da 9 en cada dgito, as 9 0,111... = 0,999..., y 9 1/9 = 1, lo que implica que 0,999... = 1:2

Una alternativa, tambin muy frecuente, es utilizar 1/3 = 0,333... y multiplicar por 3.

Multiplicacin por 10[editar]

Cuando un nmero escrito en notacin decimal se multiplica por 10, los dgitos no cambian pero el separador decimal se mueve un lugar a la derecha. As, 10 0,999... = 9,999..., que es 9 unidades mayor que el nmero original. Para comprobarlo, basta restar 0,999... de 9,999..., los dgitos a la derecha del separador decimal se cancelan uno a uno, y el resultado es 9 9 = 0 para cada uno de estos dgitos:

Discusin[editar]
Aunque estas pruebas demuestran que 0,999... = 1, el pretender que explican la ecuacin, depende de las expectativas de la audiencia atendida. En aritmtica elemental, estas pruebas ayudan a explicar por qu 0,999... = 1, o por qu 0,333... < 0,4. En lgebra elemental, estas demostraciones explican por qu el mtodo general de conversin entre fracciones y nmeros decimales funciona. Pero las pruebas no aclaran la relacin fundamental entre los decimales y los nmeros a los cuales representan, donde subyace la pregunta de cmo dos decimales distintos pueden ser, de hecho, iguales.3 William Byers argumenta que el estudiante que acepta que 0,999... = 1 basado en estas pruebas, pero que no ha resuelto la ambigedad, no ha entendido realmente la ecuacin.4 Segn Fred Richman, el primer argumento toma su fuerza del hecho de que la mayor parte de la gente ha sido adoctrinada para aceptar la primera ecuacin sin pensarlo.5

Una vez que se ha definido un esquema representativo, se puede utilizar para justificar las reglas de la aritmtica decimal utilizada en estas demostraciones. Ms an, se puede demostrar directamente que los decimales 0,999... y 1,000... representan el mismo nmero real; esta construccin por definicin se explica ms abajo.

Demostraciones analticas[editar]
Como la cuestin de 0,999... no afecta al desarrollo formal de las matemticas, se puede aplazar hasta que se demuestren los teoremas estndares del anlisis real. Un requisito es caracterizar los nmeros reales que se pueden escribir en notacin decimal, compuesto por un signo opcional, una secuencia finita de cualquier nmero de dgitos que forman la parte entera, un separador decimal y una secuencia de dgitos que forman la parte fraccionaria. Para hablar de 0,999... la parte entera se puede resumir como b0 y se pueden descuidar negativos, as una expansin decimal tiene la forma

Es vital que la parte fraccionaria, a diferencia de la parte entera, no est limitada a un nmero finito de dgitos. Esto es una notacin posicional, as por ejemplo, el cinco en 500 contribuye diez veces ms que el 5 en 50, y el 5 en 0,05 contribuye una dcima parte que el 5 en 0,5.

Series infinitas y sucesiones[editar]

Vase tambin: Representacin decimal.

El desarrollo quiz ms comn de las expansiones decimales, es definirlas en trminos de series infinitas. En general:

Para 0,999... se puede aplicar el teorema de convergencia de las series geomtricas:6

Si

entonces , el teorema resuelve rpidamente la

Dado que 0,999... es una suma de este tipo, con cuestin:

Esta demostracin (de hecho, que 10 es igual a 9,999...) aparece ya en 1770 en Elementos de lgebra de Leonhard Euler.7

Lmites: el intervalo unidad, incluyendo la sucesin de fracciones (en base 4): que converge a 1. La suma de series geomtricas en s, son un resultado anterior a Euler. Una demostracin tpica del siglo XVIII utiliza una manipulacin trmino-a-trmino similar a la demostracin algebraica antes expuesta; en 1811, el libro de texto de Bonnycastle Una Introduccin al lgebra utiliza una serie geomtrica de este tipo para justificar la misma maniobra sobre 0,999....8 Una reaccin del siglo XIX contra tales mtodos de adicin liberales result en la definicin que an domina hoy: la suma de una serie se define como el lmite de la sucesin de sus sumas parciales. Una demostracin correspondiente del teorema calcula explcitamente esta sucesin; se puede encontrar en cualquier introduccin al clculo o el anlisis basado en la demostracin.9 Una sucesin (x0, x1, x2, ...) tiene por lmite x si la distancia |x xn| se vuelve arbitrariamente pequea a medida que n aumenta. La afirmacin misma 0,999... = 1 puede ser interpretada y demostrada como lmite:10

El ltimo paso, que , suele justificarse por el axioma de la propiedad arquimediana de los nmeros reales. Esta actitud hacia basada en lmites es por cierto ms evocadora, aunque mucho menos precisa. Por ejemplo, en el libro de texto de 1846 The University Arithmetic se explica: 0,999 +, continuando al infinito = 1, porque cada 9 anexado acerca el valor an ms a 1; el texto de 1895 Arithmetic for Schools dice ...cuando se toma una gran cantidad de 9s, la diferencia entre 1 y 0,99999... se vuelve inconcebiblemente pequea.11 Tales enfoques heursticos suelen ser interpretados por los estudiantes como que 0,999... en s es menor que 1.

Intervalos encajados y cotas superiores[editar]

Vase tambin: Principio de los intervalos encajados.

Intervalos encajados: en base 3, 1 = 1,000... = 0,222... La definicin de series expuesta ms arriba es una manera sencilla de definir un nmero real denotado por una expansin decimal. El proceso opuesto proporciona una visin complementaria: para un nmero real dado, definir la expansin decimal que lo denota. Si un nmero real x pertence al intervalo cerrado [0 ; 10] (i.e, es mayor o igual a cero y menor o igual a diez), se puede dividir este intervalo en diez partes que se superpongan nicamente en las extremidades: [0 ; 1], [1 ; 2], [2 ; 3], y as hasta [9 ; 10]. El nmero x debe pertenecer a alguno de ellos; si pertenece a [2 ;3], se anota el dgito 2 y se subdivide ese intervalo en [2 ; 2,1], [2,1 ; 2,2], ..., [2,8 ; 2,9], [2,9 ; 3]. Continuando este proceso se obtiene una sucesin infinita de intervalos encajados, rotulados por una sucesin infinita de dgitos b0, b1, b2, b3, ..., que se escriben

Con este formalismo, las identidades 1 = 0,999... y 1 = 1,000... reflejan, respectivamente, el hecho de que el 1 est tanto en el intervalo [0 ; 1] como en [1 ; 2], por lo que se puede elegir cualquiera de los dos intervalos al escribir los dgitos. Para asegurarse de que esta notacin no abuse del signo =, se requiere de un mtodo que permita reconstruir un nico nmero real para cada decimal, como por ejemplo los lmites; otras construcciones abordan el tema del ordenamiento.12 Una opcin directa es el teorema de los intervalos encajados, que garantiza que, dada una sucesin de intervalos cerrados encajados, cuya longitud se puede hacer arbitrariamente pequea, los intervalos contienen exactamente un nmero real en su interseccin. As, b0,b1b2b3... queda definido como el nico nmero contenido en todos los intervalos [b0 ; b0 + 1], [b0,b1 ; b0,b1 + 0,1], y as sucesivamente. De este modo, 0,999... es el nico nmero real que est en todos los intervalos [0 ; 1], [0,9 ; 1], [0,99 ; 1], y [0,99...9 ; 1] para cada cola finita de 9s. Puesto que el 1 es un elemento de cada uno de estos intervalos, 0,999... = 1.13

El teorema de los intervalos surge por lo general como una caracterstica an ms fundamental de los nmeros reales: la existencia de la mnima cota superior o supremo. Para explotar directamente estos objetos, se define b0,b1b2b3... como la mnima cota superior del conjunto de aproximantes {b0 ; b0,b1 ; b0,b1b2 ; ...}.14 Se puede demostrar que esta definicin (o la definicin de los intervalos encajados) es consistente con el proceso de subdivisin, lo cual implica 0,999... = 1 nuevamente. Tom Apostol concluye,
El hecho de que un nmero real pueda tener dos representaciones decimales diferentes es meramente un reflejo del hecho de que dos conjuntos diferentes de nmeros reales pueden tener el mismo supremo.15

Demostraciones por construccin de los nmeros reales[editar]

Vase tambin: Axiomas de los nmeros reales.

Se puede definir explcitamente a los nmeros reales como una cierta estructura construida sobre los nmeros racionales, basndose en la teora axiomtica de conjuntos. Los nmeros naturales 0, 1, 2, 3, ... comienzan en 0 y continan ascendentemente, de modo que cada nmero tiene un sucesor. Este conjunto se puede extender al aadrsele los negativos, obtenindose as el conjunto de los nmeros enteros; stos, a su vez, tambin se pueden extender si se aaden los cocientes, a los nmeros racionales. Estos conjuntos numricos se acompaan de las cuatro operaciones aritmticas fundamentales: suma, resta, multiplicacin y divisin. De manera ms sutil, poseen un ordenamiento, de modo que cada uno de estos nmeros puede ser comparado con algn otro, y ser menor que, mayor que, o igual a este otro nmero. El paso de los racionales a los reales es una extensin mucho mayor. Hay al menos dos maneras corrientes de hacerlo, ambas publicadas en 1872: por medio de las cortaduras de Dedekind y por sucesiones de Cauchy. Pruebas de que 0,999... = 1 que utilicen directamente estas construcciones no se encuentran en libros de texto de anlisis real, donde la tendencia moderna durante las ltimas dcadas ha sido el uso del anlisis axiomtico. Incluso cuando la hay, la construccin es usualmente aplicada a la demostracin de los axiomas de los nmeros reales, que luego apoyan las pruebas anteriores. No obstante, muchos autores sostienen que comenzar con la construccin es ms apropiado lgicamente, y las pruebas que resultan tienen mayor autonoma.16

Cortaduras de Dedekind[editar]
Vase tambin: Cortaduras de Dedekind.

En el mtodo de las cortaduras de Dedekind, cada nmero real x se define como el conjunto infinito de todos los nmeros racionales que son menores que x.17 En particular, el nmero real 1 es el conjunto de todos los nmeros racionales menores a 1.18 Toda expansin

decimal positiva determina fcilmente una cortadura de Dedekind: el conjunto de nmeros racionales que son menores que alguna etapa de la expansin. Luego el nmero real 0,999... es el conjunto de nmeros racionales r tales que r < 0, o r < 0,9, o r < 0,99, o r es menor que algn otro nmero de la forma .19 Todo elemento de 0,999... es menor que 1, luego es un elemento del nmeo real 1. Inversamente, un elemento de 1 es un nmero racional

lo cual implica

Dado que 0,999... y 1 contienen los mismos nmeros racionales, son el mismo conjunto: 0,999... = 1. Esta definicin de los nmeros reales como cortaduras de Dedekind fue publicada por primera vez por Richard Dedekind en 1872.20 El mtodo descrito anteriormente para asignar un nmero real a cada expansin decimal es debido a una publicacin de carcter explicativo intitulada: "Is 0.999 ... = 1?" de Fred Richman en Mathematics Magazine, dirigida a enseantes de matemtica de nivel intermedio y sus estudiantes.21 Richman nota que al tomar las cortaduras de Dedekind en cualquier subconjunto denso de los nmeros racionales se obtiene el mismo resultado; en particular, utiliza fracciones decimales, para las cuales la demostracin es ms inmediata. Tambin nota que, tpicamente, las definiciones permiten que { x : x < 1 } sea una cortadura pero no { x : x 1 } (o viceversa). "Para qu hacer esto? Precisamente para eliminar la posibilidad de que existan nmeros distintos 0,9* y 1. [...] Entonces vemos que en la definicin tradicional de los nmeros reales, la ecuacin 0,9* = 1 est incorporada desde el comienzo."22 Una modificacin suplementaria del proceso lleva a una estructura diferente en donde no son iguales. Aunque consistente, muchas de las operaciones aritmticas usuales fallan, por ejemplo la fraccin 1/3 no tiene representacin; vase sistemas de numeracin alternativos ms abajo.

Sucesiones de Cauchy[editar]
Vase tambin: Sucesin de Cauchy.

Otro mtodo de construccin de los nmeros reales utiliza el ordenamiento de los racionales de manera menos directa. Se define primero la distancia entre x e y como el valor absoluto |x y|, donde el valor absoluto |z| se define como el mximo entre z y z, por lo que nunca es negativo. Se define entonces a los nmeros reales como la sucesin de racionales que cumplen la propiedad de las sucesiones de Cauchy con esta distancia, esto

es: en la sucesin (x0, x1, x2, ...), una aplicacin de los nmeros naturales en los racionales, para todo racional positivo existe N tal que |xm xn| para todo m, n > N (la distancia entre los trminos se vuelve menor que cualquier nmero racional positivo).23 Si (xn) y (yn) son dos sucesiones de Cauchy, entonces se definen como nmeros reales iguales si la sucesin (xn yn) tiene por lmite 0. Truncamientos del nmero decimal b0,b1b2b3... generan una sucesin de racionales que es de Cauchy; de esta manera se define el valor real del nmero.24 Luego, segn este formalismo, la tarea es mostrar que la sucesin de nmeros racionales

tiene por lmite 0. Considerando el n-simo trmino de la sucesin, para n=0,1,2,..., se debe mostrar entonces que

Este lmite se calcula fcilmente;25 una demostracin posible es la siguiente: para = a/b > 0 se puede tomar N = b en la definicin de lmite de una sucesin. As, nuevamente 0,999... = 1. La definicin de los nmeros reales como sucesiones de Cauchy fue publicada por primera vez de manera independiente por Eduard Heine y Georg Cantor, tambin en 1872.20 El mtodo de las expansiones decimales descrito anteriormente, incluyendo la prueba de que 0,999... = 1, sigue de cerca el trabajo de Griffiths & Hilton de 1970 "Un libro de texto comprensible de matemtica clsica: una interpretacin contempornea". El libro est escrito especficamente para ofrecer una segunda mirada sobre conceptos familiares bajo una interpretacin moderna.26

Generalizaciones[editar]
El resultado 0,999... = 1 se generaliza rpidamente de dos formas. En primer lugar, todo nmero no nulo con una notacin decimal finita (equivalentemente, con una sucesin infinita de ceros) tiene una contraparte con infinitos nueves, por ejemplo: 0,24999... es igual a 0,25 exactamente como en el caso especial considerado. Estos nmeros son exactamente las fracciones decimales, y son densas.27 En segundo lugar, un teorema comparable puede aplicarse en cada radix o base, por ejemplo: en base 2 (sistema binario), 0,111... es igual a 1, y en base 3 (sistema ternario), 0,222... es igual a 1. Los libros de texto de anlisis real suelen obviar el ejemplo 0,999... y presentan alguna de estas dos generalizaciones desde el comienzo.28

Representaciones alternativas del 1 tambin se dan en bases no enteras, por ejemplo, en la base urea , las dos representaciones estndar son 1,000... y 0,101010..., y existen infinitas representaciones ms que incluyen 1s adyacentes. En general, para casi todo q entre 1 y 2, existen incontables expansiones en q-base del 1. Por otro lado, hay incontables q (incluyendo todos los nmeros naturales mayores que 1) para los cuales slo hay una expansin en q-base del 1, adems del 1,000.... trivial. Este resultado fue obtenido por vez primera por Paul Erds, Miklos Horvth e Istvn Jo alrededor de 1990. En 1998, Vilmos Komornik y Paola Loreti determinaron la menor base de este tipo, la constante de KomornikLoreti q = 1,787231650.... En esta base, 1 = 0,11010011001011010010110011010011...; los dgitos vienen dados por la sucesin de Thue-Morse, que no se repite.29 Una generalizacin de mayor alcance hace referencia a los sistemas de numeracin posicional ms generales. Estos sistemas tambin tienen mltiples representaciones, y, en cierto sentido, revisten mayor complicacin, por ejemplo:30

En el sistema ternario balanceado, 1/2 = 0,111... = 1,111.... En el inverso del sistema factordico (utilizando bases 2,3,4,... para posiciones despus del punto decimal), 1 = 1,000... = 0,1234....

Imposibilidad de la representacin nica[editar]

El hecho de que todos estos sistemas de numeracin distintos provean mltiples representaciones para algunos nmeros reales, se puede atribuir a una diferencia fundamental entre los nmeros reales, en tanto que conjunto ordenado, y una coleccin de cadenas infinitas de smbolos ordenados lexicogrficamente. De hecho, las siguientes dos propiedades dan cuenta de esta dificultad:

Si un intervalo de los nmeros reales se particiona en dos partes no vacas L y R tales que cada elemento de L sea (estrictamente) menor que todo elemento de R, entonces: o bien L contiene un elemento mayor, o bien R contiene un elemento menor, pero no ambos. La coleccin de cadenas infinitas de smbolos tomados de cualquier alfabeto finito, ordenado lexicogrficamente, puede ser particionado en dos partes no vacas L y R, tales que cada elemento de L es menor que todo elemento de R, donde L contiene un elemento mayor y R contiene un elemento menor. De hecho, es suficiente con tomar dos subcadenas finitas (iniciales) p1, p2 de elementos de la colecin, tales que difieran nicamente en el smbolo final, para el cual tienen valores sucesivos, y tomar para L el conjunto de todas las cadenas en la coleccin cuya subcadena correspondiente sea a lo ms p1, y para el residuo R, la cadena de la coleccin cuya subcadena correspondiente sea al menos p2. Luego, L tiene un elemento mayor, comenzando por p1 y eligiendo el mayor smbolo disponible en todas las posiciones siguientes, donde R tiene un elemento menor que se obtiene al seguir p2 del menor smbolo en todas las posiciones.

El primer punto se deduce de propiedades bsicas de los nmeros reales: L tiene un supremo, R tiene un nfimo, y se ve inmediatamente que son iguales; un nmero real estar en R o en L pero no en ambos, pues son conjuntos disjuntos. El segundo punto generaliza el par 0,999.../1,000... obtenido por p1 = "0", p2 = "1". De hecho, no es necesario utilizar el mismo alfabeto para todas las posiciones (de modo que por ejemplo los sistemas de raz mixta pueden ser incluidos) o considerar la colecin completa de cadenas posibles; los nicos puntos importantes son que, en cada posicin, un conjunto finito de smbolos (que pueden depender incluso de los smbolos previos) pueda ser escogido (esto es necesario para asegurar eleciones mximas y mnimas), y que al hacer una eleccin vlida para cualquier posicin, el resultado debe ser una cadena infinita vlida (de modo que no se permite 9 en cada posicin si se prohben sucesiones infinitas de 9s). Bajo estas premisas, el argumento anterior muestra que una aplicacin que preserva el orden de la coleccin de cadenas a un intervalo de nmeros reales, no puede ser una biyeccin: o bien algunos nmeros no corresponden a ninguna cadena, o bien algunos de ellos corresponden a ms de una cadena. Marko Petkovek demostr que para todo sistema posicional que nombre a todos los nmeros reales, el conjunto de reales que tendr representacin mltiple es siempre denso. Llama a esta demostracin: un ejercicio instructivo en topologa punto-conjunto; involucra conjuntos de valores posicionales vistos como espacios de Stone y el hecho de que su representacin real viene dada por funciones continuas.31

Aplicaciones[editar]
Una aplicacin de 0,999... como representacin de 1 se da en teora de nmeros elemental. En 1802, H. Goodwin public una observacin sobre la aparicin de 9s en las representaciones decimales peridicas de fracciones cuyo denominador son ciertos nmeros primos. Por ejemplo

1 1

/7 = 0,142857142857... y 142 + 857 = 999. /73 = 0,0136986301369863... y 0136 + 9863 = 9999.

E. Midy prob un resultado general sobre estas fracciones, hoy llamado el teorema de Midy, en 1836. La prueba es oscura, y no est claro si su demostracin involucra directamente 0,999..., pero hay al menos una prueba moderna, realizada por W. G. Leavitt, que s lo hace; si se puede demostrar que un nmero decimal de la forma 0.b1b2b3... es un entero positivo, entonces tiene que ser 0,999..., que es la fuente de los 9s en el teorema.32 Las investigaciones en esta direccin pueden motivar el desarrollo de conceptos tales como mximo comn divisor, aritmtica modular, nmeros de Fermat, orden de elementos de un grupo y la ley de reciprocidad cuadrtica.33

Posiciones de 1/4, 2/3, y 1 en el conjunto de Cantor En anlisis real, el caso anlogo en base-3: 0,222... = 1, juega un papel esencial en la caracterizacin de uno de los fractales ms simples: el conjunto de Cantor:

Un punto del intervalo unidad est en el conjunto de Cantor si y solo si puede ser representado en sistema ternario utilizando nicamente los dgitos 0 y 2.

El n-simo dgito de la representacin refleja la posicin del punto en la n-sima etapa de la construccin. Por ejemplo, el punto 23 se da con la representacin usual de 0,2 o 0,2000..., dado que est a la derecha de la primera etapa y a la izquierda de toda etapa de construccin posterior. El punto 13 se representa no como 0,1 sino como 0,0222..., pues est a la izquierda de la primera etapa y a la derecha de toda etapa de construccin posterior.34 Los nueves repetidos aparecen tambin en otro trabajo de George Cantor: deben tomarse en cuenta para construir una prueba vlida, al aplicar su prueba diagonal de 1891 a las expansiones decimales ed la no-denombrabilidad del intervalo unidad. Esta demostracin necesita poder declarar la diferencia entre ciertos pares de nmeros reales basada en sus expansiones decimales, por lo que se deben evitar parejas como 0,2 y 0,1999... Un mtodo simple representa todos los nmeros con expansin no finita; el mtodo opuesto excluye nueves repetitivos.35 Una variante quiz ms cercana al argumento original de Cantor utiliza de hecho base-2: transformando las expansiones en base-3 en expansiones en base-2, se puede demostrar igualmente la no denombrabilidad del conjunto de Cantor.36

Escepticismo en la enseanza[editar]

Los estudiantes en matemtica suelen rechazar la igualdad de 0,999... y 1, por razones que van desde su apariencia dispar, hasta profundos equvocos sobre el concepto de lmite de una sucesin y la naturaleza de los infinitesimales. Hay varios factores que contribuyen a la confusin:

Los estudiantes suelen estar mentalmente comprometidos con la nocin de que un nmero se puede representar de una manera y solo de una manera por un decimal. Ver dos decimales manifiestamente distintos representando el mismo nmero parece una paradoja, lo cual se amplifica por la apariencia del supuestamente bien entendido nmero 1.37 Algunos estudiantes interpretan 0,999... (o alguna notacin similar) como una cola larga pero finita de 9s, posiblemente con una longitud variable y no especificada. Si aceptan una cola infinita de nueves, pueden esperar an un ltimo 9 al infinito.38 La intuicin y la enseanza ambigua llevan a los estudiantes a pensar que el lmite de una sucesin es algn tipo de proceso infinito en lugar de un valor fijo, dado que una sucesin no necesariamente alcanza su lmite. Cuando los estudiantes aceptan la diferencia entre una sucesin de nmeros y su lmite, pueden llegar a leer 0,999... como si significara la sucesin en lugar de su lmite.39

Estas ideas suelen malinterpretarse en el contexto tradicional de los nmeros reales, aunque algunas de ellas pueden ser vlidas en otros sistemas de numeracin, ya sea inventados por su utilidad matemtica en general, o como contraejemplos instructivos para una mejor comprensin de 0,999... Muchas de estas explicaciones han sido propuestas por el profesor David O. Tall, quien ha estudiado las caractersticas de la enseanza y la cognicin que llevan a algunos de los malentendidos que ha encontrado entre sus estudiantes del colegio. Interrogando a sus estudiantes para determinar por qu la vasta mayora rechaza inicialmente la igualdad, encontr que los estudiantes continan concibiendo el 0,999... como una sucesin de nmeros que se acercan ms y ms a 1 y no como un valor fijo, porque 'no se ha especificado cuntos lugares hay' o 'es el decimal ms cercano posible debajo del 1'.40 De las pruebas elementales, multiplicar 0,333... = 13 por 3 es aparentemente una estrategia convincente para persuadir a los estudiantes reticentes de que 0,999... = 1. Aun as, confontados con el conflicto entre su creencia en la primera ecuacin y la negacin acerca de la segunda, algunos estudiantes comienzan a descreer de la primera, o bien, terminan frustrados.41 Tampoco estn a salvo mtodos ms sofisticados: estudiantes que son absolutamente capaces de aplicar definiciones rigurosas, pueden an sentir la necesidad de recurrir a imgenes intuitivas cuando son sorprendidos por resultados matemticos avanzados, incluyendo 0,999... Por ejemplo, en anlisis real, una estudiante fue capaz de probar que 0,333... = 13 utilizando la definicin del supremo, para luego insistir en que 0,999... < 1 basada en su conocimiento previo de divisin eucldea.42 Algunos ms, son capaces de probar que 13 = 0,333..., pero, confrontados con la prueba por fracciones, insisten en que la lgica prevalece sobre los clculos matemticos.

Joseph Mazur cuenta la historia de un brillante estudiante suyo de clculo que cuestionaba casi todo lo que yo deca en clase pero nunca cuestionaba su calculadora, y que crea que nueve dgitos era todo lo que se necesitaba para hacer matemticas, incluyendo el clculo de la raz cuadrada de 23; este estudiante qued inconforme con el argumento de que 9,99... = 10, llamndolo un feroz proceso imaginativo de crecimiento infinito."43 Como parte de la teora APOS de Ed Dubinsky del aprendizaje matemtico, Dubinsky y sus colaboradores (2005) proponen que aquellos estudiantes que conciben el 0,999... como una cola finita indeterminada, a una distancia infinitamente pequea del 1, no han construido an un proceso de concepcin completo del decimal infinito. Otros estudiantes que han completado la concepcin del proceso de 0,999... quiz no han sido an capaces de encapsular ese proceso dentro de una concepcin del objeto, como la concepcin que tienen del objeto 1, y por esto ven el proceso 0,999... y del objeto 1 como incompatibles. Dubinsky et al. tambin relacionan esta habilidad mental de encapsulacin con ver 13 como un nmero con derecho propio y con tratar al conjunto de nmeros naturales como un todo.44

En la cultura popular[editar]
Con el auge de Internet, los debates acerca del 0,999... han traspasado los salones de clases y son lugar comn en grupos de noticias y foros, incluyendo varios que de hecho tienen poco que ver con las matemticas. En el grupo de noticias sci.math, argumentar sobre 0,999... es un deporte popular, y es una de las preguntas que se responden en sus FAQ (preguntas frecuentes).45 Las FAQ abarcan brevemente el caso 13, multiplicacin por 10, lmites y tambin alude a las sucesiones de Cauchy. La edicin del 2003 de la columna inters general del diario The Straight Dope discute 0,999... va 13 y lmites, y habla de los malentendidos surgidos en el tema:
El primate inferior que nos habita an se resiste, diciendo: 0,999~ no representa verdaderamente un nmero, pero sino, un proceso. Para encontrar un nmero debemos parar el proceso, punto en que la igualdad 0,999~ = 1 se rompe. Es cualquier cosa.46

La crnica The Straight Dope cita una discusin en su propio foro, trado de otro foro annimo que trata principalmente de... juegos de video. En la misma vena, la cuestin del 0,999... tuvo tanto xito durante los primeros siete aos del foro Battle.net de la sociedad Blizzard Entertainment, que la compaa emiti un comunicado el 1 de abril del 2004 (da del pescado de abril), afirmando que, definitivamente, es 1:
Estamos muy emocionados por cerrar este libro de discusiones de una vez por todas. Hemos sido testigos de la aprehensin y preocupacin de nuestros clientes por saber si 0,999~ es o no igual a 1, y estamos orgullosos de anunciar que la siguiente demostracin, finalmente, y de manera concluyente, resuelve el tema.47

Dos pruebas siguen a continuacin, basadas en lmites y en la multiplicacin por 10. 0,999... es tambin parte del folklore matemtico, como en la siguiente broma:48

Pregunta: Cuntos matemticos se necesitan para cambiar un foco? Respuesta: 0,999999...

En sistemas de numeracin alternativos[editar]

Si bien los nmeros reales forman un sistema de numeracin extremadamente til, la decisin de interpretar que la notacin 0,999... denota un nmero real es, en ltima instancia, una convencin; Timothy Gowers arguye, en ''Mathematics: A Very Short Introduction, que la identidad resultante 0,999... = 1 es igualmente una convencin:
En todo caso, no es en absoluto una convencin arbitraria, puesto que el no adoptarla lo fuerza a uno a inventar nuevos objetos extraos o a abandonar algunas de las reglas familiares de la aritmtica.49

Es posible definir otros sistemas de numeracin utilizando diferentes reglas u objetos nuevos; en algunos de estos sistemas, las demostraciones anteriores tendran que ser reinterpretadas y se podra encontrar que, en un sistema de numeracin dado, 0,9... y 1 podran no ser idnticos. En todo caso, muchos sistemas de numeracin son extensiones del ms que alternativas independientes al sistema de nmeros reales, por lo que 0,999... = 1 sigue siendo cierto. Incluso en dichos sistemas de numeracin, vale la pena examinar sistemas de numeracin alternativos, no solo por cmo 0,999... se comporta (si, para el caso, un nmero expresado como 0,999... tuviese sentido y no fuese ambiguo), sino tambin por el comportamiento de fenmenos relacionados. Si alguno de estos fenmenos difiere de aquellos que se presentan en el sistema de los nmeros reales, entonces al menos alguna de las hiptesis de base del nuevo sistema debe ser falso.

Infinitesimales[editar]
Vase tambin: Infinitesimal.

Algunas de las demostraciones de que 0,999... = 1 se basan en la propiedad arquimediana de los nmeros reales: no hay infinitesimales no nulos. Especficamente, la diferencia 1 0,999... debe ser menor que cualquier nmero racional positivo, por lo que debe ser un infinitesimal; dado que los nmeros reales no contienen infinitesimales no nulos, se sigue que la diferencia debe ser cero, y por lo tanto los dos valores son el mismo. Se pueden construir estructuras algebraicas ordenadas, matemticamente coherentes, incluyendo varias alternativas a los nmeros reales, que son no-arquimedianas. Por ejemplo, los nmeros duales incluyen un nuevo elemento infinitesimal , anlogo a la unidad imaginaria i de los nmeros complejos, excepto por el hecho que 2 = 0. La estructura que resulta es de utilidad en diferenciacin automtica. Los nmeros duales se pueden dotar de un orden lexicogrfico, en cuyo caso los mltiplos de se convierten en elementos no-arquimedianos.50 Hay que notar que, no obstante, en tanto que extensin de los nmeros reales, los nmeros duales an conllevan 0,999... = 1. Hay que notar adems que, si bien existe en los nmeros duales, tambin /2, por lo que no es el menor nmero dual positivo, y, de hecho, como en los reales, no existe tal elemento.

El anlisis no-estndar provee un sistema de numeracin con todo un conjunto de infinitesimales (y sus inversos).51 A. H. Lightstone desarrolla una expansin decimal para los nmeros hiperreales en (0 ; 1).52 Lightstone muestra cmo asociar a cada nmero una sucesin de dgitos,

indexados por los nmeros hipernaturales. Aunque no discute directamente 0,999..., muestra que el nmero real 1/3 se representa por 0,333...;...333... como consecuencia del principio de transferencia. En particular, 0,333...;...000... y 0,999...;...000... no corresponden a ningn nmero. Al mismo tiempo, el nmero hiperrreal con el ltimo dgito 9 a un rango infinito hipernatural H, satisface la desigualdad estricta . Subsecuentemente, Karin Katz y Mikhail Katz proponen una evaluacin alternativa de 0,999...:

53

Todas estas interpretaciones sitan 0,999... infinitamente cerca del 1. Ian Stewart caracteriza esta interpretacin como una forma absolutamente razonable de justificar rigurosamente la intuicin de que falta algo muy pequeo entre 0,999... y 1....54 Junto con Katz & Katz, Robert Ely tambin cuestiona la suposicin de que las ideas de los estudiantes sobre el hecho de que provengan de intuiciones errneas acerca de los nmeros reales, y las interpreta como intuiciones no estndar que pueden ser preciadas dentro del aprendizaje del clculo.55 56

Hackenbush[editar]
La teora de juegos combinatorios provee nmeros alternativos a los reales; un ejemplo notorio es el Hackenbush57 azul-negro infinito. En 1974, Elwyn Berlekamp describi la correspondencia entre las cadenas Hackenbush y la expansin binaria de los nmeros reales, motivado por la idea de la compresin de datos. En este ejemplo, el valor de la cadena Hackenbush LRRLRLRL... es 0.0101012... = 1/3, sin embargo, el valor de LRLLL... (correspondiente a 0.111...2) es infinitesimalmente menor que 1. La diferencia entre los dos es el nmero surreal 1/, donde es el primer nmero ordinal infinito; la representacin correspondiente es LRRRR... o 0.000...2.58 Esto se da de hecho en la expansin binaria de muchos nmeros racionales, donde el valor de los nmeros es el mismo pero el rbol de los caminos binarias correspondientes son distintas. Por ejemplo, 0.10111...2 = 0.11000...2, son ambas iguales a 3/4, pero la primera representacin corresponde al rbol del camino binario LRLRRR... mientras que la segunda corresponde al otro camino LRRLLL....

Sustraccin no definida[editar]

En los casos en que la operacin de sustraccin no est definida, entonces 1 0,999... simplemente no existe, y las pruebas dadas ms arriba dejan de ser vlidas. Estructuras matemticas en que la operacin aditiva est definida pero no la operacin de sustraccin incluyen, por ejemplo, semigrupos conmutativos, monoides conmutativos y semianillos. Richman considera dos de estos sistemas, diseados de manera tal que 0,999... < 1. En primer lugar, Richman define un nmero decimal no-negativo como una expansin decimal literal. Define el orden lexicogrfico y la operacin de adicin, notando que 0,999... < 1 simplemente porque 0 < 1 en el lugar de las unidades, pero para cualquier x noterminal, se tiene 0,999... + x = 1 + x. Luego, una peculiaridad de los nmeros decimales, es que la adicin no siempre se puede cancelar; otra es que ningn nmero decimal corresponde a 13. Despus de definir la multiplicacin, los nmeros decimales forman un semianillo conmutativo positivo, totalmente ordenado.59 En el proceso de definir la multiplicacin, Richman tambin define otro sistema al que llama corte D, que es el conjunto de cortaduras de Dedekind de las fracciones decimales. Ordinariamente, esta definicin lleva a los nmeros reales, pero para una fraccin decimal d, Richman la altera ligeramente permitiendo tanto el corte (, d ) como el corte (, d ], al que llama corte principal. El resultado es que no hay infinitesimales positivos en las cortaduras D, pero hay un tipo de infinitesimal negativo 0 que no posee expansin decimal. Richman concluye que 0,999... = 1 + 0, mientras que la ecuacin 0,999... + x = 1 no tiene solucin.60

Nmeros p-dicos[editar]
Vase tambin: Nmero p-dico.

Los enteros 4-dicos (puntos negros), incluyendo la secuencia (3, 33, 333, ...) converge a 1. El 10-dico anlogo es ...999 = 1.

Al ser interrogados acerca de 0,999..., los novatos a menudo piensan que debe haber un 9 final, creen que 1 0,999... es un nmero positivo que pueden escribir como 0,000...1. Tenga o no tenga esto sentido, el objetivo intuitivo es claro: sumar 1 al ltimo 9 en 0,999... acarrea todos los 9's a 0's y deja 1 en el lugar de las unidades. Entre otras razones, esta idea falla pues no hay un ltimo 9 en 0,999...61 Sin embargo, existe un sistema que contiene una cola infinita de 9's incluyendo un ltimo 9. Los nmeros p-dicos es un sistema de numeracin alternativo de inters en teora de nmeros. Como los nmeros reales, los nmeros p-dicos pueden construirse a partir de los nmeros racionales va sucesiones de Cauchy; la construccin utiliza una mtrica diferente en la cual 0 est ms cerca de p, y mucho ms cerca de pn que de 1. Los nmeros p-dicos forman un campo para p primo y un anillo para otro p, incluyendo el 10. Luego, la aritmtica es posible en los p-dicos, y no hay infinitesimales. En los nmeros 10-dicos, los anlogos de las expansiones decimales corren hacia la izquierda. La expansin 10-dica ...999 tiene un ltimo 9, y no tiene un primer 9. Se puede sumar un 1 al lugar de las unidades, lo que deja detrs solo 0's despus del acarreo: 1 + ...999 = ...000 = 0, y as ...999 = 1.62 Otra derivacin utiliza series geomtricas. La serie infinita multiplicada por ...999 no converge en los nmeros reales, pero converge en los 10-dicos, lo que permite reutilizar la frmula familiar:

63

Una tercera derivacin fue inventada por una estudiante desconfiada del argumento de su profesor basado en lmites, para probar que 0,999... = 1; se inspir de la prueba multiplicacin por 10 en la direccin opuesta: si x = ...999 entonces 10x = ...990, luego 10x = x 9, por lo que x = 1 nuevamente.62 Como ltima extensin, dado que 0,999... = 1 (en los reales) y ...999 = 1 (en los 10dicos), entonces con fe ciega y manipulacin descarada de smbolos64 uno puede sumar las dos ecuaciones y llegar a ...999,999... = 0. Esta ecuacin no tiene sentido ni como expansin 10-dica ni como expansin decimal ordinaria, pero resulta ser significativa y verdadera si se desarrolla una teora de dobles-decimales con, eventualmente, terminaciones repetitivas a la izquierda para representar un sistema muy conocido: los nmeros reales.65