Surreale Zahlen: Unterschied zwischen den Versionen

Aus FunFacts Wiki
Zur Navigation springen Zur Suche springen
Zeile 4: Zeile 4:
  
 
=== Grundidee<!-- matheumgebungen! --> ===
 
=== Grundidee<!-- matheumgebungen! --> ===
jede surreale Zahl ''<math>x </math>'' lässt sich als <math>x = [\{L|R\}] </math> mit zwei Mengen <math>L </math>  (linke Menge von  ''<math>x </math>'') und <math>R </math> (rechte Menge von  ''<math>x </math>'') schreiben, wobei gelten soll:  
+
jede surreale Zahl <math>x </math> lässt sich als <math>x = [\{L|R\}] </math> mit zwei Mengen <math>L </math>  (linke Menge von  <math>x </math>) und <math>R </math> (rechte Menge von  <math>x </math>) schreiben, wobei gelten soll:  
* ''<math>L </math>'' und ''<math>R </math>'' sind selber Mengen surrealer Zahlen oder die leere Menge
+
* <math>L </math> und <math>R </math> sind selber Mengen surrealer Zahlen oder die leere Menge
* Wohlgeformtheit: Jedes Element aus ''<math>L </math>'' ist kleiner als jedes Element aus ''<math>R </math> (siehe <u>Ordnungsrelation</u>)''
+
* Wohlgeformtheit: Jedes Element aus <math>L </math> ist kleiner als jedes Element aus <math>R </math> ''(siehe <u>Ordnungsrelation</u>)''
Wir betrachten die Äquivalenzklassen bezüglich der Gelichheitsrelation: <math>x = y :⇔ x ≤ y </math> ''und''  <math>y ≤ x </math>''(Die Definition der Äquivalenzklassen ist rein rekursiv)''
+
Wir betrachten die Äquivalenzklassen bezüglich der Gelichheitsrelation: <math>x = y :⇔ x ≤ y </math> ''und''  <math>y ≤ x </math> ''(Die Definition der Äquivalenzklassen ist rein rekursiv)''
  
Die so entstandene Zahl  ''<math>x </math>'' ist größer als jedes Element aus  ''<math>L </math>'' und kleiner als jedes Element aus  ''<math>R </math>''.
+
Die so entstandene Zahl  <math>x </math> ist größer als jedes Element aus  <math>L </math> und kleiner als jedes Element aus  <math>R </math>.
  
 
=== Notation ===
 
=== Notation ===
Wir schreiben der Einfachheit und Übersichtlichkeit halber  ''<math>\{a,b|x\} </math>'' statt  ''<math>[\{\{a,b\}|\{x\}\}] </math>'' und  ''<math>\{|y\} </math>'' statt  ''<math>[\{∅|\{y\}\}] </math>''.<!-- notation anpassen -->
+
Wir schreiben der Einfachheit und Übersichtlichkeit halber  <math>\{a,b|x\} </math> statt  <math>[\{\{a,b\}|\{x\}\}] </math>  und  <math>\{|y\} </math> statt  <math>[\{∅|\{y\}\}] </math>.<!-- notation anpassen -->
  
 
=== Ordnungsrelation ===
 
=== Ordnungsrelation ===
Zeile 29: Zeile 29:
 
!
 
!
 
|-
 
|-
| colspan="4" |''zeige, dass -1 < 0:''  
+
| colspan="4" |''zeige, dass'' <math>-1 < 0</math>'':''  
''(0 bezeichnet [{|}], -1 bezeichnet [{|0}], mehr dazu: siehe unten)''
+
''(''<math>0</math> ''bezeichnet'' <math>[\{|\}]</math>'','' <math>-1</math> ''bezeichnet'' <math>[\{|0\}]</math>'', mehr dazu: siehe unten)''
''-1 < 0''    
+
<math>-1 < 0</math>    
  
''<big>⇔</big> [{|0}] < [{|}]    ''
+
<math>⇔ [\{|0\}] < [\{|\}]</math>''<big>⇔</big> [{|0}] < [{|}]    ''
  
''<big>⇔ ¬</big>([{|}] ≤ [{|0}])  ''
+
<math>⇔ ¬([\{|\}] ≤ [\{|0\}])</math>''<big>⇔ ¬</big>([{|}] ≤ [{|0}])  ''
  
''<big>⇔ ¬</big>(<big>∀</big>l<sub>x</sub><big>∈∅</big>: l<sub>x</sub> < [{|0}] und <big>∀</big>r<sub>y</sub><big>∈</big>{0}: r<sub>y</sub> > [{|}]) ''
+
<math>⇔ ¬(∀lx∈∅: lx < [\{|0\}] und ∀ry∈\{0\}: ry > [\{|\}])</math>''<big>⇔ ¬</big>(<big>∀</big>l<sub>x</sub><big>∈∅</big>: l<sub>x</sub> < [{|0}] und <big>∀</big>r<sub>y</sub><big>∈</big>{0}: r<sub>y</sub> > [{|}]) ''
  
''<big>⇔</big> <big>¬</big>(<big>∀</big>r<sub>y</sub><big>∈</big>{0}: r<sub>y</sub> > [{|}]) ''
+
<math>⇔ ¬(∀ry∈\{0\}: ry > [\{|\}])</math>''<big>⇔</big> <big>¬</big>(<big>∀</big>r<sub>y</sub><big>∈</big>{0}: r<sub>y</sub> > [{|}]) ''
  
''<big>⇔</big> <big>∃</big>r<sub>y</sub><big>∈</big>{0}: r<sub>y</sub> ≤ [{|}] ''
+
<math>⇔ ∃ry∈\{0\}: ry ≤ [\{|\}]</math>''<big>⇔</big> <big>∃</big>r<sub>y</sub><big>∈</big>{0}: r<sub>y</sub> ≤ [{|}] ''
  
''<big>⇔</big> 0 ≤ 0 (✓)''
+
<math>⇔ 0 ≤ 0</math>''<big>⇔</big> 0 ≤ 0 (✓)''
 
|}
 
|}
 
So lassen sich die ersten surrealen Zahlen konstruieren:
 
So lassen sich die ersten surrealen Zahlen konstruieren:

Version vom 27. März 2021, 15:08 Uhr

Wird bearbeitet von Leonard, Luna und Thomas:

Erste Konstruktionsschritte

Grundidee

jede surreale Zahl [math]x [/math] lässt sich als [math]x = [\{L|R\}] [/math] mit zwei Mengen [math]L [/math] (linke Menge von [math]x [/math]) und [math]R [/math] (rechte Menge von [math]x [/math]) schreiben, wobei gelten soll:

  • [math]L [/math] und [math]R [/math] sind selber Mengen surrealer Zahlen oder die leere Menge
  • Wohlgeformtheit: Jedes Element aus [math]L [/math] ist kleiner als jedes Element aus [math]R [/math] (siehe Ordnungsrelation)

Wir betrachten die Äquivalenzklassen bezüglich der Gelichheitsrelation: [math]x = y :⇔ x ≤ y [/math] und [math]y ≤ x [/math] (Die Definition der Äquivalenzklassen ist rein rekursiv)

Die so entstandene Zahl [math]x [/math] ist größer als jedes Element aus [math]L [/math] und kleiner als jedes Element aus [math]R [/math].

Notation

Wir schreiben der Einfachheit und Übersichtlichkeit halber [math]\{a,b|x\} [/math] statt [math][\{\{a,b\}|\{x\}\}] [/math] und [math]\{|y\} [/math] statt [math][\{∅|\{y\}\}] [/math].

Ordnungsrelation

Seien [math]x = [\{L_x|R_x\}][/math], [math]y = [\{L_y|R_y\}][/math] surreale Zahlen.

Dann gilt [math]x ≤ y[/math] genau dann, wenn [math]y[/math] kleinergleich keinem Element von [math]L_x[/math] und kein Element von [math]R_y[/math]kleinergleich [math]x[/math] ist. [math]x \lt y[/math] wird als "nicht [math]y ≤ x[/math]" definiert.

(Quantorenschreibweise: [math]x ≤ y :⇔ ∀lx∈Lx: lx \lt y, ∀ry∈Ry: ry \gt x[/math]

Bemerkung: Diese Definition ist zunächst etwas verwirrend, weil für die Definition der ≤-Relation die ≤-Relation bereits selber verwendet wird. Die Relation ist also rein rekursiv gegeben.

Beispiel:
zeige, dass [math]-1 \lt 0[/math]:

([math]0[/math] bezeichnet [math][\{|\}][/math], [math]-1[/math] bezeichnet [math][\{|0\}][/math], mehr dazu: siehe unten)

[math]-1 \lt  0[/math]   

[math]⇔ [\{|0\}] \lt [\{|\}][/math] [{|0}] < [{|}]

[math]⇔ ¬([\{|\}] ≤ [\{|0\}])[/math]⇔ ¬([{|}] ≤ [{|0}])

[math]⇔ ¬(∀lx∈∅: lx \lt [\{|0\}] und ∀ry∈\{0\}: ry \gt [\{|\}])[/math]⇔ ¬(lx∈∅: lx < [{|0}] und ry{0}: ry > [{|}])

[math]⇔ ¬(∀ry∈\{0\}: ry \gt [\{|\}])[/math] ¬(ry{0}: ry > [{|}])

[math]⇔ ∃ry∈\{0\}: ry ≤ [\{|\}][/math] ry{0}: ry ≤ [{|}]

[math]⇔ 0 ≤ 0[/math] 0 ≤ 0 (✓)

So lassen sich die ersten surrealen Zahlen konstruieren:

Wähle für die linke und rechte Menge der neuen surrealen Zahl Mengen bereits bekannter surrealer Zahlen bzw. die leere Menge. Überprüfe dann, ob die so entstandenen Zahlen wohlgeformt sind. Falls ja, betrachte die Äquivalenzklassen bezüglich der Gleichheitsrelation und benenne sie neu (Schema zur neuen Bezeichnung: siehe Abbildung)

(Bemerkung: warum die Bezeichnungen genau so gewählt sind, ergibt sich erst wirklich, wenn die surrealen Zahlen als Körper betrachtet werden)

Tag 0
Wir beginnen mit der leeren Menge als rechte sowie linke Menge. Da die leere Menge keine Elemente enthält, wird keine Regel verletzt und wir erhalten die wohlgeformte surreale Zahl [{|}], die wir 0 nennen.

/

Tag 1
Nun können wir aus der leeren Menge und unserer ersten surrealen Zahl 0 die folgende weitere surreale Zahlen konstruieren: [|0]:=-1 und [0|]:=1. Die Zahl [{0|0}] ist dabei nicht wohlgeformt, da alle Elemente der linken Menge strikt kleiner als alle Elemente der rechten Menge sein müssen und 0 ≤ 0 gilt.

Es ergibt sich die Anordnung -1 < 0 < 1.

/

Tag 2

An Tag 2 betrachten wir alle surrealen Zahlen, die wir mit der leeren Menge und unseren surrealen Zahlen -1, 0 und 1 erzeugen können. Dabei ergeben sich neben unzulässigen Zahlen wie [{0|-1}] auch die wohlgeformten surrealen Zahlen [{ -1}]:=-2 < -1 < [{-1|0}]:=-1/2 < 0 < [{0|1}]:=1/2 < 1 < [{1|}]:=2. Es ergeben sich auch bereits bekannte surreale Zahlen wie [{-1|1}] = 0. An Tag zwei umfassen die neu erzeugten Äquivalenzklassen gleich zu Beginn mehrere Elemente, z.B gilt {0,1|}, {-1,1|}, {-1,0,1|} [{1|}]

Tag ω und danach

Konstruktion von reellen Zahlen

Alle Zahlen, die wir durch Induktion über n erhalten haben, besitzen die Form [math]\frac{m}{2^n}, m,n \in \mathbb{Z} [/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. Wir benötigen also also zwei nach 1/3 konvergente Folgen in den bereits existenten Zahlen. Setze also [math]x= \{a_n \in (a)_n | b_n \in (b)_n\}[/math], wobei [math](a)_n[/math]eine monoton steigende und [math](b)_n[/math]eine monoton fallende Folge ist.

Ansatz

Setze

[math]a_n=\frac{(4^n-1)/3}{4^n}[/math]

und

[math]b_n=\frac{(2^{2n+1}+1)/3}{2^{2n+1}}[/math]

Man kann sich leicht überlegen, dass die Folgen die gewünschten Eigenschaften besitzen.

Da sich die reellen Zahlen vollständig durch Cauchyfolgen konstruieren lassen, ist somit ganz [math]\mathbb{R} [/math] an Tag ω erschaffen.

Konstruktion von hyperrellen Zahlen

An Tag ω werden aber nicht nur die Reellen Zahlen erschaffen, sondern ebenfalls infinitesmal benachtbarte und infinite Zahlen. Diese können mit den hyperreellen Zahlen identifiziert werden. In der Tat ist der Konstruktionsmechanismus sogar ausgesprochen ähnlich.

Beispiel: Konstruktion von ε

Setze [math]a_n=\frac{1}{2^n}[/math]. Dann ist [math]\epsilon = \{ 0 | a_n \in (a)_n\}[/math]kleiner als jede positive Zahl, aber größer als Null, also eine infinitismal kleine Zahl. Durch Addition [math]x+\epsilon[/math] (oder subtraktion) lässt sich zu zu jeder Zahl x eine infinitismal benachtbarte Zahl schaffen.

Beachte, dass [math](a)_n[/math]eine beliebige Nulllfolge sein kann.

Beispiel: Konstruktion von ω

Setze [math]a_n=n[/math]. Dann ist [math]\omega = \{ a_n \in (a)_n| \}=\{ 1,2,3,4,...| \}[/math]offenbar größer als jede reelle Zahl.

Es ist desweiteren εω = 1, was hier gezeigt wird.