Results 1 to 9 of 9

Math Help - Question about upper bounds for sets of ordinals.

  1. #1
    Junior Member
    Joined
    Jul 2010
    Posts
    28

    Question about upper bounds for sets of ordinals.

    Hi,

    I need to show that there is a set A of ordinals (von Neumann) with a largest element a such that UA (union of A) is strictly less than a. But if a is an element of A and UA is in a, then UA is an element of itself.

    I'm probably missing something very simple here, but any help would be much appreciated.

    Regards
    Sam

    For reference, the problem is in Discovering Modern Set Theory: The ... - Google Books

    page 159.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Joined
    Jul 2010
    Posts
    28
    Sorry, I just realized that the page 159 isn't on google books, so here's the problem in full:

    "Exercise12: (a) show that if A is a set of ordinals that contains a largest element alpha then UA is less than or equal to alpha.
    (b) give examples of A and alpha as in point (a) such that:
    (b1) UA = alpha
    (b2) UA is strictly less than alpha"

    And it's b2 that I'm having trouble with.

    Again, any help would be great.

    Regards
    Sam
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785
    I agree, this is puzzling. If \alpha\in A, then \alpha\subseteq\bigcup A by the axiom of union. Therefore, if \bigcup A<\alpha, i.e., if \bigcup A\in\alpha, then \bigcup A\in\bigcup A, which cannot be.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Junior Member
    Joined
    Jul 2010
    Posts
    28
    Thanks for the reply!

    I'm glad you agree. I might just have to assume that they made a mistake. If they meant something else, I can't figure it out.

    Regards
    Sam
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Senior Member
    Joined
    Feb 2010
    Posts
    466
    Thanks
    4
    I looked at the book. As far as I can tell (maybe I'm mistaken?), that exercise is incorrectly written.

    The exercise should be just this:

    Exercise12: show that if A is a set of ordinals that contains a largest element alpha then UA EQUALS [this is what I changed] alpha.

    So (b1) is subsumed already; there is no need for examples, since it holds for ALL sets as described above. And the incorrect (b2) is deleted.

    Or are the authors perhaps asking you to say to (b2) "There are no such examples."?

    Please tell us what your instructor says about this.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Junior Member
    Joined
    Jul 2010
    Posts
    28
    Hi MoeBlee,

    I don't have an instructor, sorry. I might just e-mail one of the authors and ask (I also can't find a corrections page for the book), but will post back here if I get a reply.

    Regards
    Sam
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Senior Member
    Joined
    Feb 2010
    Posts
    466
    Thanks
    4
    Yes, I would be very interested in what the authors say. Thanks.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Junior Member
    Joined
    Jul 2010
    Posts
    28
    Hi MoeBlee,

    Winfried Just said:

    "Sam,

    this morning I did look at the (fortunately quite small, but nevertheless
    nonempty) list of known mistakes that I keep in case this book ever will
    have another edition. It says:

    "page 159, Exercise 12(b): This is nonsense."

    I guess this answers your question.
    Sorry for the confusion we caused"

    So there you are! :-)
    Follow Math Help Forum on Facebook and Google+

  9. #9
    Senior Member
    Joined
    Feb 2010
    Posts
    466
    Thanks
    4
    Very good. Thanks.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 2
    Last Post: January 30th 2010, 04:56 AM
  2. Upper bounds
    Posted in the Calculus Forum
    Replies: 3
    Last Post: July 31st 2009, 07:10 AM
  3. least upper bounds!
    Posted in the Calculus Forum
    Replies: 0
    Last Post: November 10th 2008, 01:41 PM
  4. Greatest lower bounds and least upper bounds
    Posted in the Calculus Forum
    Replies: 3
    Last Post: March 31st 2008, 07:31 PM
  5. more help upper bounds
    Posted in the Calculus Forum
    Replies: 2
    Last Post: November 14th 2006, 09:00 PM

Search Tags


/mathhelpforum @mathhelpforum