Skip to content

Boundedness (Real-Valued Functions)#

Definition: Boundedness

Let \(f: \mathcal{D} \to \mathbb{R}\) be a real-valued function and let \(S \subseteq \mathcal{D}\).

We say that \(f\) is:

  • bounded above on \(S\) if there exists some \(u \in \mathbb{R}\) such that \(f(x) \le u\) for all \(x \in S\). Any such \(u\) is called an upper bound of \(f\) on \(S\).
  • bounded below on \(S\) if there exists some \(l \in \mathbb{R}\) such that \(f(x) \ge l\) for all \(x \in S\). Any such \(l\) is called a lower bound of \(f\) on \(S\).
  • bounded on \(S\) if it is both bounded below and bounded above.

Theorem: Boundedness

A real-valued function \(f: \mathcal{D} \to \mathbb{R}\) is bounded on \(S \subseteq \mathcal{D}\) if and only if there exists some \(B \in \mathbb{R}_{\ge 0}\) such that \(|f(x)| \le B\) for all \(x \in S\).

Proof

TODO