Can the corollary to the completeness axiom (the least upper bound property) be proved using the supremum of the set of lower bounds?

by user3134997   Last Updated September 11, 2019 19:20 PM

The corollary in question is, of course, the one regarding the existence of $\inf S$ for some nonempty subset $S$ of $\mathbb{R}$, that is bounded below.

I am already aware of the proof that involves taking the set $-S:=\{-s:s\in S\}$ and showing that $\inf S = -\sup (-S)$. I'm wondering if you could argue a different proof however; that if the set of the lower bounds of $S$ is $L$, then $\inf S = \sup L$, thus proving the corollary. I know that $\sup L$ exists because of the completeness axiom, however I don't have a clue how to show that $\sup L \in L$, or if you even can show it.

Would an argument such as this be sound? And if so, how would you go about showing that $\sup L \in L$?

I'm taking my first course in real analysis so I'm sorry if this is a stupid question.

Tags : real-analysis

Related Questions

Updated September 24, 2017 19:20 PM

Updated February 01, 2019 05:20 AM

Updated October 16, 2017 22:20 PM

Updated October 19, 2017 05:20 AM