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

Check my alternate proof, please

  1. Jan 17, 2007 #1
    prove that if A has the least upper bound property, then it also has the greatest lower bound property.

    the least upper bound property means that if A has an upper bound, then it also has a least upper bound. the greatest lower bound property means that if A has a lower bound, then it also has a greatest lower bound..

    the common proof is to simply show that the least upper bound of all the lower bounds of a subset B of A is equal to the greatest lower bound of B. i know about this proof, but i came up with my own proof (and my own lemma). can someone check if it is correct? i personally found no logical error. i typed it out in ms word (with capitilized sentences).

    my idea was to first show that if < is an order relation, then > is also an order relation, then you can imagine what i did next (lack of glb would mean lack of lub, a contradiction).

    Attached Files:

    Last edited: Jan 17, 2007
  2. jcsd
  3. Jan 18, 2007 #2


    User Avatar
    Science Advisor

    I have absolutely no idea how you think anyone can check if what you did is correct when you expect us to "imagine" what you did!

    Part of the problem may be reflected in your reference to A having the upper bound property. It makes no sense to talk about a set alone having the upper bound property: the set must have a specific order relaion on it.

    Assuming that set A, with order relation <, has the least upper bound property, you cannot simply assume that A, with > order, also has the least upper bound property.
    Last edited by a moderator: Jan 18, 2007
  4. Jan 18, 2007 #3
    did you read my proof in the ms word attachment? so my lemma proof is correct, but the main proof is wrong because A does not have the least upper bound property in the second order relation?
  5. Jan 18, 2007 #4
    yes, you are correct! i failed to realize that the least upper bound property only applies to a SPECIFIC order relation--not all possible order relations. i didn't read the definition carefully. i'm sure the proof of my lemma is correct though. thanks a lot.
    Last edited: Jan 18, 2007
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook