Comparing Ordinals

Set Theory · Axiom Academy

Understanding the total ordering of ordinals through trichotomy and initial segments. 1. Trichotomy: Exactly One Holds Given any two ordinals α and β, exactly one of the following is true: This is called trichotomy: for any α, β, one and only one relation holds. The animation demonstrates this key property. 2. Ordinals Form a Well-Ordered Class The class of all ordinals Ord is well-ordered by ∈: every non-empty collection of ordinals has a least element. This means ordinals have no infinite descending chains and always have minimal elements. 3. Comparing by Initial Segments We can compare ordinals by examining their structure as initial segments. An ordinal α is less than β if and only if α appears as an element within β. For example, 3 < 5 because 3 = 0, 1, 2 appears inside 5 = 0, 1, 2, 3, 4 . A function f : α → β between ordinals is order-preserving (or an order-isomorphism) if it preserves the < relation: x < y implies f(x) < f(y). This uniqueness makes ordinals canonical representatives of well-ordered sets. The ordering on ordinals is compatible with ordinal arithmetic: if α < β, then operations respect this order in predictable ways. Note: These are inequalities, not always strict equalities, due to the non-commutativity of ordinal arithmetic.

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