0% found this document useful (0 votes)
412 views4 pages

Riemann Integral PDF

The document summarizes several properties and theorems regarding the Riemann integral. It proves that: 1) The set of Riemann integrable functions on an interval forms a vector space, and the integral is a linear operator. 2) If one function is less than or equal to another on an interval, the integral of the first is less than or equal to the second. 3) The integral of the absolute value of a function is greater than or equal to the integral of the original function.

Uploaded by

himanshu Arya
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
412 views4 pages

Riemann Integral PDF

The document summarizes several properties and theorems regarding the Riemann integral. It proves that: 1) The set of Riemann integrable functions on an interval forms a vector space, and the integral is a linear operator. 2) If one function is less than or equal to another on an interval, the integral of the first is less than or equal to the second. 3) The integral of the absolute value of a function is greater than or equal to the integral of the original function.

Uploaded by

himanshu Arya
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 4

Some properties of the Riemann integral

Here are proofs of Theorems 3.3.3-3.3.5, Corollary 3.3.6 and Theorem 3.3.7 for any
Riemann integrable functions on [a, b]. Because the statements in the book are for
continuous functions I added 0 to the number of the theorem or corollary to distinguish
it from the corresponding one in the book.
Theorem 3.3.30 : If f and g are Riemann integrable on [a, b] and α, β ∈ R then
αf + βg is Riemann integrable on [a, b] and
Z b Z b Z b
(αf (x) + βg(x)) dx = α f (x) dx + β g(x) dx. (1)
a a a

Proof: (i) If α ≥ 0, by §2.5 #8

sup αf = α sup f
[c,d] [c,d]

for any subinterval [c, d] ⊂ [a, b]. Hence for any partition P of [a, b], UP (αf ) = α UP (f ).
Also §2.5 #8 holds for the infinimum; for any S ⊂ R

inf{αx : x ∈ S} = α inf S if α ≥ 0.

Hence
Z b
inf {UP (αf )} = inf {αUP (f )} = α inf {UP (f )} = α f (x) dx. (2)
P P P a

Similarly LP (αf ) = α LP (f ) so
Z b
sup{LP (αf )} = α f (x) dx. (3)
P a

By (2), (3) and the definition of the Riemann integral, αf is Riemann integrable on
[a, b] and
Z b Z b
α f (x) dx = α f (x) dx. (4)
a a

(ii) For any S ⊂ R,

sup(−f ) = − inf f
S S

Hence, UP (−f ) = −LP (f )Rso inf P {UP (−f )} = − supP {LP (f )} = − ab f (x) dx. Simi-
R

larly, supP {LP (−f )} = − ab f (x) dx so −f is Riemann integrable on [a, b] and


Z b Z b
−f (x) dx = − f (x) dx. (5)
a a

Combining (4) and (5) shows that (4) holds for any α ∈ R.

1
(iii) Because f and g are Riemann integrable on [a, b], for any  > 0 we can find
partitions P1 and P2 such that
Z b Z b
f (x) dx −  ≤ LP1 (f ) ≤ UP1 (f ) ≤ f (x) dx +  (6)
a a

and
Z b Z b
g(x) dx −  ≤ LP2 (g) ≤ UP2 (g) ≤ g(x) dx + . (7)
a a

Also, for any interval [c, d] by §2.5 #9

sup(f + g) ≤ sup f + sup g


[c,d] [c,d] [c,d]

so for any partition P

UP (f + g) ≤ UP (f ) + UP (g) (8)

and similarly

LP (f ) + LP (g) ≤ LP (f + g). (9)

Adding (6) and (7) and using (8), (9) and Lemma 1 shows that if Q = P1 ∪ P2 ,
Z b Z b
f (x) dx + g(x) dx − 2 ≤ LP1 (f ) + LP2 (g)
a a
≤ LQ f + LQ g
≤ LQ (f + g)
≤ UQ (f + g)
≤ UQ (f ) + UQ (g)
≤ UP1 (f ) + UP2 (g)
Z b Z b
≤ f (x) dx + g(x) dx + 2.
a a

This holds for every  > 0. Hence


Z b Z b
sup{LP (f + g)} = inf {UP (f + g)} = f (x) dx + g(x) dx.
P P a a

Thus f + g is Riemann integrable on [a, b] and


Z b Z b Z b
(f (x) + g(x)) dx = f (x) dx + g(x) dx. (10)
a a a

The theorem follows from (4), (5) and (10).


Remark: This result says that the Riemann integrable functions on [a, b] form a
vector space and integration is a linear operator (transformation) from this vector
space to R.

2
0
Theorem 3.3.4 : If f and gR are Riemann integrable on [a, b] and f (x) ≤ g(x) for all
x ∈ [a, b] then a f (x) dx ≤ ab g(x) dx.
Rb

Proof: Because f (x) ≤ g(x), for any partition P of [a, b], UP (f ) ≤ UP (g). Hence any
lower bound for {UP (f )} is a lower bound for {UP (g)}. In particular,
Z b Z b
f (x) dx = inf {UP (f )} ≤ inf {UP (g)} = g(x) dx.
a P P a

Theorem 3.3.50 : If f is Riemann integrable on [a, b] then so is |f | and


Z
b Z b
f (x) dx ≤ |f (x)| dx. (11)


a a

Proof: Let  > 0 and let P be a partition of [a, b] such that UP (f ) − LP (f ) ≤ . Let
mi = inf [xi−1 ,xi ] f, m0i = inf [xi−1 ,xi ] |f |, Mi = sup[xi−1 ,xi ] f, Mi0 = sup[xi−1 ,xi ] |f |. There
are three cases.
Case (i): If mi ≥ 0, then Mi0 = Mi , m0i = mi so

Mi0 − m0i = Mi − mi .

Case (ii): If Mi < 0 then Mi0 = −mi , m0i = −Mi so

Mi0 − m0i = Mi − mi .

Case(iii): If Mi > 0, mi < 0 then Mi0 = max{Mi , −mi } and m0i ≥ 0 so

Mi0 − m0i ≤ max{Mi , −mi } < Mi − mi .

In each case

Mi0 − m0i ≤ Mi − mi

so

UP (|f |) − LP (|f |) ≤ UP (f ) − LP (f ) ≤  (12)

and, by Lemma 3, |f | is integrable. Now (11) follows from Theorems 3.3.30 and 3.3.40
since f (x), −f (x) ≤ |f (x)|.
Corollary 3.3.60 : If f is Riemann integrable on [a, b] then
Z
b

f (x) dx ≤ (b − a) sup |f (x)|. (13)
a [a,b]

Proof: By Theorem 3.3.50


Z
b Z b
f (x) dx ≤ |f (x)| dx.


a a

3
Now apply Theorem 3.3.40 to the right side with g(x) the constant function sup[a,b] |f |.
Theorem 3.3.70 : If f is Riemann integrable on [a, b] and a < c < b then
Z b Z c Z b
f (x) dx = f (x) dx + f (x) dx. (14)
a a c

Proof: For any partition P of [a, b], let Pc be P if c is a point of P and the partition
obtained from P by adding the point c otherwise. Let P1 be the points in Pc which
are less than or equal to c, so P1 is a partition of [a, c], and let P2 be the points that
are greater than or equal to c so P2 is a partition of [c, b]. Then

LP (f ) ≤ LPc (f ) = LP1 (f ) + LP2 (f ) ≤ UP1 (f ) + UP2 (f ) = UPc (f ) ≤ UP (f )

Hence

sup{LP (f )} ≤ sup{LP1 (f )} + sup{LP2 (f )} ≤ inf {UP1 (f )} + inf {UP2 (f )} ≤ inf {UP (f )}.
P P1 P2 P1 P2 P

Rb
Since the right and left ends are equal to a f (x) dx,
Z b Z c Z b
f (x) dx = sup{LP1 (f )} + sup{LP2 (f )} = f (x) dx + f (x) dx.
a P1 P2 a c

You might also like