Results 1 to 3 of 3

Math Help - Infimum

  1. #1
    Super Member
    Joined
    Aug 2009
    Posts
    639

    Infimum

    How do I prove that the inf(S) = -sup(-S) where -S={-s l s in S}?

    I thought the inf is the greatest lower bound and hence it should be sup (-S) ?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Apr 2005
    Posts
    15,541
    Thanks
    1394
    Quote Originally Posted by alexandrabel90 View Post
    How do I prove that the inf(S) = -sup(-S) where -S={-s l s in S}?

    I thought the inf is the greatest lower bound and hence it should be sup (-S) ?
    First, I note you have posted several questions on the "Number Theory" forum which have nothing to do with "Number Theory". Questions involving limits, inf, sup, etc. should be under "Calculus" or "Analysis".

    Second, suppose S= {x| x> 1}. Obviously, its inf is 1. Now, -S= {-x| x> 1}= {y| y< -1} (I multiplied both sides of x> -1 by -1 and then let y= -x). It should be obvious that sup -S= -1. That is, inf S= 1= - sup -S, not "sup -S".

    Now, as to the proof. Let a= inf(S). Then a is the "greatest lower bound" on S. Since a is a lower bound, if x is in S then x\ge a and, since a is the greatest lower bound, if b is any lower bound on S, a\ge b.

    Let y be any member of -S. Then x= -y is in S and so x= -y\ge a. Multiplying both sides of that by -1, -x= y\le -a so -a is an upper bound on S.

    To show it is the least upper bound, suppose b is any upper bound on -S. That is, if y is in -S, b\ge y. By definition of -S, For any x in S, x= -y for some y in -S. Since b\ge y, -b\le -y= x. Since x could be any member of S, -b is a lower bound on S. Since a is the greatest lower bound on S, a\ge -b. Now, multiply both sides of that by -1 to get -a\le b. That shows that -a is the least upper bound on -S, so inf(S)= -sup(-S).
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Super Member
    Joined
    Aug 2009
    Posts
    639
    ok i will take note that these type of questions should not be in the number theory forum. i thought that they are classified under this section.

    sorry about that.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Infimum of subsets
    Posted in the Calculus Forum
    Replies: 1
    Last Post: September 16th 2010, 07:19 AM
  2. Infimum and supremum
    Posted in the Differential Geometry Forum
    Replies: 4
    Last Post: February 9th 2010, 04:57 PM
  3. Infimum
    Posted in the Calculus Forum
    Replies: 6
    Last Post: December 16th 2008, 01:56 PM
  4. Infimum
    Posted in the Calculus Forum
    Replies: 5
    Last Post: November 4th 2008, 09:36 AM
  5. Infimum
    Posted in the Calculus Forum
    Replies: 2
    Last Post: September 12th 2008, 10:09 AM

Search Tags


/mathhelpforum @mathhelpforum