Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Set of countable ordinals

  1. Mar 12, 2005 #1
    I can't get a good intuitive grasp on this set. Folland defines it as follows:

    My questions / problems with it are somewhat as follows:

    1) I don't see how the set can be uncountable if any initial segment is countable.

    2) How do we know that the element x0 used in the proof exists?
  2. jcsd
  3. Mar 12, 2005 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    If you want an analogy, consider the first infinite ordinal, [itex]\omega[/itex]. While it is an infinite ordinal, but every initial segment is finite... if you can understand this, you should be able to understand the first uncountable ordinal.

    x0 exists because ordinals are well ordered. Any collection of ordinals has a smallest element.
  4. Mar 13, 2005 #3


    User Avatar
    Science Advisor
    Homework Helper

    Did you understand Hurkyl's response to your question?

    I.e. either you meant to ask: why does it follow logically that the statements given are true? (which is an immediate consequence of their definitions and of logic)

    or you meant to ask: "I understand the proof, but how can this be possible?"

    Hurkyl answered the second version of your question.

    re-reading, it seems your question 1) was the psychological one,
    and your 2) was a (tauto)logical one.

    ah yes, you said you wanted an intuitive grasp of the set, so Hurkyl understood you correctly.
    Last edited: Mar 13, 2005
  5. Mar 15, 2005 #4
    Thanks Hurkyl - after reading your response, I went back and checked. Turns out my understanding of well-ordering was incorrect; I now get the logic. The analogy gave me food for thought, so I will think on it for now and see if I can persuade myself that it works.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook