Results 1 to 2 of 2

Math Help - WellOrdering Theorem Proof

  1. #1
    Newbie
    Joined
    Mar 2013
    From
    France
    Posts
    1

    WellOrdering Theorem Proof

    Hello
    I've been going through a proof of Zermelo's Theorem of Well Ordering, but there's a step that I don't quite understand:
    WellOrdering Theorem Proof-proofsnippet.png
    It's showing that \phi is well-ordered. Why does it follow from the fact that T is in V? From this I gather that every non-empty subset has a largest element. I can see that this defines a well-ordering, but not that the inclusion order we're working with is one. I thought maybe they meant a well-ordering exist, but at the end they construct an order on S that is preserved under inclusion in \phi, so they must mean that inclusion is the well-order.

    Little help clarifying, please?
    Attached Thumbnails Attached Thumbnails WellOrdering Theorem Proof-proofsnippet.png  
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member
    Joined
    Dec 2012
    From
    Athens, OH, USA
    Posts
    638
    Thanks
    257

    Re: WellOrdering Theorem Proof

    A total ordering < on a set is a well ordering iff for any non-empty subset V, there is a least element of V. That is there is v in V with v\leq w for all w in V. In particular for set inclusion as <, to show V has a least element, it is clear that T= intersection of all elements of V (subsets of the original S) has the property that T\leq w for all w in V. So the only thing to verify is that T is in V.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Big Oh theorem proof.
    Posted in the Advanced Applied Math Forum
    Replies: 1
    Last Post: October 14th 2012, 11:08 PM
  2. who can proof the lie's theorem?
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: December 28th 2011, 07:26 AM
  3. Proof of theorem...
    Posted in the Advanced Statistics Forum
    Replies: 1
    Last Post: January 31st 2010, 02:40 PM
  4. proof using mean value theorem
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: November 16th 2009, 04:50 PM
  5. Proof using Mean Value Theorem
    Posted in the Calculus Forum
    Replies: 4
    Last Post: September 19th 2008, 04:16 AM

Search Tags


/mathhelpforum @mathhelpforum