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$.