Results 1 to 5 of 5

Math Help - least upper bound property

  1. #1
    Newbie
    Joined
    Apr 2009
    Posts
    4

    least upper bound property

    Hi can I get some help with the following theorem I need to prove:

    Let A be a subset of the ordered set X. If A has an upper bound then A has a least upper bound..


    Thanks!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member Showcase_22's Avatar
    Joined
    Sep 2006
    From
    The raggedy edge.
    Posts
    782
    If A has an upper bound then A has a least upper bound.
    I think it can be done this way:

    From the question we know that A has an upper bound. Let's suppose A has two upper bounds \alpha and \beta with \alpha \neq \beta.

    \alpha \neq \beta \Rightarrow \ \alpha < \beta ( \beta < \alpha is also valid but i've decided to choose \alpha < \beta).

    Hence A has a least upper bound which is \alpha.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,794
    Thanks
    1689
    Awards
    1
    What if X = \mathbb{Q}\;\& \;A = \left\{ {x \in \mathbb{Q}:x^2  < 2} \right\}, \mathbb{Q} is the set of rationals.
    Is A bounded above by 2?
    But can A have a least upper bound? No!
    So the statement if false without some more given conditions.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Super Member Showcase_22's Avatar
    Joined
    Sep 2006
    From
    The raggedy edge.
    Posts
    782
    but isn't the least upper bound \sqrt{2}, it's just that \sqrt{2} isn't in the set?
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,794
    Thanks
    1689
    Awards
    1
    Quote Originally Posted by Showcase_22 View Post
    but isn't the least upper bound \sqrt{2}, it's just that \sqrt{2} isn't in the set?
    That is the whole point! The LUB must be in the space you are dealing with.
    In that example, all you have is the set of rational numbers.
    You do not have \sqrt 2 to even consider.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: February 20th 2011, 04:11 PM
  2. Replies: 4
    Last Post: February 27th 2010, 02:44 PM
  3. Least Upper Bound Property
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: February 27th 2010, 02:23 PM
  4. Quick Question - Least Upper Bound Property
    Posted in the Differential Geometry Forum
    Replies: 0
    Last Post: October 27th 2009, 07:15 AM
  5. Least Upper Bound Property Proof
    Posted in the Calculus Forum
    Replies: 6
    Last Post: September 8th 2008, 05:34 AM

Search Tags


/mathhelpforum @mathhelpforum