Supremum and Infimum Equivalent Statements

Equivalent Statements for The Supremum/Infimum of a Bounded Set

We will now look at some equivalent statements regarding the supremum and infimum of a set. When proving whether a number is the supremum of a bounded above set or the infimum of a bounded below set, these equivalent statements will come in handy.

Let $S$ be a set that is bounded above with $u = \sup S$. The following are equivalent:

  • 1) If $v$ is any upper bound of $S$ then $u ≤ v$.
  • 2) If $u' < u$, then $u'$ is not an upper bound of $S$.
  • 3) If $z < u$ then there exists an $x' \in S$ such that $z < x'$.
  • 4) If $\forall \epsilon > 0$ then there exists an $x_{\epsilon} \in S$ such that $u - \epsilon < x_{\epsilon}$.

The following set of equivalent statements pertain to the infimum of a set that is bounded below. They are analogous to the equivalent statements above regarding the supremum of a set that is bounded above.

Let $S$ be a set that is bounded below with $w = \inf S$. The following are equivalent:

  • 1) If $t$ is any lower bound of $S$ then $t ≤ w$.
  • 2) If $w < w'$, then $w'$ is not a lower bound of $S$.
  • 3) If $w < z$ then there exists an $x' \in S$ such that $x' < z$.
  • 4) If $\forall \epsilon > 0$ then there exists an $x_{\epsilon} \in S$ such that $x_{\epsilon} < w + \epsilon$.
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License