Talk:Ordinal number

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Former good article Ordinal number was one of the Mathematics good articles, but it has been removed from the list. There are suggestions below for improving the article to meet the good article criteria. Once these issues have been addressed, the article can be renominated. Editors may also seek a reassessment of the decision if they believe there was a mistake.
WikiProject Mathematics (Rated B-class, High-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
B Class
High Importance
 Field: Foundations, logic, and set theory
One of the 500 most frequently viewed mathematics articles.

Replace order type by order isomorphic?[edit]

Although I wrote the initial sentence (an ordinal is the order type of a well-ordered set), I'm now having the following misgiving about it. Further down we mention the historical definition in terms of equivalence classes and say that this must be abandoned in ZFC. But the order type concept is intrinsically based on equivalence classes. The alert reader might find this bothersome.

One solution would be to preface the order-type definition with a suitable rider indicating that this definition is (pick one) intuitive, historical, or traditional, and then refer to the next one(s) as the modern definition(s). However the order-type definition is not really that intuitive anyway for people that don't routinely work with posets up to isomorphism (which readers would know that there are exactly two posets with two elements?), requiring further explanation in the lead to bring them up to speed on a concept that later on is going to be dismissed as outdated anyway. (I used it because I routinely work with abstract posets and this definition is more intuitive for me personally than any other, as it may well be to the other editors here for all I know, which would explain why no one's raised this issue before. Having had time to absorb the lessons of 9/11 I'm less evangelical about my world view than I used to be in all respects except evangelizing Alan Sokal to be less evangelical.)

I'm presently leaning towards starting out with one of the three definitions we say later on is equivalent to "ordinal". This will mean nothing to most of course, but I'm now persuaded that approximately the same is true of "order type." I do think we should start with a precise definition, but it should be as short as possible so as at least to create the appearance of understandability ("if I can just grasp the implications of those two words..."), and we should immediately give examples that build up intuition, perhaps based on the von Neumann definition, and make the point that no two ordinals are order isomorphic (even when they are isomorphic as sets, a detail that has confused some on this talk page), which conveys all the information that "order type" does without getting entangled in the much higher order concept of an equivalence class.

Sooner rather than later in the body we should go back to the definition in the first sentence and relate it to the von Neumann definition, pointing out that the evident fact that ordinals consist of ordinals is captured in the single word "hereditarily," and so on. We should also point out that (even without regularity) the finite ordinals are exactly the finite transitive sets, since (unless I'm confused) trichotomy follows by induction (is there a name for the smallest ordinal for which trichotomy does not follow by induction?). We should either argue how this works for each of 0,1,2 separately (probably not 3) or give the whole proof at once, whichever seems better; the former may be easier to follow. Also make the point that trichotomy is only needed to accommodate very large ordinals (wherever "very large" kicks in, my bad for not knowing). --Vaughan Pratt (talk) 07:34, 21 December 2008 (UTC)

Following up on the foregoing, I've written a new lead for the article. Please comment either way here. If and when some consensus emerges I'll either replace the current lead with the new one or delete the new one. --Vaughan Pratt (talk) 06:21, 23 December 2008 (UTC)

Haven't looked at it yet (by the way it probably shouldn't be in mainspace -- it would be better for you to move it to User:Vaughan Pratt/New lead for ordinal number). But for whatever it's worth I'd just like to say that an excellent intuitive introduction to the ordinals is in the Birthday Cantatatata fantasy in Gödel, Escher, Bach. In fact it was that that convinced me that there was an intuitive (i.e. non-formal but still precise) notion of ordinal number. --Trovatore (talk) 07:01, 23 December 2008 (UTC)
Oh, also: I definitely don't think it's a good idea to write the article as though "ordinal" is synonymous with "von Neumann ordinal". The von Neumann ordinals are as I see it a (remarkably convenient, but somewhat arbitrary) way of coding the ordinals as sets; they're not what ordinals are. --Trovatore (talk) 07:14, 23 December 2008 (UTC)
Oops, I screwed up. Usually I do put these candidates in my sandbox, but forgot to do so in this case. Thanks for pointing this out.
Should we put Hofstadter's account in the lead, or refer to it in the body?
Regarding what the ordinals "are", are you in the Wikipedia category "alert reader" referred to in the first paragraph of this section? Your view of them as an order type is dismissed at Ordinal_number#Definition_of_an_ordinal_as_an_equivalence_class as a now marginalized viewpoint inconsistent with ZF. I happen to like that view myself, which is why I put in the first sentence a while back (I'm in the "very slow to be alert" category). However the conception of an ordinal as a transitive set of ordinals has the distinct advantage of raising no foundational questions such as, what does it mean for ω to be a class? Intuitively we should know what a class is, which is presumably where Russell was coming from, but that's old-school foundations that have gone the way of Principia Mathematica. The modern definition of an ordinal is a hereditarily transitive set, which is to say, a transitive set of ordinals. This is not von Neumann's definition, and nowhere in my proposed lead is von Neumann mentioned (he belongs as a historical footnote in the body, having failed to come up with the transitive-set definition), but remarkably the two definitions turn out to be completely equivalent (the point of the two "remarkably"'s in my candidate lead, as well as the part where I said "only one set of each finite cardinality can be transitive," whose significance is admittedly easily overlooked).
If you disagree I would be very pleased to see your example of an element of a model of ZF that is a finite transitive set yet not a von Neumann ordinal. In light of the definition of an ordinal as a hereditarily transitive set I think you will find that there is nothing arbitrary about von Neumann's encoding, though I imagine von Neumann himself would have taken your side on that! As would have I before I saw what others had been getting at here, but perhaps not communicating as clearly as they might have. (The only entities I hate more than mathematicians are terrorists like Alan Sokal and computers. Dentists are fine, even cats are ok if you're patient with them. Perhaps I'm being unfair to mathematicians, I should group them with cats.) --Vaughan Pratt (talk) 05:57, 24 December 2008 (UTC)
Vaughan, I'm not going to attempt a point-by-point reply — it's too frustrating; you always throw out so many points.
Here's what I'm saying: I don't think we should say ordinals are hereditarily transitive sets, or even that they're order types viewed as equivalence classes. These are simply ways of coding the notion of ordinal so we can treat ordinals as sets. (I also disagree, by the way, that order types are equivalence classes — that's just another coding.)
But ordinals are not sets, not really, though . Cantor dealt with ordinals without treating them as sets at all. There was nothing wrong with his approach here. (There is something wrong, as we know, with assuming that all the ordinals can be gathered together into a completed totality, but that's a separate issue.)
So what I'm saying is, we should treat ordinals more or less as Cantor did (though of course using modern terminology rather than his awkward "numbers of the first class" and so on). Then we should explain how they can be coded as sets.
Really this isn't particularly different from how we treat the natural numbers. No one, I hope, really thinks that the number 3 is {0,{0},{0,{0}}}, nor that it's the class of all classes with three elements — again, these are just codings; we understand what the Platonic 3 is at a much deeper level, one that precedes all our formalisms. And the same is true of ω+1, though it's an intuition that takes longer to develop. --Trovatore (talk) 08:42, 24 December 2008 (UTC)
Sorry about the points---I should have just asked what you meant, which you explained just now.
But then are you suggesting that the ordinal article replace definitions with intuitions? If the article began "In philosophy" I'd be ok with that. If you're ok with intuitions in place of definitions in a mathematics article then we could consider changing the first sentence of Group (mathematics) to "In mathematics, a group is a monoid whose actions are invertible." --Vaughan Pratt (talk) 09:00, 24 December 2008 (UTC)
Let me put it this way. In the opening to natural number we don't define how naturals are coded as sets; we just explain what they are. I think that's the direction we should go, at the top of the article. Of course the situation is a little different here, because everyone already has a concept corresponding to the naturals, whereas many readers will need to create their concept of the ordinals. But it isn't that different. The ordinals we should be trying to explain, at the start, are Cantor's ordinals, not von Neumann's. Yes, of course they're really the same, but for Cantor's ordinals the representation is simply left unspecified, and I think that's the way to go in the lede. --Trovatore (talk) 19:18, 24 December 2008 (UTC)
Well, you're the one working in set theory, not me. If you tell me that "hereditarily transitive set" is only a representation for ordinals and not the actual definition I'll take your word for it (unless a horde of set theorists jumps on me and tells me otherwise). But in that case the article is worded misleadingly, and the distinction needs to be made clear. I propose to amend the statement where it misleadingly says an ordinal is a hereditarily transitive set and correct it to say that an ordinal can be represented as a hereditarily transitive set. This is an important distinction that needs to be made clear for any mathematical object. Is that ok with you? --Vaughan Pratt (talk) 22:30, 24 December 2008 (UTC)
That's certainly the solution I would prefer. Of course this preference is colored by my frankly Platonist POV. If there are objections from further "left" on the spectrum then it may be necessary to fin a compromise. --Trovatore (talk) 00:35, 25 December 2008 (UTC)
Did Plato identify things with classes, or is that how modern Platonists define things? My preference is to define mathematical objects in terms of what properties they have, e.g. an ordinal is a set (if you're happy with defining an ordinal to be a class then I'm not clear as to why defining it to be a set is any worse) having the property of being hereditarily transitive. Is that inconsistent with Platonism, and if so is there a name for that approach (to distinguish it from Platonism)? --Vaughan Pratt (talk) 02:00, 25 December 2008 (UTC)
I fear we're drifting again, but OK, it's interesting. I'm using Platonist imprecisely; I really mean realist. I don't see ordinals as being either sets or classes; to me they are sui generis abstract objects that logically precede sets. Oh, they're not necessarily prior to sets of atoms, but prior to sets in the sense that we think of them in set theory; that is, objects that show up at some point in the iterative hierarchy. In order to understand what a set is in that sense, you need to understand ordinals first, so it would be kind of circular if ordinals were sets.
Then, after the fact, you notice that ordinals can be represented as sets, and that this is a useful thing to do for all sorts of reasons, and from then on you normally don't bother to distinguish between abstract ordinals and ordinals represented as sets. --Trovatore (talk) 02:11, 25 December 2008 (UTC)
Very interesting. By a remarkable coincidence I was just writing today about a class of objects logically preceding sets, in that sets could be defined quite directly in terms of them. They weren't motivated by that however, but by Euclidean geometry. I figured no one would ever be interested in this other application of them (as a mathematical structure from which sets could be defined) because sets were already so entrenched in the mathematical consciousness, and so I dismissed that application out of hand. Perhaps that was premature, maybe there is an audience for that point of view after all. Though for you it would be competing with ordinals.
But now that I understand where you're coming from on this, it seems clear that you're a Russellian, thinking about sets the way Russell did, in terms of a type hierarchy. (Consistent with realism, in fact I guess you'd have to be a realist to accept ordinals sui generis.) So then do you postulate the ordinals in order to rank the sets (by birthday as Conway would put it), where the rank of a set is defined to be an ordinal? If so, do others at UCLA and Toronto view sets similarly today? Is ωω1 a perfectly fine rank for a set? --Vaughan Pratt (talk) 03:53, 25 December 2008 (UTC)

Trovatore, after two months I've come round to your point of view that the von Neumann ordinals are a coding of the ordinals. The reason I was reluctant to call them a coding before was because the coding is equivalent to defining the ordinals as the hereditarily transitive sets. In fact in my proposed replacement for the lead I defined the ordinals as the hereditarily transitive sets, and if I hadn't actually exhibited the first few such you might not have complained. However there is only one hereditarily transitive set of each finite cardinality, and when one exhibits the first few of them the natural reaction is yours: "Oh, he's coding the ordinals as von Neumann ordinals," even though what I was actually doing was exhibiting small hereditarily finite sets.

It turns out that "hereditarily transitive set" is not the most abstract definition of ordinal, in agreement with your intuition. Although you didn't volunteer a formal definition, here's one. Consider all semilattices L with sups less than some regular cardinal κ, equipped with a monotone unary operation s: LL. The initial such is the ordinal κ, its elements are the ordinals less than κ, and the monotone operation is successor. The von Neumann ordinals are less abstract in that in effect they make "inflationary" (xs(x)) a requirement in addition to "monotone" (xys(x) ≤ s(y)). This is unnecessarily concrete because in this larger category without the requirement of "inflationary" the resulting ordinals are inflationary anyway. (Not that I'm proposing to put that in the lead.) --Vaughan Pratt (talk) 22:21, 14 February 2009 (UTC)

Request for help - Possible Error in the article?[edit]

In the article is stated that the cardinality of Epsylon-null equals Aleph-null. This is not possible because,

  Card(Epsylon-null) ≥ Card(Omega^Omega)≥ Card(2^Omega) > Card(Omega) = Aleph-null. 

I guess I am missing something. Please, help. Boris Spasov, —Preceding unsigned comment added by 161.209.206.1 (talk) 20:53, 22 May 2009 (UTC)

What you're missing is that ordinal exponentiation is not the same as cardinal exponentiation. The symbol \omega^\omega is (in theory) ambiguous and could mean either of these. In practice, though, it means ordinal exponentiation, whereas you're apparently interpreting it as cardinal exponentiation. --Trovatore (talk) 05:04, 23 May 2009 (UTC)
See Ordinal arithmetic#Exponentiation. At the end of the section, it says:
Warning: Ordinal exponentiation is quite different from cardinal exponentiation. For example, the ordinal exponentiation 2ω = ω, but the cardinal exponentiation 2^{\aleph_0} is the cardinality of the continuum which is much larger than \aleph_0. To avoid confusing ordinal exponentiation with cardinal exponentiation, one can use symbols for ordinals (e.g. ω) in the former and symbols for cardinals (e.g. \aleph_0) in the latter.
The reason for the difference is that cardinal exponentiation counts all functions from the exponent to the base while ordinal exponentiation only counts functions which have finite support (i.e. all but finitely many elements of the exponent are mapped to the zero element of the base). Ordinal exponentiation must be so limited because one cannot effectively define a well-ordering of the power otherwise. JRSpriggs (talk) 09:37, 23 May 2009 (UTC)
Yeah, but insofar as this note is about usage rather than mathematics, it needs to be taken with a big grain of salt. It's actually quite common (at least on blackboards) for 2^\omega to be written for the cardinality of the continuum. And in fact unless there are clear contextual clues to the contrary you can be almost certain that that is what's intended. The reason is pretty obvious: because in the ordinal-exponentiation sense 2^\omega is just \omega\,\!, and not for any very deep or interesting reason, there's no reason to write 2^\omega for it. Whereas there is a reason to write it for the cardinality of the continuum — it's just easier to write than 2^{\aleph_0}. --Trovatore (talk) 09:53, 23 May 2009 (UTC)

Thank you for the simple and strait to the point explanation. I consider as a great advantage the very opportunity I got, to ask directly people like you, who know. Regards, Boris Spasov. —Preceding unsigned comment added by 173.51.255.161 (talk) 18:50, 23 May 2009 (UTC)

GA reassessment[edit]

Seeing as now the article has virtually no inline citations, and the fact that there are other posts requesting they be added on this talk page, I'm delisting this article. It can be re-nommed when this is fixed. Wizardman 19:33, 6 June 2009 (UTC)

First ordinal of cardinality 2^{\aleph_0}[edit]

Is there a standard symbol for the first ordinal of cardinality 2^{\aleph_0} (equal to \omega_1 in case the continuum hypothesis holds)? Ninte (talk) 07:51, 19 June 2009 (UTC)

No. At least none that's widely understood, and specific to ordinals. However it's standard to identify the cardinal with the first ordinal of that cardinality, and with that understood you can just call it 2^{\aleph_0}. The meaning of expressions like 2^{\aleph_0}+1 has to be worked out from context. --Trovatore (talk) 08:52, 19 June 2009 (UTC)
The notation \mathfrak{c} is also used for the cardiality of the continuum. Again, if you identify cardinals with initial ordinals, you can use this to refer to the corresponding ordinal. — Carl (CBM · talk) 13:31, 19 June 2009 (UTC)

What do the graphic figures show?[edit]

I am not seeing what the figures have to do with the subject of the article -- perhaps an explanation of the connection between the lines etc and ordinal numbers would help.

Specifically:

Are numbers represented by the lengths of the line segments, or the sapcing between them, or both? Why do both get smaller as one follows the spiral inward, or the graph from left to right? Is this intended to show perspective of what's "really" a 3-D graphic? Or maybe I am reading it backwards?

Why are there junctures where the progression jumps from tiny to large again? I'm guessing this is the transition from the last natural number to the start of omega as the base number, for example. But that suggests a huge jump in "size" from last natural number to omega, is that intended?

Bottom line, I guess I'm looking for some mapping between the numbers discussed in the article over to the graphic features in the figures. Gwideman (talk) 00:02, 19 December 2009 (UTC)

Perhaps you just misformulated, but if you actually think there is a "last natural number" then you have misunderstood ordinals.
Yes, I do understand that N doesn't just end at some point. :-) I should have spelled out: "this is the transition from the last graphic representation of a natural number to the start of the graphic representation of omega as the base..." Gwideman (talk) 01:26, 19 December 2009 (UTC)
The large bar at the top of the picture represents 0, the next one (a bit to the right and down) 1, then 2, and so on clockwise. The bar immediately below 0 represents ω. The numbers that approach it from the left must get smaller and smaller because they are infinitely many. The bar below ω is ω×2, then ω×3 and so on. These bars also must get smaller and smaller because there are infinitely many and the picture is finite. Hans Adler 00:21, 19 December 2009 (UTC)
It's true, though, that the height of the bars does not really need to shrink. The question is whether the shrinking heights make the picture clearer and more intuitive, or the opposite. On balance I think they probably make things clearer, but the question is not trivial. --Trovatore (talk) 00:40, 19 December 2009 (UTC)
Necessarily, a graphic that includes infinity, indeed several infinities, is going to need to be somewhat suggestive. My point here is that even the non-infinity-related aspects of the figure rely on guessing what the artist had in mind. It's looking like the line size and spacing is something like e^(-kn), with resetting of the scale for each transition from n to omega, omega to omega^2, etc. That's counter-intuitive in at least three ways, but that's OK if these counter-intuitive mappings are at least pointed out... especially if there's some ultimate payoff, such as the graphic highlighting some aspect of the topic that is otherwise hard to see. Gwideman (talk) 01:26, 19 December 2009 (UTC)

The caption does say, "Each turn of the spiral represents one power of ω". That seems quite concrete to me. At least this image is more apropos than a big picture of Cantor would be. However, it is not clear to me that the diagram is of ωω and not ω·ω. — Carl (CBM · talk) 01:31, 19 December 2009 (UTC)

Yes I see the caption, but I don't see that in the figure. At one full turn we get to ω1, right? Then what happens at turn 1.5? Aren't we supposed to wait until turn 2 until we get to ω2? If so, what are all the changes of scale between 1.5 and 2? Or is the caption really saying we get to ωω at 2 full turns? And ωωω at turn 3? But that also disagrees with the caption. Gwideman (talk) 09:00, 19 December 2009 (UTC)
I see it now, I wasn't looking closely enough. The first turn gets you one copy of ω. The second gets you ω copies of ω, which is ω2. The third turn gets you ω copies of ω2, and so on. — Carl (CBM · talk) 12:31, 19 December 2009 (UTC)
This makes me think about strictly increasing functions from countable ordinals into the real numbers. Perhaps it would be interesting to have a section or article on examples of such functions. What do you think? Unfortunately there is no systematic way to map all countable ordinals into the real numbers while preserving order. JRSpriggs (talk) 17:30, 20 December 2009 (UTC)
That does sound interesting, but I don't think it ought to be added unless someone has actually written about it elsewhere. Cheers, — sligocki (talk) 23:34, 20 December 2009 (UTC)

Please make the lead and intro sections more accessible[edit]

Hello, I would like to see something along the following lines; what I want is something far, far more accessible to lay readers. The heavier stuff could go in sections after the introduction.

  • Lead: In mathematics, an ordinal number, or just an ordinal, is used to indicate the size of a well-ordered set.
  • Introduction: For finite sets, the corresponding ordinals are just the natural numbers; the fact that a finite set is ordered some particular way does not matter for its size. However, when comparing infinite sets, different orderings make them compare differently even if they have the same cardinality. Ordinals can be added, multiplied, and exponentiated, and these operations obey much of the same laws as ordinary arithmetic (see Ordinal arithmetic).
  • Definitions:
    • <your favorite definition 1>.
    • <your second favorite>.

Yes, I know the style of imprecise statement I am suggesting in the lead flies in the face of the current Wikipedia tradition for mathematical and scientific articles. But I feel the current tradition is fundamentally misguided. The statement about ordering type is quite exact, I see nothing wrong with it (in spite of the objections in the discussion above) except that we are forcing 90% of the readers to read past the lead without understanding a iota. This percentage would have been much higher if not so many potential readers had already decided that the technical WP articles are unreadable and had stopped looking them up.

Either have a fairly arcane but veeery short first statement in the lead, and switch immediately to a more humane language, or just keep the lead a little less precise. Those in need of complete precision should read the definition and later sections anyway. The purpose of the lead is/should be to give as many readers as possible the closest possible idea of what the article is about in as few words as possible. With so many "as possible", some compromises must be struck.

Keep that statement (order types) but provide a little more context, and put it down in the definition section, approximately. Yes, people can look up order type, but then they probably have to look up 20 other terms -- of limited relevance for understanding the fundamental idea of ordinals, but you only know that after looking them up -- until the "head explodes moment" as another reader wrote in another talk page. All right, the actual order type page is among the better ones in this respect, but a good encyclopedia should not require its readers to be almost experts before reading an article. The initial parts of each article should be readable with a vocabulary much more basic than the subject of the article. "Order type" is not much more fundamental or widely known than "Ordinal number".

As to abstract versus concrete definitions, I doubt that the purest essence of the concept can be expressed in any language at all. Every verbal or formulaic definition must work through some form of encoding, and it will always be possible to abstract the "pure" concept further away from any formulation, however abstract it already is. As humans we reach the abstract notions only after working through some practical realizations of the concepts. As such, the purest essence is like knowledge of a city; you only acquire it after walking around for a while. The question of which definition to use is ultimately a practical one; if your purpose is fundamentally pedagogical you should perhaps choose a different definition than the one most practical for some actual computation or theoretical investigation. This being an encyclopedia, the pedagogical aspect should carry some weight. Since this 'pedia is (I believe) quite heavily used by students, it is a good thing to provide just the kind of informations that students need -- after the more introductory sections. (The article is already quite good for students, it's the lead and intro I am worried about.)

Please describe the canonical representation as transitive sets. Most books I have seen, and all my textbooks, said ordinals were those sets. (But see next paragraph). Notice that the WP article Order type says:

  • Every well-ordered set is order-equivalent to exactly one ordinal number. The ordinal numbers are taken to be the canonical representatives of their classes...

I have an introductory text prepared by Skolem in 1957 for his students where he writes (my translation from Norwegian): "In pure set theory it is most suitable to say that a set is ordered, more precisely: ordered by P, when P is a set of ordered pairs ...(details of transitive, total except for non-reflexive relations)... Cantor here introduced the concept of order type (my emphasis). He wrote M\simeq N when M can be mapped uniquely (or "clearly"; probably he meant bijectively) to N while keeping the order. It is clear that the relation \simeq is reflexive, symmetric and transitive, so that a division into classes arises. The class to which a set belongs is then its order type. (...) Cantor noted how the order types which he called ordinal numbers (my emphasis) of the well-ordered sets could again be ordered according to their sizes, and this ordering is again a well-ordering." Reference: Th. Skolem: Forelesninger i mengdelære (Lectures in set theory), Universitetets Matematiske Institutt, Oslo 1957.

According to Skolem, Cantor had noted that the numbers n/(n+1) together with 1 "clearly is of a different order type" (compared to the natural numbers). I find this case particularly instructive; it has a final or greatest member, yet it looks at first sight very similar to the set of natural numbers. This example could be included in the intro, to give a preliminary feeling of the reality of order types. (The order types article has other examples. But the Order Type article also talks about sets that are not well ordered, like the integers and the negative numbers that have no smallest element.

The current introduction (after the lead and the table of contents) has a readable style, but I am afraid that it is not quite exactly correct. The notion of ordinals is not so directly related to the position of a single element. You may perhaps object that the section does not say "of a single element", but that is what comes to my mind when I read it. The text reminds too much of the regular (not set theoretic) ordinal numbers. The notion of set-theoretic ordinal grew out of mappings, a way of comparing the sizes of two sets. We should stick with the concept of size, and explain that order matters for comparisons. We can think of cardinals as trying all possible pairings, and preferring the pairing that makes the sets equal, if such a way can be found. Ordinals works with well-ordered sets, and use the ordering to chose which elements to pair. That is why we fuzz about the ordering having to be a well-ordering: We need it to be able to chose the smallest next element from each set. Non-well-orderings don't have a smallest element, and so we have no preferred way of pairing the sets. Cacadril (talk) 17:09, 4 March 2010 (UTC)

It looks like you've put a lot of thought into this, and I haven't yet read your comments with the attention that they deserve. I would make one, perhaps fairly superficial, remark, though: I don't really agree that the most accessible way to motivate ordinals is via wellordered sets. I think it's even more basic than that.
Put simply, ordinals are the natural continuation of the natural numbers, thought of as "counting numbers", when you count past infinity. That statement as it stands is too simple and too vague even as an introduction; we have to maintain an encyclopedic tone. But that's the intuition we should be trying to reach. --Trovatore (talk) 22:22, 4 March 2010 (UTC)
I don't think any of us can "count past infinity". Dbfirs 22:26, 4 March 2010 (UTC)
Well, but only in the same sense that you can't count past a trillion; because you don't have time. --Trovatore (talk) 22:27, 4 March 2010 (UTC)
I tried, many years ago, when I has measles and was made to stay in bed, but I didn't make even a million! Dbfirs 22:36, 4 March 2010 (UTC)
Apologies for trivialising a serious discussion. I don't have sufficient expertise to contribute usefully, so I shouldn't have commented. Dbfirs 23:00, 4 March 2010 (UTC)
No no, no apologies needed. We're specifically talking about accessibility, so input from non-specialists is helpful. You seem to be an intermediate case anyway, holding an undergraduate math degree. --Trovatore (talk) 23:13, 4 March 2010 (UTC)
Thanks. I didn't include Georg Cantor's work in my degree, so I struggled (even as an Honour's mathematics graduate) with the concept in the introduction. In fact, I had to go to our article on Cardinal number to understand this article. It is certainly not easily accessible to those who are unfamiliar with set theory. Dbfirs 07:44, 8 March 2010 (UTC)
"In mathematics, an ordinal number, or just an ordinal, is used to indicate the size of a well-ordered set" is dead wrong. Never mind the informal language, the problem is that this does not describe ordinals, sizes of sets are indicated by cardinals. There is no way around referring to order types in one way or another (not necessarily naming them formally as such) in description of ordinals.—Emil J. 11:47, 5 March 2010 (UTC)
I agree with EmilJ. The word "size" means cardinality rather than order type, so it is wrong. JRSpriggs (talk) 03:11, 6 March 2010 (UTC)
Well, this is not really a fundamental objection. For size put length; no one can interpret that as "cardinality".
To me the more serious problem is that talking about "wellordered sets" before you talk about ordinals, then produces an apparent circularity when you go to say what sets are (objects that appear in the stage of the von Neumann hierarchy corresponding to some ordinal). We should strive to give an intuitive picture of ordinals that doesn't rely on sets at all. --Trovatore (talk) 03:20, 6 March 2010 (UTC)
Ordinals are a way of extending the natural numbers into the infinite which allows one to continue to do mathematical induction and recursive definitions via transfinite induction. JRSpriggs (talk) 04:23, 6 March 2010 (UTC)

Sacks[edit]

Who is Sacks and what text is referred to in the article? 145.118.72.144 (talk) 17:07, 27 March 2010 (UTC)

Sacks is clearly Gerald Sacks. Sacks' book Mathematical logic in the 20th century, was reprinted in 2003, but it doesn't seem to make much sense to cite it in this way. None of the older papers it reprints gives an in-depth introduction to ordinal numbers, and Sacks' introduction to the book doesn't go into any detail. Hans Adler 17:22, 27 March 2010 (UTC)
I am sure that is supposed to be Jech 2003, looking at the references section below. — Carl (CBM · talk) 14:14, 28 April 2010 (UTC)

Written for mathematicians?[edit]

Er, could someone make the first paragraphs of this (and the pages for cardinal and nominal numbers) simpler for laymen? As in, "An ordinal number is a number in a set, i.e. 1st, 2nd, 3rd." - The jargon is confusing, especially the stuff about hereditary transitive sets. 77.99.7.242 (talk) 13:23, 28 April 2010 (UTC)

I think you're looking for ordinal number (linguistics). --Trovatore (talk) 01:38, 29 April 2010 (UTC)
I came across this term when I was reading about infinity. I am usually not averse to mathematical definitions and jargon, and I understand how countable infinities like Natural numbers and Even numbers have same number of elements. However, I found this article incredibly hard (even after going through multiple links in the introduction for cardinals, well-ordered sets and so on). Is it possible to simplify this topic or is it too technical? Maybe give some concrete example like the table on this page. Also, I would like to take your attention to a well written article from NYTimes hoping it may help to tone down the introduction. Thanks! — Preceding unsigned comment added by 118.95.28.36 (talk) 23:41, 18 August 2012 (UTC)
I should have read this before I went to the trouble to write my own complaint, because you've already said it. I agree with you completely, this was written to an expert, not for a layman. I feel like the "genius" whats-his-name on the Big Bang Theory is talking at (not to) me. But then, in my experience, that is the single most consistent mistake made in Wiki. Pb8bije6a7b6a3w (talk) 15:13, 10 June 2014 (UTC)

I agree with the former comment. This is written by mathematicians for mathematicians. I now realises that. Ordinal number (linguistics) is where normal "ordinal numbers" are... But that is not really linguistics? Would it be possible (I wouldn't know how!!) for this article to be named "ordinal numbers in set theory". ...and the other one just "ordinal numbers"? I know the mathematicians will hate that, because you have a very different perspective to me, but I expect most people visiting this page are.... confused! We don't think we are looking for "linguistics" or anything. This is just about the first time I looked something up on Wikipedia and then gave up and looked it up on a desktop encyclopaedia instead! RBJ (talk) 06:20, 10 May 2013 (UTC)

I think that most people who reach this article are looking for "ordinal number" in the mathematical sense of order types, not for "first", "second", "third", "fourth", etc.. The linguistic use may be more common, but it is not something that people would normally go to an encyclopedia to study. JRSpriggs (talk) 10:18, 10 May 2013 (UTC)
According to the page view stats for the last month, this article gets about 1,000 views per day, whereas Ordinal number (linguistics) about 200. This does not say how many users should be discounted as they end up here in error while looking for the other article, but assuming that most would realize this and follow the hatnote link, the numbers confirm your suspicion. (I wonder what happened on April 12.)—Emil J. 11:03, 10 May 2013 (UTC)

Topological limit?[edit]

In section 4.3 (successor and limit ordinals) the article states "that a limit ordinal is indeed the limit in a topological sense". I think its not the limit, but the colimit / direct limit. Just calling it topological limit might be confusing for people with topological background or for someone who tries to look up what this phrase means. Stephanie 85.176.206.253 (talk) 12:49, 16 May 2010 (UTC)

We are talking about topology, not category theory. In the order topology, a limit ordinal is a cluster-point (limit) of the set of smaller ordinals. In other words, any open interval {x|α<x<β} which contains the limit ordinal must contain some smaller ordinals. JRSpriggs (talk) 14:13, 16 May 2010 (UTC)


Some Examples?[edit]

It seems to me that this page could be improved with an example or two from the 'well-ordered' page. That is, compare

  { 0, 1, 2, ... } and { 1, 2, .... 0 ) and { 0, 2, 4, 6, ... 1, 3, 5, ... } and their ordinals.

Bmargulies (talk) 15:45, 23 April 2011 (UTC)

Errors?[edit]

There seem to be errors in the article, but I don't know if they actually are errors. Could someone with more knowledge check this? For example, in the very first section it says:

Two sets S and S' have the same cardinality if there is a bijection (i.e. one-to-one onto function) f which maps each element x of S to a unique element y = f(x) of S' and each element y of S' comes from exactly one such element x of S. S and S' are order isomorphic if there is a partial ordering < defined on S and a partial ordering <' defined on S' , such that the function f preserves the ordering. That is, f(a) <' f(b) if and only if a < b. Every well ordered set S is order isomorphic to exactly one ordinal number.

That paragraph defines two sets to be "order isomorphic" if a partial order exists that has certain properties. But such a partial order will ALWAYS exist. The "empty" partial order (where nothing in the universe is comparable to anything else) will satisfy this definition. And I don't think the term "order isomorphic" even applies to sets. It applies to posets. So it seems like the correct version of this paragraph would be:

Two sets S and S' have the same cardinality if there is a bijection (i.e. one-to-one onto function) f which maps each element x of S to a unique element y = f(x) of S' and each element y of S' comes from exactly one such element x of S. If a partial order < is defined on set S, and a partial order <' is defined on set S' , then the posets (S,<) and (S' ,<') are order isomorphic if there is a function f that preserves the ordering. That is, f(a) <' f(b) if and only if a < b. Every well ordered set (S,<) is order isomorphic to exactly one ordinal number.

I think it's common mathematical slang to call a poset a "set", if it's clear from context that "poset" was meant. Even the term "well ordered set" is guilty of this, because a "well ordered set" isn't a set. It's a (set, order) pair. But for this particular article, I think it would be much clearer for the reader if the article kept the distinction between the two clear.

I won't make the above change myself, but could someone who knows this subject make the appropriate changes? — Preceding unsigned comment added by 70.113.33.136 (talk) 21:16, 3 February 2013 (UTC)

Actually, your understanding is fine. I suggest that you go ahead and make the changes. If there are any problems with them, someone will correct you.
The only change in what you said that I would suggest is to specify that the ordering on the ordinal is the element relationship. JRSpriggs (talk) 04:11, 4 February 2013 (UTC)

Simplify intro please![edit]

If a non-adept can read the intro and has no idea what's being discussed without looking other terms up, it's a bad intro for an encyclopedia. I'd give you an example, but I don't know what you're talking about. FYI - I have a BS in mechanical Engineering, so I've had my nose rubbed in some math.Pb8bije6a7b6a3w (talk) 15:01, 10 June 2014 (UTC)