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

Aus Wikiversity

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.