Transfinite Induction Examples

Set Theory · Axiom Academy

EXAMPLE Transfinite Induction Example Prove that every ordinal is either zero, a successor, or a limit ordinal Excellent work! You have successfully completed a proof by transfinite induction. Here is what we learned: Transfinite Induction: This powerful proof technique extends ordinary mathematical induction to the transfinite ordinals. We prove a property holds for all ordinals by checking base case, successor case, and limit case. Three Types of Ordinals: Every ordinal falls into exactly one category: zero (0), successor (alpha + 1), or limit (supremum of all smaller ordinals with no immediate predecessor). Base Case: Zero is explicitly one of the three types, so the base case is trivial. Successor Case: If alpha has an immediate predecessor beta, then alpha = beta + 1 is a successor ordinal. Limit Case: If alpha is nonzero and has no immediate predecessor, then alpha = sup beta : beta < alpha is a limit ordinal. Examples include omega, omega + omega, and omega squared. Well-Ordering Principle: This trichotomy relies on the well-ordering of ordinals: every nonempty set of ordinals has a least element. Transfinite induction is essential for proving properties about all ordinals. This trichotomy theorem is fundamental: it tells us that the ordinal hierarchy is built systematically from zero by taking successors and limits!

This is the written version of the interactive lesson above. See the full Set Theory course.