A function is bounded on a set if its output values are confined between two horizontal lines. This concept captures the idea that the function cannot grow without limit on that set.
Quick Reference
| Concept | Meaning | |
|---|---|---|
| bounded on | such that f$ unbounded on $E$ | No single $M$ can bound $\lvert f(x) \rvertx \in E$ |
| Geometric interpretation | Graph of $f$ above $E$ lies between the lines $y = My = -M$ | |
| "Bounded" without qualifier | Refers to boundedness on the entire domain |
Definition
If $E$ is a subset of the domain of $ff$ is bounded on $E$ (by $M$) if there exists a positive number $M$ such that
Otherwise, $f$ is said to be unbounded on $E$.
Geometrically, $f$ is bounded on $E$ when the portion of the graph above $E$ lies entirely between the horizontal lines $y = My = -M$ for some $M > 0$.
Examples
The floor function $f(x) = \lfloor x \rfloor$ (which outputs the greatest integer less than or equal to $x$) is bounded on the interval $E = (-1, 1)$.
Solution
For all $x \in (-1, 1)$, the value $\lfloor x \rfloor$ is either $0$ (when $0 \leq x < 1-1$ (when $-1 < x < 0$). In either case: So $f$ is bounded on $(-1, 1)$ with $M = 1M > 1$). However, $f(x) = \lfloor x \rfloor$ is unbounded on all of $\mathbb{R}$: for any candidate bound $M$, there exist integers $n > M|f(n)| = n > Mf(x) = \lfloor x \rfloor$: bounded on $(-1,1)$, unbounded on $\mathbb{R}$.Let $g(x) = \dfrac{1}{x}$. Determine whether $g$ is bounded on $[1, \infty)$ and on its full domain $\mathbb{R} - \{0\}$.
Solution
On $[1, \infty)$: Since $x \geq 1$, we have $0 < g(x) = 1/x \leq 1$. Therefore: So $g$ is bounded on $[1, \infty)$ with $M = 1g(x) = 1/x$ is bounded on $[1, \infty)$: the graph stays between $y = -1y = 1$. On $\mathbb{R} - \{0\}$: As $x \to 0^+$, $g(x) \to +\inftyx \to 0^-$, $g(x) \to -\infty$. No single value of $M$ can bound $|g(x)|x \neq 0gg(x) = 1/x$ is unbounded on $\mathbb{R} - \{0\}$: the graph grows without limit near $x = 0$.Let $h(x) = \dfrac{1}{x^2 + 1}$. Show that $h$ is bounded on all of $\mathbb{R}$.
Solution
For all $x \in \mathbb{R}$: so Therefore $|h(x)| \leq 1x \in \mathbb{R}h$ is bounded on its entire domain with $M = 1|x| \to \infty$, the denominator grows without bound, causing $h(x) \to 0$. The maximum value of $hh(0) = 1h(x) = 1/(x^2 + 1)$ is bounded on $\mathbb{R}$: the entire graph lies between $y = 0y = 1$.Remark: When we say a function is "bounded" or "unbounded" without specifying a set, we refer to its behavior on its entire domain. For instance, $g(x) = 1/x$ is unbounded and $h(x) = 1/(x^2+1)$ is bounded.