Let be a real valued continuous function on
. Define the function
. Then
is uniformly continuous on
and differentiable on
such that
for all
.
proof:
Let .
for some
. Hence in the limit,
converse:
Let be a real valued function on a closed interval
and
a continuous real valued function on
such that
for all
. If
is Riemann integrable on
then
.
proof:
Since is Riemann integrable,
is the limit of Riemann sums. For any subdivision of
,
Taking the limit, one obtains
Intermediate Value Theorem
Let be a continuous function on
such that
and suppose that
. For any
there is an
such that
.
proof: Let . Note that
is a nonempty subset of the real numbers that has an upper bound. Hence it has a least upper bound
. Either
or
.
If then by continuity there is an open interval
such that
on
. But this implies that
is not an upper bound of
. This is false.
If , then by continuity there is an open interval
such that
on
. But this implies that $\alpha$ is not the smallest upper bound of $G$. This is false.
Hence conclude that $f(\alpha) = c$.
Differentiable functions are continuous. Let be given. There is a
such that
implies
. But this means that
when $|x- y| < \delta$. Choose $\delta_2 < \epsilon/2 / (|f'(x)| + 1) , \delta$ to conclude that |f(y) – f(x)| < \epsilon$ when $|y – x| < \delta_2$. Hence $f$ is continuous at $x$.
Alternatively, since the limit of a product is the product of the limits when the limits exist and since
the conclusion is reached that . Since the limit of sum is the sum of limits when the limits exists,
, the conclusion is reached that
, that is,
is continuous at
.
Mean Value Theorem
Let be a function differentiable on
. Then
for some
.
case 1: .
Either for all $x\in (a,b)$ in which case any $x\in (a,b)$ will suffice, or there is an
such that
. If $f'(x) < 0$ for some $x \in (a,b)$ then $f'(y) > 0$ for some $y \in (a,b)$ since otherwise $f(b) < f(a)$. Assume that $x < y$. By the IVT there is an $u \in (x,y)$ such that $f'(u) = 0$. Hence
proof:
$latex \phi(t) = f'((1-t)a+tb)(b-a) f(b) – f(a) – f'((1-t)a + tb) (b-a)t
