Aufgabe:
Jede natürliche Zahl ∈ mit ungleich 1 hat einen Vorgänger ∈ mit
Um zu beweisen, dass jede natürliche Zahl ∈ (wobei ungleich einen Vorgänger ∈ hat, für den gilt, können wir dies durch vollständige Induktion zeigen. Der Beweis gliedert sich in zwei Schritte: Basisfall und Induktionsschritt.
Basisfall: Zeigen wir zuerst, dass die Aussage für wahr ist. In diesem Fall ist und wir müssen zeigen, dass es eine natürliche Zahl gibt, für die . Die einzige solche Zahl ist und sie erfüllt die Bedingung . Der Basisfall ist also bewiesen.
Induktionsschritt: Angenommen, die Aussage gilt für eine natürliche Zahl es gibt eine natürliche Zahl für die . Wir müssen zeigen, dass die Aussage dann auch für gilt, es gibt eine natürliche Zahl für die .
Nach unserer Annahme gibt es eine natürliche Zahl für die . Um den Induktionsschritt abzuschließen, können wir verwenden, um zu definieren. Wir setzen . Nun müssen wir zeigen, dass
Aber wir wissen, dass also . Setzen wir dies ein:
Da haben wir gezeigt, dass die Aussage für gilt.
Da wir den Basisfall und den Induktionsschritt gezeigt haben, schließen wir, dass für jede natürliche Zahl ∈ ungleich einen Vorgänger ∈ gibt, für den gilt. Dies zeigt, dass die Aussage durch vollständige Induktion bewiesen ist.
Stimmt diese Lösung?
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |