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

Greatest lower bound

  1. Apr 2, 2007 #1
    please i need your help!

    prove: "A nonempty set of real numbers bounded from below has a greatest lower bound."
  2. jcsd
  3. Apr 2, 2007 #2


    User Avatar
    Staff Emeritus
    Science Advisor

    This looks like homework. What thoughts do you have on the question? What is the definition of the greatest lower bound of a set?
  4. Apr 2, 2007 #3
    A lower bound of a non-empty subset A of R is an element d in R with d <= a for all a A.
    An element m in R is a greatest lower bound or infimum of A if
    m is a lower bound of A and if d is an upper bound of A then m >= d.
    Last edited: Apr 2, 2007
  5. Apr 2, 2007 #4


    User Avatar
    Staff Emeritus
    Science Advisor

    Ok, so here A is bounded below, so this tells you that there exists a lower bound to A. It may now be helpful to consider the set
    -A:={-x:x∈A}, and use the completeness axiom to find the least upper bound on -A. The relationship between A and -A should help you find the greatest lower bound of A.
  6. Apr 5, 2007 #5
    this is not number theory

    this is not number theory, but it is instead mathematical analysis.

    it is a very basic result that has been used to construct the real numbers and i think you will find it in any standard intro to analysis textbook (i personally recommend principles of mathematical analysis by Walter Rudin).

    hope it helps

    Aditya Babel
  7. Apr 5, 2007 #6


    User Avatar
    Staff Emeritus
    Science Advisor

    Mariouma and Cristo are assuming that you are allowed to use the fact that "if a set of real numbers has an upper bound then it has a least upper bound"- what Cristo called the "completeness axiom". Is that true?

    adityab88 is, I think, assuming that you have to prove that completenss axiom from the definition of the real numbers. It very easy to do that from the Dedekind cut definition of the real numbers.
  8. Apr 6, 2007 #7
    dedekind cuts/ cauchy sequences

    precisely. dedekind cuts or even cauchy sequences can be used prove such a statement.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?