What is the Relationship Between inf(S) and -sup(-S)?

  • Thread starter Thread starter SMA_01
  • Start date Start date
Click For Summary

Homework Help Overview

The discussion revolves around proving the relationship between the infimum of a set S and the supremum of its negation, specifically that inf(S) = -sup(-S). The context is set within real analysis, focusing on properties of bounds in subsets of ℝ.

Discussion Character

  • Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • The original poster attempts to establish the proof by defining inf(S) and exploring its implications. Some participants suggest demonstrating that -x serves as an upper bound for -S and question the reasoning behind the inequalities involved.

Discussion Status

The discussion is ongoing, with participants exploring the necessary conditions for the proof. There is an exchange of ideas regarding the relationships between the elements of S and their negations, but no consensus has been reached yet.

Contextual Notes

Participants are navigating the definitions of infimum and supremum, and there is some uncertainty regarding the manipulation of inequalities when transitioning between S and -S.

SMA_01
Messages
215
Reaction score
0
Prove inf(S)=-Sup(-S)??

Homework Statement




Let S,T be subsets of ℝ, where neither T nor S are empty and both Sup(S) and Sup(T) exist.

Prove inf(S)=-sup(-S).

Starting with =>

I let x=inf(S). Then by definition, for all other lower bounds y of S, x≥y.

I'm stuck at this point...

Any help please?

Thanks
 
Physics news on Phys.org


You have to show two things:

  • -x is an upper bound of -S
  • If y is another upper bound of -S, then -x\leq y

So, in order to prove that -x is an upper bound of -S. Take an element -s from -S and prove -s\leq -x. Why is that true?
 


I'm not following along, why would -s≤-x? Unless you mean if I multiply both side by (-1), then it would be x≤s? Or am I totally off on a tangent?
 


SMA_01 said:
I'm not following along, why would -s≤-x? Unless you mean if I multiply both side by (-1), then it would be x≤s? Or am I totally off on a tangent?

If -s \in -S, then s \in S. And by definition, x is a lower bound of S...
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
5K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 25 ·
Replies
25
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K