MHB Prove $\inf \{\overline{m}-x: x\in S\}=0$

  • Thread starter Thread starter alexmahone
  • Start date Start date
alexmahone
Messages
303
Reaction score
0
Let $S$ be a non-empty bounded set of real numbers, and $\overline{m}=\sup S$. Prove that $\inf \{\overline{m}-x: x\in S\}=0$.

[Use only the definitions of supremum and infimum, and not identities like $\inf(A+B)=\inf A+\inf B$ and $\inf(-S)=-\sup(S)$.]
 
Last edited:
Physics news on Phys.org
Show that 0 is a lower bound of $\{\overline{m}-x\mid x\in S\}$ and that any positive number is not a lower bound.
 
Evgeny.Makarov said:
Show that 0 is a lower bound of $\{\overline{m}-x\mid x\in S\}$ and that any positive number is not a lower bound.

$\overline{m}=\sup S$

$x\le\overline{m}$ for all $x\in S$.

$\overline{m}-x\ge 0$ for all $x\in S$.

So, 0 is a lower bound of $\{\overline{m}-x: x\in S\}$. ------ (1)

Assume, for the sake of argument, that $a>0$ is a lower bound of $\{\overline{m}-x: x\in S\}$.

$\overline{m}-x\ge a$ for all $x\in S$.

$x\le\overline{m}-a$

This contradicts the fact that $\overline{m}$ is the least upper bound of $S$.

So, any $a>0$ is not a lower bound of $\{\overline{m}-x: x\in S\}$.

Together with (1), this implies that $\inf\{\overline{m}-x: x\in S\}=0$.

---------------------------------------------------------------------------

Is that ok?
 
Last edited:
Yes, this is fine.
 
I posted this question on math-stackexchange but apparently I asked something stupid and I was downvoted. I still don't have an answer to my question so I hope someone in here can help me or at least explain me why I am asking something stupid. I started studying Complex Analysis and came upon the following theorem which is a direct consequence of the Cauchy-Goursat theorem: Let ##f:D\to\mathbb{C}## be an anlytic function over a simply connected region ##D##. If ##a## and ##z## are part of...
Back
Top