Zum Inhalt springen

Ordnungsrelation/Zykel/Gleichheit/Aufgabe/Lösung

Aus Wikiversity


Der Induktionsanfang folgt unmittelbar aus der Antisymmetrie. Es sei also die Aussage für ein gewisses schon bewiesen und es liegen Elemente mit den Abschätzungen

und

vor. Wegen der Transitivität der Ordnung gilt dann auch

und damit gelten auch die Bedingungen in der Induktionsvoraussetzung. Somit ist also

Wegen

und

stimmt auch mit diesem Element überein.