Einführung in das mathematische Arbeiten - an der Fakultät für ...

5.1. DIE NATÜRLICHEN ZAHLEN 87
BH2: ∀n ∈ : 0 + n = n.
Sei M := {n ∈ | 0 + n = n}. Dann ist 0 ∈ M wegen 0 + 0 = 0. Sei nun n ∈ M und
betrachten wir S(n). Wir erhalten 0 + S(n) = S(0 + n) = S(n) aus der Definition
von + und weil n ∈ M. Daraus und aus der Definition folgt, dass 0 ein Nullelement
ist.
KG(+): ∀n, m ∈ : n + m = m + n.
Diese Beziehung zeigen wir ebenfalls mit Induktion. Sei M := {n ∈ | ∀m ∈ :
m + n = n + m}. Wegen BH2 und der Definition von + gilt für alle n ∈ die
Gleichung 0 + n = n + 0 und daher 0 ∈ M. Sei nun n ∈ M. Dann rechnen wir für
beliebiges m ∈ wie folgt: S(n)+m = n+S(n) = S(n+m) = S(m+n) = m+S(n).
Zweimal haben wir die Definition von + verwendet und je einmal die Tatsache
n ∈ M und BH1. Daher ist S(n) ∈ M, und wegen Korollar 5.1.2 gilt M = . Daher
ist + kommutativ.
AG(+): ∀k, m, n ∈ : (k + n) + m = k + (n + m).
Ein weiterer Induktionsbeweis wird uns das Assoziativgesetz zeigen. Wir definieren
M := {m ∈ : ∀k, n ∈ : (k + n) + m = k + (n + m)}, und wieder gilt 0 ∈ M,
diesmal wegen (k + n) + 0 = k + n = k + (n + 0). Ist m ∈ M, dann rechnen wir für
beliebige k, n ∈
(k + n) + S(m) = S((k + n) + m) = S(k + (n + m)) =
= k + S(n + m) = k + (n + S(m)).
Das beweist S(m) ∈ M und damit M = wegen Korollar 5.1.2. Also ist + assoziativ
und ( , +) ein kommutatives Monoid.
BH3: ∀n ∈ : 0 · n = 0.
Induktion mit M = {n ∈ | 0 · n = 0}. 0 ∈ M wegen der Definition 0 · 0 = 0. Ist
n ∈ M, so ist auch S(n) ∈ M wegen 0 · S(n) = (0 · n) + 0 = 0 + 0 = 0. Korollar 5.1.2
impliziert wieder M = .
BH4: ∀n ∈ : S(0) · n = n · S(0) = n, also S(0) ist Einselement.
Die erste Gleichung n · S(0) = n · 0 + n = 0 + n = n folgt direkt aus den Definitionen
von · und +. Die zweite Gleichung benötigt einen Induktionsbeweis. Sei M := {n ∈
| S(0) · n = n}. Es ist 0 ∈ M nach Definition von ·, und ist n ∈ M, so können wir
rechnen
S(0) · S(n) = (S(0) · n) + S(0) = n + S(0) = S(n + 0) = S(n).
Daher ist S(n) ∈ M und M = wegen Korollar 5.1.2.
BH5: ∀n, m ∈ : S(n) · m = n · m + m.
Dieser erste Schritt zur Kommutativität folgt aus Korollar 5.1.2 nach Definition
von M := {m ∈ | ∀n ∈ : S(n) · m = n · m + m}. Es gilt nämlich wegen
S(n) · 0 = 0 = (n · 0) + 0, dass 0 ∈ M ist. Gilt nun m ∈ M, dann haben wir für
beliebiges n ∈
S(n) · S(m) = (S(n) · m) + S(n) = (n · m) + m + S(n) =
= (n · m) + S(m) + n = (n · m) + n + S(m) =
= (n · S(m)) + S(m)
und damit S(m) ∈ M.
KG(·): ∀m, n ∈ : m · n = n · m.
Diesmal setzen wir M := {n ∈ | ∀m ∈ : m · n = n · m}. Es ist wegen der
Definition von · und BH3 0 ∈ M. Ist n ∈ M, so auch S(n) wegen m · S(n) =