Ordinal numbers
Download
Report
Transcript Ordinal numbers
ORDINAL NUMBERS
VINAY SINGH
MARCH 20, 2012
MAT 7670
Introduction to Ordinal Numbers
Ordinal Numbers
Is an extension (domain ≥) of Natural Numbers (ℕ)
different from Integers (ℤ) and Cardinal numbers (Set
sizing)
Like other kinds of numbers, ordinals can be added,
multiplied, and even exponentiated
Strong applications to topology (continuous
deformations of shapes)
Any
ordinal number can be turned into a topological space
by using the order topology
Defined as the order type of a well-ordered set.
Brief History
Discovered (by accident) in 1883 by Georg Cantor to
classify sets with certain order structures
Georg Cantor
Known as the inventor of Set Theory
Established the importance of one-to-one
correspondence between the members of
two sets (Bijection)
Defined infinite and well-ordered sets
Proved that real numbers are “more
numerous” than the natural numbers
…
Well-ordered Sets
Well-ordering on a set S is a total order on S where
every non-empty subset has a least element
Well-ordering theorem
Equivalent to the axiom of choice
States that every set can be well-ordered
Every well-ordered set is order isomorphic (has the
same order) to a unique ordinal number
Total Order vs. Partial Order
Total Order
Antisymmetry - a ≤ b and b ≤ a then a = b
Transitivity - a ≤ b and b ≤ c then a ≤ c
Totality - a ≤ b or b ≤ a
Partial Order
Antisymmetry
Transitivity
Reflexivity - a ≤ a
Ordering Examples
Hasse diagram of a Power Set
Partial Order
Total Order
Cardinals and Finite Ordinals
Cardinals
Another extension of ℕ
One-to-One correspondence with ordinal numbers
Both
finite and infinite
Determine size of a set
Cardinals – How many?
Ordinals – In what order/position?
Finite Ordinals
Finite ordinals are (equivalent to) the natural numbers
(0, 1, 2, …)
Infinite Ordinals
Infinite Ordinals
Least infinite ordinal is ω
Identified by the cardinal number ℵ0(Aleph Null)
(Countable vs. Uncountable)
Uncountable many countably infinite ordinals
ω, ω + 1, ω + 2, …, ω·2, ω·2 + 1, …, ω2, …, ω3, …, ωω, …, ωωω, …, ε0, ….
Ordinal Examples
Ordinal Arithmetic
Addition
Add two ordinals
Not commutative ((1+ω = ω) ≠ ω+1)
Multiplication
Multiply two ordinals
Concatenate their order types
Disjoint sets S and T can be added by taking the order type of S∪T
Find the Cartesian Product S×T
S×T can be well-ordered by taking the variant lexicographical order
Also not commutative ((2*ω = ω) ≠ ω*2)
Exponentiation
For finite exponents, power is iterated multiplication
For infinite exponents, try not to think about it unless you’re Will
Hunting
For ωω, we can try to visualize the set of infinite sequences of ℕ
Questions
Questions?