## [Transfinite Induktion](/de/node/62406) Definition Eine Erweiterung der mathematischen Induktion auf wohlgeordnete Mengen, die durch Ordinzahlen indiziert sind: Um eine Eigenschaft P(α) für alle Ordinzahlen α zu beweisen, zeigt man P(0), beweist für jeden Nachfolger β+1, dass P(β) ⇒ P(β+1), und zeigt für jedes Limitordinal λ, dass (∀γ<λ) P(γ) ⇒ P(λ). ## Prinzip Prinzip Die Wohlordnung erlaubt eine dreiteilige Induktion: Basis (Null), Nachfolgeschritt und Limitstufe; Abschließung unter diesen Schritten propagiert die Eigenschaft auf alle Ordinzahlen via transfinite Rekursion bzw. Induktion. ## Demonstration Demonstration Der Aufbau der von-Neumann-Kumulativhierarchie V_α oder der Beweis, dass jede Ordinzahl entweder 0, ein Nachfolger oder ein Limit ist, nutzt transfinite Induktion: in einer Limitstufe folgt die Eigenschaft aus ihrer Gültigkeit für alle früheren Stufen, wodurch Konstruktionen und Beweise über alle Ordinzahlen hinweg möglich werden. ## Fehlanwendung Fehlanwendung Das Vernachlässigen der Limitstufe (nur Null- und Nachfolgeschritte zu behandeln) macht Beweise an Limitordinalen ungültig; die Anwendung transitiver Induktion auf nicht wohlor-dnete Relationen zerstört das Argument und kann zu falschen Ergebnissen führen. ## Konsequenz Konsequenz Transfinite Induktion und Rekursion ermöglichen Definitionen und Beweise über beliebig große wohlor-dnete Indexmengen und bilden die Grundlage ordinaler und kardinaler Konstruktionen, rekursiver Definitionen auf Klassen und vieler Argumente in Mengenlehre und Logik. ## Umkehrung Umkehrung Auf nicht wohlfundierten Ordnungen steht transfinite Induktion nicht zur Verfügung; alternativ behandelt die Noethersche Induktion Wohlfundiertheit aus der entgegengesetzten Endlichkeits-Perspektive, und die gewöhnliche Induktion ist der Spezialfall für endliche Indices. ## Abgrenzung Abgrenzung Voraussetzung ist ein wohlor-dnetes Gebiet (Ordinzahlen oder eine andere wohlor-dnete Klasse); beim Arbeiten mit echten Klassen oder in schwachen Mengentheorien sind fundamentale Grenzen (Replacement, Klassenrekursion) zu beachten; sie gilt nicht für partiell geordnete Mengen ohne Wohlordnung. ## Semantische Spannung Semantische Spannung Transfinite Induktion wird oft als direkte Verallgemeinerung der Induktion über natürliche Zahlen betrachtet, unterscheidet sich aber wesentlich durch die notwendige separate Limitstufe; die Verwechslung kann wesentliche ordinale Phänomene verbergen. ## Synthese Synthese Transfinite Induktion verallgemeinert das induktive Paradigma auf Ordinzahlen durch Kombination aus Basis-, Nachfolger- und Limitüberprüfungen, um eine Eigenschaft durch jede wohlgeordnete Stufe zu propagieren und so Definitionen und Beweise jenseits endlicher Indices zu ermöglichen.