
 




In satz:25 we have proved, that all continuous functions in R^{n} with compact support are LEBESGUE integrable, and moreover, in the onedimensional case n=1 , also all RIEMANN integrable functions. The question is, whether one can check for a general given function in an convenient way its integrability.
Now, for a continuous functions on R^{n} the following property holds:

For the theory of integration, as we have seen during the construction of LEBESGUE's integral in satz:19 as well as in the convergence theorem satz:23, the notion of almost everywhere convergence is essential. Therefore, in analogy to the notion of continuity, we are searching for a property (*) satisfying

Based on this statement we then develop the theory of integration. Besides the completeness of the space of integrable functions the following theorems belong to the most important statements in the LEBESGUE theory of integration:
As application of the dominated convergence theorem we prove the following frequently used statements about the interchange of limits and integrals:
We finish this section with some applications of these theorems concernning the FOURIER transformation, the convolution of functions and the NEWTON potential.
Assumptions In the following let (S,B,μ) be a measure space satisfying S ∈B . We assume that B is generated by a ring, on which μ has finite values (as in satz:29).

The following definition has an analogy for continuous mappings, which are defined by the property, that the preimage of an open set is an open set.
Measurable functions [sect:31] (Let (S,B,μ) as above and Y finite dimensional.) A mapping f : S → Y is called μ measurable, if

The following theorem provides a characterization of integrable functions through measurability. The result is the majorant criterium for integrability. This is the essential statement of this section. From this all central theorems of the LEBESGUE theory follow. The idea, to reduce the integrability of vector valued functions to the modulus of a function is due to BOCHNER. Therefore, the integral of vector valued functions often is called the BOCHNERIntegral.
Philosophy:
In many text books on integration
one finds the "traditional" procedure
to define the integral of real valued functions
by considering lower and upper sums.
The integral is the supremum of all lower sums and well defined, if it coincides
with the infimum of all upper sums.
We plead that this is not the adequate approach.
One reason comes from classical examples like the computation of the centre of gravity of a rigid body. The position vector is a vector valued function, and therefore the integral of the position vector is an integral of a vector valued function. Another example is the computation of the mean value of measurements, if they involve more than one scalar quantity. Advanced examples are the operator theory in Linear Functional Analysis and the treatment of parabolic differential equations as Evolution Equations. Here BANACH space valued integrals are necessary. Thus, our presentation of LEBESGUE's theory of integration is nothing else than a consequent realization of BOCHNER's idea. Moreover, we mention that there were always efforts to use a completion principle as basis idea for the theory of integration. The version presented in chap:LebesgueIntegral is based completely on this principle. Further, in many text books as a preparation step for integration the extension of additive measures is studied. We plead that this is not an efficient approach. Properties of measurable sets are equivalent to statements for the characteristic functions of these sets. Therefore, in our approach in section chap:MeasurableSets the extension of measures is a first consequence of the construction of LEBESGUE's integral. 
Theorem (Majorant criterium) [satz:32] For f : S → Y the following is equivalent:

Zum Majorantenkriterium [fig:majorante] 
Let us present some important classes of integrable functions.
As a consequence the central theorems about the LEBESGUE theory drop out.
In the sequel of this lecture statements in particular concern the n dimensional LEBESGUE measure L^{n} . For this measure special notations are common:
We finish this chapter with some applications of the n dimensional LEBESGUE measure.
These applications deal with linear integral operators on R^{n} . These are mappings, which assign to a function f : R^{n} → R a function

One of the important applications of convolution in Analysis is the approximation of integrable functions by smooth functions.
For this one considers the convolution of a given function with a sequence of probability distributions ϕ_{k} ≧0 , k ∈N , which, for k → ∞ , more and more are concentrated around the origin. The mathematical formulation of this fact leads to the notion of a DIRAC sequence, which is introduced in the following.
As an application of this procedure see the WEIERSTRASS approximation theorem satz:315.
Definition (DIRAC sequence) [definition:312] A sequence (ϕ_{k})_{k ∈N} with ϕ_{k} ∈L^{1}(R^{n};R) is called DIRAC sequence, if 
Using the concept of DIRAC sequences we obtain the following approximation lemma.
Another statement, which can be proved using appropriate DIRAC sequences, concerns the approximation of continuous functions by polynomials:Important applications of the above theorems about the theory of integration concern linear integral operators with kernels having a singularity. The standard example, which plays an inportant role in theoretical physics, ist the

 

