A Brief Introduction to the Theory of Lebesgue Integration Kevin Sigler June 8, 25 Introduction Gonzalez-Velasco s paper The Lebesgue Integral as a Riemann Integral provides a non-standard, direct construction to the Lebesgue Integral that is meant to be accessible to the reader who is already familiar with the Riemann Integral. Standard treatment of the theory typically relies on a wealth of basic concepts that must be assimilated first, before the reader can begin to appreciate the power of the Lebesgue Integral. Gonzalez-Velasco chooses instead to define the Lebesgue Integral as a (possibly improper) Riemann Integral, and in doing so, provides a background that is immediately familiar to the reader. The theory will be constructed for functions defined over sets of arbitrary measure, which will necessitate a unique set of proofs, including a unique approach to the Lebesgue Dominated Convergence Theorem, which will emphasize the role of uniform convergence. Our end-goal will be to leave the reader comfortable with approaching simple integrals that were otherwise intractable when constrained to Riemann integration. 2 The Lebesgue Measure and Integrable unctions irstly, by a rectangle in R n we shall mean the product space of n bounded intervals, be they open, closed, or neither. We denote the volume v of a rectangle R to be the product of the lengths of its component intervals. Definition The outer measure of a set R n is m() := inf v(r i ) where the infimum is taken over all finite or countable collections of open rectangles {R i } such that R i.
Definition 2 A set R n is called measurable if and only if for any set S R n then m(s) = m(s ) + m(s c ). If is measurable then we denote m() as the Lebesgue measure of. We note that from these definitions it follows that () m(r n ) =, and the empty set has Lebesgue measure zero. (2) A set S is measurable if and only if S c is measurable. (3) Lebesgue measure is monotonic, i.e. if and are measurable with m( ) m(). Theorem () If is a finite or countable set then m() =. Proof: Let us enumerate the elements of as {a, a,...}. Given some ε >, we cover each a j with an open set O j of volume ε 2 j. Therefore, the set {a, a,...} O j ε, and it is now known that every countable j= union of open sets is a Lebesgue measurable set. (2) If { i } is a finite or countable collection of measurable sets then their union i is measurable and m( i ) m( i ). If the i are disjoint then equality holds. (3) If { i } is a finite or countable collection of measurable sets then their intersection is measurable. If we have that m( ) < and i+ i i then m( i ) m( i ) as i. (4) If and are measurable then := {x : x / } is measurable. If m() < and then we have additivity, i.e. m( ) = m() m( ). (5) very half space in R n is measurable. (6) very rectangle in R n is measurable, and its Lebesgue measure is its volume. (7) Open and closed sets are measurable. Definition 3 A function f : R n R is measurable if and only if is measurable and for any y R the set {x : f(x) > y} is measurable. Theorem 2 The following statements are equivalent: () or each y R the set {x : f(x) > y} is measurable. (2) or each y R the set {x : f(x) y} is measurable. 2
(3) or each y R the set {x : f(x) < y} is measurable. (4) or each y R the set {x : f(x) y} is measurable. Theorem 3 Let R n be a measurable set. () If f, g : R are measurable then f + g is measurable. (2) If {f n } is a sequence of measurable functions on and if f n f on then f is measurable. gorov s Theorem Let R n be a measurable set and let {f n } be a sequence of measurable functions on such that f n f on. or any δ > there is a subset G of with m(g) < δ and such that f n f uniformly on G. 3 The Lebesgue Integral. Given a function f : R n R, we first partition its range (as opposed to Riemann integration, where we partition the domain of f). Consider measurable set where m() < and a measurable function f : R whose values are between zero and M >. If = y < y <... < y k = M is a partition of [, M], and if we define S i = {x : f(x) > y i } for i =,..., k, then f is said to be integrable on if and only if k sup m(s i )(y i y i ) = inf i= k m(s i )(y i y i ), i= where the supremum and infimum are taken over all partitions of [, M]. When equality is attained, we will denote the common value by f. Definition 4. Let R n be a measurable set and let f : R be a measurable function. The measure function of f on is the function µ f defined by { m{x : f(x) > y} if y > µ f = m{x : f(x) > y} if y < To provide motivation for the definition of our measure function, consider R n where m() <. Then consider nonnegative measurable function f : R with bound M. Given partition = y < y <... < y k = M of [, M], and noticing that m(s i ) = µ f (y i ) with µ f decreasing, we have that k m(s i )(y i y i ) i= and k m(s i )(y i y i ), i= 3
are the lower and upper Riemann sums of µ f, respectively. Because µ f is Riemann integrable on [, M], we have that f = R M where R indicates Riemann Integral. urthermore, if instead f is nonpositive, we simply take its integral on to equal the opposite of the integral f, so f = R M µ f, µ f = R µ f = R µ f ( y)dy, M M and we have a capable measure function. If m() =, then our measure function can have infinite values, but otherwise it is Riemann integrable on every bounded subinterval of (, ) or (, ), and then the improper integrals exist. R µ f = or R µ f = Definition 5. Let R n be a measurable set, f : R a measurable function, and µ f the measure function of f on. Then the Lebesgue integral of f on is defined to be f = R µ f + R µ f = R µ f if the right-hand side exists. If the right-hand side is finite then f is said to be Lebesgue integrable on and we write f L(). We can now proceed to demonstrate the use of the Lebesgue Integral, first with two standard improper Riemann Integrals, and third with an integral that is otherwise intractable when constrained to Riemann integration. xample If = {x R : < x < } and f(x) = x, then µ f (y) = if y <, µ f (y) = if < y <, and µ f (y) = y if y. So we have f = R dy + R dy =. y xample 2 If = {x R : < x < } and f(x) = x, then µ f (y) = if y <, µ f (y) = if < y <, and µ f (y) = if y. So we have y2 4
f = R dy + R xample 3 If = {x R : < x < } and f(x) = { x rational x irrational dy = 2. y2 then µ f (y) = for all y and we have R f =. 4 Basic Properties of the Lebesgue Integral Here we will establish some basic properties of our measure function µ f. In the case that we are operating over some specific domain of f, then we shall write µ f instead. Theorem 5 Let, R n be measurable sets, let f, g : R n be measurable functions and let c R. Then if the integrals below exist, () f g f g. In the case that we also have f, then g L() f L(). (2) cf = c f and then f L() cf L(). (3) If then f L() f L( ). If in addition f then (4) If c > and if f c := min{f, c} then f c f as c. f Theorem 6 Let,..., N be a finite collection of disjoint measurable sets in R n, let = i and let f : R be a measurable function. Then f = i f. urthermore, if f has a constant value c i on each i, then f = c i m( i ). Theorem 7Let R n be a measurable set and let f : R be a measurable function. If f exists, then 5 f.
f f. Also, f L() f L(). 5 The Convergence Theorems Consider a sequence of functions {f n } such that f n f. We will demonstrate when it is the case that f n f. In the case of Riemann integration the uniform convergence of this sequence is sufficient. A similar result can be found for the Lebesgue integral. Proposition. Let S R n be a measurable set with m(s) < and let {f n } be a sequence of measurable functions such that f n L(S) and f n f L(S) uniformly on S. Then f. f n S Proof. Given ε > there is a K Z + such that f ε f + ε, and then µ f ε µ fn µ f+ε, for N > K. or y > and N > K, S µ f (y + ε) = m{x S : f(x) > y + ε} = m{x S : f(x) ε > y} = µ f ε (y) µ fn (y) and then R µ f ε m(s) R µ f = R µ f (y + ε)dy R ε or y > ε and N > K, µ fn. µ fn (y) µ f+ε (y) = m{x S : f(x) + ε > y} = m{x S : f(x) > y ε} = µ f (y ε) and then 6
R µ fn εm(s) + R εm(s) + R = εm(s) + R Thus, given ε > there is a K Z + such that εm(s) R for N > K and, since ε is arbitrary, as N. Similarly, R µ fn R µ fn R µ fn ε ε µ f µ f (y ε)dy µ f. R µ fn R µ f µ f εm(s) as N. rom these last two limits, and Definition 5, we have established our desired convergence. Q..D. The reader should now note the superiority of this facet of Lebesgue theory; rather than requiring the uniform convergence of, we have established convergence with merely the condition that the be uniformly bounded. With said weaker condition we may allow the domains of these functions to have arbitrary Lebesgue measure. The Lebesgue Dominated Convergence Theorem Let R n be a measurable set and let { } be a sequence of integrable functions on that converges to an integrable function f on. If there is a function g L() such that g for all N Z +, then as N. We begin by establishing two lemmas. Lemma Let R n be a measurable set and let g L(). or any ε > f 7
there is a subset of with m( ) < such that g < ε. Lemma 2 Let R n be a measurable set, let g L( ) and let G be a subset of. or any ε > there is a δ > such that if m(g) < δ then G g < ε. Because of Lemma, we now have that for all functions defined out a set of finite measure, their integrals are negligible, i.e. less than epsilon. Lemma 2 shows the same is true for a sufficiently small subset G of. By gorov s theorem we may choose a set G so that f uniformly on G. With the last Proposition in hand, we will proceed with the proof of the Lebesgue Dominated Convergence Theorem. Proof: Given ε > define as in Lemma with respect to, and choose δ in the spirit of Lemma 2 with respect to ε, and finally choose G as in gorov s Theorem. By the Triangle Inequality and Theorems 6 and 7, f f + + f + 2 g f + + G f + 2 g + 2 G f + 4ε. f f + 2 G g g By Proposition, we can choose N sufficiently large such that the first term on the right in the last inequality is smaller than ε, and the result follows. Q..D. Conclusion The original article was written in a rather terse manner, as is referenced in the very abstract. This summary was meant to include the primary facets of the Lebesgue Integral, including a bare-bones construction of Measure Theory. Though many of the proofs were omitted, it is this author s hope that the reader will have gained insight into a novel approach to Lebesgue integration. 8
References Gonzalez-Velasco, nrique. The Lebesgue Integral as a Riemann Integral. Internat. J. Math & Math. Sci. Vol. No. 4 (987) 693-76. 9