0,999...

Expansión decimal alternativa de 1

Impresión estilística del número, que representa cómo sus decimales continúan infinitamente

En matemáticas , 0,999... (también escrito como 0, 9 , 0..9, o 0.(9) ) denota el número más pequeño mayor que cada número en la secuencia (0.9, 0.99, 0.999, ...) . Se puede demostrar que este número es 1 ; es decir, 

${\displaystyle 0.999...=1.}$

A pesar de los conceptos erróneos comunes, 0,999... no es "casi exactamente 1" o "muy, muy cerca pero no exactamente 1"; más bien, 0,999... y "1" son exactamente el mismo número.

Se da a continuación una prueba elemental que implica únicamente aritmética elemental y el hecho de que no existe ningún número real positivo menor que todo 1/10 ⁿ , donde n es un número natural, propiedad que resulta inmediatamente de la propiedad arquimediana de los números reales .

Existen muchas otras formas de demostrar esta igualdad, desde argumentos intuitivos hasta pruebas matemáticamente rigurosas . Los argumentos intuitivos se basan generalmente en propiedades de decimales finitas que se extienden sin prueba a decimales infinitos. Las pruebas se basan generalmente en propiedades básicas de números reales y métodos de cálculo , como series y límites . Una pregunta que se estudia en la educación matemática es por qué algunas personas rechazan esta igualdad.

En otros sistemas numéricos, 0,999... puede tener el mismo significado, una definición diferente o no estar definido. Todo decimal con terminación distinta de cero tiene dos representaciones iguales (por ejemplo, 8,32000... y 8,31999...). Tener valores con múltiples representaciones es una característica de todos los sistemas numéricos posicionales que representan los números reales.

Prueba elemental

Propiedad de Arquímedes : cualquier punto x antes de la línea de meta se encuentra entre dos de los puntos P _n (inclusive).

Es posible demostrar la ecuación 0,999... = 1 utilizando únicamente las herramientas matemáticas de comparación y adición de números decimales (finitos) , sin ninguna referencia a temas más avanzados como series y límites . La prueba que se da a continuación es una formalización directa del hecho intuitivo de que, si uno dibuja 0,9, 0,99, 0,999, etc. en la recta numérica , no queda espacio para colocar un número entre ellos y 1. El significado de la notación 0,999... es el punto más pequeño de la recta numérica que se encuentra a la derecha de todos los números 0,9, 0,99, 0,999, etc. Como en última instancia no hay espacio entre 1 y estos números, el punto 1 debe ser este punto más pequeño, y por lo tanto 0,999... = 1 .

Explicación intuitiva

Si se colocan 0,9, 0,99, 0,999, etc. en la recta numérica , se ve inmediatamente que todos estos puntos están a la izquierda de 1, y que se acercan cada vez más a 1. Para cualquier número que sea menor que 1, la secuencia 0,9, 0,99, 0,999, etc., llegará a un número mayor que ⁠ ⁠ . Por lo tanto, no tiene sentido identificar 0,999... con ningún número menor que 1. Mientras tanto, todo número mayor que 1 será mayor que cualquier decimal de la forma 0,999...9 para cualquier número finito de nueves. Por lo tanto, 0,999... tampoco puede identificarse con ningún número mayor que 1. Como 0,999... no puede ser mayor que 1 ni menor que 1, debe ser igual a 1 para que sea un número real. ^{[1] [2]} ${\displaystyle x}$ ${\displaystyle x}$

Prueba rigurosa

Denotemos por 0.(9) _n el número 0,999...9, con nueves después del punto decimal. Así, 0.(9) ₁ = 0,9 , 0.(9) ₂ = 0,99 , 0.(9) ₃ = 0,999 , y así sucesivamente. Se tiene 1 − 0.(9) ₁ = 0,1 = ⁠ ⁠ , 1 − 0.(9) ₂ = 0,01 = ⁠ ⁠ , y así sucesivamente; es decir, 1 − 0.(9) _n = para todo número natural ⁠ ⁠ . ${\displaystyle n}$ ${\displaystyle \textstyle {\frac {1}{10}}}$ ${\displaystyle \textstyle {\frac {1}{10^{2}}}}$ ${\textstyle {\frac {1}{10^{n}}}}$ ${\displaystyle n}$

Sea un número no mayor que 1 y mayor que 0,9, 0,99, 0,999, etc.; es decir, 0.(9) _n < ≤ 1 , para todo ⁠ ⁠ . Restando estas desigualdades de 1, se obtiene 0 ≤ 1 − < ⁠ ⁠ . ${\displaystyle x}$ ${\displaystyle x}$ ${\displaystyle n}$ ${\displaystyle x}$ ${\displaystyle \textstyle {\frac {1}{10^{n}}}}$

El final de la prueba requiere que no haya ningún número positivo que sea menor que para todo ⁠ ⁠ . Esta es una versión de la propiedad de Arquímedes , que es verdadera para los números reales. ^{[3] [4]} Esta propiedad implica que si 1 − < ⁠ ⁠ para todo ⁠ ⁠ , entonces 1 − solo puede ser igual a 0. Por lo tanto, = 1 y 1 es el número más pequeño que es mayor que todos los 0,9, 0,99, 0,999, etc. Es decir, 1 = 0,999... . ${\textstyle {\frac {1}{10^{n}}}}$ ${\displaystyle n}$ ${\displaystyle x}$ ${\displaystyle \textstyle {\frac {1}{10^{n}}}}$ ${\displaystyle 1-n}$ ${\displaystyle x}$ ${\displaystyle x}$

Esta prueba se basa en la propiedad arquimediana de los números racionales y reales. Los números reales pueden ampliarse en sistemas numéricos , como los números hiperreales , con números infinitamente pequeños ( infinitesimales ) y números infinitamente grandes ( números infinitos ). ^{[5] [6]} Cuando se utilizan tales sistemas, la notación 0,999... no se utiliza generalmente, ya que no hay un número más pequeño entre los números mayores que todos los 0.(9) _n . ^[a]

Límites mínimos superiores y completitud

Parte de lo que demuestra este argumento es que existe un límite superior mínimo de la secuencia 0,9, 0,99, 0,999, etc.: el número más pequeño que es mayor que todos los términos de la secuencia. Uno de los axiomas del sistema de números reales es el axioma de completitud , que establece que toda secuencia acotada tiene un límite superior mínimo. ^{[7] [8]} Este límite superior mínimo es una forma de definir expansiones decimales infinitas: el número real representado por un decimal infinito es el límite superior mínimo de sus truncamientos finitos. ^[9] El argumento aquí no necesita asumir completitud para ser válido, porque muestra que esta secuencia particular de números racionales tiene un límite superior mínimo y que este límite superior mínimo es igual a uno. ^[10]

Argumentos algebraicos

Las ilustraciones algebraicas simples de la igualdad son un tema de discusión y crítica pedagógica. Byers (2007) analiza el argumento de que, en la escuela primaria, se enseña que = 0,333... , por lo que, ignorando todas las sutilezas esenciales, "multiplicar" esta identidad por 3 da 1 = 0,999... . Dice además que este argumento no es convincente, debido a una ambigüedad no resuelta sobre el significado del signo igual ; un estudiante podría pensar: "Seguramente no significa que el número 1 sea idéntico al que se entiende por la notación 0,999... ‍ . " La mayoría de los estudiantes de matemáticas de grado que conoce Byers sienten que, si bien 0,999... está "muy cerca" de 1 con base en la fuerza de este argumento, y algunos incluso dicen que está "infinitamente cerca", no están listos para decir que es igual a 1. ^[11] Richman (1999) analiza cómo "este argumento obtiene su fuerza del hecho de que la mayoría de las personas han sido adoctrinadas para aceptar la primera ecuación sin pensar", pero también sugiere que el argumento puede llevar a los escépticos a cuestionar esta suposición. ^[12] ${\textstyle {\frac {1}{3}}}$

Byers también presenta el siguiente argumento.

${\displaystyle {\begin{aligned}x&=0.999\ldots \\10x&=9.999\ldots &&{\text{by multiplying by }}10\\10x&=9+0.999\ldots &&{\text{by splitting off integer part}}\\10x&=9+x&&{\text{by definition of }}x\\9x&=9&&{\text{by subtracting }}x\\x&=1&&{\text{by dividing by }}9\end{aligned}}}$

Los estudiantes que no aceptaron el primer argumento a veces aceptan el segundo argumento, pero, en opinión de Byers, todavía no han resuelto la ambigüedad y, por lo tanto, no entienden la representación de decimales infinitos. Peressini y Peressini (2007), presentando el mismo argumento, también afirman que no explica la igualdad, indicando que tal explicación probablemente involucraría conceptos de infinito y completitud . ^[13] Baldwin y Norton (2012), citando a Katz y Katz (2010a), también concluyen que el tratamiento de la identidad basado en argumentos como estos, sin el concepto formal de un límite, es prematuro. ^[14] Cheng (2023) coincide, argumentando que saber que uno puede multiplicar 0.999... por 10 desplazando el punto decimal presupone una respuesta a la pregunta más profunda de cómo uno le da un significado a la expresión 0.999... en absoluto. ^[15] Richman (1999) también ofrece el mismo argumento al señalar que los escépticos pueden cuestionar si es cancelable  , es decir, si tiene sentido restar de ambos lados. ^[12] Eisenmann (2008) sostiene de manera similar que tanto la multiplicación como la resta que eliminan el decimal infinito requieren una mayor justificación. ^[16] ${\displaystyle x}$ ${\displaystyle x}$

Pruebas analíticas

El análisis real es el estudio de los fundamentos lógicos del cálculo , incluido el comportamiento de secuencias y series de números reales. ^[17] Las pruebas de esta sección establecen 0,999... = 1 utilizando técnicas familiares del análisis real.

Series y sucesiones infinitas

Un desarrollo común de las expansiones decimales es definirlas como sumas de series infinitas . En general: $${\displaystyle 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 .}$$

Para 0,999... se puede aplicar el teorema de convergencia relativo a las series geométricas , afirmando que si ⁠ ⁠ ${\displaystyle \vert r\vert }$ < 1 , entonces: ^[18] $${\displaystyle ar+ar^{2}+ar^{3}+\cdots ={\frac {ar}{1-r}}.}$$

Como 0,999... es una suma con una razón común ⁠ ⁠ , el teorema resuelve rápidamente la cuestión: Esta prueba aparece ya en 1770 en Elementos de álgebra de Leonhard Euler . ^[19] ${\displaystyle a=9}$ ${\displaystyle \textstyle r={\frac {1}{10}}}$ $${\displaystyle 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.}$$

Límites: El intervalo de unidad, incluida la secuencia de fracciones de base 4 (.3, .33, .333, ...) que converge a 1.

La suma de una serie geométrica es en sí misma un resultado incluso más antiguo que Euler. Una derivación típica del siglo XVIII utilizaba una manipulación término por término similar a la prueba algebraica dada anteriormente, y tan tarde como en 1811, el libro de texto de Bonnycastle Introducción al álgebra utiliza un argumento de este tipo para las series geométricas para justificar la misma maniobra en 0,999... ‍ . ^[20] Una reacción del siglo XIX contra estos métodos de suma liberales resultó en la definición que todavía domina hoy: la suma de una serie se define como el límite de la secuencia de sus sumas parciales. Una prueba correspondiente del teorema calcula explícitamente esa secuencia; se puede encontrar en varias introducciones basadas en pruebas al cálculo o al análisis. ^[21]

Una secuencia ( , , , ...) ${\displaystyle x_{0}}$ ${\displaystyle x_{1}}$ ${\displaystyle x_{2}}$ tiene el valor como su límite si la distancia se vuelve arbitrariamente pequeña a medida que aumenta. La afirmación de que 0,999... = 1 puede interpretarse y demostrarse como un límite: ^[b] Las dos primeras igualdades pueden interpretarse como definiciones abreviadas de símbolos. Las igualdades restantes pueden demostrarse. El último paso, que 10 ⁿ tiende a 0 cuando tiende a infinito ( ⁠ ⁠ ), a menudo se justifica por la propiedad arquimediana de los números reales. Esta actitud basada en el límite hacia 0,999... a menudo se expresa en términos más evocadores pero menos precisos. Por ejemplo, el libro de texto de 1846 The University Arithmetic explica: ".999 +, continuado hasta el infinito = 1, porque cada anexión de un 9 acerca el valor a 1"; En Aritmética para escuelas de 1895 se dice que "cuando se toma una gran cantidad de 9, la diferencia entre 1 y 0,99999... se vuelve inconcebiblemente pequeña". ^[22] Los estudiantes suelen interpretar incorrectamente estas heurísticas como si implicaran que 0,999... es en sí mismo menor que 1. ^[23] ${\displaystyle x}$ ${\displaystyle \left\vert x-x_{n}\right\vert }$ ${\displaystyle n}$ $${\displaystyle 0.999\ldots \ {\overset {\underset {\mathrm {def} }{}}{=}}\ \lim _{n\to \infty }0.\underbrace {99\ldots 9} _{n}\ {\overset {\underset {\mathrm {def} }{}}{=}}\ \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-0=1.}$$ ${\displaystyle n}$ ${\displaystyle \infty }$

Intervalos anidados y límites superiores mínimos

Intervalos anidados: en base 3, 1 = 1,000... = 0,222... .

La definición de serie anterior define el número real que se nombra mediante una expansión decimal. Un enfoque complementario está adaptado al proceso opuesto: para un número real dado, se define la(s) expansión(es) decimal(es) para nombrarlo.

Si se sabe que un número real se encuentra en el intervalo cerrado [0, 10] (es decir, es mayor o igual a 0 y menor o igual a 10), se puede imaginar dividir ese intervalo en diez partes que se superponen solo en sus extremos: [0, 1] , [1, 2] , [2, 3] , y así sucesivamente hasta [9, 10] . El número debe pertenecer a uno de estos; si pertenece a [2, 3] , entonces se registra el dígito "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 secuencia infinita de intervalos anidados , etiquetados por una secuencia infinita de dígitos ⁠ ⁠ , ⁠ ⁠ , ⁠ ⁠ , ..., y uno escribe ${\displaystyle x}$ ${\displaystyle x}$ ${\displaystyle b_{1}}$ ${\displaystyle b_{2}}$ ${\displaystyle b_{3}}$ $${\displaystyle x=b_{0}.b_{1}b_{2}b_{3}\ldots \,.}$$

En este formalismo, las identidades 1 = 0,999... y 1 = 1,000... reflejan, respectivamente, el hecho de que 1 se encuentra tanto en [0, 1] como en [1, 2] , por lo que se puede elegir cualquiera de los subintervalos al encontrar sus dígitos. Para garantizar que esta notación no abuse del signo "=", se necesita una forma de reconstruir un número real único para cada decimal. Esto se puede hacer con límites, pero otras construcciones continúan con el tema del ordenamiento. ^[24]

Una opción sencilla es el teorema de intervalos anidados , que garantiza que dada una secuencia de intervalos cerrados anidados cuyas longitudes se vuelven arbitrariamente pequeñas, los intervalos contienen exactamente un número real en su intersección . Por lo tanto , ⁠ ⁠ , ${\displaystyle b_{1}}$⁠ ⁠ ${\displaystyle b_{2}}$ , ⁠ ⁠ ${\displaystyle b_{3}}$ , ... se define como el único número contenido dentro de todos los intervalos [ , + 1] ${\displaystyle b_{0}}$ ${\displaystyle b_{0}}$ , [ , + 0,1] ${\displaystyle b_{0}.b_{1}}$ ${\displaystyle b_{0}.b_{1}}$ , y así sucesivamente. 0,999... es entonces el único número real que se encuentra en todos los intervalos [0, 1] , [0,9, 1] , [0,99, 1] y [0,99...9, 1] para cada cadena finita de 9. Como 1 es un elemento de cada uno de estos intervalos, 0,999... = 1 . ^[25]

El teorema de intervalos anidados se basa generalmente en una característica más fundamental de los números reales: la existencia de límites superiores mínimos o supremos . Para explotar directamente estos objetos, se puede definir ... ${\displaystyle b_{0}.b_{1}b_{2}b_{3}}$ como el límite superior mínimo del conjunto de aproximantes , , , ... ${\displaystyle b_{0}}$^[26] Se puede demostrar entonces que esta definición (o la definición de intervalos anidados ) es coherente con el procedimiento de subdivisión, lo que implica 0,999 ... = 1 de nuevo. Tom Apostol concluye: "el hecho de que un número real pueda tener dos representaciones decimales diferentes es simplemente un reflejo del hecho de que dos conjuntos diferentes de números reales pueden tener el mismo supremo". ^[27] ${\displaystyle b_{0}.b_{1}}$ ${\displaystyle b_{0}.b_{1}b_{2}}$

Pruebas de la construcción de los números reales

Algunos enfoques definen explícitamente los números reales como ciertas estructuras construidas sobre los números racionales , utilizando la teoría de conjuntos axiomáticos . Los números naturales {0, 1, 2, 3, ...} comienzan con 0 y continúan hacia arriba de modo que cada número tiene un sucesor. Se pueden extender los números naturales con sus negativos para dar todos los números enteros , y extenderse aún más a las razones, dando los números racionales . Estos sistemas numéricos están acompañados por la aritmética de la adición, la resta, la multiplicación y la división. ^{[28] [29]} Más sutilmente, incluyen el ordenamiento , de modo que un número puede compararse con otro y encontrarse que es menor que, mayor que o igual a otro número. ^[30]

El paso de los racionales a los reales es una extensión importante. Hay al menos dos formas populares de lograr este paso, ambas publicadas en 1872: cortes de Dedekind y sucesiones de Cauchy . Las pruebas de que 0,999... = 1 que utilicen directamente estas construcciones no se encuentran en los libros de texto sobre análisis real, donde la tendencia moderna durante las últimas décadas ha sido utilizar un análisis axiomático. Incluso cuando se ofrece una construcción, generalmente se aplica para probar los axiomas de los números reales, que luego respaldan las pruebas anteriores. Sin embargo, varios autores expresan la idea de que comenzar con una construcción es más apropiado desde el punto de vista lógico y las pruebas resultantes son más autónomas. ^[c]

Recortes de Dedekind

En el enfoque de corte de Dedekind , cada número real se define como el conjunto infinito de todos los números racionales menores que ⁠ ⁠ . ^[d] En particular, el número real 1 es el conjunto de todos los números racionales que son menores que 1. ^[e] Cada expansión decimal positiva determina fácilmente un corte de Dedekind: el conjunto de números racionales que son menores que alguna etapa de la expansión. Entonces, el número real 0,999... es el conjunto de números racionales tales que < 0 , o < 0,9 , o < 0,99 , o es menor que algún otro número de la forma ^[31] ${\displaystyle x}$ ${\displaystyle x}$ ${\displaystyle r}$ ${\displaystyle r}$ ${\displaystyle r}$ ${\displaystyle r}$ ${\displaystyle r}$ $${\displaystyle 1-{\frac {1}{10^{n}}}=0.(9)_{n}=0.\underbrace {99\ldots 9} _{n{\text{ nines}}}.}$$

Cada elemento de 0,999... es menor que 1, por lo que es un elemento del número real 1. A la inversa, todos los elementos de 1 son números racionales que se pueden escribir como con y ⁠ ⁠ . Esto implica y por lo tanto $${\displaystyle {\frac {a}{b}}<1,}$$ ${\displaystyle b>0}$ ${\displaystyle b>a}$ $${\displaystyle 1-{\frac {a}{b}}={\frac {b-a}{b}}\geq {\frac {1}{b}}>{\frac {1}{10^{b}}},}$$ $${\displaystyle {\frac {a}{b}}<1-{\frac {1}{10^{b}}}.}$$

Dado que, según la definición anterior, cada elemento de 1 es también un elemento de 0,999..., y, combinado con la prueba anterior de que cada elemento de 0,999... es también un elemento de 1, los conjuntos 0,999... y 1 contienen los mismos números racionales y, por lo tanto, son el mismo conjunto, es decir, 0,999... = 1 . $${\displaystyle 1-{\frac {1}{10^{b}}}=0.(9)_{b}<0.999\ldots ,}$$

La definición de números reales como cortes de Dedekind fue publicada por primera vez por Richard Dedekind en 1872. ^[32] El enfoque anterior para asignar un número real a cada expansión decimal se debe a un artículo expositivo titulado "¿Es 0,999 ... = 1 ?" de Fred Richman en Mathematics Magazine . ^[12] Richman señala que tomar cortes de Dedekind en cualquier subconjunto denso de los números racionales arroja los mismos resultados; en particular, utiliza fracciones decimales , para las cuales la prueba es más inmediata. También señala que, por lo general, las definiciones permiten que { | < 1} ${\displaystyle x}$ ${\displaystyle x}$ sea un corte pero no { | ≤ 1} ${\displaystyle x}$ ${\displaystyle x}$ (o viceversa). ^[33] Una modificación adicional del procedimiento conduce a una estructura diferente donde los dos no son iguales. Aunque es consistente, muchas de las reglas comunes de la aritmética decimal ya no se cumplen, por ejemplo, la fracción no tiene representación; consulte § Sistemas numéricos alternativos a continuación. ${\textstyle {\frac {1}{3}}}$

Secuencias de Cauchy

Otro enfoque es definir un número real como el límite de una secuencia de Cauchy de números racionales. Esta construcción de los números reales utiliza el ordenamiento de los racionales de forma menos directa. Primero, la distancia entre y se define como el valor absoluto ⁠ ⁠ , donde el valor absoluto se define como el máximo de y ⁠ ⁠ , por lo tanto nunca negativo. Luego, los reales se definen como las secuencias de racionales que tienen la propiedad de la secuencia de Cauchy utilizando esta distancia. Es decir, en la secuencia ⁠ ⁠ , ⁠ ⁠ , ⁠ ⁠ , ..., una aplicación de números naturales a racionales, para cualquier racional positivo hay un tal que para todo ⁠ ⁠ ; la distancia entre términos se vuelve más pequeña que cualquier racional positivo. ^[34] ${\displaystyle x}$ ${\displaystyle y}$ ${\displaystyle \left\vert x-y\right\vert }$ ${\displaystyle \left\vert z\right\vert }$ ${\displaystyle z}$ ${\displaystyle -z}$ ${\displaystyle x_{0}}$ ${\displaystyle x_{1}}$ ${\displaystyle x_{2}}$ ${\displaystyle \delta }$ ${\displaystyle N}$ ${\displaystyle \left\vert x_{m}-x_{n}\right\vert \leq \delta }$ ${\displaystyle m,n>N}$

Si y son dos secuencias de Cauchy, entonces se definen como iguales como números reales si la secuencia tiene el límite 0. Los truncamientos del número decimal ... generan una secuencia de racionales, que es Cauchy; esto se toma para definir el valor real del número. ^[35] Por lo tanto, en este formalismo la tarea es mostrar que la secuencia de números racionales tiene un límite 0. Considerando el término ⁠ ⁠ de la secuencia, para ⁠ ⁠ , debe demostrarse que Esto puede demostrarse mediante la definición de un límite . Entonces, nuevamente, 0.999... = 1 . ^[36] ${\displaystyle (x_{n})}$ ${\displaystyle (y_{n})}$ ${\displaystyle (x_{n}-y_{n})}$ ${\displaystyle b_{0}.b_{1}b_{2}b_{3}}$ $${\displaystyle \left(1-0,1-{9 \over 10},1-{99 \over 100},\ldots \right)=\left(1,{1 \over 10},{1 \over 100},\ldots \right)}$$ ${\displaystyle n}$ ${\displaystyle n\in \mathbb {N} }$ $${\displaystyle \lim _{n\rightarrow \infty }{\frac {1}{10^{n}}}=0.}$$

La definición de números reales como secuencias de Cauchy fue publicada por primera vez por separado por Eduard Heine y Georg Cantor , también en 1872. ^[32] El enfoque anterior para las expansiones decimales, incluida la prueba de que 0,999... = 1 , sigue de cerca el trabajo de Griffiths y Hilton de 1970 Un libro de texto completo de matemáticas clásicas: una interpretación contemporánea . ^[37]

Representación decimal infinita

En la enseñanza de las matemáticas en las escuelas secundarias , los números reales se construyen definiendo un número utilizando un entero seguido de un punto decimal y una secuencia infinita escrita como una cadena para representar la parte fraccionaria de cualquier número real dado. En esta construcción, el conjunto de cualquier combinación de un entero y dígitos después del punto decimal (o punto decimal en sistemas que no sean de base 10) es el conjunto de números reales. Se puede demostrar rigurosamente que esta construcción satisface todos los axiomas reales después de definir una relación de equivalencia sobre el conjunto que define 1 = _eq 0.999... así como para cualquier otro decimal distinto de cero con solo un número finito de términos distintos de cero en la cadena decimal con su versión de 9 finales. En otras palabras, la igualdad 0.999... = 1 es una condición necesaria para que las cadenas de dígitos se comporten como deberían hacerlo los números reales. ^{[38] [39]}

Orden denso

Una de las nociones que puede resolver el problema es el requisito de que los números reales estén densamente ordenados. El ordenamiento denso implica que si no hay ningún elemento nuevo estrictamente entre dos elementos del conjunto, los dos elementos deben considerarse iguales. Por lo tanto, si 0,99999... fuera diferente de 1, tendría que haber otro número real entre ellos, pero no lo hay: no se puede cambiar un solo dígito en ninguno de los dos para obtener tal número. ^[40]

Generalizaciones

El resultado de que 0,999... = 1 se generaliza fácilmente de dos maneras. En primer lugar, cada número distinto de cero con una notación decimal finita (equivalente a infinitos ceros finales) tiene una contraparte con nueves finales. Por ejemplo, 0,24999... es igual a 0,25, exactamente como en el caso especial considerado. Estos números son exactamente las fracciones decimales y son densos . ^{[41] [9]}

En segundo lugar, se aplica un teorema comparable en cada base o radio . Por ejemplo, en base 2 (el sistema de numeración binario ) 0,111... es igual a 1, y en base 3 (el sistema de numeración ternario ) 0,222... es igual a 1. En general, cualquier expresión de base terminal tiene una contraparte con dígitos finales repetidos iguales a − 1 . Es probable que los libros de texto de análisis real omitan el ejemplo de 0,999... y presenten una o ambas de estas generalizaciones desde el principio. ^[42] ${\displaystyle b}$ ${\displaystyle b}$

Representaciones alternativas de 1 también ocurren en bases no enteras. Por ejemplo, en la base de la proporción áurea , las dos representaciones estándar son 1.000... y 0.101010..., y hay infinitas más representaciones que incluyen 1 adyacentes. Generalmente, para casi todos entre 1 y 2, hay incontables expansiones de base de 1. En contraste, todavía hay incontables ⁠ ⁠ , incluidos todos los números naturales mayores que 1, para los cuales solo hay una expansión de base de 1, aparte del trivial 1.000... ‍ . Este resultado fue obtenido por primera vez por Paul Erdős , Miklos Horváth e István Joó alrededor de 1990. En 1998 Vilmos Komornik y Paola Loreti determinaron la base más pequeña de este tipo, la constante de Komornik-Loreti = 1.787231650... ‍ . En esta base, 1 = 0,11010011001011010010110011010011... ; los dígitos están dados por la secuencia de Thue-Morse , que no se repite. ^[43] ${\displaystyle q}$ ${\displaystyle q}$ ${\displaystyle q}$ ${\displaystyle q}$ ${\displaystyle q}$

Una generalización de mayor alcance aborda los sistemas de numeración posicional más generales . Éstos también tienen múltiples representaciones y, en cierto sentido, las dificultades son aún mayores. Por ejemplo: ^[44]

• En el sistema ternario equilibrado , = 0,111... = 1,111 ... ‍ . ${\textstyle {\frac {1}{2}}}$
• En el sistema de numeración factorial inverso (utilizando bases 2!, 3!, 4!, ... para las posiciones después del punto decimal), 1 = 1,000... = 0,1234... ‍ .

Petkovšek (1990) ha demostrado que para cualquier sistema posicional que nombra todos los números reales, el conjunto de números reales con múltiples representaciones es siempre denso. Llama a la prueba "un ejercicio instructivo en topología elemental de conjuntos puntuales "; implica considerar conjuntos de valores posicionales como espacios de Stone y notar que sus representaciones reales están dadas por funciones continuas . ^[45]

Aplicaciones

Una aplicación de 0,999... como representación de 1 se da en la teoría de números elemental . En 1802, H. Goodwyn publicó una observación sobre la aparición de 9 en las representaciones decimales periódicas de fracciones cuyos denominadores son ciertos números primos . ^[46] Algunos ejemplos incluyen:

• ${\textstyle {\frac {1}{7}}}$= 0,142857 y 142 + 857 = 999 .
• ${\textstyle {\frac {1}{73}}}$= 0,01369863 y 0136 + 9863 = 9999 .

E. Midy demostró un resultado general sobre tales fracciones, ahora llamado teorema de Midy , en 1836. La publicación fue oscura, y no está claro si su prueba involucraba directamente 0.999..., pero al menos una prueba moderna de William G. Leavitt sí lo hace. Si se puede demostrar que si un decimal de la forma ... es ${\displaystyle 0.b_{1}b_{2}b_{3}}$ un entero positivo, entonces debe ser 0.999..., que es entonces la fuente de los 9 en el teorema. ^[47] Las investigaciones en esta dirección pueden motivar conceptos como máximo común divisor , aritmética modular , primos de Fermat , orden de elementos de grupo y reciprocidad cuadrática . ^[48]

Posiciones de ⁠1/4⁠ , ⁠2/3⁠ , y 1 en el conjunto de Cantor

Volviendo al análisis real, el análogo de base 3 0,222... = 1 juega un papel clave en la caracterización de uno de los fractales más simples, el conjunto de Cantor de tercios medios : un punto en el intervalo unitario se encuentra en el conjunto de Cantor si y solo si puede representarse en ternario utilizando solo los dígitos 0 y 2.

El dígito ⁠ ⁠ ${\displaystyle n}$ de la representación refleja la posición del punto en la ⁠ ⁠ ${\displaystyle n}$ etapa de la construcción. Por ejemplo, al punto se le da la representación habitual de 0,2 o 0,2000..., ya que se encuentra a la derecha de la primera eliminación y a la izquierda de cada eliminación posterior. El punto no se representa como 0,1 sino como 0,0222..., ya que se encuentra a la izquierda de la primera eliminación y a la derecha de cada eliminación posterior. ^[49] ${\textstyle {\frac {2}{3}}}$ ${\textstyle {\frac {1}{3}}}$

Los nueves repetidos también aparecen en otra obra de Georg Cantor. Deben tenerse en cuenta para construir una prueba válida, aplicando su argumento diagonal de 1891 a las expansiones decimales, de la incontabilidad del intervalo unitario. Una prueba de este tipo debe poder declarar que ciertos pares de números reales son diferentes en función de sus expansiones decimales, por lo que hay que evitar pares como 0,2 y 0,1999... Un método simple representa todos los números con expansiones no terminales; el método opuesto descarta los nueves repetidos. ^[f] Una variante que puede estar más cerca del argumento original de Cantor utiliza la base 2, y al convertir las expansiones de base 3 en expansiones de base 2, también se puede demostrar la incontabilidad del conjunto de Cantor. ^[50]

El escepticismo en la educación

Los estudiantes de matemáticas suelen rechazar la igualdad de 0,999... y 1 por razones que van desde su apariencia dispar hasta profundas dudas sobre el concepto de límite y desacuerdos sobre la naturaleza de los infinitesimales . Hay muchos factores comunes que contribuyen a la confusión:

• Los estudiantes a menudo están "mentalmente comprometidos con la noción de que un número puede ser representado de una sola manera por un decimal". Ver dos decimales manifiestamente diferentes que representan el mismo número parece ser una paradoja , que se amplifica con la aparición del aparentemente bien entendido número 1. ^[g]
• Algunos estudiantes interpretan "0,999..." (o una notación similar) como una cadena grande pero finita de nueves, posiblemente con una longitud variable y no especificada. Si aceptan una cadena infinita de nueves, pueden esperar que aparezca un último 9 "en el infinito". ^[51]
• La intuición y la enseñanza ambigua llevan a los estudiantes a pensar en el límite de una secuencia como una especie de proceso infinito en lugar de un valor fijo, ya que una secuencia no necesita alcanzar su límite. Cuando los estudiantes aceptan la diferencia entre una secuencia de números y su límite, pueden leer "0,999..." como si se refiriera a la secuencia en lugar de a su límite. ^[52]

Estas ideas son erróneas en el contexto de los números reales estándar, aunque algunas pueden ser válidas en otros sistemas numéricos, ya sea inventados por su utilidad matemática general o como contraejemplos instructivos para comprender mejor 0,999...; ver § En sistemas numéricos alternativos más abajo.

Muchas de estas explicaciones las encontró David Tall , quien ha estudiado las características de la enseñanza y la cognición que conducen a algunos de los malentendidos que ha encontrado con sus estudiantes universitarios. Al entrevistar a sus estudiantes para determinar por qué la gran mayoría rechazó inicialmente la igualdad, descubrió que "los estudiantes seguían concibiendo 0,999... como una secuencia de números que se acercaban cada vez más a 1 y no como un valor fijo, porque 'no has especificado cuántos lugares hay' o 'es el decimal más cercano posible por debajo de 1 ' ". ^[23]

El argumento elemental de multiplicar 0,333... = ${\textstyle {\frac {1}{3}}}$ por 3 puede convencer a estudiantes renuentes de que 0,999... = 1. Aún así, cuando se enfrentan al conflicto entre su creencia en la primera ecuación y su incredulidad en la segunda, algunos estudiantes comienzan a no creer en la primera ecuación o simplemente se frustran. ^[53] Los métodos más sofisticados tampoco son infalibles: los estudiantes que son completamente capaces de aplicar definiciones rigurosas aún pueden recurrir a imágenes intuitivas cuando se sorprenden por un resultado en matemáticas avanzadas, incluido 0,999... ‍ . Por ejemplo, un estudiante de análisis real pudo demostrar que 0,333... = ${\textstyle {\frac {1}{3}}}$ usando una definición suprema , pero luego insistió en que 0,999... < 1 basándose en su comprensión anterior de la división larga . ^[54] Otros aún pueden demostrar que = 0,333... , pero, al ser confrontados por la prueba fraccionaria, insisten en que la "lógica" reemplaza a los cálculos matemáticos. ${\textstyle {\frac {1}{3}}}$

Mazur (2005) cuenta la historia de un estudiante de cálculo que, por lo demás, era brillante y que "cuestionaba casi todo lo que yo decía en clase, pero nunca cuestionaba su calculadora", y que había llegado a creer que nueve dígitos son todo lo que uno necesita para hacer matemáticas, incluido el cálculo de la raíz cuadrada de 23. El estudiante se sentía incómodo con un argumento limitante de que 9,99... = 10 , y lo calificaba de "un proceso de crecimiento infinito imaginado descabelladamente". ^[55]

Como parte de la teoría APOS del aprendizaje matemático, Dubinsky et al. (2005) proponen que los estudiantes que conciben 0,999... como una cadena finita e indeterminada con una distancia infinitamente pequeña de 1 "aún no han construido una concepción completa del proceso del decimal infinito". Otros estudiantes que tienen una concepción completa del proceso de 0,999... pueden no ser capaces todavía de "encapsular" ese proceso en una "concepción del objeto", como la concepción del objeto que tienen de 1, y por eso ven el proceso 0,999... y el objeto 1 como incompatibles. También vinculan esta capacidad mental de encapsulación con la visualización como un número en sí mismo y con el manejo del conjunto de números naturales como un todo. ^[56] ${\textstyle {\frac {1}{3}}}$

Fenómeno cultural

Con el auge de Internet , los debates sobre 0,999... se han vuelto algo común en los grupos de noticias y foros de mensajes , incluidos muchos que nominalmente tienen poco que ver con las matemáticas. En el grupo de noticias sci.math en la década de 1990, discutir sobre 0,999... se convirtió en un "deporte popular", y fue una de las preguntas respondidas en sus Preguntas frecuentes . ^{[57] [58]} Las Preguntas frecuentes cubren brevemente ⁠ ⁠ ${\displaystyle \textstyle {\frac {1}{3}}}$ , la multiplicación por 10 y los límites, y también alude a las secuencias de Cauchy.

Una edición de 2003 de la columna de interés general del periódico The Straight Dope analiza 0,999... vía y límites, diciendo conceptos erróneos, ${\textstyle {\frac {1}{3}}}$

El primate inferior que hay en nosotros todavía se resiste y dice: .999~ no representa realmente un número , sino un proceso . Para encontrar un número tenemos que detener el proceso, en cuyo punto la idea de .999~ = 1 se desmorona. Tonterías. ^[59]

Un artículo de Slate informa que el concepto de 0,999... es "muy discutido en sitios web que van desde los foros de mensajes de World of Warcraft hasta los foros de Ayn Rand ". ^[60] 0,999... también aparece en chistes matemáticos , como: ^[61]

P: ¿Cuántos matemáticos hacen falta para cambiar una bombilla ?
R: 0,999999...

El hecho de que 0,999... sea igual a 1 se ha comparado con la paradoja del corredor de Zenón . ^[62] La paradoja del corredor se puede modelar matemáticamente y luego, como 0,999..., resolverse utilizando una serie geométrica. Sin embargo, no está claro si este tratamiento matemático aborda las cuestiones metafísicas subyacentes que Zenón estaba explorando. ^[63]

En sistemas de numeración alternativos

Aunque los números reales forman un sistema numérico extremadamente útil , la decisión de interpretar la notación "0,999..." como el nombre de un número real es en última instancia una convención, y Timothy Gowers sostiene en Matemáticas: una introducción muy breve que la identidad resultante 0,999... = 1 también es una convención:

Sin embargo, no se trata de una convención arbitraria, porque no adoptarla obliga a inventar nuevos objetos extraños o a abandonar algunas de las reglas familiares de la aritmética. ^[64]

Infinitesimales

Algunas pruebas de que 0,999... = 1 se basan en la propiedad arquimediana de los números reales: que no existen infinitesimales distintos de cero . En concreto, la diferencia 1 − 0,999... debe ser menor que cualquier número racional positivo, por lo que debe ser un infinitesimal; pero como los números reales no contienen infinitesimales distintos de cero, la diferencia es cero y, por tanto, los dos valores son iguales.

Sin embargo, existen estructuras algebraicas ordenadas matemáticamente coherentes , incluidas varias alternativas a los números reales, que no son arquimedianas. El análisis no estándar proporciona un sistema numérico con una matriz completa de infinitesimales (y sus inversos). ^[h] AH Lightstone desarrolló una expansión decimal para números hiperreales en (0, 1) ^∗ . Lightstone muestra cómo asociar cada número con una secuencia de dígitos, indexada por los números hipernaturales . Si bien no analiza directamente 0,999..., muestra que el número real está representado por 0,333...;...333..., que es una consecuencia del principio de transferencia . Como consecuencia, el número 0,999...;...999... = 1 . Con este tipo de representación decimal, no todas las expansiones representan un número. En particular, "0,333...;...000..." y "0,999...;...000..." no corresponden a ningún número. ^[65] $${\displaystyle 0.d_{1}d_{2}d_{3}\ldots ;\ldots d_{\infty -1}d_{\infty }d_{\infty +1}\ldots ,}$$ ${\textstyle {\frac {1}{3}}}$

La definición estándar del número 0,999... es el límite de la secuencia 0,9, 0,99, 0,999, ... ‍ . Una definición diferente implica un ultralímite , es decir, la clase de equivalencia [(0,9, 0,99, 0,999, ...)] de esta secuencia en la construcción de ultrapotencia , que es un número que se queda corto respecto a 1 por una cantidad infinitesimal. ^[66] De manera más general, el número hiperreal = 0,999...;...999000... , con el último dígito 9 en rango hipernatural infinito ⁠ ⁠ , satisface una desigualdad estricta ⁠ ⁠ . En consecuencia, una interpretación alternativa para "cero seguido de infinitos 9" podría ser ^[67] Todas estas interpretaciones de "0,999..." son infinitamente cercanas a 1. Ian Stewart caracteriza esta interpretación como una forma "enteramente razonable" de justificar rigurosamente la intuición de que "falta un poquito" de 1 en 0,999.... ^[i] Junto con Katz y Katz (2010b), Ely (2010) también cuestiona la suposición de que las ideas de los estudiantes sobre 0,999... < 1 son intuiciones erróneas sobre los números reales, interpretándolas más bien como intuiciones no estándar que podrían ser valiosas en el aprendizaje del cálculo. ^[68] ${\displaystyle u_{H}}$ ${\displaystyle H}$ ${\displaystyle u_{H}<1}$ $${\displaystyle {\underset {H}{0.\underbrace {999\ldots } }}\;=1\;-\;{\frac {1}{10^{H}}}.}$$

Hackenbush

La teoría de juegos combinatorios proporciona un concepto generalizado de número que abarca los números reales y mucho más. ^[69] Por ejemplo, en 1974, Elwyn Berlekamp describió una correspondencia entre cadenas de segmentos rojos y azules en Hackenbush y expansiones binarias de números reales, motivada por la idea de compresión de datos . Por ejemplo, el valor de la cadena de Hackenbush LRRLRLRL... es 0.010101... ₂ = . ${\textstyle {\frac {1}{3}}}$ Sin embargo, el valor de LRLLL... (que corresponde a 0.111... ₂ es infinitesimalmente menor que 1. La diferencia entre los dos es el número surrealista , donde es el primer ordinal infinito ; el juego relevante es LRRRR... o 0.000... ₂ . ^[j] ${\textstyle {\frac {1}{\omega }}}$ ${\displaystyle \omega }$

Esto es cierto para las expansiones binarias de muchos números racionales, donde los valores de los números son iguales pero las rutas de árboles binarios correspondientes son diferentes. Por ejemplo, 0.10111... ₂ = 0.11000... ₂ , que son ambas iguales a ⁠ ⁠ ${\displaystyle \textstyle {\frac {3}{4}}}$ , pero la primera representación corresponde a la ruta de árbol binario LRLRLLL..., mientras que la segunda corresponde a la ruta diferente LRLLRRR... ‍ .

Revisando la resta

Otra forma en la que las demostraciones pueden verse socavadas es si 1 − 0,999... simplemente no existe porque la resta no siempre es posible. Las estructuras matemáticas con una operación de suma pero no una operación de resta incluyen semigrupos conmutativos , monoides conmutativos y semianillos . Richman (1999) considera dos de estos sistemas, diseñados de modo que 0,999... < 1. [ ^12]

En primer lugar, Richman (1999) define un número decimal no negativo como una expansión decimal literal. Define el orden lexicográfico y una operación de adición, señalando que 0,999... < 1 simplemente porque 0 < 1 en el lugar de las unidades, pero para cualquier ⁠ ⁠ ${\displaystyle x}$ no terminal , se tiene 0,999... + = 1 + ⁠ ⁠ ${\displaystyle x}$ ${\displaystyle x}$ . Por tanto, una peculiaridad de los números decimales es que la adición no siempre se puede cancelar; otra es que ningún número decimal corresponde a ⁠ ⁠ ${\displaystyle \textstyle {\frac {1}{3}}}$ . Tras definir la multiplicación, los números decimales forman un semianillo conmutativo positivo y totalmente ordenado. ^[70]

En el proceso de definición de la multiplicación, Richman también define otro sistema que llama "corte " ${\displaystyle D}$ , que es el conjunto de cortes de Dedekind de fracciones decimales. Por lo general, esta definición conduce a los números reales, pero para una fracción decimal permite tanto el corte ( ⁠ ⁠ , ⁠ ⁠ ) como el "corte principal" ( ⁠ ⁠ , ⁠ ⁠ ] . El resultado es que los números reales "viven incómodamente juntos" con las fracciones decimales. Nuevamente 0.999... < 1 . No hay infinitesimales positivos en el corte ⁠ ⁠ , pero hay "una especie de infinitesimal negativo", 0 ⁻ , que no tiene expansión decimal. Concluye que 0.999... = 1 + 0 ⁻ , mientras que la ecuación " 0.999... + = 1 " no tiene solución. ^[k] ${\displaystyle d}$ ${\displaystyle -\infty }$ ${\displaystyle d}$ ${\displaystyle -\infty }$ ${\displaystyle d}$ ${\displaystyle D}$ ${\displaystyle x}$

pag-números ádicos

Cuando se les pregunta sobre 0,999..., los novatos a menudo creen que debería haber un "9 final", creyendo que 1 − 0,999... es un número positivo que escriben como "0,000...1". Independientemente de si esto tiene sentido o no, el objetivo intuitivo es claro: agregar un 1 al 9 final en 0,999... llevaría todos los 9 a 0 y dejaría un 1 en el lugar de las unidades. Entre otras razones, esta idea falla porque no hay un "9 final" en 0,999... ‍ . ^[71] Sin embargo, hay un sistema que contiene una cadena infinita de 9, incluido un último 9.

Los números enteros 4-ádicos (puntos negros), incluida la secuencia (3, 33, 333, ...) que convergen a −1. El análogo 10-ádico es ...999 = −1 .

Los números -ádicos son un sistema numérico alternativo de interés en la teoría de números . Al igual que los números reales, los números -ádicos se pueden construir a partir de los números racionales mediante sucesiones de Cauchy ; la construcción utiliza una métrica diferente en la que 0 está más cerca de ⁠ ⁠ , y mucho más cerca de ⁠ ⁠ , que de 1. ^[72] Los números -ádicos forman un campo para primos y un anillo para otros ⁠ ⁠ , incluido 10. Por lo tanto, se puede realizar aritmética en los -ádicos , y no hay infinitesimales. ${\displaystyle p}$ ${\displaystyle p}$ ${\displaystyle p}$ ${\displaystyle p^{n}}$ ${\displaystyle p}$ ${\displaystyle p}$ ${\displaystyle p}$ ${\displaystyle p}$

En los números 10-ádicos, los análogos de las expansiones decimales corren hacia la izquierda. La expansión 10-ádica ...999 tiene un último 9, y no tiene un primer 9. Se puede añadir 1 al lugar de las unidades, y sólo quedan 0 después de llevar a cabo: 1 + ...999 = ...000 = 0 , y por lo tanto ...999 = −1 . ^[73] Otra derivación utiliza una serie geométrica. La serie infinita implicada por "...999" no converge en los números reales, pero converge en los 10-ádicos, y por lo tanto se puede reutilizar la fórmula familiar: ^[74] $${\displaystyle \ldots 999=9+9(10)+9(10)^{2}+9(10)^{3}+\cdots ={\frac {9}{1-10}}=-1.}$$

Compárese con la serie de la sección anterior. Una tercera derivación fue inventada por un estudiante de séptimo grado que tenía dudas sobre el argumento limitante de su maestro de que 0,999... = 1 , pero se sintió inspirado para tomar la prueba de multiplicación por 10 anterior en la dirección opuesta: si = ...999 , entonces 10 = ...990 , por lo tanto 10 = − 9 , por lo tanto = −1 nuevamente. ^[73] ${\displaystyle x}$ ${\displaystyle x}$ ${\displaystyle x}$ ${\displaystyle x}$ ${\displaystyle x}$

Como extensión final, dado que 0,999... = 1 (en los números reales) y ...999 = −1 (en los 10-ádicos), entonces, mediante "fe ciega y malabarismo descarado con los símbolos" ^[75], se pueden sumar las dos ecuaciones y llegar a ...999,999... = 0. Esta ecuación no tiene sentido ni como expansión 10-ádica ni como expansión decimal ordinaria, pero resulta ser significativa y verdadera en la expansión decimal doblemente infinita del solenoide 10-ádico , con extremos izquierdos que se repiten eventualmente para representar los números reales y extremos derechos que se repiten eventualmente para representar los números 10-ádicos. ^[76]

Véase también

• Finitismo
• Matemáticas informales

Notas

1. Por ejemplo, esto se puede demostrar de la siguiente manera: si x es cualquier número tal que 0.(9) _n ≤ x < 1 , entonces 0.(9) _{n −1} ≤ 10 x − 9 < x < 1 . Por lo tanto, si x tiene esta propiedad para todo n , el número más pequeño 10 x − 9 también la tiene.
2. El límite se desprende, por ejemplo, de Rudin (1976), pág. 57, teorema 3.20e. Para un enfoque más directo, véase también Finney, Weir y Giordano (2001), sección 8.1, ejemplo 2(a), ejemplo 6(b).
3. La síntesis histórica es reivindicada por Griffiths y Hilton (1970), p. xiv y nuevamente por Pugh (2002), p. 10; ambos prefieren los cortes de Dedekind a los axiomas. Para el uso de cortes en los libros de texto, véase Pugh (2002), p. 17 o Rudin (1976), p. 17. Para puntos de vista sobre la lógica, véase Pugh (2002), p. 10, Rudin (1976), p. ix, o Munkres (2000), p. 30.
4. Enderton (1977), p. 113 matiza esta descripción: "La idea detrás de los cortes de Dedekind es que un número real x puede ser nombrado dando un conjunto infinito de racionales, es decir, todos los racionales menores que x . En efecto, definiremos x como el conjunto de racionales menores que x . Para evitar la circularidad en la definición, debemos ser capaces de caracterizar los conjuntos de racionales obtenibles de esta manera..."
5. Rudin (1976), pp. 17–20, Richman (1999), p. 399, o Enderton (1977), p. 119. Para ser precisos, Rudin, Richman y Enderton llaman a este corte 1∗, 1 ₋ y 1 _R , respectivamente; los tres lo identifican con el número real tradicional 1. Nótese que lo que Rudin y Enderton llaman un corte de Dedekind, Richman lo llama un "corte de Dedekind no principal".
6. Maor (1987), pág. 60 y Mankiewicz (2000), pág. 151 analizan el primer método; Mankiewicz lo atribuye a Cantor, pero la fuente primaria no está clara. Munkres (2000), pág. 50 menciona el segundo método.
7. Bunch (1982), pág. 119; Tall & Schwarzenberger (1978), pág. 6. La última sugerencia se debe a Burrell (1998), pág. 28: "Quizás el número más tranquilizador de todos sea el 1... Por eso resulta particularmente inquietante cuando alguien intenta hacer pasar 0,9~ por 1".
8. Para un tratamiento completo de los números no estándar, véase Robinson (1996).
9. Stewart (2009), pág. 175; la discusión completa de 0,999... se extiende a lo largo de las páginas 172-175.
10. Berlekamp, ​​Conway y Guy (1982), págs. 79-80, 307-311 analizan 1 y ⁠1/3⁠ y tocar ⁠1/ω⁠ . El juego por 0,111... ₂ se desprende directamente de la regla de Berlekamp.
11. Richman (1999), pp. 398–400. Rudin (1976), p. 23 asigna esta construcción alternativa (pero sobre los racionales) como el último ejercicio del Capítulo 1.

Referencias

1. Cheng (2023), pág. 141.
2. Diamante (1955).
3. Baldwin y Norton (2012).
4. Meier y Smith (2017), §8.2.
5. Stewart (2009), pág. 175.
6. Propp (2023).
7. Stillwell (1994), pág. 42.
8. Earl y Nicholson (2021), "encuadernado".
9. Rosenlicht (1985), pág. 27.
10. Bauldry (2009), pág. 47.
11. Byers (2007), pág. 39.
12. Richman (1999).
13. Peressini y Peressini (2007), pág. 186.
14. Baldwin y Norton (2012); Katz y Katz (2010a).
15. Cheng (2023), pág. 136.
16. Eisenmann (2008), pág. 38.
17. Tao (2003).
18. Rudin (1976), pág. 61, Teorema 3.26; Stewart (1999), pág. 706.
19. Euler (1822), pág. 170.
20. Grattan-Guinness (1970), pág. 69; Bonnycastle (1806), pág. 177.
21. Stewart (1999), pág. 706; Rudin (1976), pág. 61; Protter y Morrey (1991), pág. 213; Pugh (2002), pág. 180; Conway (1978), pág. 31.
22. Davies (1846), pág. 175; Smith y Harrington (1895), pág. 115.
23. Tall (2000), pág. 221.
24. Beals (2004), pág. 22; Stewart (2009), pág. 34.
25. Bartle y Sherbert (1982), págs. 60-62; Pedrick (1994), pág. 29; Sohrab (2003), pág. 46.
26. Apóstol (1974), págs. 9, 11-12; Beals (2004), pág. 22; Rosenlicht (1985), pág. 27.
27. Apóstol (1974), pág. 12.
28. Cheng (2023), págs. 153-156.
29. Conway (2001), págs. 25-27.
30. Rudin (1976), págs. 3, 8.
31. Richman (1999), pág. 399.
32. O'Connor y Robertson (2005).
33. págs . 398-399. "¿Por qué hacer eso? Precisamente para descartar la existencia de números distintos 0,9 y 1. [...] Vemos, pues, que en la definición tradicional de los números reales, la ecuación 0,9 = 1 está incorporada desde el principio".
34. Griffiths y Hilton (1970), pág. 386, §24.2 "Secuencias".
35. Griffiths y Hilton (1970), págs. 388, 393.
36. Griffiths y Hilton (1970), pág. 395.
37. Griffiths y Hilton (1970), págs. viii, 395.
38. Gowers (2001).
39. Li (2011).
40. Artigue (2002), p. 212, "... el orden de los números reales se reconoce como un orden denso. Sin embargo, dependiendo del contexto, los estudiantes pueden conciliar esta propiedad con la existencia de números justo antes o después de un número dado (0,999... se considera a menudo como el predecesor de 1).".
41. Petkovšek (1990), pág. 408.
42. Protter y Morrey (1991), pág. 503; Bartle y Sherbert (1982), pág. 61.
43. Komornik y Loreti (1998), pág. 636.
44. Kempner (1936), pág. 611; Petkovšek (1990), pág. 409.
45. Petkovšek (1990), págs. 410–411.
46. Goodwyn (1802); Dickson (1919), págs. 161.
47. Leavitt (1984), pág. 301.
48. Ginsberg (2004), págs. 26–30; Lewittes (2006), págs. 1–3; Leavitt (1967), págs. 669, 673; Shrader-Frechette (1978), págs. 96–98.
49. Pugh (2002), pág. 97; Alligood, Sauer y Yorke (1996), págs. 150-152; Protter y Morrey (1991), pág. 507; Pedrick (1994), pág. 29.
50. Rudin (1976), pág. 50; Pugh (2002), pág. 98.
51. Tall y Schwarzenberger (1978), págs. 6-7; Tall (2000), pág. 221.
52. Tall y Schwarzenberger (1978), pág. 6; Tall (2000), pág. 221.
53. Tall (1976), págs. 10-14.
54. Pinto y Tall (2001), pág. 5; Edwards y Ward (2004), págs. 416–417.
55. Mazur (2005), págs. 137-141.
56. Dubinsky y otros (2005), págs. 261-262.
57. Richman (1999), pág. 396.
58. de Vreught (1994).
59. Adams (2003).
60. Ellenberg (2014).
61. Renteln y Dundes (2005), pág. 27.
62. Richman (1999); Adams (2003); Ellenberg (2014).
63. Wallace (2003), pág. 51; Maor (1987), pág. 17.
64. Gowers (2002), pág. 60.
65. Piedra de luz (1972), págs. 245-247.
66. Tao (2012), págs. 156–180.
67. Katz y Katz (2010a).
68. Katz y Katz (2010b); Ely (2010).
69. Conway (2001), págs. 3–5, 12–13, 24–27.
70. Richman (1999), págs. 397–399.
71. Gardiner (2003), pág. 98; Gowers (2002), pág. 60.
72. Mascari y Miola (1988), pág. 83–84.
73. Fjelstad (1995), pág. 11.
74. Fjelstad (1995), págs. 14-15.
75. DeSua (1960), pág. 901.
76. DeSua (1960), págs. 902–903.

Fuentes

• Adams, Cecil (11 de julio de 2003). "Una pregunta infinita: ¿Por qué .999~ no es igual a 1?". The Straight Dope . Chicago Reader . Archivado desde el original el 15 de agosto de 2006 . Consultado el 6 de septiembre de 2006 .
• Alligood, KT; Sauer, TD; Yorke, JA (1996). "4.1 Conjuntos de Cantor". Caos: Una introducción a los sistemas dinámicos . Springer. ISBN 978-0-387-94677-1.

  Este libro de texto introductorio sobre sistemas dinámicos está dirigido a estudiantes de pregrado y estudiantes de posgrado principiantes. (p. ix)

• Apostol, Tom M. (1974). Análisis matemático (2.ª edición). Addison-Wesley. ISBN 978-0-201-00288-1.

  El análisis matemático, que es una transición del cálculo al análisis avanzado, pretende ser "honesto, riguroso, actualizado y, al mismo tiempo, no demasiado pedante". (pref.) El desarrollo de los números reales por parte de Apostol utiliza el axioma del límite superior mínimo e introduce los decimales infinitos dos páginas más adelante. (págs. 9-11)

• Artigue, Michèle (2002). Holton, Derek; Artigue, Michèle; Kirchgräber, Urs; Hillel, Joel; Niss, Mogens; Schoenfeld, Alan (eds.). La enseñanza y el aprendizaje de las matemáticas en el nivel universitario . Nueva serie de estudios del ICMI. Vol. 7. Springer, Dordrecht. doi :10.1007/0-306-47231-7. ISBN. 978-0-306-47231-2.
• Baldwin, Michael; Norton, Anderson (2012). “¿0,999... es realmente igual a 1?”. The Mathematics Educator . 21 (2): 58–67.
• Bauldry, William C. (2009). Introducción al análisis real: un enfoque educativo. John Wiley & Sons. ISBN 978-0-470-37136-7.

  Este libro pretende ser una introducción al análisis real dirigido a estudiantes de pregrado y posgrado. (pp. xi-xii)

• Bartle, RG ; Sherbert, DR (1982). Introducción al análisis real. Wiley. ISBN 978-0-471-05944-8.

  Este texto pretende ser "un libro de texto accesible y de ritmo razonable que aborde los conceptos y técnicas fundamentales del análisis real". Su desarrollo de los números reales se basa en el axioma supremo. (pp. vii-viii)

• Beals, Richard (2004). Análisis: una introducción. Cambridge University Press. ISBN 978-0-521-60047-7.
• Berlekamp, ​​ER ; Conway, JH ; Guy, RK (1982). Maneras ganadoras para sus jugadas matemáticas . Academic Press. ISBN 978-0-12-091101-1.
• Bonnycastle, John (1806). Introducción al álgebra; con notas y observaciones: diseñada para el uso en escuelas y lugares de educación pública (Primera edición estadounidense). Filadelfia. hdl :2027/mdp.39015063620382.
• Bunch, Bryan H. (1982). Falacias y paradojas matemáticas. Van Nostrand Reinhold. ISBN 978-0-442-24905-2.

  Este libro presenta un análisis de paradojas y falacias como herramienta para explorar su tema central, "la relación más bien tenue entre la realidad matemática y la realidad física". Se supone que se trata de álgebra de primer año de secundaria; en el libro se desarrollan más matemáticas, incluidas las series geométricas en el Capítulo 2. Aunque 0,999... no es una de las paradojas que se tratarán en profundidad, se la menciona brevemente durante el desarrollo del método diagonal de Cantor. (pp. ix-xi, 119)

• Burrell, Brian (1998). Guía de matemáticas cotidianas de Merriam-Webster: una referencia para el hogar y la empresa. Merriam-Webster. ISBN 978-0-87779-621-3.
• Byers, William (2007). Cómo piensan los matemáticos: uso de la ambigüedad, la contradicción y la paradoja para crear matemáticas. Princeton University Press. ISBN 978-0-691-12738-5.
• Cheng, Eugenia (2023). ¿Son reales las matemáticas? Cómo preguntas sencillas nos llevan a las verdades más profundas de las matemáticas . Libros básicos. ISBN 978-1-541-6-01826.
• Conway, John B. (1978) [1973]. Funciones de una variable compleja I (2.ª ed.). Springer-Verlag. ISBN 978-0-387-90328-6.
• Conway, John H. (2001). Sobre números y juegos (2.ª ed.). AK Peters. ISBN 1-56881-127-6.
• Davies, Charles (1846). La aritmética universitaria: la ciencia de los números y sus numerosas aplicaciones. AS Barnes. pág. 175. Consultado el 4 de julio de 2011 .
• de Vreught, Hans (1994). "Preguntas frecuentes de sci.math: ¿Por qué 0,9999... = 1?". Archivado desde el original el 29 de septiembre de 2007. Consultado el 29 de junio de 2006 .
• DeSua, Frank C. (noviembre de 1960). "Un sistema isomorfo a los números reales". The American Mathematical Monthly . 67 (9): 900–903. doi :10.2307/2309468. JSTOR  2309468.
• Diamond, Louis E. (1955). "Números irracionales". Revista de matemáticas . 29 (2). Asociación Matemática de América: 89–99. doi :10.2307/3029588. JSTOR  3029588.
• Dickson, Leonard Eugene (1919). Historia de la teoría de los números . Vol. 1. Carnegie Institution de Washington.
• Dubinsky, Ed; Weller, Kirk; McDonald, Michael; Brown, Anne (2005). "Algunas cuestiones históricas y paradojas con respecto al concepto de infinito: un análisis APOS: parte 2". Estudios Educativos en Matemáticas . 60 (2): 253–266. doi :10.1007/s10649-005-0473-0. S2CID  45937062.
• Earl, Richard; Nicholson, James (2021). Diccionario Oxford conciso de matemáticas (6.ª ed.). Oxford University Press. ISBN 978-0-192-58405-2.
• Edwards, Barbara; Ward, Michael (mayo de 2004). "Sorpresas de la investigación en educación matemática: uso (incorrecto) de definiciones matemáticas por parte de los estudiantes" (PDF) . The American Mathematical Monthly . 111 (5): 411–425. CiteSeerX  10.1.1.453.7466 . doi :10.2307/4145268. JSTOR  4145268. Archivado desde el original (PDF) el 22 de julio de 2011 . Consultado el 4 de julio de 2011 .
• Ellenberg, Jordan (6 de junio de 2014). "¿0,999... = 1? ¿Y las series divergentes son una invención del diablo?". Slate . Archivado desde el original el 8 de agosto de 2023.
• Ely, Robert (2010). "Concepciones no estándar de los estudiantes sobre los infinitesimales". Revista de Investigación en Educación Matemática . 41 (2): 117–146. doi :10.5951/jresematheduc.41.2.0117.

  Este artículo es un estudio de campo que involucra a una estudiante que desarrolló una teoría de infinitesimales al estilo leibniziano para ayudarla a comprender el cálculo y, en particular, para explicar por qué 0,999... es inferior a 1 por un infinitesimal 0,000...1.

• Enderton, Herbert B. (1977). Elementos de la teoría de conjuntos. Elsevier. ISBN 978-0-12-238440-0.

  Un libro de texto introductorio de grado en teoría de conjuntos que "no presupone ningún antecedente específico". Está escrito para adaptarse a un curso centrado en la teoría de conjuntos axiomática o en la construcción de sistemas numéricos; el material axiomático está marcado de tal manera que se puede restarle importancia. (págs. xi-xii)

• Euler, Leonhard (1822) [1770]. Elementos de álgebra. John Hewlett y Francis Horner, traductores ingleses (3.ª edición inglesa). Orme Longman. pág. 170. ISBN 978-0-387-96014-2. Recuperado el 4 de julio de 2011 .
• Finney, Ross L.; Weir, Maurice D.; Giordano, Frank R. (2001). Cálculo de Thomas: trascendentales tempranos (10.ª ed.). Nueva York: Addison-Wesley.
• Fjelstad, Paul (enero de 1995). "La paradoja del entero repetitivo". The College Mathematics Journal . 26 (1): 11–15. doi :10.2307/2687285. JSTOR  2687285.
• Gardiner, Anthony (2003) [1982]. Entendiendo el infinito: las matemáticas de los procesos infinitos. Dover. ISBN 978-0-486-42538-2.
• Ginsberg, Brian (2004). "El teorema (casi) secreto de Midy: una extensión después de 165 años". The College Mathematics Journal . 35 (1): 26–30. doi :10.1080/07468342.2004.11922047.
• Goodwyn, H. (1802). "Propiedades curiosas de los números primos, tomados como divisores de la unidad. Por un corresponsal". Revista de filosofía natural, química y artes . Nueva serie. 1 : 314–316.
• Gowers, Timothy (2001). "¿Qué tiene de malo pensar en los números reales como decimales infinitas?". Departamento de Matemáticas Pura y Estadística Matemática . Universidad de Cambridge . Consultado el 3 de octubre de 2024 .
• Gowers, Timothy (2002). Matemáticas: una introducción muy breve. Oxford University Press. ISBN 978-0-19-285361-5.
• Grattan-Guinness, Ivor (1970). El desarrollo de los fundamentos del análisis matemático desde Euler hasta Riemann. MIT Press. ISBN 978-0-262-07034-8.
• Griffiths, HB; Hilton, PJ (1970). Un libro de texto completo de matemáticas clásicas: una interpretación contemporánea . Londres: Van Nostrand Reinhold. ISBN 978-0-442-02863-3.LCC QA37.2  G75.

  Este libro surgió de un curso para profesores de matemáticas de escuelas secundarias del área de Birmingham . El curso tenía como objetivo transmitir una perspectiva de nivel universitario sobre las matemáticas escolares y el libro está dirigido a estudiantes "que han alcanzado aproximadamente el nivel de completar un año de estudio matemático especializado en una universidad". Los números reales se construyen en el Capítulo 24, "quizás el capítulo más difícil de todo el libro", aunque los autores atribuyen gran parte de la dificultad a su uso de la teoría ideal , que no se reproduce aquí. (pp. vii, xiv)

• Katz, Karin Usadi; Katz, Mikhail G. (2010a). "When is .999... less than 1?" [¿Cuándo es .999... menor que 1?]. The Montana Mathematics Enthusiast . 7 (1): 3–30. arXiv : 1007.3018 . Bibcode :2010arXiv1007.3018U. doi :10.54870/1551-3440.1381. S2CID:  11544878. Archivado desde el original el 20 de julio de 2011. Consultado el 4 de julio de 2011 .
• Katz, Karin Usadi; Katz, Mikhail G. (2010b). "Acercando el infinitesimal 1 − .9.. en una era post-triunvirato". Educational Studies in Mathematics . 74 (3): 259. arXiv : 1003.1501 . Bibcode :2010arXiv1003.1501K. doi :10.1007/s10649-010-9239-4. S2CID  115168622.
• Kempner, Aubrey J. (diciembre de 1936). "Sistemas anormales de numeración". The American Mathematical Monthly . 43 (10): 610–617. doi :10.2307/2300532. JSTOR  2300532.
• Komornik, Vilmos; Loreti, Paola (1998). "Desarrollos únicos en bases no enteras". The American Mathematical Monthly . 105 (7): 636–639. doi :10.2307/2589246. JSTOR  2589246.
• Li, Liangpan (marzo de 2011). "Un nuevo enfoque de los números reales". arXiv : 1101.1800 [math.CA].
• Leavitt, William G. (1967). "Un teorema sobre decimales repetidas". The American Mathematical Monthly . 74 (6): 669–673. doi :10.2307/2314251. JSTOR  2314251.
• Leavitt, William G. (septiembre de 1984). "Decimals repetitivos". The College Mathematics Journal . 15 (4): 299–308. doi :10.2307/2686394. JSTOR  2686394.
• Lewittes, Joseph (2006). "Teorema de Midy para decimales periódicos". arXiv : math.NT/0605182 .
• Lightstone, Albert H. (marzo de 1972). "Infinitesimales". The American Mathematical Monthly . 79 (3): 242–251. doi :10.2307/2316619. JSTOR  2316619.
• Mankiewicz, Richard (2000). La historia de las matemáticas. Cassell. ISBN 978-0-304-35473-3.

  Mankiewicz busca representar "la historia de las matemáticas en un estilo accesible" combinando aspectos visuales y cualitativos de las matemáticas, escritos de matemáticos y bosquejos históricos. (p. 8)

• Mascari, Gianfranco; Miola, Alfonso (1988). "Sobre la integración de cálculos numéricos y algebraicos". En Beth, Thomas; Clausen, Michael (eds.). Álgebra aplicable, códigos de corrección de errores, combinatoria y álgebra computacional . doi :10.1007/BFb0039172. ISBN 978-3-540-39133-3.
• Maor, Eli (1987). Hasta el infinito y más allá: una historia cultural del infinito . Birkhäuser. ISBN 978-3-7643-3325-6.

  Este libro, que es una revisión temática más que cronológica del infinito, está "destinado al lector general", pero "contado desde el punto de vista de un matemático". Sobre el dilema entre rigor y lenguaje legible, Maor comenta: "Espero haber logrado abordar adecuadamente este problema" (pp. x-xiii).

• Mazur, Joseph (2005). Euclides en la selva tropical: descubrimiento de verdades universales en lógica y matemáticas. Pearson: Pi Press. ISBN 978-0-13-147994-4.
• Meier, John; Smith, Derek (2017). Explorando las matemáticas: una introducción interesante a la demostración . Cambridge University Press. ISBN 978-1-107-12898-9.
• Munkres, James R. (2000) [1975]. Topología (2.ª edición). Prentice-Hall. ISBN 978-0-13-181629-9.

  Concebido como una introducción "a nivel de posgrado superior o de primer año" sin prerrequisitos formales: "Ni siquiera asumo que el lector conozca mucha teoría de conjuntos". (p. xi) El tratamiento que Munkres da a los números reales es axiomático; afirma, refiriéndose a las construcciones manuales, que "esta forma de abordar el tema requiere una buena cantidad de tiempo y esfuerzo y es de mayor interés lógico que matemático". (p. 30)

• Navarro, Maria Angeles; Carreras, Pedro Pérez (2010). "Una propuesta metodológica socrática para el estudio de la igualdad 0,999...=1" (PDF) . La Enseñanza de las Matemáticas . 13 (1): 17–34 . Consultado el 4 de julio de 2011 .
• O'Connor, John J.; Robertson, Edmund F. (octubre de 2005), "Los números reales: de Stevin a Hilbert", Archivo de Historia de las Matemáticas de MacTutor , Universidad de St Andrews
• Pedrick, George (1994). Un primer curso de análisis . Springer. ISBN 978-0-387-94108-0.
• Peressini, Anthony; Peressini, Dominic (2007). "Filosofía de las matemáticas y educación matemática". En van Kerkhove, Bart; van Bendegem, Jean Paul (eds.). Perspectivas sobre prácticas matemáticas. Lógica, epistemología y la unidad de la ciencia. Vol. 5. Springer. ISBN 978-1-4020-5033-6.
• Petkovšek, Marko (mayo de 1990). "Los números ambiguos son densos". American Mathematical Monthly . 97 (5): 408–411. doi :10.2307/2324393. JSTOR  2324393.
• Pinto, Márcia; Tall, David O. (2001). PME25: Seguimiento del desarrollo de los estudiantes en un curso de análisis universitario tradicional (PDF) . pp. v4: 57–64. Archivado desde el original (PDF) el 30 de mayo de 2009 . Consultado el 3 de mayo de 2009 .
• Propp, James (17 de septiembre de 2015). "The One About .999..." Encantamientos matemáticos . Consultado el 24 de mayo de 2024 .
• Propp, James (17 de enero de 2023). «Denominadores y doppelgängers». Encantamientos matemáticos . Consultado el 16 de abril de 2024 .
• Protter, Murray H. ; Morrey, Charles B. Jr. (1991). Un primer curso de análisis real (2.ª edición). Springer. ISBN 978-0-387-97437-8.

  Este libro tiene como objetivo "presentar una base teórica del análisis que sea adecuada para estudiantes que hayan completado un curso estándar de cálculo". (p. vii) Al final del Capítulo 2, los autores suponen como axioma para los números reales que las secuencias acotadas y no decrecientes convergen, demostrando después el teorema de los intervalos anidados y la propiedad del límite superior mínimo. (pp. 56-64) Las expansiones decimales aparecen en el Apéndice 3, "Expansiones de números reales en cualquier base". (pp. 503-507)

• Pugh, Charles Chapman (2002). Análisis matemático real. Springer-Verlag. ISBN 978-0-387-95297-0.

  Si bien supone que uno está familiarizado con los números racionales, Pugh introduce los cortes de Dedekind lo antes posible, diciendo sobre el tratamiento axiomático: "Esto es algo así como un fraude, considerando que toda la estructura del análisis se basa en el sistema de números reales" (p. 10). Después de probar la propiedad del límite superior mínimo y algunos hechos relacionados, los cortes no se utilizan en el resto del libro.

• Renteln, Paul; Dundes, Alan (enero de 2005). «Foolproof: A Sampling of Mathematical Folk Humor» (PDF) . Avisos de la AMS . 52 (1): 24–34. Archivado desde el original (PDF) el 25 de febrero de 2009. Consultado el 3 de mayo de 2009 .
• Richman, Fred (diciembre de 1999). "¿Es 0,999... = 1?". Mathematics Magazine . 72 (5): 396–400. doi :10.2307/2690798. JSTOR  2690798.Preimpresión HTML gratuita: Richman, Fred (junio de 1999). «¿Es 0,999... = 1?». Archivado desde el original el 2 de septiembre de 2006. Consultado el 23 de agosto de 2006 .Nota: el artículo de la revista contiene material y redacción que no se encuentran en la preimpresión.
• Robinson, Abraham (1996). Análisis no estándar (edición revisada). Princeton University Press. ISBN 978-0-691-04490-3.JSTOR j.ctt1cx3vb6  .
• Rosenlicht, Maxwell (1985). Introducción al análisis. Dover. ISBN 978-0-486-65038-8.Este libro ofrece una introducción "cuidadosa y rigurosa" al análisis real. Presenta los axiomas de los números reales y luego los construye (págs. 27-31) como decimales infinitas con 0,999... = 1 como parte de la definición.
• Rudin, Walter (1976) [1953]. Principios de análisis matemático (3.ª ed.). McGraw-Hill. ISBN 978-0-07-054235-8.

  Un libro de texto para un curso avanzado de grado. "La experiencia me ha convencido de que es pedagógicamente poco sólido (aunque lógicamente correcto) comenzar con la construcción de los números reales a partir de los racionales. Al principio, la mayoría de los estudiantes simplemente no aprecian la necesidad de hacer esto. En consecuencia, el sistema de números reales se presenta como un cuerpo ordenado con la propiedad de límite superior mínimo, y rápidamente se hacen algunas aplicaciones interesantes de esta propiedad. Sin embargo, la construcción de Dedekind no se omite. Ahora se encuentra en un Apéndice del Capítulo 1, donde se puede estudiar y disfrutar cuando sea el momento oportuno". (p. ix)

• Shrader-Frechette, Maurice (marzo de 1978). "Números racionales complementarios". Revista de matemáticas . 51 (2): 90–98. doi :10.2307/2690144. JSTOR  2690144.
• Smith, Charles; Harrington, Charles (1895). Aritmética para escuelas. Macmillan. pág. 115. ISBN 978-0-665-54808-6. Recuperado el 4 de julio de 2011 .
• Sohrab, Houshang (2003). Análisis real básico. Birkhäuser. ISBN 978-0-8176-4211-2.
• Stewart, Ian (2009). El tesoro matemático del profesor Stewart. Profile Books. ISBN 978-1-84668-292-6.
• Stewart, James (1999). Cálculo: trascendentales tempranos (4.ª ed.). Brooks/Cole. ISBN 978-0-534-36298-0.

  Este libro tiene como objetivo "ayudar a los estudiantes a descubrir el cálculo" y "fomentar la comprensión conceptual". (p. v) Omite pruebas de los fundamentos del cálculo.

• Stillwell, John (1994), Elementos de álgebra: geometría, números, ecuaciones, Springer, ISBN 9783540942900
• Tall, David ; Schwarzenberger, RLE (1978). "Conflictos en el aprendizaje de números reales y límites" (PDF) . Mathematics Teaching . 82 : 44–49. Archivado desde el original (PDF) el 30 de mayo de 2009 . Consultado el 3 de mayo de 2009 .
• Tall, David O. (1976). «Conflictos y catástrofes en el aprendizaje de las matemáticas» (PDF) . Educación matemática para la enseñanza . 2 (4): 2–18. Archivado desde el original (PDF) el 26 de marzo de 2009. Consultado el 3 de mayo de 2009 .
• Tall, David (2000). "Desarrollo cognitivo en matemáticas avanzadas utilizando tecnología" (PDF) . Revista de investigación en educación matemática . 12 (3): 210–230. Código bibliográfico :2000MEdRJ..12..196T. doi :10.1007/BF03217085. S2CID  143438975. Archivado desde el original (PDF) el 30 de mayo de 2009 . Consultado el 3 de mayo de 2009 .
• Tao, Terence (2012). Análisis de Fourier de orden superior (PDF) . American Mathematical Society.
• Tao, Terence (2003). "Matemáticas 131AH: Semana 1" (PDF) . Análisis de honores . Matemáticas de la UCLA . Consultado el 23 de mayo de 2024 .
• Wallace, David Foster (2003). Todo y más: una historia compacta del infinito. Norton. ISBN 978-0-393-00338-3.
• Eisenmann, Petr (2008). "¿Por qué no es cierto que 0,999 . . . < 1?" (PDF) . La enseñanza de las matemáticas . 11 (1): 38.{{cite journal}}: CS1 maint: ref duplicates default (link)

Lectura adicional

• Beswick, Kim (2004). “¿Por qué 0,999... = 1?: Una pregunta perenne y el sentido numérico”. Australian Mathematics Teacher . 60 (4): 7–9.
• Burkov, SE (1987). "Modelo unidimensional de la aleación cuasicristalina". Journal of Statistical Physics . 47 (3/4): 409–438. Bibcode :1987JSP....47..409B. doi :10.1007/BF01007518. S2CID  120281766.
• Burn, Bob (marzo de 1997). "81.15 Un caso de conflicto". The Mathematical Gazette . 81 (490): 109–112. doi :10.2307/3618786. JSTOR  3618786. S2CID  187823601.
• Calvert, JB; Tuttle, ER; Martin, Michael S.; Warren, Peter (febrero de 1981). "La era de Newton: un curso interdisciplinario intensivo". The History Teacher . 14 (2): 167–190. doi :10.2307/493261. JSTOR  493261.
• Choi, Younggi; Do, Jonghoon (noviembre de 2005). "Igualdad implicada en 0,999... y (-8)1/3". Para el aprendizaje de las matemáticas . 25 (3): 13–15, 36. JSTOR  40248503.
• Choong, KY; Daykin, DE; Rathbone, CR (abril de 1971). "Aproximaciones racionales a π". Matemáticas de la computación . 25 (114): 387–392. doi :10.2307/2004936. JSTOR  2004936.
• Edwards, B. (1997). "Comprensión y uso de definiciones matemáticas en análisis real por parte de estudiantes de grado". En Dossey, J.; Swafford, JO; Parmentier, M.; Dossey, AE (eds.). Actas de la 19.ª Reunión Anual del Capítulo Norteamericano del Grupo Internacional para la Psicología de la Educación Matemática . Vol. 1. Columbus, OH: ERIC Clearinghouse for Science, Mathematics and Environmental Education. págs. 17–22.
• Eisenmann, Petr (2008). "¿Por qué no es cierto que 0,999... < 1?" (PDF) . The Teaching of Mathematics . 11 (1): 35–40 . Consultado el 4 de julio de 2011 .
• Ferrini-Mundy, J.; Graham, K. (1994). Kaput, J.; Dubinsky, E. (eds.). "Investigación en el aprendizaje del cálculo: comprensión de límites, derivadas e integrales". Notas de la MAA: Problemas de investigación en el aprendizaje de las matemáticas en la licenciatura . 33 : 31–45.
• Gardiner, Tony (junio de 1985). "Procesos infinitos en matemáticas elementales: ¿Cuánto debemos contarles a los niños?". The Mathematical Gazette . 69 (448): 77–87. doi :10.2307/3616921. JSTOR  3616921. S2CID  125222118.
• Monaghan, John (diciembre de 1988). "Matemáticas reales: un aspecto del futuro del nivel A". The Mathematical Gazette . 72 (462): 276–281. doi :10.2307/3619940. JSTOR  3619940. S2CID  125825964.
• Núñez, Rafael (2006). "¿Realmente se mueven los números reales? Lenguaje, pensamiento y gesto: los fundamentos cognitivos corporizados de las matemáticas". 18 ensayos no convencionales sobre la naturaleza de las matemáticas . Springer. pp. 160–181. ISBN 978-0-387-25717-4Archivado desde el original el 18 de julio de 2011 . Consultado el 4 de julio de 2011 .
• Przenioslo, Malgorzata (marzo de 2004). "Imágenes del límite de una función formadas en el curso de estudios matemáticos en la universidad". Educational Studies in Mathematics . 55 (1–3): 103–132. doi :10.1023/B:EDUC.0000017667.70982.05. S2CID  120453706.
• Sandefur, James T. (febrero de 1996). "Uso de la autosimilitud para hallar longitud, área y dimensión". The American Mathematical Monthly . 103 (2): 107–120. doi :10.2307/2975103. JSTOR  2975103.
• Sierpińska, Anna (noviembre de 1987). "Estudiantes de humanidades y obstáculos epistemológicos relacionados con los límites". Educational Studies in Mathematics . 18 (4): 371–396. doi :10.1007/BF00240986. JSTOR  3482354. S2CID  144880659.
• Starbird, Michael ; Starbird, Thomas (marzo de 1992). "Redundancia requerida en la representación de números reales". Actas de la American Mathematical Society . 114 (3): 769–774. doi : 10.1090/S0002-9939-1992-1086343-5 . JSTOR  2159403.
• Szydlik, Jennifer Earles (mayo de 2000). "Creencias matemáticas y comprensión conceptual del límite de una función". Revista de investigación en educación matemática . 31 (3): 258–276. doi :10.2307/749807. JSTOR  749807.
• Tall, David O. (2009). "Matemáticas dinámicas y la combinación de estructuras de conocimiento en el cálculo". ZDM Mathematics Education . 41 (4): 481–492. doi :10.1007/s11858-009-0192-6. S2CID  14289039.
• Tall, David O. (mayo de 1981). "Intuiciones del infinito". Matemáticas en la escuela . 10 (3): 30–33. JSTOR  30214290.

Enlaces externos

Escuche este artículo ( 50 minutos )

Este archivo de audio se creó a partir de una revisión de este artículo con fecha del 19 de octubre de 2006 y no refleja ediciones posteriores. (2006-10-19)

( Ayuda de audio  · Más artículos hablados )

• .999999... = 1? de Cortar el nudo
• ¿Por qué 0,9999... = 1?
• Prueba de la igualdad basada en la aritmética de Math Central
• La investigación de David Tall sobre la cognición matemática
• ¿Qué hay de malo en pensar en los números reales como decimales infinitos?
• Teorema 0.999... en Metamath