{"id":442,"date":"2007-06-12T21:31:55","date_gmt":"2007-06-12T21:31:55","guid":{"rendered":"http:\/\/scientopia.org\/blogs\/goodmath\/2007\/06\/12\/from-the-cardinals-to-the-ordinals\/"},"modified":"2007-06-12T21:31:55","modified_gmt":"2007-06-12T21:31:55","slug":"from-the-cardinals-to-the-ordinals","status":"publish","type":"post","link":"http:\/\/www.goodmath.org\/blog\/2007\/06\/12\/from-the-cardinals-to-the-ordinals\/","title":{"rendered":"From the Cardinals to the Ordinals"},"content":{"rendered":"

I’ve talked about the idea of the size<\/em> of a set; and I’ve talked about the well-ordering theorem, that there’s a well-ordering (or total ordering) definable for any set, including infinite ones. That leaves a fairly obvious gap: we know how big a set, even an infinite one is; we know that the elements of a set can be put in order, even if it’s infinite: how do we talk about *where* an element occurs in a well-ordering of an infinite set?
\nFor doing this, there’s a construction similar to the cardinal numbers called the *ordinal numbers*. Just like the cardinals provide a way of talking about the *size* of infinitely large things, ordinals provide a way of talking about *position* within infinitely large things.<\/p>\n


\nJust like the cardinals, with the ordinals, we can start with the natural numbers: 0, 1, 2, 3, representing the first, second, third, and fourth position in a well-ordered set. In fact, we’ll do more than that, and define them in terms of sets, using the same scheme we used before: 0=∅, 1={∅}, 2={∅,{∅}}, …, n+1=n∪{n}. So each number is *the set of numbers that preceeded it*.
\nWhat happens when we get to a set with cardinality ℵ0<\/sub>? To talk about the position of elements inside of that, we need something for representing the first position of an element *after* all of the finite ordinal positions. We use the symbol ω for the first transfinite ordinal. While we won’t get to ordinal arithmetic until a bit later, with ordinals, ω+1>ω: we’re not talking about size<\/em>: we’re talking about position<\/em>, and even when we get to the transfinite realm, there can be something *next to* an object in position ω, and since it’s in a distinct position, it needs a distinct transfinite ordinal.
\nWhen we talk about ordinals, there are three kinds of ordinal numbers. There’s zero, which is the position of the initial element of a well-ordered set. There are successor<\/em> ordinals, which are ordinals which we can define as as the next ordinal after (aka the successor to) some other ordinal; and there are limit<\/em> ordinals, which are ordinals that are neither 0 nor successor ordinals. ω is a limit ordinal: it’s the limit of the finite ordinals: as the first non-finite ordinal, every finite ordinal comes before it, but there is no way of specifying just what ordinal it’s the successor to. (There is no subtraction operation in ordinal arithmetic, so ω-1 is undefined.)
\nLimit ordinals are important, because they’re what gives us the ability to make the connection to positions infinite sets. A successor ordinal can tell us any position within a finite set, but it’s no good once we get to infinite sets. And as we saw with the cardinals, there’s no limit to how large sets can get – there’s an infinite number of transfinite cardinals, with corresponding sets.
\nSo how do we use transfinite ordinals to talk about position in sets? In general, it’s part of a proof using transfinite induction. So while we can’t necessarily specifically identify element ω of a set with transfinite cardinality, we can talk about the ωth element. The way that we do that is by isomorphism: every well-ordered set is isomorphic to the set-form of an ordinal. A set with N elements is isomorphic to the ordinal N+1. Then we can talk about the ωth element of an infinite set by talking in terms of the well-ordering and the isomorphism.
\nThis does, however, lead us to a problem. You see, by this process, you can use ordinals for indexing anything<\/em> with a well-ordering: not just sets. While there’s no *requirement* that classes in general must have well-orderings, there are<\/em> classes – even proper classes – which have well-orderings. Which means that the ordinals must be a proper class themselves: because proper classes are larger that the largest sets: so to be able to define a well-ordering on a proper class, there must be too many ordinals for the ordinals to be a set.
\nOne last tidbit for today. Ordinals and cardinals are clearly deeply connected. What’s the direct connection? The cardinal ℵ0<\/sub> is the cardinality of the set representation of ω. (It’s also the cardinality of ω+1, ω+1, etc.)<\/p>\n","protected":false},"excerpt":{"rendered":"

I’ve talked about the idea of the size of a set; and I’ve talked about the well-ordering theorem, that there’s a well-ordering (or total ordering) definable for any set, including infinite ones. That leaves a fairly obvious gap: we know how big a set, even an infinite one is; we know that the elements of […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[56],"tags":[],"class_list":["post-442","post","type-post","status-publish","format-standard","hentry","category-set-theory"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p4lzZS-78","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/442","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/comments?post=442"}],"version-history":[{"count":0,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/442\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/media?parent=442"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/categories?post=442"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/tags?post=442"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}