Las malas noticias:
Esa cadena de símbolos $$ 1.0\cdots01 $$ no tiene ningún significado como número real. El significado o más bien la semántica sería un mapeo válido de una cadena infinita $s$ por ejemplo, de $\Sigma^\omega$ ( enlace ), a $\mathbb{R}$ .
La representación en cadena de un número real de coma flotante en base $10$ por convención significa, por ejemplo $$ (1.0\cdots)_{10} = (\underbrace{d_0.d_1 d_2 d_3 \cdots }_{\mbox{string}})_{10} = \underbrace{\sum_{k=0}^\infty d_k 10^{-k}}_{\mbox{real number}} $$ ¿Dónde quiere añadir esa última $1$ ¿dígito?
Las buenas noticias:
Podría ser otra cosa.
Por supuesto, puedes definir tu propia semántica y operaciones sobre las cadenas, pero lo más probable es que acabes con algo que se comporta de forma más o menos diferente a los números reales (como los flotadores IEEE finitos y sus operaciones no son lo mismo que el conjunto completo de números reales y las operaciones básicas sobre él, sino algo muy parecido).
Y las malas noticias: $\tiny \mbox{(c) by Asaf Karagila}$
Como el compañero Hyrkel notó, esa cadena finita que usé $$ [1] [.] [0] [.] [.] [.] [0] [1] $$ para sugerir una cadena infinita con dos extremos (prefijo " $1.$ " y el sufijo " $1$ ") y infinitas $0$ símbolos entre ellos también es problemático - se interpreta como una cadena ya.
¿Es una cadena adecuada? ¿Es incluso una cadena infinita adecuada? ¿Cómo podría reconocerla?
El siguiente paso sería atribuirle un significado, preferiblemente algún número, pero sólo argumentaré sobre las cuestiones anteriores que no son simples ya.
Los informáticos se ciñen a modelos matemáticos de máquinas como el autómata finito o el autómata de Büchi para razonar sobre las cadenas. Estas máquinas pueden aceptar o rechazar una cadena que se les presenta. Su proceso de reconocimiento se asemeja al proceso de un sensor que lee una cinta o pista lineal de izquierda a derecha. Incluso las variantes para cadenas infinitas actúan así.
El infinito aquí no es tan problemático por su tamaño, sino por su tamaño, sino más bien por su torpeza: ¿qué razón debería tener el autómata para detener el reconocimiento de la parte infinita y continuar con el sufijo finito? Las cadenas infinitas reconocibles parecen ser de la variante un extremo finito, un extremo infinito. (No me claven en esto)
No estoy seguro de si un autómata no determinista (con múltiples opciones posibles) Autómata de Büchi que acepte la cadena $1.0^\omega$ podría ser adecuadamente ampliarse para reconocer $1.0^\omega 1$ .
Yo lo intentaría añadiendo otro arco desde el estado final a sí mismo que está aceptando el final $1$ símbolo. Eso funcionaría para aceptar $1.0^\omega1$ pero también seguiría aceptando sólo $1.0^\omega$ . Eso hace que no sea muy útil, lo que no puedo distinguir es prácticamente lo mismo.
La solución es probablemente otro autómata que inicie el reconocimiento simultáneamente desde ambos extremos o algún mapeo que enumere la secuencia infinita alternando desde ambos lados a la vez, algo así como $$ (1 1) \, (. 0) \, (0 0) \cdots $$ esto recurriría a las estructuras establecidas, pero no tengo conocimiento de tales planteamientos.
5 votos
No, no existe tal número.
25 votos
No es la representación decimal de un número real.
1 votos
Si añades 1 al final significa que hay espacio para un dígito más, lo que implica que hay algo más grande que el infinito
23 votos
A representación decimal de un número tiene dígitos indexados por números naturales. ¿Cuál es exactamente la posición de ese último $1$ ? ¿Es el primero después del punto decimal? ¿La segunda? ¿La tercera? Cada dígito debe tener su posición, que debe ser un número natural. En otras palabras, cuando se especifica un número real mediante una representación decimal, se puede elegir cualquier secuencia infinita de dígitos que se desee, pero no tiene ningún sentido añadir nada "después del final" de la secuencia.
4 votos
Hay contextos en los que puede tener sentido utilizar expresiones como $1+\frac 1{10^{\omega}}$ Pero tienden a reflejar enfoques no estándar: interesantes para algunas personas, pero no han sido lo suficientemente persuasivos o convenientes para entrar en el uso general porque la forma normal de hacer las cosas funciona lo suficientemente bien. Como señala André Nicolas, "esto no es la representación decimal de un número real".
1 votos
Consulte math.stackexchange.com/questions/11/is-999999999-1
4 votos
@Aditya "Implica que hay algo más grande que el infinito". No hay un infinito más grande, al igual que no hay un número finito más grande. Así que no está claro qué significa "más grande que el infinito".
0 votos
@DavidRicherby: ¿Tal vez la cardinalidad de las clases propias?
0 votos
@Aditya tengo la misma idea que tú.
0 votos
@DavidRicherby Creo que sólo hay un infinito, podemos pensar que es el número más grande, por lo que algo más grande que el infinito parece ridículo e imposible, por lo que dicho número no existe.
0 votos
@DanShved ¿quieres decir que algo más grande que el infinito parece ridículo e imposible?
2 votos
@celtschk: Como puedes encontrar en la web, hay modelos de teoría de conjuntos en los que diferentes clases pueden tener diferentes cardinalidades. En cualquier caso, el cardinal de una clase propia no es una noción interna de la teoría de conjuntos, por lo que en cierto sentido no existe.
2 votos
@user1485853 Hay al menos dos infinitos, como La prueba de Cantor que hay más números reales que enteros muestra. De hecho, hay infinitos: véase números ordinales
0 votos
@DavidRicherby si lo restringimos en Cálculo, ¿es correcto?
1 votos
@user1485853 No, nunca he dicho eso. Lo que he dicho es que las representaciones decimales son por definición restringido a secuencias indexadas por números naturales. Esto significa que en una representación decimal de un número cada dígito está precedido sólo por un número finito de dígitos, lo que hace que la construcción de la OP sea "ilegal" (es decir, sea lo que sea, no es una representación decimal, como ya mencionó André Nicolas).
0 votos
@DanShved Me refiero al cálculo: creo que sólo hay un infinito, podemos pensar que es el número más grande, por lo que algo más grande que el infinito parece ridículo e imposible, por lo que dicho número no existe. ¿Es esto correcto?
3 votos
@user1485853 Es difícil encontrar una respuesta satisfactoria, probablemente porque tu fraseo es muy vago y poco claro. No obstante, permíteme hacer dos apuntes. Primero: hoy en día, que algo sea "ridículo" nunca se utiliza como argumento en un texto matemático. O, si lo es, sólo como abreviatura de algo muy preciso. En segundo lugar, considere lo siguiente: la gente distingue entre secuencias que convergen a $\infty$ , a $+\infty$ y a $-\infty$ . Esto ya me parece que son tres "infinitos" distintos, y uno puede encontrarlos todos en una clase ordinaria de Cálculo.
0 votos
@ThePortakal: Los números reales son un campo, todo número es divisible por cualquier número distinto de cero.
1 votos
Supongamos que, por el bien del argumento, existiera tal número. Supongamos que se le resta uno. ¿La diferencia resultante sería diferente de cero? Si es así, deberías poder decir en qué medida es diferente entonces, ¿cuánto? Si no es así, entonces tu número debe ser igual a uno, porque dos números cuya diferencia es cero son iguales.
0 votos
Posible duplicado de ¿Alguna forma de representar el número que viene después de repetir el decimal?
1 votos
En realidad creo que será mejor cerrar esa pregunta como un duplicado de esta, y no al revés.
0 votos
RE: "Creo que sólo hay un infinito, podemos pensarlo como el número más grande..." Tal vez quieras entender mejor lo que significa el infinito; no hay un "número más grande". Por cierto, una mejor forma de redactar tu título sería referirte a la cadena de 0's como infinitamente muchos ceros, no un número infinito de ceros.
0 votos
@J.R. Aunque estoy totalmente de acuerdo con la primera parte de tu comentario, la segunda parte ignora la noción de números ordinales y el hecho de que una secuencia suele estar indexada por ellos. Un número infinito de 0's simplemente significa que el segmento inicial corresponde a un ordinal infinito. En este caso, está implícito $\omega$ el ordinal menos infinito.
0 votos
Bueno. Una cosa es segura, ¡nadie puede decir que esta pregunta no recibió suficiente atención! :-)
0 votos
@DanShved Me refiero a que sólo hay un infinito positivo en el Cálculo, podemos pensar que es el que ningún número es más grande que él, por lo que algo más grande que el infinito positivo es imposible, por lo que tal número no existe . ¿Es esto correcto?
0 votos
@ J.R. ¿puedo pensar en el infinito positivo como el que ningún número es mayor que él?
0 votos
@DanShved un número de representación decimal es un número real, ¿verdad?
0 votos
Quizás sería más productivo analizar $1.00000\dots0001 - 1.$
1 votos
Tuve esta misma pregunta hace unos 4 años. El número no existe
0 votos
¿No sería eso simplemente $1$ ?
0 votos
@JohnJoy Entonces... ¿un número infitesimal?
1 votos
@asher drummond $(1.0000...0001) - 1$ sería un infinitesimal, pensaría.