If you are not familiar with continuous functions, then should review here.
Lemma 1: Constant Law
f(x) = C where C is a constant is a continuous function
(1) Let δ = 1
(2) Let x,c be any two values in the domain of f(x).
(3) We know that f(x) - f(c) = C - C = 0
(4) So, it is also true, if x-c is between -δ and +δ, for any nonzero value ε, that f(x) - f(c) is between -ε and +ε [Since 0 is between -ε and +ε]
(5) So, by the definition of continuous functions (see here), f(x)=C is a continuous function.
QED
Lemma 2: Addition Law
if f(x) and g(x) are continuous functions, then f(x) + g(x) is a continuous function.
(1) Let ε be any nonzero value.
(2) Let c be any point on the domain of f(x) + g(x).
(3) Since f(x) is continuous, we know that there exists δ1 such that:
if x - c is between -δ1 and +δ1, then f(x) - f(c) is between -ε/2 and +ε/2
(4) Since g(x) is continuous, we know that there exists δ2 such that:
if x - c is between -δ2 and +δ2, then g(x) - g(c) is between -ε/2 and +ε/2
(5) Let δ = min(δ1,δ2)
(6) Now, if x - c is between -δ and +δ, then:
(a) f(x) - f(c) is between -ε/2 and +ε/2
(b) g(x) - g(c) is between - ε/2 and + ε/2
(c) f(x) + g(x) - f(c) - g(c) is between (-ε/2 + -ε/2) and (+ε/2 + +ε/2)
(7) So, f(x) + g(x) is a continous function.
QED
Lemma 3: Multiplication Law
if f(x) and g(x) are continuous functions, then f(x)*g(x) is a continuous function.
(1) Let ε be any nonzero value.
(2) Let c be any point on the domain of f(x)*g(x).
(3) Since f(x) is continuous, we know that there exists δ1 such that:
if x - c is between -δ1 and +δ1, then f(x) - f(c) is between -ε and +ε
So there exists a constant A = max(absolute[ε + f(c)], absolute[-ε + f(c)]) such that:
if x - c is between -δ1 and +δ1, then f(x) is between -A and +A.
(4) Let B = g(c).
(5) We also know that there exists δ2 such that:
if x - c is between -δ2 and +δ2, then f(x) - f(c) is between -ε/(2B) and ε/(2B).
(6) And there exists δ3 such that:
if x - c is between -δ3 and +δ3, then g(x) - g(c) is between -ε/(2A) and ε/(2A)
(7) Let δ = min(δ1,δ2,δ3)
(8) Now, if x - c is between -δ and +δ, then:
(a) f(x) - f(c) is between -ε/(2B) and +ε/(2B)
(b) g(x) - g(c) is between - ε/(2A) and + ε/(2A)
(c) g(c)[f(x) - f(c)] is between (B)[-ε/(2B)] and (B)[+ε/(2B)] which is between -ε/2 and ε/2.
(d) f(x)[g(x) - g(c)] is between (A)[-ε/(2A)] and (A)[+ε/(2A)] which is between -ε/2 and ε/2.
(e) If we add (c) + (d), we get:
f(x)g(c) - f(c)g(c) + f(x)g(x) - f(x)g(c) = f(x)g(x) - f(c)g(c)
(f) So, f(x)g(x) - f(c)g(c) is between (-ε/2 + -ε/2) and (+ε/2 + +ε/2)
(7) So, f(x)g(x) is a continous function.
QED
Lemma 4: Differentiability implies continuity
If f is differentiable at a, then f is continuous at a
Proof:
(1) Since f is differentiable at a, there exists a value c such that f'(a) = c [See here for definition of derivative]
(2) Let ε be any nonzero value
(3) Let δ = Δx
(4) By the definition of the derivative (see here), we know that:
if x - a is between -δ and δ, then f(x) = c so that f(x) - f(c) = 0 which is between ε and -ε
(5) Therefore, by the definition of continuity at a point (see here), f(x) is continuous at point a.
QED
Theorem: Minimum Value Property of Continuous Functions
If a function f is continuous on a closed interval [a,b], then there exists a number c in [a,b] such that f(x) ≥ f(c) for all x in [a,b]
(1) We can construct a continuous function g(x) such that g(x) = (-1)f(x).
We know that g(x) is a continuous function since it is the product of a constant function h(x)=-1 and f(x). [See Lemma 1and Lemma 3 above]
(2) Now, g(x) has a maximum point on the interval [a,b] (from the Maximum Value Property of Continuous Functions, see here)
(3) But since g(x) = -f(x), this corresponds to a minimum point for f(x) since:
(a) Let c be the maximum for g(x)
(b) g(x) ≤ g(c) for all x in [a,b]
(c) But then:
-g(x) ≥ -g(c) for all x in [a,b]
(d) Which means that:
f(x) ≥ f(c) for all x in [a,b]
QED
References
- Edwards & Penny, Calculus and Analytic Geometry
3 comments :
Correction: - g(c) not + g(c) for the additive properties of continuity.
Hi John,
Thanks for noticing! I've fixed the typo.
Cheers,
-Larry
I think there's something wrong with your proof of Lemma 4:
***
(1) Since f is differentiable at a, there exists a value c such that f'(a) = c
...
(4) By the definition of the derivative (see here), we know that:
if x - a is between -δ and δ, then f(x) = c ...
***
Unless I'm missing something, this is equivalent to the following (false) claim:
If f is differentiable at a with f'(a)=c, then there is an interval [a-δ, a+δ] on which f(x) = c.
Post a Comment