12.2 Calculus of Vector-Valued Functions 391
exists in R
n
. As usual, we write f
0
(x
0
) for the limit and call it the derivative of
f at x
0
. Notice that the numerator is in R
n
while the denominator is a scalar, so
f
0
(x
0
) is in R
n
.
We can define left differentiable and right differentiable in the natural way,
and we say f is differentiable on the interval [a, b] if it is differentiable at every
point of (a, b) in the sense just stated and left or right differentiable at the endpoints.
We leave it for the reader to verify that if f : [a, b] → R is differentiable at
x
0
∈ [a, b], then f is continuous at x
0
.
12.2.2. PROPOSITION. Suppose that f : [a, b] → R
n
given by f(x) =
(f
1
(x), . . . , f
n
(x)), where each f
i
maps [a, b] into R. Then f is differentiable
at x
0
∈ [a, b] if and only if each f
i
is differentiable at x
0
. Moreover, f
0
(x
0
) =
(f
0
1
(x
0
), . . . , f
0
n
(x
0
)).
PROOF. Fix x
0
∈ [a, b] and consider the function
g(h) =
f(x
0
+ h) − f(x
0
)
h
,
defined for those h so that x
0
+ h ∈ [a, b]. If g(h) = (g
1
(h), . . . , g
n
(h)), then we
have that g
i
(h) = (f
i
(x
0
+ h) − f
i
(x
0
))/h for each i. Thus f is differentiable x
0
if and only if the limit of g(h) exists as h → 0 and each f
i
is differentiable at x
0
if and only if the limit of g
i
(h) exists as h → 0. So it suffices to show that the
limit of g(h) exists and equals (u
1
, . . . , u
n
) if and only if the limits of each of its
components g
i
exists and equals u
i
. But this is established in Exercise 5.3.D. ¥
We leave it to the reader to verify that sums and scalar multiples of differ-
entiable functions are differentiable. Since products of real-valued differentiable
functions are differentiable, it follows easily from the previous theorem that if f
and g are vector-valued differentiable functions, then f · g is differentiable. Notice
that f · g is real valued.
On the other hand, not all results carry over from the real-valued setting. For
example, consider the function f : [0, 2π] → R
2
given by f(x) = (cosx, sinx).
It is easy to see that f(2π) = f(0), but there is no x ∈ [0, 2π] so that f
0
(x) is the
zero vector. However, we do have the following result. The analaguous fact for
real-valued functions is a corollary of the Mean Value Theorem.
12.2.3. THEOREM. Suppose that f : [a, b] → R
n
is continuous on [a, b] and
differentiable on (a, b). Then there is c ∈ (a, b) so that
kf(b) − f(a)k ≤ (b − a)kf
0
(c)k.
PROOF. Define v = f(b) −f (a) and a function g : [a, b] → R by g(x) = v ·f(x).
Notice that if v is the zero vector, then we are done. So we may assume kvk 6= 0.
A brief calculation shows that g is differentiable and
g
0
(x) = v · f
0
(x).