Proving Inequalities Between Infimum and Supremum in Subset Relations

  • Context: Graduate 
  • Thread starter Thread starter MathematicalPhysicist
  • Start date Start date
  • Tags Tags
    Review Supremum
Click For Summary

Discussion Overview

The discussion revolves around proving inequalities involving the infimum and supremum of sets, specifically when one set is a subset of another. The focus is on the relationships between the infimum and supremum of two non-empty sets A and B, where A is a subset of B, and B is a subset of the real numbers.

Discussion Character

  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant proposes that if infA is in A, then infA is also in B, leading to the conclusion that infB ≤ infA.
  • Another participant suggests that if infA is not in A, then for every ε > 0, infA + ε is in A, which implies infA is in B, and thus infA + ε ≥ infB.
  • A challenge is raised regarding the necessity of using ε > 0 in the proof, with a request for clarification on how to apply the original definition of infimum.
  • Another participant agrees with the general reasoning but expresses confusion about a specific part of the argument involving a variable c.

Areas of Agreement / Disagreement

Participants generally agree on the relationships between the infimum and supremum but express differing views on the necessity and application of ε in the proof. The discussion remains unresolved regarding the clarity of certain steps in the argument.

Contextual Notes

Some assumptions about the definitions of infimum and supremum may not be explicitly stated, and there are unresolved mathematical steps regarding the use of ε in the proof.

MathematicalPhysicist
Science Advisor
Gold Member
Messages
4,662
Reaction score
372
i need to show that when A is a subset of B and B is a subset of R (A B are non empty sets) then: infB<=infA<=supA<=SupB

here's what i did:
if infA is in A then infA is in B, and by definition of inf, infB<=infA.
if infA isn't in A then for every e>0 we choose, infA+e is in A and so infA is in B, so infA+e>=infB, we can find e'>0 such that infA+e>=infB+e'>infB
so we have: infA-infB>=e'-e, let e=e'/2 then we have infA-infB>e'/2>0 so we have infA>infB. (is this method correct?).
obviously supA>=infA by definition.
i think that the same goes for supA and supB, with suitable changes.
 
Last edited:
Physics news on Phys.org
You don't need to use an e>0. Go back to the original definition of inf in terms of just \leq.
 
how exactly to use it?
i mean if a is in A then a is in B, infA<=a so for every c<=a infA>=c
because a is in B also then a>=infB, but because infA is the greatest lower bound then we have infB<=infA, correct?
 
Everything there sounds right except for that thing with c which I didn't follow.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
8K
  • · Replies 5 ·
Replies
5
Views
5K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
3K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 11 ·
Replies
11
Views
10K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 14 ·
Replies
14
Views
5K