Ganze Zahlen/Nachfolger/Eigenschaften/Fakt/Beweis/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass die Nachfolgerabbilung die folgenden Eigenschaften besitzt.

  1. Die Nachfolgerabbildung stimmt auf mit der dortigen Nachfolgerabbildung überein.
  2. Die Nachfolgerabbildung ist bijektiv.
  3. Es ist und für .
  4. Jede ganze Zahl lässt sich ausgehend von durch eine Iteration der Nachfolgerabbildung oder eine Iteration der Vorgängerabbildung erreichen.
Zur Lösung, Alternative Lösung erstellen