Surreale Zahlen

Wird bearbeitet von Leonard, Luna und Thomas:

Tag ω und danach

Alle Zahlen, die wir durch Induktion über n erhalten haben, besitzen die Form [math]\frac{m}{2^n}, m,n \in \Mathbb{N} [/math]. Alle diese Zahlen haben endliche Dezimaldarstellungen. Den Tag, an welchem alle diese Zahlen bereits existieren (also "ein Tag" nach abzählbar unendlich vielen Tagen) und wir mit diesen neue Zahlen erschaffen, nennen wir Tag ω. Wir werden sehen, dass sich nun auch Zahlen mit nicht endlichen Dezimaldarstellungen konstruieren lassen. Wir betrachten dazu:

Beispiel: Konstruktion von [math]\frac{1}{3}[/math]

Es soll hier zunächst die Konstruktionsidee skizziert werden, welche in ähnlicher Form in weiteren Konstruktionen angewandt werden wird:

Konstruktionsidee

Wir wollen erreichen, dass [math]x=\frac{1}{3} [/math]

Wir wissen, dass [math] X_L \lt x \lt X_R [/math] . Wir füllen nun also [math]X_L [/math] mit Zahlen, die kleiner sind als [math]\frac{1}{3[/math] und [math]X_R [/math] mit entsprechend größeren.