JustToThePoint English Website Version
JustToThePoint en español
JustToThePoint in Thai

Boundedness theorem

Calculus is the most powerful weapon of thought yet devised by the wit of man, Wallace B. Smith


The derivative of a function at a chosen input value, when it exists, is the slope of the tangent line to the graph of the function at that point. It is the instantaneous rate of change, the ratio of the instantaneous change in the dependent variable to that of the independent variable.

Definition. A function f(x) is differentiable at a point “a” of its domain, if its domain contains an open interval containing “a”, and the limit $\lim _{h \to 0}{\frac {f(a+h)-f(a)}{h}}$ exists, f’(a) = L = $\lim _{h \to 0}{\frac {f(a+h)-f(a)}{h}}$. More formally, for every positive real number ε, there exists a positive real number δ, such that for every h satisfying 0 < |h| < δ, then |L-$\frac {f(a+h)-f(a)}{h}$|< ε.

The Bolzano–Weierstrass theorem states that each infinite bounded sequence in ℝn has a convergent subsequence.

Martha loves Calculus

Martha loves Calculus


Theorem. If $\{x_n\}_{n=1}^\infty$ is a convergent sequence and a ≤ xn ≤ b ∀n ∈ ℕ, then a ≤ $\lim_{n \to ∞} x_n = c$ ≤ b.. In other words, the limit of $\{x_n\}_{n=1}^\infty$ must lie between a and b.


For the sake of contradiction, assume that c ∉ [a, b]. Without loss of generality, suppose that c < a.

Select ε = $\frac{a-c}{2}, \lim_{n \to ∞} x_n = c$ ⇒ ∃N: ∀n ≥ N, |xn - c| < ε ↭ -ε < xn - c < ε. We only need xn -c < ε = $\frac{a-c}{2}$.

However xn ≥ a, xn -c ≥ a - c = 2ε >[ε> 0] ε

Boundedness theorem

Definition. A function is bounded if for all x in its domain there is a real number M such that |f(x)| ≤ M.

Boundedness theorem. Let I = [a, b] be a closed bounded interval, let f: I → R be continuous on I. Then, f is bounded on I.


Proof. Suppose for the sake of contradiction that the function is not bounded on [a,b] ⇒ for any n ∈ ℝ, ∃xn ∈ [a,b] (we are abusing notation for the sake of brevity) such that |f(xn)| > n.

Because [a,b] is obviously bounded, $\{x_n\}_{n=1}^\infty$ is bounded ⇒

[By the Bolzano–Weierstrass theorem] it implies there exists a convergent subsequence {xnk} of $\{x_n\}_{n=1}^\infty$ with {xnk} → x0.

Theorem. If $\{x_n\}_{n=1}^\infty$ is a convergent sequence and if a ≤ xn ≤ b ∀n ∈ ℕ, then a ≤ $\lim_{n \to ∞} x_n$ ≤ b. ⇒ As [a,b] is closed, it contains x0.

Since f is continuous, f is continuos at x0, and {xnk} → x0 ⇒[Theorem. If f: ℝ → ℝ is continuos at a point x ∈ ℝ and {xn} is a real sequence converging to x, the sequence {f(xn)} converges to f(x)] {f(xnk)} → f(x0) and every convergent sequence is bounded.

However, |f(xn)| > n ⇒ [and this obviously applies to every subsequence] |f(xnk)| > nk, which implies {f(xnk)} diverges ⊥


f(x) is not bounded on (0, 1) -Figure 1.g.- because f is not continuos at x = 0, hence f manages to escape to infinity as 0 is not there to keep f in check.

Therefore, we can deduce that the conclusion of the Boundedness Theorem does not necessarily follow.



This content is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
  1. NPTEL-NOC IITM, Introduction to Galois Theory.
  2. Algebra, Second Edition, by Michael Artin.
  3. LibreTexts, Calculus. Abstract and Geometric Algebra, Abstract Algebra: Theory and Applications (Judson).
  4. Field and Galois Theory, by Patrick Morandi. Springer.
  5. Michael Penn, and MathMajor.
  6. Contemporary Abstract Algebra, Joseph, A. Gallian.
  7. YouTube’s Andrew Misseldine: Calculus. College Algebra and Abstract Algebra.
  8. MIT OpenCourseWare 18.01 Single Variable Calculus, Fall 2007 and 18.02 Multivariable Calculus, Fall 2007.
  9. Calculus Early Transcendentals: Differential & Multi-Variable Calculus for Social Sciences.
Bitcoin donation

JustToThePoint Copyright © 2011 - 2024 Anawim. ALL RIGHTS RESERVED. Bilingual e-books, articles, and videos to help your child and your entire family succeed, develop a healthy lifestyle, and have a lot of fun.

This website uses cookies to improve your navigation experience.
By continuing, you are consenting to our use of cookies, in accordance with our Cookies Policy and Website Terms and Conditions of use.