Zahlentheorie - Eine Mitschrift - Universität Passau
Zahlentheorie - Eine Mitschrift - Universität Passau
Zahlentheorie - Eine Mitschrift - Universität Passau
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
◦ (Induktionsprinzip) Sei (S ⊆ M: µ ∈ S und a ∈ S ⇒ σ(a) ∈ S) ⇒ S = M. d.h. M\S = ∅<br />
Annahme: M\S = ∅<br />
⇒ Es existiert kleinstes Element a ∈ M\S<br />
|{z}<br />
Wohlordnung<br />
Es ist a = µ, da µ ∈ S nach Vorraussetzung. Wegen (d): ∃b ∈ M : b a und ist c a, so ist c ≺ b. Dabei ist<br />
b ∋ M\S, d.h. b ∈ S ⇒ σ(b) ∈ S.<br />
Behauptung: σ(b) = a<br />
z<br />
Trichitonie<br />
}| {<br />
Annahme: σ(b) = a d.h. a σ(b) ∨ a = σ(b) ∨σ(b) a<br />
| {z } | {z } | {z }<br />
(1) (2) (3)<br />
(1) b σ(b), b a ⇒ σ(b) < a <br />
(2) zur Vorraussetzung.<br />
(3) Falls σ(b) a: b σ(b) a (Wohlordnung von b)<br />
Wegen b ∈ S ist σ(b) = a ∈ S <br />
⇒ Es ist ein Piano-System.<br />
Noch zu tun: Ordnung<br />
≤: Totale Ordnung des Peano-Systems (M, σ, µ)<br />
Behauptung: “≤” = “≺”<br />
Induktion Sei a ∈ M. Setze S = {b ∈ M|a ≤ b<br />
equiv. zu ⇔SEE 2<br />
z}|{<br />
⇒ a ≺ b}. Zu Zeigen: S = M<br />
◦ µ ∈ S: Falls a = µ: Ausage “a ≤ µ” falsch ⇒ Implikation richtig.<br />
◦ Sei c ∈ S. Behauptung: σ(c) ∈ S.<br />
Falls σ(c) < a: Vorraussetzung der Induktion falsch, damit Implikation richtig.<br />
Falls σ(c) = a: ⇒ a ≺ σ(c) = a √ (Reflexivitaet)<br />
c∈M<br />
z}|{<br />
Falls σ(c) a: Peano-System ⇒ a ≤ c ⇒ a < c. Aus dem und c < σ(c) folgt wegen Transitivität von<br />
≺: a ≺ σ(c).<br />
2 Weil totale Ordnung<br />
20