Zahlentheorie (Osnabrück 2008)/Aufgabenblatt zu Peano-Axiomen

Aus Wikiversity

Wechseln zu: Navigation, Suche

In den folgenden Aufgaben geht es darum, die grundlegenden Eigenschaften der natürlichen Zahlen aus den Peano-Axiomen abzuleiten. Dies ist im Allgemeinen mühsam und sollte nur exemplarisch durchgeführt werden, um sich ein Bild von einem formalen Aufbau der Zahlen machen zu können.

Wir erinnern an die Peano-Axiome:

Eine Menge N mit einem ausgezeichneten Element 0 \in N (die Null) und einer (Nachfolger-)Abbildung

': N \longrightarrow N , \, n \longmapsto n' \, ,
heißt natürliche Zahlen (oder Peanomodell für die natürlichen Zahlen), wenn die folgenden Peano-Axiome erfüllt sind.
  1. Das Element 0 ist kein Nachfolger (die Null liegt also nicht im Bild der Nachfolgerabbildung).
  2. Jedes n \in N ist Nachfolger höchstens eines Elementes (d.h. die Nachfolgerabbildung ist injektiv).
  3. Für jede Teilmenge T \subseteq N gilt: wenn die beiden Eigenschaften
    • 0 \in T,
    • mit jedem Element n \in T ist auch n' \in T,
    gelten, so ist T = N.

Inhaltsverzeichnis

Aufgabe

Zeige, das zwei Mengen {\mathbb N}_1 und {\mathbb N}_2, die beide die Peano-Axiome erfüllen, zueinander isomorph sind. Man gebe also eine bijektive Abbildung {\mathbb N}_1 \rightarrow {\mathbb N}_2 an, die 01 in 02 überführt und die die Nachfolgeabbildungen respektiert.


Aufgabe

Zeige ausgehend von den Peano-Axiomen, dass jedes Element n \in {\mathbb N}, n \neq 0, einen Vorgänger besitzt.


Aufgabe

Sei {\mathbb N} eine Menge, die die Peano-Axiome erfüllt. Definiere eine „natürliche“ Addition auf {\mathbb N} und zeige, dass diese Addition kommutativ und assoziativ ist und 0 als neutrales Element besitzt.


Aufgabe

Sei {\mathbb N} eine Menge, die die Peano-Axiome erfüllt. Definiere eine „natürliche“ Multiplikation auf {\mathbb N}. Zeige, dass diese Multiplikation kommutativ und assoziativ ist, und dass sie 1: = 0' als neutrales Element besitzt.

Zeige ferner, dass für diese Multiplikation und für die in Aufgabe 3 definierte Addition das Distributivgesetz gilt.


Aufgabe

Leite das Induktionsprinzip für Aussagen (das Beweisverfahren) aus den Peano-Axiomen ab.

Von „http://de.wikiversity.org/wiki/Zahlentheorie_(Osnabr%C3%BCck_2008)/Aufgabenblatt_zu_Peano-Axiomen“
Persönliche Werkzeuge