Supremum and Infimum of a subset of R

  • Context: Undergrad 
  • Thread starter Thread starter Rubik
  • Start date Start date
  • Tags Tags
    Supremum
Click For Summary

Discussion Overview

The discussion centers around the concepts of supremum and infimum for subsets of the real numbers, specifically focusing on the set Ω = (1,7) ∪ [8,∞) and another set defined by the inequality |3x + 7| > 1. Participants explore how to determine these values and the conditions under which they exist.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Homework-related

Main Points Raised

  • One participant expresses confusion about calculating the supremum and infimum of the set Ω = (1,7) ∪ [8,∞) and suggests that the infimum is 1.
  • Another participant explains that the supremum exists if the set is bounded from above, while the infimum is the greatest lower bound. They argue that for the set Ω, it is not bounded above and is bounded below by any number less than or equal to 1.
  • A participant poses a new question regarding the set defined by the inequality |3x + 7| > 1, asking if there is a supremum for this set.
  • Another participant advises solving the inequality for explicit ranges of x to determine if there is a lowest number greater than all x in that range.
  • The same participant reiterates their question about the supremum of the set |3x + 7| > 1, indicating a need for further assistance and suggesting that they have not yet made progress on this problem.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the supremum of the set defined by |3x + 7| > 1, and there is ongoing confusion regarding the calculation of supremum and infimum for the discussed sets.

Contextual Notes

There are unresolved steps in determining the supremum for the set defined by |3x + 7| > 1, and the discussion reflects varying levels of understanding about the definitions and properties of supremum and infimum.

Rubik
Messages
95
Reaction score
0
I do not understand how to calculate the sup[tex]\Omega[/tex] and inf[tex]\Omega[/tex] of a subset of R. So for example calculating the sup and inf of [tex]\Omega[/tex] = (1,7)U[8,[tex]\infty[/tex]) and the answer is no sup and inf = 1. I do not know how to get these values?
 
Physics news on Phys.org
Let S be a set of real numbers. sup S exists if and only if S is bounded from above, i.e. if there exists a real number M such that for all x in S, x≤M. If this is the case, M is said to be an upper bound of S, and sup S is defined as the least (i.e. smallest) upper bound. (We don't have to prove that sup S exists, because its existence is part of the definition of the real numbers). This means that if M is an upper bound of S, then sup S≤M.

inf S is defined similarly, as the greatest lower bound of S. If S=(1,7)⋃[8,∞), then clearly, S isn't bounded from above, and is bounded from below by any number ≤1. Since inf S is the greatest lower bound of S, this means that 1≤inf S. So now we just need to prove that inf S≤1. This is almost obvious, but let's do it right: For every x>1, there exists a y in S such that y<x. This means that no real number >1 can be a lower bound of S. inf S is a lower bound, so it must be ≤1.
 
Okay so if I then have the set {x is an element of R : |3x + 7| > 1}

How do I get the sup of this set? Does that mean there is no sup?
 
Solve |3x + 7| > 1 for the explicit ranges of x. Then see if there is a lowest number higher than all of the x in that range.
 
Rubik said:
Okay so if I then have the set {x is an element of R : |3x + 7| > 1}

How do I get the sup of this set? Does that mean there is no sup?
I solved your first problem completely. If you want help with more, you need to show us your work so far, and where you're stuck. TylerH told you where you should start.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
9K
  • · Replies 0 ·
Replies
0
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K