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.
 
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.
Back
Top