Can the empty set be used to satisfy inf(B) ≥ sup(B)?

  • Thread starter Thread starter RJLiberator
  • Start date Start date
  • Tags Tags
    Set
Click For Summary
SUMMARY

The discussion confirms that the empty set can be used to satisfy the condition inf(B) ≥ sup(B). Specifically, it establishes that inf(empty set) equals ∞ and sup(empty set) equals -∞, making the inequality valid. Additionally, the example set B = {4} is presented, where both inf(B) and sup(B) equal 4, further supporting the conclusion that inf B ≥ sup B holds true. The reasoning emphasizes that all statements about the elements of the empty set are true, reinforcing the validity of the findings.

PREREQUISITES
  • Understanding of infimum and supremum in partially ordered sets
  • Familiarity with mathematical notation and terminology
  • Basic knowledge of set theory
  • Ability to interpret inequalities in mathematical contexts
NEXT STEPS
  • Study the properties of infimum and supremum in more complex sets
  • Explore examples of partially ordered sets beyond the empty set
  • Learn about the implications of the empty set in different mathematical contexts
  • Investigate the concept of bounds in real analysis
USEFUL FOR

Mathematicians, students studying real analysis, and anyone interested in set theory and the properties of infimum and supremum.

RJLiberator
Gold Member
Messages
1,094
Reaction score
63

Homework Statement


Find an example set, B where inf B ≥ sup B.

Homework Equations


For reference, the definitions https://en.wikipedia.org/wiki/Infimum_and_supremum :
"In mathematics, the infimum (abbreviated inf; plural infima) of a subset S of a partially ordered set T is the greatest element in T that is less than or equal to all elements of S, if such an element exists. Consequently, the term greatest lower bound (abbreviated as GLB) is also commonly used.

The supremum (abbreviated sup; plural suprema) of a subset S of a partially ordered set T is the least element in T that is greater than or equal to all elements of S, if such an element exists. Consequently, the supremum is also referred to as the least upper bound (or LUB)."

The Attempt at a Solution



I have been reading that if we take the empty set we find that inf(empty set) = ∞ and suprema(empty set) = -∞.

While this is not intuitive, it makes sense after some observations.

If I define my set as the empty set, I have suceeded in finding a set where inf B ≥ sup B.

Correct?

Outside of this, I would think if I had the set B = {4} that the inf(B) = 4 and sup(B) = 4. Thus, inf B ≥ sup B. Correct?
 
Physics news on Phys.org
Yes, this is correct. The reason is that every statement about the elements of the empty set is true. In this case all numbers are upper and lower bounds for them, or as I like to say: the elements of the empty set have purple eyes. Your statement about ##\{4\}## is trivially true as well.
 
  • Like
Likes   Reactions: RJLiberator
Excellent, I thank you.
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
9K
Replies
4
Views
1K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
6K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 25 ·
Replies
25
Views
3K
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K