02.10.2013 Aufrufe

Zahlentheorie - Eine Mitschrift - Universität Passau

Zahlentheorie - Eine Mitschrift - Universität Passau

Zahlentheorie - Eine Mitschrift - Universität Passau

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!