Confused by separate definitions of sets which are bounded above

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 3K views
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
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?