Scribd
Upload
103 views

Notes On Dominated Convergence

The document discusses the Lebesgue integral, which generalizes the Riemann integral. It defines the Lebesgue integral for simple functions on sets of finite measure by taking a weighted sum. The Lebesgue integral is shown to be linear and monotonic for simple functions. Bounded measurable functions are then Lebesgue integrable by taking the supremum of integrals of simple functions below the function and the infimum of integrals above. The Lebesgue integral reduces to the Riemann integral for Riemann integrable functions. Finally, the bounded convergence theorem is presented, stating that if a sequence of uniformly bounded functions converges pointwise, the limit of their integrals is the integral of the limit.

Uploaded by

lordperson
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
103 views

Notes On Dominated Convergence

The document discusses the Lebesgue integral, which generalizes the Riemann integral. It defines the Lebesgue integral for simple functions on sets of finite measure by taking a weighted sum. The Lebesgue integral is shown to be linear and monotonic for simple functions. Bounded measurable functions are then Lebesgue integrable by taking the supremum of integrals of simple functions below the function and the infimum of integrals above. The Lebesgue integral reduces to the Riemann integral for Riemann integrable functions. Finally, the bounded convergence theorem is presented, stating that if a sequence of uniformly bounded functions converges pointwise, the limit of their integrals is the integral of the limit.

Uploaded by

lordperson
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

The Lebesgue Integral.

A. Bounded functions on sets of nite measure.


Remark 0.1 (1) An alternate denition of the Riemann integral and Riemann integrability
is the following: A bounded function f dened on an interval [a, b] is Riemann integrable
provided that
sup

b
a
: a step function, f

= inf

b
a
: a step function, f

.
In this case the common value is the Riemann integral of f.
(2) Letting f(x) =

Q
, f is not Riemann integrable on [0, 1].
(3) Let Q = {x
1
, x
2
, . . .} and dene f
n
(x) =

{x
1
, ..., xn}
(x). Then f
n
f pointwise on [0, 1],
each f
n
is Riemann integrable, but f is not Riemann integrable.
Denition 0.1 Let m(E) < and let be a simple function on E. Then the Lebesgue
integral of is dened by

E
=
n

i=1
a
i
m(E
i
)
where =

n
i=1
a
i

E
i
is the canonical representation of .
Remark 0.2 (1) Using the above denition, the Lebesgue integral is (a) linear and (b)
monotonic for simple functions.
(2) From this it follows that the Lebesgue integral is independent of how you represent a
simple function.
(3) According to the denition, if f is the characteristic function of the rational numbers,
then

E
f = 1 m(Q) = 0 and in particular this function is Lebesgue integrable.
Denition 0.2 Let f be a bounded measurable function on a set E with m(E) < . We
dene the upper and lower Lebesgue integral of f by
sup

E
: a simple function, f

, inf

E
: a simple function, f

respectively. In this case the common value is the Riemann integral of f.


Proposition 0.1 The Lebesgue integral generalizes the Riemann integral in the sense that
if f is Riemann integrable, then it is also Lebesgue integrable and the integrals are the same.
Theorem 0.1 Any bounded, measurable function on a set E with m(E) < is Lebesgue
integrable on E.
Theorem 0.2 The Lebesgue integral is (a) linear and (b) monotone on sets of nite measure.
1
B. Convergence results for the Lebesgue integral.
Remark 0.3 (1) If {f
n
} is a sequence of measurable functions on E with m(E) < and
if f
n
f uniformly on E, then
lim
n

E
f
n
=

E
lim
n
f
n
=

E
f.
(2) However, if under the same assumptions, f
n
f only pointwise, then it need not be the
case that lim
n

E
f
n
=

E
f. There are many counterexamples.
Theorem 0.3 (Bounded Convergence Theorem) Let {f
n
} be a uniformly bounded sequence
of measurable functions on E with m(E) < . If f
n
f pointwise on E then
lim
n

E
f
n
=

E
f.
2

You might also like