Boundedness of Functions

Definition

Boundedness of a Function

Bounded function: If there exists a constant MM such that for every xDx \in D, f(x)M|f(x)| \leq M, then f(x)f(x) is said to be bounded on DD.

Classification

函数有界性分类图示

  • Bounded above: if there exists a constant MM such that for every xDx \in D, f(x)Mf(x) \leq M
  • Bounded below: if there exists a constant mm such that for every xDx \in D, f(x)mf(x) \geq m
  • Bounded: both bounded above and bounded below

Geometric Meaning

The graph of a bounded function lies between two horizontal lines—there is a horizontal strip that contains the entire graph.

Examples

  • f(x)=sinxf(x) = \sin x is bounded on R\mathbb{R} because sinx1|\sin x| \leq 1
  • f(x)=x2f(x) = x^2 is bounded below (by 0) on R\mathbb{R} but not bounded above
  • f(x)=1xf(x) = \frac{1}{x} is unbounded on (0,1](0, 1]

How to Test Boundedness

  1. Direct method: inspect the expression and estimate the range of values
  2. Derivative method: for continuous functions, locate extreme points using the derivative
  3. Inequality method: use known inequalities to bound the expression

Important Properties

Operations on Bounded Functions

Operations on bounded functions
The sum, difference, and product of two bounded functions are still bounded\text{The sum, difference, and product of two bounded functions are still bounded}
证明

Let f(x)f(x) and g(x)g(x) be bounded, so there exist constants M1,M2M_1, M_2 with f(x)M1|f(x)| \leq M_1 and g(x)M2|g(x)| \leq M_2.

  • Sum: f(x)+g(x)f(x)+g(x)M1+M2|f(x) + g(x)| \leq |f(x)| + |g(x)| \leq M_1 + M_2
  • Difference: f(x)g(x)f(x)+g(x)M1+M2|f(x) - g(x)| \leq |f(x)| + |g(x)| \leq M_1 + M_2
  • Product: f(x)g(x)M1M2|f(x) \cdot g(x)| \leq M_1 \cdot M_2

Hence addition, subtraction, and multiplication all preserve boundedness.

Bounded Function Times a Constant

A bounded function times a constant
A bounded function times a constant is still bounded\text{A bounded function times a constant is still bounded}
证明

Let f(x)f(x) be bounded, so there exists a constant MM with f(x)M|f(x)| \leq M, and let kk be any constant.

  • Proof: kf(x)=kf(x)kM|k \cdot f(x)| = |k| \cdot |f(x)| \leq |k| \cdot M

Therefore kf(x)k \cdot f(x) is bounded, with a new bound of kM|k| \cdot M.

The Boundedness Theorem

Boundedness theorem
A continuous function on a closed interval is necessarily bounded\text{A continuous function on a closed interval is necessarily bounded}

If f(x)f(x) is continuous on the closed interval [a,b][a, b], then f(x)f(x) is bounded on [a,b][a, b]; that is, there exists a constant M>0M > 0 such that for all x[a,b]x \in [a, b], f(x)M|f(x)| \leq M.

证明

Proof: By contradiction.

Assume f(x)f(x) is continuous on [a,b][a, b] but unbounded on [a,b][a, b].

Then for every arbitrarily large positive number MM, there is some xM[a,b]x_M \in [a, b] with f(xM)>M|f(x_M)| > M.

Take M=1,2,3,M = 1, 2, 3, \dots, producing a sequence {xn}\{x_n\} with xn[a,b]x_n \in [a, b] and f(xn)>n|f(x_n)| > n.

Since [a,b][a, b] is closed and bounded, {xn}\{x_n\} has a convergent subsequence; say {xnk}\{x_{n_k}\} converges to x0[a,b]x_0 \in [a, b].

Because ff is continuous at x0x_0, limkf(xnk)=f(x0)\lim_{k \to \infty} f(x_{n_k}) = f(x_0).

But on the other hand f(xnk)>nk+|f(x_{n_k})| > n_k \to +\infty, contradicting the existence of the limit.

Therefore the assumption is false, so f(x)f(x) is bounded on [a,b][a, b].

Alternative proof (using the extreme value theorem):

A continuous function on a closed interval attains a maximum and a minimum, so its values have an upper bound and a lower bound—hence the function is bounded.


Exercises

Exercise 1

Determine whether f(x)=xx2+1f(x) = \frac{x}{x^2 + 1} is bounded on R\mathbb{R}.

Answer and Explanation(3 个标签)
boundednessrangeinequality

Approach: Analyze the range of the function to see whether upper and lower bounds exist.

Detailed steps:

  1. Analyze the expression: f(x)=xx2+1f(x) = \frac{x}{x^2 + 1}
  2. When x=0x = 0, f(0)=0f(0) = 0
  3. When x0x \neq 0, f(x)=1x+1xf(x) = \frac{1}{x + \frac{1}{x}}
  4. Use the inequality x+1x2x + \frac{1}{x} \geq 2 (for x>0x > 0) or x+1x2x + \frac{1}{x} \leq -2 (for x<0x < 0)
  5. Therefore f(x)12|f(x)| \leq \frac{1}{2}

Answer: The function is bounded on R\mathbb{R}, with upper bound 12\frac{1}{2} and lower bound 12-\frac{1}{2}.

Exercise 2

Determine whether f(x)=lnxf(x) = \ln x is bounded on (0,1](0, 1].

Answer and Explanation(3 个标签)
boundednesslogarithmmonotonicity

Approach: Analyze the range of the logarithm on the given interval.

Detailed steps:

  1. lnx\ln x is strictly increasing on (0,+)(0, +\infty)
  2. As x0+x \to 0^+, lnx\ln x \to -\infty
  3. At x=1x = 1, ln1=0\ln 1 = 0
  4. So on (0,1](0, 1] the range is (,0](-\infty, 0]

Answer: The function is bounded above (by 0) on (0,1](0, 1] but not bounded below, so it is not a bounded function.

Exercise 3

Determine whether f(x)=sinxxf(x) = \frac{\sin x}{x} is bounded on (0,+)(0, +\infty).

Answer and Explanation(3 个标签)
boundednesstrigonometric functionlimit

Approach: Analyze the behavior of the ratio of a sine function to a linear function.

Detailed steps:

  1. For 0<x10<x\leq1, the standard inequality sinxx|\sin x|\leq x holds; for x1x\geq1, sinx1x|\sin x|\leq1\leq x.
  2. Hence for all x>0x>0: sinxx=sinxx1\left|\frac{\sin x}{x}\right|=\frac{|\sin x|}{x}\leq1
  3. Moreover, sinxx1\frac{\sin x}{x}\to1 as x0+x\to0^+ and sinxx0\frac{\sin x}{x}\to0 as x+x\to+\infty, consistent with the global estimate above.

Answer: The function is bounded on (0,+)(0, +\infty), with f(x)1|f(x)| \leq 1.

Exercise 4

Let f(x)=x22x+3f(x) = x^2 - 2x + 3. Determine its boundedness on [0,3][0, 3] and find its supremum and infimum.

Answer and Explanation(4 个标签)
boundednessquadratic functioncompleting the squareextreme values

Approach: This is a boundedness problem for a quadratic on a closed interval. Complete the square or use the derivative to find the extreme values.

Detailed steps:

  1. Complete the square: f(x)=x22x+3=(x1)2+2f(x) = x^2 - 2x + 3 = (x-1)^2 + 2
  2. From the completed square:
    • When x=1x = 1, (x1)2=0(x-1)^2 = 0, so the minimum is f(1)=2f(1) = 2
    • Since (x1)20(x-1)^2 \geq 0, we have f(x)2f(x) \geq 2
  3. Evaluate the endpoints on [0,3][0, 3]:
    • f(0)=0220+3=3f(0) = 0^2 - 2 \cdot 0 + 3 = 3
    • f(3)=3223+3=96+3=6f(3) = 3^2 - 2 \cdot 3 + 3 = 9 - 6 + 3 = 6
  4. Compare the stationary point and endpoints:
    • Minimum: f(1)=2f(1) = 2
    • Maximum: f(3)=6f(3) = 6
  5. Therefore on [0,3][0, 3]:
    • Infimum (minimum) is 2
    • Supremum (maximum) is 6

Answer: The function is bounded on [0,3][0, 3], with infimum 2 and supremum 6.


Summary

Symbols Used in This Article

SymbolTypeReading/ExplanationMeaning in This Article
f(x)f(x)Math symbolf of xA function of variable xx
DDMath symbolDThe domain of the function
MMMath symbolMUpper bound constant
mmMath symbolmLower bound constant
R\mathbb{R}Math symbolReal numbersThe set of all real numbers
[a,b][a, b]Math symbolclosed intervalInterval including endpoints
(a,b)(a, b)Math symbolopen intervalInterval excluding endpoints