The Riemann Integral
The Riemann Integral
The Riemann Integral
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
16 1. <strong>The</strong> <strong>Riemann</strong> <strong>Integral</strong><br />
Similarly, L(cf;P) = cL(f;P) and L(cf) = cL(f). If f is integrable, then<br />
which shows that cf is integrable and<br />
we have<br />
Now consider −f. Since<br />
<strong>The</strong>refore<br />
U(cf) = cU(f) = cL(f) = L(cf),<br />
∫ b<br />
a<br />
sup(−f) = −inf f,<br />
A A<br />
U(−f;P) = −L(f;P),<br />
cf = c<br />
∫ b<br />
a<br />
inf<br />
A<br />
f.<br />
(−f) = −supf,<br />
A<br />
L(−f;P) = −U(f;P).<br />
U(−f) = inf U(−f;P) = inf [−L(f;P)] = − sup L(f;P) = −L(f),<br />
P∈Π P∈Π P∈Π<br />
U(f;P) = −U(f).<br />
L(−f) = sup L(−f;P) = sup<br />
P∈Π P∈Π<br />
Hence, −f is integrable if f is integrable and<br />
∫ b<br />
a<br />
[−U(f;P)] = − inf<br />
P∈Π<br />
(−f) = −<br />
Finally, if c < 0, then c = −|c|, and a successive application of the previous results<br />
shows that cf is integrable with ∫ b<br />
a cf = c∫ b<br />
a f.<br />
□<br />
Next, we prove the linearity of the integral with respect to sums. If f, g are<br />
bounded, then f +g is bounded and<br />
It follows that<br />
sup<br />
I<br />
(f +g) ≤ sup<br />
I<br />
f +sup<br />
I<br />
∫ b<br />
a<br />
f.<br />
g, inf(f +g) ≥ inf f +infg.<br />
I I I<br />
osc(f +g) ≤ osc f +oscg,<br />
I I I<br />
so f+g is integrable if f, g are integrable. In general, however, the upper (or lower)<br />
sum of f +g needn’t be the sum of the corresponding upper (or lower) sums of f<br />
and g. As a result, we don’t get<br />
∫ b<br />
a<br />
(f +g) =<br />
simply by adding upper and lower sums. Instead, we prove this equality by estimating<br />
the upper and lower integrals of f +g from above and below by those of f<br />
and g.<br />
<strong>The</strong>orem 1.24. If f,g : [a,b] → R are integrablefunctions, then f+g is integrable,<br />
and<br />
∫ b<br />
a<br />
(f +g) =<br />
∫ b<br />
a<br />
∫ b<br />
a<br />
f +<br />
f +<br />
∫ b<br />
a<br />
∫ b<br />
a<br />
g<br />
g.