Ordinal Arithmetic Examples

Set Theory · Axiom Academy

EXAMPLE Ordinal Arithmetic Examples Explore ordinal addition and multiplication, discovering why order matters Excellent work! You have explored the surprising world of ordinal arithmetic. Here is what we learned: Order Matters: Ordinal arithmetic is NOT commutative. We saw that omega + 3 is not equal to 3 + omega, and omega times 2 is not equal to 2 times omega. Addition from the Right: When computing alpha + beta, we place beta copies after all elements of alpha. This is why omega + 3 has order type omega + 3. Absorption by Omega: 3 + omega equals omega because three finite elements followed by all natural numbers is order-isomorphic to just the natural numbers. Multiplication as Repeated Addition: alpha times beta means beta copies of alpha placed in sequence. So omega times 2 is two copies of omega, while 2 times omega is omega copies of 2 (which collapses to omega). Omega Squared: omega times omega equals omega squared, representing a grid of natural numbers ordered lexicographically. Ordinal arithmetic reflects the structure of well-orderings, not just cardinality. This non-commutativity is fundamental to understanding transfinite ordinals and is essential for advanced set theory!

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