6.2 Properties of the Integral 199
Note that f is continuous on [a,x] and therefore integrable on [a,x] for all x in
[a,b]. Hence, F is defined on [a,b].Takec in (a, b) and let x
n
be a sequence in
[a,b] that converges to c and such that x
n
=c for all n. We have, by the additivity
property,
F(x
n
) −F(c)=
x
n
a
f −
c
a
f =
c
a
f +
x
n
c
f −
c
a
f =
x
n
c
f.
Since f is continuous, we may apply the integral mean value theorem: there exists
c
n
between c and x
n
such that
F(x
n
) −F(c)=f(c
n
)(x
n
−c).
Since c
n
is between c and x
n
,wemusthave
|c
n
−c|≤|x
n
−c|.
Using that x
n
converges to c, we get that c
n
must converge to c. By the continuity
of f at c, f(c
n
) converges to f(c). Therefore,
F(x
n
) −F(c)
x
n
−c
=f(c
n
)
converges to f(c). This proves that F is differentiable at c and that
F
(c) =f(c).
Example 6.6 Consider f(x)=|x| on [−1, 1]. Then f is continuous on [−1, 1] but
not differentiable at 0. According to Application 6.2,
F(x)=
x
−1
f
is differentiable on (−1, 1), and
F
(x) =|x| for all x ∈(−1, 1).
In particular, F is differentiable at 0, and F
(0) =0.
Exercises
1. We have shown that m(cf ) =cM(f ) for f bounded and c<0. Show that this
implies M(cf) =cm(f ).
2. Prove part (iv) of Lemma 6.5.
3. In this exercise we prove S1 for c<0. Assume that f is integrable on [a,b].
(a) Show for any partition P that U(−f,P ) =−L(f, P ) and that L(−f, P ) =
−U(f,P).
(b) Show that −f is integrable.
(c) Show that for any partition P ,
L(f, P ) −U(f,P) ≤
b
a
(−f)+
b
a
f ≤U(f,P)−L(f, P ).
(d) Conclude that S1 holds for c =−1 and then for all c<0.