{"id":565,"date":"2019-06-29T22:26:27","date_gmt":"2019-06-29T22:26:27","guid":{"rendered":"http:\/\/funfacts.104.42.120.246.xip.io\/?page_id=565"},"modified":"2019-12-09T22:39:36","modified_gmt":"2019-12-09T22:39:36","slug":"ordinal-numbers","status":"publish","type":"page","link":"https:\/\/math.hmc.edu\/funfacts\/ordinal-numbers\/","title":{"rendered":"Ordinal Numbers"},"content":{"rendered":"\n

One of the most useful properties of the whole numbers is that every non-empty subset has a least element; this allows us to begin a process of “counting” by successively choosing least elements: 0, 1, 2, 3, 4, … Any (totally) ordered set which has this property is said to be well-ordered<\/em>. Using a well-ordering, we can define a notion of “counting” for sets of arbitrary size, not just ones with finitely many objects!<\/p>\n\n\n\n

Let % denote the empty set. Consider the following sequence of sets:<\/p>\n\n\n\n

%,\u00a0{%}<\/font>,\u00a0{%, {%}}<\/font>,\u00a0{%, {%}, {%,{%}}}<\/font>, …<\/p>\n\n\n\n

You can verify that these have 0, 1, 2, 3,… elements in them, respectively, and that each member of the sequence is the SET of all the sets that came before it.<\/p>\n\n\n\n

Formally an ordinal number<\/em> is any set which is (i) transitive (every member is a subset) and (ii) strictly well-ordered by the membership relation. For example, consider {%,{%},{%,{%}}}. The member {%,{%}} is in fact a subset consisting of the two elements % and {%}. The set is also well-ordered because % is a member of {%}, and % and {%} are both members of {%,{%}}.<\/p>\n\n\n\n

The sets defined above are ordinals. One can show that every ordinal S has a successor which is S union {S}. Moreover, every element of an ordinal is an ordinal, and the union of any set of ordinals is an ordinal.<\/p>\n\n\n\n

If we call the set % as “0”, the next set as “1”, etc., then consider the union all the sets {0,1,2,…}. This is another ordinal called “omega” and it is the first non-finite ordinal. It has a successor: omega union with {omega}, often called “omega + 1”. More ordinals can be obtained by continuing this succession, and taking the union of all these ordinals yields an ordinal we call “omega times 2”. Continuing this succession yields an ordering something like:<\/p>\n\n\n\n

0, 1, 2, …, omega, omega+1, omega+2, …, (omega)(2), (omega)(2)+1,…<\/p>\n\n\n\n

Somewhere beyond this there is the first uncountable ordinal. And there are many more ordinals than these!<\/p>\n\n\n\n

Two well-ordered sets have the same order type<\/em> if there is a 1-1 correspondence between them that preserves order. A surprising fact is that any well-ordered set has the same order type as one of the ordinals! Moreover, a famous theorem known as the Well-Ordering Theorem says that every set can be well-ordered, so ordinals give us a way of “counting” any set, even if it is not finite!<\/p>\n\n\n\n

Presentation\u00a0Suggestions:<\/strong>
Motivate this subject by having students think about what “counting” means and how one might systematically count a set of objects which is\u00a0uncountable.<\/p>\n\n\n\n

The Math Behind the Fact:<\/strong>
Ordinal numbers even have an interesting arithmetic: we can add two ordinals by concatenating their order types, and considering the ordinal that represents the new order type. This addition is not commutative! For instance, 1 + omega = omega, but this is not the same as omega + 1.<\/p>\n\n\n\n

Multiplication of two ordinals A and B can be defined as the ordinal representing the order type of B many copies of A, concatenated. Thus ordinal multiplication is not necessarily commutative, either, because (2)(omega) is (omega) which is not the same order time as (omega)(2).<\/p>\n\n\n\n

You can learn more about ordinal numbers in a course on set theory. Ordinal numbers form the basis of\u00a0transfinite induction<\/em>\u00a0which is a generalization of the principle of\u00a0induction. The Well-Ordering Theorem (on which the principle of transfinite induction is based) is equivalent to the\u00a0Axiom of Choice.<\/p>\n\n\n\n

How to Cite this Page:<\/strong> 
Su, Francis E., et al. “Ordinal Numbers.” Math Fun Facts<\/em>. <http:\/\/www.math.hmc.edu\/funfacts>.<\/p>\n\n\n\n

References: <\/strong>
Patrick Suppes, Axiomatic Set Theory<\/a><\/em>.<\/p>\n\n\n\n

Fun Fact suggested by: <\/strong>
Francis Su<\/p>\n","protected":false},"excerpt":{"rendered":"

One of the most useful properties of the whole numbers is that every non-empty subset has a least element; this...<\/p>\n","protected":false},"author":7,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"tags":[57,145,12],"class_list":["post-565","page","type-page","status-publish","hentry","tag-advanced","tag-axiom-of-choice","tag-other"],"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/565","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/comments?post=565"}],"version-history":[{"count":3,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/565\/revisions"}],"predecessor-version":[{"id":1557,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/565\/revisions\/1557"}],"wp:attachment":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/media?parent=565"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/tags?post=565"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}