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
SUMMARY

This discussion focuses on proving the relationship between the infimum and supremum of two sets A and B, where A is a subset of B. The conclusion drawn is that if A and B are non-empty sets, then the inequalities infB ≤ infA ≤ supA ≤ supB hold true. The proof involves analyzing the definitions of infimum and supremum, particularly emphasizing the properties of greatest lower bounds and least upper bounds. The participants clarify the logical steps needed to establish these inequalities, particularly the role of elements in the sets and their bounds.

PREREQUISITES
  • Understanding of set theory, particularly subset relations
  • Familiarity with the concepts of infimum and supremum
  • Knowledge of inequalities and their properties
  • Basic mathematical proof techniques
NEXT STEPS
  • Study the definitions and properties of infimum and supremum in real analysis
  • Explore examples of subset relations and their implications on bounds
  • Learn about the completeness property of real numbers
  • Investigate advanced proof techniques in mathematical analysis
USEFUL FOR

Mathematics students, educators, and anyone interested in real analysis or set theory, particularly those studying properties of bounds in mathematical sets.

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
4K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 11 ·
Replies
11
Views
9K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 14 ·
Replies
14
Views
4K