The Lebesgue Decomposition Theorem and Radon-Nikodym Theorem in Chapter 5 are proved using the von Neumann beautiful L2-proof.

2 Lebesgue Measure on R 21 3 Measurable Functions 33 4 Convergence a.e.

measure theory as a topic, but using measure-theoretic methods buried in the proofs. §6. Lebesgue measure and integration If you look back at what you have learned in your earlier mathematics courses, you will definitely recall a lot about area and volume — from the simple formulas for the areas of rectangles and triangles that you learned in grade school, to the quite sophisticated calculations with double and triple integrals that you had to perform in calculus class.

The outer Lebesgue measure µ∗(E) of a subset E ⊂ Rn, or outer measure for short, is (2.1) µ∗(E) = inf (X∞ i=1 µ(Ri) : E ⊂ S∞ i=1 Ri, Ri ∈ R(R n)) where the infimum is taken over all countable collections of rectangles whose union contains E. The map µ∗: P(Rn) → [0,∞], µ∗: E → µ∗(E) is called outer Lebesgue measure.

Definition 2.2. The Lebesgue measure 201 Prove the equalities λ n Int(A) = λ n A = vol n(A).

The Lebesgue measure of a countable subset C ⊂ Rn is zero. In measure theory, a branch of mathematics, the Lebesgue measure, named after French mathematician Henri Lebesgue, is the standard way of assigning a measure to subsets of n-dimensional Euclidean space. In general, it is also called n-dimensional volume, n-volume, or simply volume. If D ⊂ Rn is a non-empty open set, then λ n(D) > 0. This is a consequence of the above exercise, combined with the fact that D contains at least one non-empty open box. The useful and far-reaching idea of Lebesgue and others was to compute the (n + I)-dimensional volume 'in the other direction' by first computing -1 .

and Convergence in Measure 45 5 Integration of Bounded Functions on Sets of Finite Measure 53 6 Integration of Nonnegative Functions 63 7 Integration of Measurable Functions 75 8 Signed Measures and Radon-Nikodym Theorem 97 9 Difierentiation and Integration 109 10 Lp Spaces 121 11 Integration on Product Measure …

2 Measure and Integration then-dimensional volume of the set where the function is greater than some number y. For mathematicians, though, the greatest appeal should be in the simplicity.

For n = 1, 2, or 3, it coincides with the standard measure of length, area, or volume.

It is used throughout real analysis, in … To illustrate the power of abstract integration these notes contain several sections, which do not belong to the course but may help the student to a better understanding of measure theory. Remarks 6.1. Using σ-additivity,