## [Transfinite Rekursion](/de/node/60216) Definition Ein Verfahren zur Definition von Funktionen, Folgen oder Klassen, die durch Ordinalzahlen indiziert sind, indem der Wert bei 0 festgelegt wird, eine Vorschrift für Nachfolgerordinationen in Abhängigkeit früherer Werte gegeben wird und der Wert an einer Limitordnung als Funktion (häufig Supremum, Vereinigung oder Limes) der Werte kleinerer Ordinale definiert wird. ## Prinzip Prinzip Objekte schrittweise entlang der wohlgeordneten Klasse der Ordinale konstruieren: Basisfall, Nachfolgerregel, die sich auf vorherige Stufen bezieht, und eine Limitstufenregel, die alle früheren Werte kohärent zusammenführt. ## Demonstration Demonstration Definiere f auf Ordinalen durch f(0)=0, f(α+1)=f(α)+1 und für ein Limit λ setze f(λ)=sup{f(β): β<λ}. Dies erzeugt eine entlang aller Ordinale definierte, aufsteigende ordinalwertige Folge via transfiniter Rekursion. ## Fehlanwendung Fehlanwendung Den Wert an einer Limitordnung ausschließlich in Bezug auf den gleichen Index zu definieren (zirkulär) oder keine Regel für Limiten anzugeben, kann zu undefinierten oder schlecht gestellten Konstruktionen führen. ## Konsequenz Konsequenz Transfinite Rekursion liefert wohldefinierte Objekte auf allen Ordinalen, wenn Nachfolger- und Limitregeln korrekt spezifiziert sind; sie liegt vielen Konstruktionen zugrunde, etwa der kumulativen Mengenhierarchie und Rangfunktionen wohlgegründeter Relationen. ## Umkehrung Umkehrung Das Umkehren der Wohlordnung (versuchen, »rückwärts« über Ordinale zu iterieren) ist unmöglich, da es keine unendlichen absteigenden Ketten gibt; eine naive Inversion bricht das Rekursionsprinzip. ## Abgrenzung Abgrenzung Gilt für wohlgeordnete Indexklassen (Ordinale); lässt sich nicht direkt auf beliebige partielle Ordnungen anwenden ohne zusätzliche Struktur (wie Wohlbegründetheit); bei klassengroßen gegenüber mengenmäßigen Rekursionen sind in den Grundlagen Unterschiede zu beachten. ## Semantische Spannung Semantische Spannung Spannung zwischen endlicher Rekursion und transfiniter Rekursion liegt im Umgang mit Limitstufen: endliche Rekursion kennt diese nicht, transfinite Rekursion erfordert eine kohärente Regel für Limiten, was methodisch und grundlagenrelevant ist. ## Synthese Synthese Transfinite Rekursion verallgemeinert endliche induktive Definitionen auf alle Ordinale durch Vorgabe von Basis-, Nachfolger- und Limitvorschriften, so dass an jeder Stufe längs der wohlgeordneten Kette eindeutig ein Objekt definiert ist und ordinalindizierte Konstruktionen möglich werden.