2.6 NONMEASURABLE SETS
We have dened what it means for a set to be measurable
and studied properties of the collection of measurable sets. It
is only natural to ask if, in fact, there are any sets tha
4.6 UNIFORM INTEGRABILITY: THE VITALI
CONVERGENCE THEOREM
We conclude this rst chapter on Lebesgue integration by
establishing, for functions that are integrable over a set of
nite measure, a criterio
4.5 COUNTABLE ADDITIVITY AND CONTINUITY OF
INTEGRATION
The linearity and monotonicity properties of the Lebesgue
integral, which we established in the preceding section, are
extensions of familiar pro
4.4 THE GENERAL LEBESGUE INTEGRAL
For an extended real-valued function f on E , we have
dened the positive part f + and the negative part f of F ,
respectively, by
f + (x ) = max(f (x ), 0) and f (x )
4.3 THE LEBESGUE INTEGRAL OF A MEASURABLE
NONNEGATIVE FUNCTION
A measurable function f on E is said to be of nite support
if m(cfw_x E : f (x ) = 0) < . The set cfw_x E : f (x ) = 0 is
called the supp
4.2 THE LEBESGUE INTEGRAL OF A BOUNDED
MEASURABLE FUNCTION OVER A SET OF FINITE
MEASURE
The Dirichlet function, which was examined in the preceding
section, exhibits one of the principal shortcomings
4.1 THE RIEMANN INTEGRAL
We recall a few denitions pertaining to the Riemann
integral. Let f be a bounded real-valued function dened on
the closed, bounded interval [a, b ]. A partition
P = cfw_x0 , x
3.3 LITTLEWOODS THREE PRINCIPLES, EGOROFFS
THEOREM, AND LUSINS THEOREM
J.E. Littlewoods three principles:
I. Every measurable set is nearly a nite union of intervals.
II. Every measurable function is
3.2 SEQUENTIAL POINTWISE LIMITS AND SIMPLE
APPROXIMATION
For a sequence cfw_fn of functions with common domain E and
a function f on E , there are several distinct ways in which it is
necessary to co
3.1 SUMS, PRODUCTS, AND COMPOSITIONS
All the functions considered in this chapter take values in the
extended real numbers. Recall that a property is said to hold
almost everywhere (abbreviated a.e.)
2.7 THE CANTOR SET AND THE CANTOR-LEBESGUE
FUNCTION
We have shown that a countable set has measure zero and a
Borel set is Lebesgue measurable. These two assertions
prompt the following two questions.
5.1 UNIFORM INTEGRABILITY AND TIGHTNESS: A
GENERAL VITALI CONVERGENCE THEOREM
The Vitali Convergence Theorem requires that E have nite
measure.
Example For each natural number n, dene fn = [n,n+1]
and