Lebesgue integral is a generalization of the Riemann integral to a wider class of functions .
All functions defined on a finite segment of the number line and Riemann integrable are also Lebesgue integrable, and in this case both integrals are equal. However, there is a large class of functions defined on a segment and Lebesgue integrable, but non-integrable by Riemann. Also, the Lebesgue integral can make sense for functions defined on arbitrary sets ( Frechet integral ).
The idea of constructing the Lebesgue integral [1] is that instead of dividing the domain of definition of the integrand into parts and then drawing up the integral sum of the function values on these parts, its range of values is divided into intervals, and then summed with the corresponding weights of the inverse measures of these intervals.
Definition
The Lebesgue integral is determined step by step, moving from simpler to complex functions. We assume that the space given to measure and it defines the Borel function .
Definition 1. Let - an indicator of some measurable set, that is where . Then the Lebesgue integral of the function by definition:
Definition 2. Let - simple function , that is where , but - final partition on measurable sets. Then
- .
Definition 3. Now let - non-negative function, i.e. . Consider all simple functions. such that . We denote this family . For each function from this family, the Lebesgue integral is already defined. Then the integral of is given by the formula:
Finally, if the function arbitrary sign, then it can be represented as the difference of two non-negative functions. Indeed, it is easy to see that:
Where
- .
Definition 4. Let - arbitrary measurable function. Then its integral is given by the formula:
- .
Definition 5. Finally let arbitrary measurable set. Then by definition
- ,
Where - indicator-function of the set .
Example
Consider the Dirichlet function given on where - Borel σ-algebra on , but - Lebesgue measure . This function takes on the value at rational points and in the irrational . Easy to see that not integrable in the sense of Riemann. However, it is a simple function on a space with finite measure, because it takes only two values, and therefore its Lebesgue integral is defined and equals:
Indeed, the measure of the segment is equal to 1, and since the set of rational numbers is countable , its measure is equal to 0, which means that the measure of irrational numbers is equal to .
Remarks
- Because measurable function Lebesgue integrable if and only if the function Lebesgue integrable. This property does not hold with respect to the Riemann integral;
- Depending on the choice of space, measure and function, the integral can be finite or infinite. If the integral of a function is finite, then the function is called Lebesgue integrable or summable ;
- If the function is defined on a probability space and measurable, it is called a random variable , and its integral is called the expectation or mean. A random variable is integrable if it has a finite mathematical expectation.
Properties
- Lebesgue integral is linear, that is
- ,
- Where - arbitrary constants;
- Lebesgue integral preserves inequalities, that is, if almost everywhere measurable and integrable then integrable and and moreover
- ;
- The Lebesgue integral does not depend on the behavior of the function on the set of measure zero, that is, if almost everywhere then
- .
Lebesgue integral sums
Lebesgue integral sums for a function and measures are called the sums of the form
- ,
Where - splitting the range of the function .
Each such sum is a Lebesgue integral of a simple function that approximates the function - at each point it takes one of the values (namely, on a subset ). Therefore, if the function Lebesgue integrable, these sums converge to its integral when , and split diameter tends to zero.
A special feature of the Lebesgue integral sums is that for their calculation it is not necessary to calculate the values of the integrable function - in fact only the distribution function of its values is needed:
Then the Lebesgue integral sums for the function and measures become integral Riemann-Stieltjes sums for the function and distribution functions :
- .
If the distribution function has a density of: , then Lebesgue integral sums are transformed into Riemann integral sums :
- {\ displaystyle S = \ sum _ {k = 1} ^ {N} y_ {k} \ rho (y_ {k}) (y_ {k + 1} -y_ {k}) \ rightarrow \ int \ limits _ { - \ infty} ^ {+ \ infty} y \ rho (y) dy} .
Since distribution functions naturally arise in probability theory, statistical and quantum physics, Lebesgue integral sums are actually used to calculate the Lebesgue integral, mainly in the applications of these theories. Most often, the Lebesgue integral is calculated as the Riemann integral equal to it (in those cases when the latter makes sense).
The convergence of Lebesgue integrals of sequences of functions
- Levi's monotone convergence theorem
- Lebesgue's theorem on majorized convergence
- Lemma veils
Notes
- ↑ Lebesgue, Henri (1904). "Leçons sur l'intégration et la recherche des fonctions primitives". Paris: Gauthier-Villars.
Literature
- Kolmogorov A.N. , Fomin S.V. Elements of the theory of functions and functional analysis. - ed. fourth, reworked. - M .: Science , 1976 . - 544 s.
- Trenogin V. А. Functional analysis. - M .: Science , 1980 . - 495 s.
- Shilov G.E. Mathematical analysis. Special course. - 2nd. - M .: Fizmatlit , 1961 . - 436 s.
- Frolov N. А. The theory of functions of a real variable. - 2nd. - M .: GUPIMPR , 1961 . - 173 s.