Dezimalentwicklungen und topologische Zusammenhänge

Ich bin etwas verwirrt über die folgende Fußnote aus Moschovakis' Notes on Set Theory , p. 135fn24 (im Hinweis, N bezeichnet den Baire-Raum). Der rätselhafte Teil ist fett gedruckt:

Man mag denken N als "diskrete", "digitale" oder "kombinatorische" Version des "kontinuierlichen" oder "analogen" R . Eine reelle Zahl X wird vollständig durch eine Dezimalentwicklung bestimmt X ( 0 ) , X ( 1 ) , X ( 2 ) , , Wo ( N X ( N ) ) N , aber zwei unterschiedliche Dezimalerweiterungen können zu derselben reellen Zahl berechnet werden. Das ist ein großes „aber“, es ist die entscheidende Tatsache hinter dem sogenannten topologischen Zusammenhang der reellen Geraden, die zwar analytisch interessant , aber mengentheoretisch von geringer Bedeutung ist. Wir können den Baire-Raum als eine „digitale Version“ von betrachten R weil es keine solchen Identifikationen macht, jeder Punkt X N bestimmt eindeutig seine "Ziffern" X ( 0 ) , X ( 1 ) , .

Ich verstehe den fettgedruckten Teil nicht. Welche Beziehung besteht zwischen der Tatsache, dass einige reelle Zahlen zwei unterschiedliche Dezimalentwicklungen haben, und der topologischen Verbundenheit? Hat jemand eine Ahnung, was hinter dem Zitat steckt?

Antworten (1)

Betrachten Sie die reelle Zahl 1 . Die Tatsache, dass es die Grenze der Sequenz ist

1.1 , 1.01 , 1.001 , 1.0001 , ,

zum Beispiel impliziert, dass es gleich sein muss 1.0000 . Die Tatsache, dass es die Grenze der Sequenz ist

0,9 , 0,99 , 0,999 , 0,9999 ,

zeigt, dass es gleich sein muss 0,9999 . Wenn dies nicht der Fall wäre, dh wenn 0,999 waren nicht gleich 1.000 , Dann

L = { X R : X 0,999 }

Und

R = { X R : X 1.000 }

wäre eine Trennung von R : L Und R wären disjunkte abgeschlossene Mengen, deren Vereinigung wäre R , Zeigt das R war nicht verbunden.

Perfekt! Vielen Dank dafür.
@Nagase: Sehr gerne.