Confused by separate definitions of sets which are bounded above

Click For Summary

Discussion Overview

The discussion centers around the definitions of a set being bounded above in the context of real analysis. Participants explore the implications of two different definitions regarding the existence of an upper bound and the conditions under which a set can be considered bounded above.

Discussion Character

  • Conceptual clarification
  • Debate/contested

Main Points Raised

  • One participant presents two definitions of a set being bounded above, highlighting the difference in the requirement for the upper bound M to be greater than 0 in the first definition.
  • Another participant argues that the first definition does not exclude the possibility of an upper bound M being less than 0, suggesting that M > 0 is not a strict requirement for the concept of boundedness.
  • A later reply seeks clarification on whether the existence of an M > 0 is necessary for a set to be bounded above, while also acknowledging that an M < 0 could serve as an upper bound.
  • Another participant counters by stating that the existence of any M, regardless of its sign, is both necessary and sufficient for a set to be defined as bounded above, emphasizing that the sign of M is not relevant.

Areas of Agreement / Disagreement

Participants express differing views on the necessity of the condition M > 0 in defining boundedness. There is no consensus on whether the sign of M is relevant to the definition of a set being bounded above.

Contextual Notes

Participants discuss the implications of different definitions and the conditions under which a set can be considered bounded above, indicating potential limitations in understanding or interpreting the definitions.

jacksonjs20
Messages
9
Reaction score
0
I have been consulting different sources of analysis notes. My confusion comes from these two definitions

\begin{defn} Let S be a non-empty subset of $\mathbb{R}$.
\begin{enumerate}
\item $S$ is Bounded above $ \Longleftrightarrow\exists\,M > 0$ s.t. $\forall\, x\in S$, $x\leq M$.
\item $S$ is Bounded above $ \Longleftrightarrow\exists\,M\in\mathbb{R}$ s.t. $\forall\, x\in S$, $x\leq M$.
\end{enumerate}
\end{defn}

My question: Why in the first definition does M have to be strictly greater than 0?

e.g.If we consider the set S :={-3,-2,-1}

Then is S bounded above by -1?. I know that S is bounded above by all positive integers. Though, M = -1 appears to be a suitable choice of M in the second definition, to satisfy S being bounded above, but not the first.

I have thoroughly confused myself over this matter and would be grateful for any insight into the matter. Thanks in advance.
 
Physics news on Phys.org
The first definition says an M > 0 exists. It doesn't preclude an M < 0 being a bound.
 
Thank you for your prompt reply. That is exactly the response i was looking for. Just to clarify
The existence of an m > 0 is a necessary condition for a set to be bounded above. Though, provided it exists, an m < 0 which is an upper bound is sufficient to justify that a set is bounded above.

Is this correct?
 
No: existence of any m is necessary and sufficient - in fact, it is definition of bounded. The sign is irrelevant.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K