Como han señalado otros usuarios, no tiene sentido tener infinitos nueves a la izquierda del punto decimal. Esto se debe a que la secuencia $9, 99, 999, \ldots$ no converge a nada, a diferencia de la secuencia $0.9, 0.99, 0.999, \ldots$ que converge a $1$ .
Sin embargo, ha tocado algo interesante. ¿Existen sistemas numéricos en los que esto converge? Y si es así, ¿converge a $-1$ ? La respuesta a ambas es sí.
Para un número entero $k$ Hay un anillo llamado $k$ -número de radicales*. Utilicemos $k = 10$ . Es similar a los números reales regulares en base $k$ pero algunas cosas están al revés.
$$ \small{\begin{array}{c|c|c} & \textrm{Reals (base }k\textrm{)} & k\textrm{-adic numbers} \\ \hline \textrm{number of digits left of the point} & \textrm{finitely many} & \textrm{infinitely many} \\ \textrm{number of digits right of the point} & \textrm{infinitely many} & \textrm{finitely many} \\ \textrm{two numbers are close if} & \textrm{they match in the leftmost digits} & \textrm{they match in the rightmost digits} \end{array}} $$
Esa no es la forma en que a la gente le gusta construir el $k$ -adics, pero es más fácil que todo eso de "terminación wrt una métrica" o "límite inverso".
De todos modos, en este sistema, $9, 99, 99, \ldots$ tiene un límite, y es $\ldots 999.0$ . Y si se añade $1$ a eso, tienes la secuencia $10, 100, 1000, \ldots$ que converge a $0$ . Así que en ese sistema, $\ldots 999 = -1$ .
*Suelen ser personas como $k$ para ser primo, por lo que lo llaman $p$ . Así que si quieres saber más, busca " $p$ -número de radicales", no " $k$ -número de radicales".
0 votos
Sus preguntas "¿Qué matemáticas toca?" y "¿De qué trata el argumento de abajo?" no son claras. ¿Podría editar su mensaje y especificar exactamente ¿qué le gustaría que hiciéramos?
0 votos
Parece que está definiendo $$\sum_{n=0}^{+\infty}9 \cdot 10^n = -1.$$ Me recuerda que $$\zeta(-1) = \sum_{n=1}^{+\infty}n = -\frac{1}{12}$$ . [Vea esto][1] para entender lo que está mal en su razonamiento. [1]: en.wikipedia.org/wiki/1_%2B_2_%2B_3_%2B_4_%2B_%E2%8B%AF
95 votos
Veo que tienes una cuenta en Stack Overflow. Entonces puede que estés algo familiarizado con la representación del complemento a dos. Si puedes imaginar una representación de complemento a dos con infinitos bits, no te sorprenderá que en esa representación el número con todos los bits $1$ representa $-1$ . Análogamente, en una representación de complemento a la decena infinita, el número con todos los dígitos $9$ representa $-1$ . No es la representación habitual de los números (donde una cadena infinita de nueves antes del decimal da lugar a una representación inválida), pero tiene sentido. Es la $10$ -número de radicales, como menciona Quid.
7 votos
Muy relacionado: Serie Divergente y $p$ -adics
6 votos
Para aquellos (como yo) que leyeron la prueba del OP de 0,999... = 1 y pensaron "Bueno, eso no es muy convincente..." sólo hay que darse cuenta de que se eludieron algunos pasos ( la prueba completa de manipulación de dígitos se puede encontrar en Wikipedia ).
2 votos
¿No es 999...9.0 = ?
7 votos
Se comienza con $999\ldots$ pero parece que sigue con $999\ldots9$ ? Supongo que te refieres más bien a $\ldots999$
1 votos
Por supuesto, si $....999$ es $-1$ y $0.999\dots=1$ entonces $\dots999.999\dots=0$ . :) Eso no es cierto en ningún anillo. Hay algunos anillos (topológicos) en los que $\dots 999=-1$ y algunos donde $0.999\dots=1$ pero ningún anillo donde ambos tengan sentido.
0 votos
@thomas Andrews : ¿la continuación analítica de las series de Laurent no forman un anillo?
0 votos
Muéstrame cómo $\sum_{k=-\infty}^{\infty} 9\cdot 10^k$ se define en ese anillo. Estás hablando de una función de evaluación de ese anillo a $x=10$ , pero en ese mismo anillo, no hay una definición topológica de convergencia que te dé ese resultado, no. @user1952009
0 votos
Estaba hablando de $\sum_{k=0}^\infty 9 z^k = \frac{9}{1-z}$ y $\sum_{k=-1}^{-\infty} 9 z^k = -\frac{9}{1-z}$ en su dominio de convergencia, no veo el problema de pensar a las series formales de Laurent como un anillo donde $\sum_{k=-\infty}^\infty z^k = 0$ Personalmente, suelo utilizar el hecho de que $\int_0^\infty x^s dx = 0$ en el anillo de la transformada de Mellin/serie de Dirichlet, que es casi exactamente lo mismo (y sí significa algo y es muy útil)
0 votos
@user1952009 Así que tienes una función (parcial) del anillo de series formales de Laurent al número complejo, $e_{10}:R\to\mathbb C$ que evalúa la continuación analítica de una serie en $10$ si se define allí. Pero un homomorfismo como éste no es lo mismo que decir en el anillo que $\sum 9\cdot 10^k=0$ .
0 votos
Pero en ese anillo, $0.999\dots$ y $\dots999$ no son $0$ y nadie representa series de poderes formales $\dots999.999\dots$ , por lo que no veo cuál es tu punto, más allá de "si malinterpreto tu comentario, puedo venir con un contraejemplo". @user1952009
0 votos
No te enfades, y fíjate en mi respuesta de abajo que está muy relacionada con tu comentario :) En realidad no me importan los campos/anillos numéricos raros, sólo trato de entender, como todo el mundo hace en ese foro
1 votos
Re: "dos números pueden tener el mismo supremum dependiendo de cómo se genere la representación decimal": Sería más correcto decir "algunos números reales tienen dos representaciones decimales".
0 votos
@Cornstalks De la forma en que CommonToad hizo los cálculos, sólo faltaba un paso: $9x = 9$ . A mí también me costó un segundo, pero nunca me he considerado un gran matemático (sólo lo suficiente para programar).
2 votos
@SlippD.Thompson: No en el puesto original . En el post original iba directamente de
10x = 9.999...
ax = 1
.0 votos
@Cornstalks Aha. Vale, ahora tu comentario tiene más sentido.
0 votos
Relacionado con esto: math.stackexchange.com/questions/1567307/
0 votos
Vídeos relacionados: youtube.com/watch?v=PS5p9caXS4U youtube.com/watch?v=XFDM1ip5HdU
3 votos
Esta lógica es tan errónea como decir que 0,1 - = 0,9. El resultado de la resta es indeterminado, no finito.
0 votos
No puedes decir $x = \dots999$ porque el lado izquierdo es una variable que representa un número real mientras que el lado derecho no es un número real. Por lo tanto, no puedes asignar un valor de verdadero o falso a ninguna conclusión basada en esa afirmación.
0 votos
Tenga en cuenta que si utiliza la notación de suma para definir $x$ como en su edición y luego realizar la sustracción $0.1x - x$ En cuanto a los términos, se termina con $\sum^{\infty}_{k=0}{8.1 \cdot 10^k}$ que ya no parece converger a $0.9$ .
0 votos
Gracias por compartir esto, proporciona una excelente ilustración de la importancia de entender estos decimales repetidos en términos de límites.
0 votos
Relacionado: matheducators.stackexchange.com/questions/4351/
0 votos
@CommonToad Sólo para hacer una rápida observación sobre tu comentario "--- acepto que dos números puedan tener el mismo supremum ---" Los números son fijos, no tiene sentido hablar del supremum de un número. El supremum es un concepto definido sólo para conjuntos de números :)
0 votos
math.stackexchange.com/questions/1231061/is-0-9999-equal-to-1