Expansiones decimales y conectividad topológica

Estoy un poco confundido por la siguiente nota a pie de página de Notes on Set Theory de Moschovakis , p. 135fn24 (en la nota, norte denota el espacio de Baire). La parte desconcertante está en negrita:

Uno puede pensar en norte como una versión "discreta", "digital" o "combinatoria" de la versión "continua" o "analógica" R . un numero real X está completamente determinado por una expansión decimal X ( 0 ) , X ( 1 ) , X ( 2 ) , , dónde ( norte X ( norte ) ) norte , pero dos expansiones decimales distintas pueden calcular el mismo número real. Este es un gran "pero", es el hecho clave detrás de la llamada conexión topológica de la línea real que es de interés en el análisis , sin duda, pero de poca consecuencia teórica. Podemos ver el espacio de Baire como una "versión digital" de R porque no hace tales identificaciones, cada punto X norte determina inequívocamente sus "dígitos" X ( 0 ) , X ( 1 ) , .

No entiendo la parte en negrita. ¿Cuál es la relación entre el hecho de que algunos números reales tienen dos desarrollos decimales distintos y la conexión topológica? ¿Alguien tiene alguna pista sobre el pensamiento detrás de la cita?

Respuestas (1)

Considere el número real 1 . El hecho de que sea el límite de la sucesión.

1.1 , 1.01 , 1.001 , 1.0001 , ,

por ejemplo, implica que debe ser igual a 1.0000 . El hecho de que sea el límite de la sucesión.

0.9 , 0.99 , 0.999 , 0.9999 ,

muestra que debe ser igual a 0.9999 . Si no fuera así, es decir, si 0.999 no eran iguales a 1.000 , entonces

L = { X R : X 0.999 }

y

R = { X R : X 1.000 }

sería una separación de R : L y R serían conjuntos cerrados disjuntos cuya unión fuera R , mostrando que R no estaba conectado.

¡Perfecto! Muchas gracias por esto.
@Nagase: De nada.