関数$f : X \to \mathbb{R}^{n}$について、次を満たす定数$M \in \mathbb{R}$が存在するならば $f$を有界boundedであるという。
$$ \left| f(x) \right| \le M \quad \text{for all $x \in X$} $$
言い換えると$f$の値域が有界集合であるならば $f$を有界関数という。
Walter Rudin, Principles of Mathmatical Analysis (3rd Edition, 1976), p89 ↩︎