Lebesgue Integration - Basic Theorems of The Lebesgue Integral

Basic Theorems of The Lebesgue Integral

The Lebesgue integral does not distinguish between functions which differ only on a set of μ-measure zero. To make this precise, functions f and g are said to be equal almost everywhere (a.e.) if

  • If f, g are non-negative measurable functions (possibly assuming the value +∞) such that f = g almost everywhere, then

To wit, the integral respects the equivalence relation of almost-everywhere equality.

  • If f, g are functions such that f = g almost everywhere, then f is Lebesgue integrable if and only if g is Lebesgue integrable and the integrals of f and g are the same.

The Lebesgue integral has the following properties:

Linearity: If f and g are Lebesgue integrable functions and a and b are real numbers, then af + bg is Lebesgue integrable and

Monotonicity: If fg, then

Monotone convergence theorem: Suppose {fk}kN is a sequence of non-negative measurable functions such that

Then, the pointwise limit f of fk is Lebesgue integrable and

Note: The value of any of the integrals is allowed to be infinite.

Fatou's lemma: If {fk}kN is a sequence of non-negative measurable functions, then

Again, the value of any of the integrals may be infinite.

Dominated convergence theorem: Suppose {fk}kN is a sequence of complex measurable functions with pointwise limit f, and there is a Lebesgue integrable function g (i.e., g belongs to the space L1) such that |fk| ≤ g for all k.

Then, f is Lebesgue integrable and

Read more about this topic:  Lebesgue Integration

Famous quotes containing the words basic and/or integral:

    We can’t nourish our children if we don’t nourish ourselves.... Parents who manage to stay married, sane, and connected to each other share one basic characteristic: The ability to protect even small amounts of time together no matter what else is going on in their lives.
    Ron Taffel (20th century)

    Make the most of your regrets; never smother your sorrow, but tend and cherish it till it come to have a separate and integral interest. To regret deeply is to live afresh.
    Henry David Thoreau (1817–1862)