Einführung in das mathematische Arbeiten - an der Fakultät für ...
Einführung in das mathematische Arbeiten - an der Fakultät für ...
Einführung in das mathematische Arbeiten - an der Fakultät für ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
102 5. ZAHLENMENGEN<br />
Tr<strong>an</strong>sitivität: Seien S ⊇ T und T ⊇ U. Ist u ∈ U, d<strong>an</strong>n ist u ∈ T , und daher gilt<br />
u ∈ S. Das impliziert S ⊇ U.<br />
Es bleibt zu zeigen, <strong>das</strong>s ≤ e<strong>in</strong>e Totalordnung ist. Seien S und T zwei Schnitte und S ≠ T .<br />
Ist S ≰ T , d<strong>an</strong>n ist S T , und daher gibt es e<strong>in</strong> t ∈ T mit t /∈ S. In diesem Fall liegt<br />
t ¢ ∈ \ S, also ist <strong>für</strong> alle s ∈ S die Ungleichung s ≥ t erfüllt. Wegen Proposition 5.4.10.(1)<br />
bedeutet <strong>das</strong> aber s ∈ T , und <strong>das</strong> impliziert S ⊆ T , also S ≥ T . Damit s<strong>in</strong>d je zwei Schnitte<br />
vergleichbar, und ≤ ist e<strong>in</strong>e Totalordnung auf R.<br />
□<br />
Def<strong>in</strong>ition 5.4.13. Als nächstes führen wir die Abbildung + : R × R §¢ →<br />
S + T := {s + t | s ∈ S ∧ t ∈ T } <strong>für</strong> S, T ∈ R<br />
durch<br />
e<strong>in</strong>.<br />
Proposition 5.4.14. Diese Abbildung führt sogar wie<strong>der</strong> nach R. Es ist also S + T<br />
wie<strong>der</strong> e<strong>in</strong> Schnitt:<br />
Beweis.<br />
• S<strong>in</strong>d s ∈ S und t ∈ T , d<strong>an</strong>n ist s + t ∈ S + T , also ist S + T ≠ ∅.<br />
• Sei σ untere Schr<strong>an</strong>ke von S und τ untere Schr<strong>an</strong>ke von T . Für beliebiges x ∈ S +T<br />
gibt es s ∈ S und t ∈ T mit x = s + t. Aus den Eigenschaften von ≤ ¢ auf folgt<br />
ferner x = s + t ≤ σ + τ. Daher ist S + T nach unten beschränkt.<br />
• Betrachten wir q ¢ ∈ \ (S + T ). Sei s ∈ S gegeben, wir wissen ∀t ∈ T : s + t ≠ q.<br />
Wir formen <strong>das</strong> um zu ∀t ∈ T : t ≠ q − s, und daher ist q − s ¢ ∈ \ T . Weil T e<strong>in</strong><br />
Schnitt ist, folgt ∀t ∈ T : t ≥ q − s. Br<strong>in</strong>gen wir s zurück auf die l<strong>in</strong>ke Seite, ergibt<br />
<strong>das</strong> ∀t ∈ T : s + t ≥ q, darum gilt <strong>für</strong> alle x ∈ S + T , <strong>das</strong>s x ≥ q, also ist Eigenschaft<br />
S1 erfüllt.<br />
• Sei x ∈ S + T beliebig. D<strong>an</strong>n existieren s ∈ S und t ∈ T mit s + t = x. Weil S<br />
und T Schnitte s<strong>in</strong>d, gibt es s ′ ∈ S und t ′ ∈ T mit s > s ′ und t > t ′ . Daher ist<br />
x ′ = s ′ + t ′ ∈ S + T , und es gilt x > x ′ . Das weist Eigenschaft S2 nach.<br />
□<br />
Das beweist, <strong>das</strong>s (R, +) e<strong>in</strong> Gruppoid bildet. Bevor wir die weiteren Eigenschaften nachweisen,<br />
betrachten wir noch e<strong>in</strong> Klasse spezieller Schnitte.<br />
Def<strong>in</strong>ition 5.4.15. E<strong>in</strong> Schnitt S heißt rational, falls er e<strong>in</strong> Infimum besitzt.<br />
Proposition 5.4.16. E<strong>in</strong> Schnitt S ist genau d<strong>an</strong>n rational, wenn es e<strong>in</strong> q ∈ ¢ gibt mit<br />
S = q := {q ′ ∈ ¢ | q ′ > q}. (5.7)<br />
Beweis. Sei S e<strong>in</strong> Schnitt von <strong>der</strong> Form (5.7). Nun ist q e<strong>in</strong>e untere Schr<strong>an</strong>ke von<br />
S, und falls q ′ ¢ ∈ mit q ′ > q, d<strong>an</strong>n ist q ′ ke<strong>in</strong>e untere Schr<strong>an</strong>ke von S. Es ist nämlich<br />
q ′ > 1 2 (q′ + q) > q, und daher 1 2 (q′ + q) ∈ S. Daher ist q <strong>das</strong> Infimum von S und S rational.<br />
Nun sei S e<strong>in</strong> rationaler Schnitt. Es existiert q = <strong>in</strong>f S, und wir def<strong>in</strong>ieren q = {q ′ ∈<br />
| q ′ > q}. Weil q untere Schr<strong>an</strong>ke von S ist, folgt S ⊆ q. Sei nun t ∈ q. Falls t /∈ S<br />
¢<br />
gilt, wissen wir, <strong>das</strong>s ∀s ∈ S : s ≥ t. Daher ist t e<strong>in</strong>e untere Schr<strong>an</strong>ke von S mit t > q. Das<br />
wi<strong>der</strong>spricht <strong>der</strong> Infimumseigenschaft von q. Daher ist t ∈ S und S = q. □<br />
Auf diese Weise sehen wir, <strong>das</strong>s <strong>für</strong> je zwei rationale Zahlen q und r die zugehörigen<br />
rationalen Schnitte q und r genau d<strong>an</strong>n gleich s<strong>in</strong>d, wenn q = r. Die Abbildung ι ¢ : → R<br />
mit ι : q ↦→ q ist also <strong>in</strong>jektiv. Auf diese Weise ¢ wird <strong>in</strong> R e<strong>in</strong>gebettet, und wir können <strong>in</strong><br />
Zukunft die rationale Zahl q mit dem Schnitt q identifizieren.<br />
Proposition 5.4.17. (G, +) ist e<strong>in</strong>e abelsche Gruppe.<br />
Beweis. Wir weisen sukzessive alle Eigenschaften nach: