Rekursion/Induktion/Bemerkung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Eng verwandt mit der vollständigen Induktion ist das Prinzip der rekursiven Definition. Bei dieser möchte man für jede natürliche Zahl einen mathematischen Ausdruck festlegen. Dies macht man, indem man für einen Ausdruck explizit festlegt und beschreibt, wie der Ausdruck für aus dem Ausdruck für berechnet werden soll. Letzteres nennt man die Rekursionsvorschrift. Der induktive Aufbau der natürlichen Zahlen stellt dabei sicher, dass durch diese rekursiven Festlegungen für jede natürliche Zahl ein eindeutiger Ausdruck festgelegt wird. Beispielsweise kann man einen Ausdruck durch den Rukursionsanfang

und die Rekursionsvorschrift

festlegen.