12.2 Calculus of Vector-Valued Functions 393
12.2.7. PROPOSITION. Fix f : [a, b] → R
n
with f(x) = (f
1
(x), . . . , f
n
(x))
for all x ∈ [a, b]. Then f is Riemann integrable if and only if each coordinate
function f
i
is Riemann integrable. In this case,
Z
b
a
f(x) dx =
µ
Z
b
a
f
1
(x) dx,
Z
b
a
f
2
(x) dx, . . . ,
Z
b
a
f
n
(x) dx
¶
.
PROOF. Suppose that f is Riemann integrable. To show that f
j
is Riemann inte-
grable, for some j between 1 and n, we use condition (d) of Theorem 6.3.8. That
is, there is a real number, call it M, so that for every ε > 0, there is δ > 0 so that
for every partition Q with mesh(Q) < δ and every choice of points X subordinate
to Q, we have |I(f
j
, Q, X) − M| < ε.
Since f is Riemann integrable, we have (u
1
, . . . , u
n
) ∈ R
n
with
Z
b
a
f(x) dx = (u
1
, . . . , u
n
).
Moreover, there is δ > 0 so that for every partition Q with mesh(Q) < δ and every
set of points X subordinate to Q,
°
°
°
I(f, Q, X) −
R
b
a
f(x) dx
°
°
°
< ε.
For any vector x = (x
1
, . . . , x
n
), recall that |x
i
| ≤ kxk for 1 ≤ i ≤ n.
Applying this fact to the vector I(f, Q, X) −
R
b
a
f(x) dx and using Lemma 12.2.5,
we have |I(f
j
, Q, X) − u
j
| < ε. Thus, if we choose M = u
j
, it follows that f
j
is
Riemann integrable and, moreover,
R
b
a
f
j
(x) dx = u
j
.
Conversely, suppose that each f
j
is Riemann integrable. Let ε > 0 and let
u ∈ R
n
be given by u = (
R
b
a
f
1
(x) dx, . . . ,
R
b
a
f
n
(x) dx). Find δ
j
> 0 satisfying
condition (d) of Theorem 6.3.8 so that |
R
b
a
f
j
(x) dx − I(f
j
, Q, X)| < ε/
√
n. Let
δ be the minimum of δ
1
, . . . , δ
n
. Then for any partition Q with mesh(Q) < δ and
any set of points X subordinate to Q, we have
ku − I(f, Q, X)k
2
≤
n
X
j=1
¯
¯
¯
¯
Z
b
a
f
j
(x) dx − I(f
j
, Q, X)
¯
¯
¯
¯
2
≤
n
X
j=1
ε
2
/n = ε
2
.
Taking square roots, we are done. ¥
Using this proposition, we can carry over many properties of integration for
real-valued functions to vector-valued functions. For example, linearity of integra-
tion and the Fundamental Theorem of Calculus carry over in this way.
12.2.8. FUNDAMENTAL THEOREM OF CALCULUS II.
Let f : [a, b] → R
n
be a bounded Riemann integrable function and define
F (x) =
Z
x
a
f(x) dx for a ≤ x ≤ b.
Then F : [a, b] → R
n
is a continuous function. If f is continuous at a point x
0
,
then F is differentiable at x
0
and F
0
(x
0
) = f (x
0
).