|
|
| Line 1: |
Line 1: |
| [[File:Integral-area-under-curve.svg|thumb|The integral of a positive function can be interpreted as the area under a curve.]]
| | Got nothing to write about myself really.<br>Yes! Im a member of wmflabs.org.<br>I just hope Im useful in some way here.<br><br>Also visit my web-site - [http://jatekok.jatekok.name/profile/chschmitt buy an essay cheap] |
| {{Calculus |Integral}}
| |
| | |
| In [[mathematics]], the [[integral]] of a non-negative [[Function (mathematics)|function]] can be regarded in the simplest case as the [[area]] between the [[Graph of a function|graph]] of that function and the {{math|''x''}}-axis. '''Lebesgue integration''' is a mathematical construction that extends the integral to a larger class of functions; it also extends the [[Domain (mathematics)|domain]]s on which these functions can be defined. It had long been understood that for non-negative functions with a [[Smooth function|smooth]] enough graph (such as [[Continuous function|continuous]] functions on [[Closed set|closed]] [[Bounded set|bounded]] [[Interval (mathematics)|interval]]s) the ''area under the curve'' could be defined as the integral and computed using techniques of approximation of the region by [[polygon]]s. However, as the need to consider more irregular functions arose (for example, as a result of the [[Limit of a function|limiting]] processes of [[mathematical analysis]] and the mathematical [[theory of probability]]) it became clear that more careful approximation techniques would be needed to define a suitable integral. Also, we might wish to integrate on spaces more general than the real line; the Lebesgue integral provides the right abstractions needed to do this important job.
| |
| | |
| The Lebesgue integral plays an important role in the branch of mathematics called [[real analysis]] and in many other fields in the mathematical sciences, and is named after [[Henri Lebesgue]] (1875–1941) who introduced the integral in {{harv|Lebesgue|1904}}. It is also a pivotal portion of the [[axiomatic theory of probability]].
| |
| | |
| The term "Lebesgue integration" may refer either to the general theory of integration of a function with respect to a general [[measure (mathematics)|measure]], as introduced by Lebesgue, or to the specific case of integration of a function defined on a sub-domain of the [[real line]] with respect to [[Lebesgue measure]].
| |
| | |
| == Introduction ==
| |
| The integral of a function {{math|''f''}} between limits {{math|''a''}} and {{math|''b''}} can be interpreted as the area under the graph of {{math|''f''}}. This is easy to understand for familiar functions such as [[polynomials]], but what does it mean for more exotic functions? In general, what is the class of functions for which "area under the curve" makes sense? The answer to this question has great theoretical and practical importance.
| |
| | |
| As part of a general movement toward [[Rigour#Mathematical rigour|rigour]] in mathematics in the nineteenth century, attempts were made to put the integral calculus on a firm foundation. The [[Riemann integral]], proposed by [[Bernhard Riemann]] (1826–1866), is a broadly successful attempt to provide such a foundation. Riemann's definition starts with the construction of a sequence of easily-calculated areas which converge to the integral of a given function. This definition is successful in the sense that it gives the expected answer for many already-solved problems, and gives useful results for many other problems.
| |
| | |
| However, Riemann integration does not interact well with taking limits of sequences of functions, making such limiting processes difficult to analyze. This is of prime importance, for instance, in the study of [[Fourier series]], [[Fourier transform]]s and other topics. The Lebesgue integral is better able to describe how and when it is possible to take limits under the integral sign. The Lebesgue definition considers a different class of easily-calculated areas than the Riemann definition, which is the main reason the Lebesgue integral is better behaved. The Lebesgue definition also makes it possible to calculate integrals for a broader class of functions. For example, the [[Dirichlet function]], which is 0 where its argument is [[irrational number|irrational]] and 1 otherwise, has a Lebesgue integral, but it does not have a Riemann integral.
| |
| | |
| Lebesgue's approach to integration was summarized in a letter to [[Paul Montel]]. He writes:
| |
| {{quote|I have to pay a certain sum, which I have collected in my pocket. I take the bills and coins out of my pocket and give them to the creditor in the order I find them until I have reached the total sum. This is the Riemann integral. But I can proceed differently. After I have taken all the money out of my pocket I order the bills and coins according to identical values and then I pay the several heaps one after the other to the creditor. This is my integral.|sign=<small>''Source'': {{harv|Siegmund-Schultze|2008}}</small>}}
| |
| The insight is that one should be able to rearrange the values of a function freely while preserving the value of the integral. This process of rearrangement can convert a very pathological function into one which is "nice" from the point of view of integration, and thus allows for such pathological functions to be integrated.
| |
| | |
| ===Intuitive interpretation===
| |
| [[Image:RandLintegrals.png|thumb|250px|Riemann-Darboux's integration (in blue) and Lebesgue integration (in red).]]
| |
| To get some intuition about the different approaches to integration, let us imagine that it is desired to find a mountain's volume (above sea level).
| |
| | |
| ;The Riemann-Darboux approach: Divide the base of the mountain into a grid of 1 meter squares. Measure the altitude of the mountain at the center of each square. The volume on a single grid square is approximately 1 m<sup>2</sup> × (that square's altitude), so the total volume is the sum of the altitudes.
| |
| | |
| ;The Lebesgue approach: Draw a [[contour map]] of the mountain, where adjacent contours are 1 meter of altitude apart. The volume of earth contained in a single contour is approximately 1 m × (that contour's area), so the total volume is the sum of these areas.
| |
| | |
| Folland<ref>Gerald B. Folland, Real Analysis: Modern Techniques and Their Applications, 1984, p. 56.</ref> summarizes the difference between the Riemann and Lebesgue approaches thus: "to compute the Riemann integral of {{math|''f''}}, one partitions the domain {{math|[''a'', ''b'']}} into subintervals", while in the Lebesgue integral, "one is in effect partitioning the range of {{math|''f''}} ".
| |
| | |
| ===Towards a formal definition===
| |
| To define the Lebesgue integral formally requires the notion of a [[measure (mathematics)|measure]] which, roughly, associates to each set {{math|''A''}} of real numbers a nonnegative number {{math|μ(''A'')}} representing the "size" of {{math|''A''}}. This notion of "size" should agree with the usual length of an interval or disjoint union of intervals. Suppose that {{math|''f'' : '''R''' → '''R<sup>+</sup>'''}} is a non-negative real-valued function. Using the "partitioning the range of {{math|''f''}} " philosophy, the integral of {{math|''f''}} should be the sum over {{math|''t''}} of the area of the thin horizontal strip between {{math|''y'' {{=}} ''t'' and ''y'' {{=}} ''t'' + ''dt''}}. This area is just
| |
| :<math>\mu \left (\{x|f(x)>t\} \right ) \,dt.</math>
| |
| Let
| |
| :<math>f^*(t)=\mu \left (\{x|f(x)>t\} \right ).</math>
| |
| The Lebesgue integral of {{math|''f''}} is then defined by<ref>{{harvnb|Lieb|Loss|2001}}</ref>
| |
| :<math>\int f = \int_0^\infty f^*(t)\,dt</math>
| |
| where the integral on the right is an ordinary improper Riemann integral (note that {{math|''f*''}} is a decreasing non-negative function, and therefore has a well-defined improper Riemann integral). For a suitable class of functions (the [[measurable function]]s) this defines the Lebesgue integral.
| |
| | |
| A general (not necessarily positive) function {{math|''f''}} is Lebesgue integrable if the area between the graph of {{math|''f''}} and the {{math|''x''}}-axis is finite:
| |
| :<math>\int |f|\,d\mu < + \infty.</math>
| |
| In that case, the integral is, as in the Riemannian case, the difference between the area above the {{math|''x''}}-axis and the area below the {{math|''x''}}-axis:
| |
| :<math>\int f \,d\mu = \int f^+ \,d\mu - \int f^- \,d\mu</math>
| |
| where
| |
| :<math>\begin{align}
| |
| f^+(x)&=\max(\{f(x),0\}) &=&\begin{cases}
| |
| f(x), & \text{if } f(x) > 0, \\
| |
| 0, & \text{otherwise}
| |
| \end{cases}\\
| |
| f^-(x) &=\max(\{-f(x),0\})&=& \begin{cases}
| |
| -f(x), & \text{if } f(x) < 0, \\
| |
| 0, & \text{otherwise.}
| |
| \end{cases}
| |
| \end{align}</math>
| |
| | |
| == Construction ==
| |
| [[File:Lebesgueintegralsimplefunctions.svg|right|thumb|Approximating a function by simple functions.]]
| |
| The discussion that follows parallels the most common expository approach to the Lebesgue integral. In this approach, the theory of integration has two distinct parts:
| |
| # A theory of measurable sets and measures on these sets.
| |
| # A theory of measurable functions and integrals on these functions.
| |
| The function whose integral is to be found is then approximated by certain so-called [[simple function]]s, whose integrals can be written in terms of the measure. The integral of the original function is then the limit of the integral of the simple functions.
| |
| | |
| ===Measure theory ===
| |
| {{Further2|[[Measure (mathematics)]]}}
| |
| [[Measure theory]] was initially created to provide a useful abstraction of the notion of length of subsets of the real line and, more generally, area and volume of subsets of Euclidean spaces. In particular, it provided a systematic answer to the question of which subsets of {{math|'''R'''}} have a length. As was shown by later developments in [[set theory]] (see [[non-measurable set]]), it is actually impossible to assign a length to all subsets of {{math|'''R'''}} in a way which preserves some natural additivity and translation invariance properties. This suggests that picking out a suitable class of ''measurable'' subsets is an essential prerequisite.
| |
| | |
| The Riemann integral uses the notion of length explicitly. Indeed, the element of calculation for the Riemann integral is the rectangle {{math|[''a'', ''b''] × [''c'', ''d'']}}, whose area is calculated to be {{math|(''b'' − ''a'')(''d'' − ''c'')}}. The quantity {{math|''b'' − ''a''}} is the length of the base of the rectangle and {{math|''d'' − ''c''}} is the height of the rectangle. Riemann could only use planar rectangles to approximate the area under the curve because there was no adequate theory for measuring more general sets.
| |
| | |
| In the development of the theory in most modern textbooks (after 1950), the approach to measure and integration is ''axiomatic''. This means that a measure is any function μ defined on a certain class {{math|''X'' }} of subsets of a set {{math|''E''}}, which satisfies a certain list of properties. These properties can be shown to hold in many different cases.
| |
| | |
| === Integration ===
| |
| We start with a [[measure space]] {{math|(''E'', ''X'', μ)}} where {{math|''E''}} is a [[Set (mathematics)|set]], {{math|''X''}} is a [[sigma-algebra|σ-algebra]] of subsets of {{math|''E''}} and μ is a (non-[[Signed measure|negative]]) [[measure (mathematics)|measure]] on {{math|''E''}}, defined on the sets of {{math|''X''}}.
| |
| | |
| For example, {{math|''E''}} can be [[Euclidean space|Euclidean {{math|''n''}}-space]] {{math|'''R'''<sup>''n''</sup>}} or some [[Lebesgue measure|Lebesgue measurable]] subset of it, {{math|''X''}} will be the [[σ-algebra]] of all Lebesgue measurable subsets of {{math|''E''}}, and μ will be the [[Lebesgue measure]]. In the mathematical theory of probability, we confine our study to a [[probability]] measure {{math|μ}}, which satisfies {{math|μ(''E'') {{=}} 1}}.
| |
| | |
| In Lebesgue's theory, integrals are defined for a class of functions called [[measurable function]]s. A real-valued function {{math|''f''}} on {{math|''E''}} is measurable if the [[pre-image]] of every interval of the form {{math|(''t'', ∞)}} is in {{math|''X''}}:
| |
| | |
| :<math> \{x\,\mid\,f(x) > t\} \in X\quad \text{for all}\ t\in\mathbf{R}. </math>
| |
| | |
| It can be shown that this is equivalent to requiring that the pre-image of any [[Borel algebra|Borel]] subset of {{math|'''R'''}} be in {{math|''X''}}. We will make this assumption henceforth. The set of measurable functions is closed under algebraic operations, but more importantly it is closed under various kinds of [[Limit superior and limit inferior|pointwise sequential limits]]:
| |
| | |
| : <math> \sup_{k \in \mathbf{N}} f_k, \quad \liminf_{k \in \mathbf{N}} f_k, \quad \limsup_{k \in \mathbf{N}} f_k </math>
| |
| | |
| are measurable if the original sequence {{math|(''f''<sub>''k''</sub>)<sub>''k''</sub>}}, where {{math|''k'' ∈ '''N'''}}, consists of measurable functions.
| |
| | |
| We build up an integral
| |
| | |
| : <math> \int_E f \, d \mu = \int_E f\left(x\right)\, \mu\left(dx\right)</math>
| |
| | |
| for measurable real-valued functions {{math|''f''}} defined on {{math|''E''}} in stages:
| |
| | |
| '''Indicator functions''': To assign a value to the integral of the [[indicator function]] {{math|1<sub>''S''</sub>}} of a measurable set {{math|''S''}} consistent with the given measure μ, the only reasonable choice is to set:
| |
| | |
| :<math>\int 1_S \, d \mu = \mu (S).</math>
| |
| | |
| Notice that the result may be equal to {{math|+∞}}, unless {{math|μ}} is a ''finite'' measure.
| |
| | |
| '''Simple functions''': A finite [[linear combination]] of indicator functions
| |
| | |
| :<math>\sum_k a_k 1_{S_k}</math>
| |
| | |
| where the coefficients {{math|''a''<sub>''k''</sub>}} are real numbers and the sets {{math|''S<sub>k</sub>''}} are measurable, is called a measurable [[simple function]]. We extend the integral by linearity to ''non-negative'' measurable simple functions. When the coefficients {{math|''a<sub>k</sub>''}} are non-negative, we set
| |
| | |
| :<math>\int \left(\sum_k a_k 1_{S_k}\right) \, d \mu = \sum_k a_k \int 1_{S_k} \, d \mu = \sum_k a_k \, \mu(S_k). </math>
| |
| | |
| The convention {{math|0 × ∞ {{=}} 0}} must be used, and the result may be infinite. Even if a simple function can be written in many ways as a linear combination of indicator functions, the integral will always be the same; this can be shown using the additivity property of measures.
| |
| | |
| Some care is needed when defining the integral of a ''real-valued'' simple function, to avoid the undefined expression {{math|∞ − ∞}}: one assumes that the representation
| |
| | |
| :<math> f = \sum_k a_k 1_{S_k}</math>
| |
| | |
| is such that {{math|μ(''S''<sub>''k''</sub>) < ∞}} whenever {{math|''a''<sub>''k''</sub> ≠ 0}}. Then the above formula for the integral of ''f'' makes sense, and the result does not depend upon the particular representation of {{math|''f''}} satisfying the assumptions.
| |
| | |
| If {{math|''B''}} is a measurable subset of {{math|''E''}} and {{math|''s''}} is a measurable simple function one defines
| |
| | |
| :<math> \int_B s \, d\mu = \int 1_B \, s \, d\mu = \sum_k a_k \, \mu(S_k \cap B). </math>
| |
| | |
| '''Non-negative functions''': Let {{math|''f''}} be a non-negative measurable function on {{math|''E''}} which we allow to attain the value {{math|+∞}}, in other words, {{math|''f''}} takes non-negative values in the [[extended real number line]]. We define
| |
| | |
| :<math>\int_E f \, d\mu = \sup\left\{\,\int_E s\, d\mu : 0 \le s \le f,\ s\ \text{simple}\,\right\}.</math>
| |
| | |
| We need to show this integral coincides with the preceding one, defined on the set of simple functions. When ''E''  is a segment [''a'', ''b''], there is also the question of whether this corresponds in any way to a Riemann notion of integration. It is possible to prove that the answer to both questions is yes.
| |
| | |
| We have defined the integral of ''f'' for any non-negative extended real-valued measurable function on ''E''. For some functions, this integral  ∫<sub>''E''</sub> ''f'' dμ  will be infinite.
| |
| | |
| '''Signed functions''': To handle signed functions, we need a few more definitions. If {{math|''f''}} is a measurable function of the set {{math|''E''}} to the reals (including {{math|±∞}}), then we can write
| |
| | |
| :<math> f = f^+ - f^-, \quad </math>
| |
| | |
| where
| |
| | |
| :<math> f^+(x) = \left\{\begin{matrix} f(x) & \text{if } f(x) > 0 \\ 0 & \text{otherwise} \end{matrix}\right. </math>
| |
| :<math> f^-(x) = \left\{\begin{matrix} -f(x) & \text{if } f(x) < 0 \\ 0 & \text{otherwise} \end{matrix}\right. </math>
| |
| | |
| Note that both {{math|''f''<sup>+</sup>}} and {{math|''f''<sup>−</sup>}} are non-negative measurable functions. Also note that
| |
| | |
| :<math> |f| = f^+ + f^-. \quad </math>
| |
| | |
| We say that the Lebesgue integral of the measurable function {{math|''f''}} ''exists'', or ''is defined'' if at least one of <math> \int f^+ \, d\mu </math> and <math> \int f^- \, d\mu </math> is finite:
| |
| | |
| :<math> \min\left(\int f^+ \, d \mu, \int f^- \, d \mu\right) < \infty. </math>
| |
| | |
| In this case we ''define''
| |
| | |
| :<math> \int f \, d \mu = \int f^+ \, d \mu - \int f^- \, d \mu. </math>
| |
| | |
| If
| |
| | |
| :<math> \int |f| \, d \mu < \infty, </math>
| |
| | |
| we say that {{math|''f''}} is ''Lebesgue integrable''.
| |
| | |
| It turns out that this definition gives the desirable properties of the integral.
| |
| | |
| '''[[complex number|Complex]] valued functions''' can be similarly integrated, by considering the real part and the imaginary part separately.
| |
| | |
| === Example ===
| |
| Consider the [[indicator function]] of the rational numbers, {{math|1<sub>'''Q'''</sub>}}. This function is [[nowhere continuous]].
| |
| | |
| * <math>1_{\mathbf Q}</math> '''is not Riemann-integrable on''' {{math|[0, 1]}}: No matter how the set {{math|[0, 1]}} is partitioned into subintervals, each partition will contain at least one rational and at least one irrational number, because rationals and irrationals are both dense in the reals. Thus the upper [[Darboux sum]]s will all be one, and the lower Darboux sums will all be zero.
| |
| | |
| * <math>1_{\mathbf Q}</math> '''is Lebesgue-integrable on ''' {{math|[0, 1]}} using the [[Lebesgue measure]]: Indeed it is the indicator function of the rationals so by definition
| |
| | |
| ::<math> \int_{[0,1]} 1_{\mathbf Q} \, d \mu = \mu(\mathbf{Q} \cap [0,1]) = 0,</math>
| |
| | |
| :because {{math|'''Q'''}} is [[countable]].
| |
| | |
| === Domain of integration ===
| |
| A technical issue in Lebesgue integration is that the domain of integration is defined as a ''set'' (a subset of a measure space), with no notion of orientation. In elementary calculus, one defines integration with respect to an [[orientation (manifold)|orientation]]:
| |
| :<math>\int_b^a f := - \int_a^b f.</math>
| |
| Generalizing this to higher dimensions yields integration of [[differential form]]s. By contrast, Lebesgue integration provides an alternative generalization, integrating over subsets with respect to a measure; this can be notated as
| |
| :<math>\int_A f\,d\mu = \int_{[a,b]} f\,d\mu</math>
| |
| to indicate integration over a subset {{math|''A''}}. For details on the relation between these generalizations, see [[Differential form#Relation with measures|Differential form: Relation with measures]].
| |
| | |
| == Limitations of the Riemann integral ==
| |
| Here we discuss the limitations of the Riemann integral and the greater scope offered by the Lebesgue integral. We presume a working understanding of the [[Riemann integral]].
| |
| | |
| With the advent of [[Fourier series]], many analytical problems involving integrals came up whose satisfactory solution required interchanging limit processes and integral signs. However, the conditions under which the integrals
| |
| | |
| : <math> \sum_k \int f_k(x) dx, \quad \int \left [\sum_k f_k(x) \right ] dx </math>
| |
| | |
| are equal proved quite elusive in the Riemann framework. There are some other technical difficulties with the Riemann integral. These are linked with the limit-taking difficulty discussed above.
| |
| | |
| '''Failure of monotone convergence'''. As shown above, the [[indicator function]] {{math|1<sub>'''Q'''</sub>}} on the rationals is not Riemann integrable. In particular, the [[Monotone convergence theorem]] fails. To see why, let {{math|{''a''<sub>''k''</sub>}}} be an enumeration of all the rational numbers in {{math|[0, 1]}} (they are [[countable]] so this can be done.) Then let
| |
| :<math> g_k(x) = \left\{\begin{matrix} 1 & \mbox{if } x = a_j, j\leq k \\ 0 & \mbox{otherwise} \end{matrix} \right. </math>
| |
| | |
| The function {{math|''g''<sub>''k''</sub>}} is zero everywhere except on a finite set of points, hence its Riemann integral is zero. Each {{math|''g''<sub>''k''</sub>}} is non-negative, and this sequence of functions is monotonically increasing, but its limit as {{math|''k'' → ∞}} is {{math|1<sub>'''Q'''</sub>}}, which is not Riemann integrable.
| |
| | |
| '''Unsuitability for unbounded intervals'''. The Riemann integral can only integrate functions on a bounded interval. It can however be extended to unbounded intervals by taking limits, so long as this doesn't yield an answer such as {{math|∞ − ∞}}.
| |
| | |
| '''Integrating on structures other than Euclidean space'''. The Riemann integral is inextricably linked to the order structure of the line.
| |
| | |
| == 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 {{math|''f''}} and {{math|''g''}} are said to be equal [[almost everywhere]] (a.e.) if
| |
| | |
| :<math> \mu(\{x \in E: f(x) \neq g(x)\}) = 0. </math>
| |
| | |
| * If {{math|''f'', ''g''}} are non-negative measurable functions (possibly assuming the value {{math|+∞}}) such that {{math|''f'' {{=}} ''g''}} almost everywhere, then
| |
| | |
| :<math> \int f \, d \mu = \int g \, d \mu. </math>
| |
| | |
| To wit, the integral respects the equivalence relation of almost-everywhere equality.
| |
| | |
| * If {{math|''f'', ''g''}} are functions such that {{math|''f'' {{=}} ''g''}} almost everywhere, then {{math|''f''}} is Lebesgue integrable if and only if {{math|''g''}} is Lebesgue integrable, and the integrals of {{math|''f''}} and {{math|''g''}} are the same if they exist.
| |
| | |
| The Lebesgue integral has the following properties:
| |
| | |
| [[linear transformation|Linearity]]: If {{math|''f''}} and {{math|''g''}} are Lebesgue integrable functions and {{math|''a''}} and {{math|''b''}} are real numbers, then {{math|''af'' + ''bg''}} is Lebesgue integrable and
| |
| | |
| :<math> \int (a f + bg) \, d \mu = a \int f \, d\mu + b \int g \, d\mu. </math>
| |
| | |
| [[Monotonic]]ity: If {{math|''f'' ≤ ''g''}}, then
| |
| | |
| :<math> \int f \, d \mu \leq \int g \, d \mu. </math>
| |
| | |
| [[Monotone convergence theorem#Lebesgue's monotone convergence theorem|Monotone convergence theorem]]: Suppose {{math|{ ''f''<sub>''k''</sub>}<sub>''k'' ∈ '''N'''</sub>}} is a sequence of non-negative measurable functions such that
| |
| | |
| :<math> f_k(x) \leq f_{k+1}(x) \quad \forall k\in \mathbf{N}, \, \forall x \in E. </math>
| |
| | |
| Then, the pointwise limit {{math|''f''}} of {{math|''f''<sub>''k''</sub>}} is Lebesgue integrable and
| |
| | |
| :<math> \lim_k \int f_k \, d \mu = \int f \, d \mu. </math>
| |
| | |
| The value of any of the integrals is allowed to be infinite.
| |
| | |
| [[Fatou's lemma]]: If {{math|{ ''f''<sub>''k''</sub>}<sub>''k'' ∈ '''N'''</sub>}} is a sequence of non-negative measurable functions, then
| |
| | |
| :<math> \int \liminf_k f_k \, d \mu \leq \liminf_k \int f_k \, d \mu.</math>
| |
| | |
| Again, the value of any of the integrals may be infinite.
| |
| | |
| [[Dominated convergence theorem]]: Suppose {{math|{ ''f''<sub>''k''</sub>}<sub>''k'' ∈ '''N'''</sub>}} is a sequence of complex measurable functions with pointwise limit {{math|''f''}}, and there is a Lebesgue integrable function {{math|''g''}} (i.e., {{math|''g''}} belongs to the {{math|[[Lp space|space ''L''<sup>1</sup>]])}} such that {{math|{{!}} ''f''<sub>''k''</sub> {{!}} ≤ ''g''}} for all {{math|''k''}}.
| |
| | |
| Then, {{math|''f''}} is Lebesgue integrable and
| |
| | |
| :<math> \lim_k \int f_k \, d \mu = \int f \, d \mu. </math>
| |
| | |
| == Proof techniques ==
| |
| To illustrate some of the proof techniques used in Lebesgue integration theory, we sketch a proof of the above mentioned Lebesgue monotone convergence theorem. Let {{math|{ ''f''<sub>''k''</sub>}<sub>''k'' ∈ '''N'''</sub>}} be a non-decreasing sequence of non-negative measurable functions and put
| |
| | |
| :<math> f = \sup_{k \in \mathbf{N}} f_k = \lim_{k \in \mathbf{N}} f_k. </math>
| |
| | |
| By the monotonicity property of the integral, it is immediate that:
| |
| | |
| : <math> \int f \, d \mu \geq \lim_k \int f_k \, d \mu </math>
| |
| | |
| and the limit on the right exists, because the sequence is monotonic. We now prove the inequality in the other direction. It follows from the definition of integral that there is a non-decreasing sequence {{math|(''g''<sub>''n''</sub>)}} of non-negative simple functions such that {{math|''g''<sub>''n''</sub> ≤ ''f'' }} and
| |
| | |
| :<math> \lim_n \int g_n \, d \mu = \int f \, d \mu. </math>
| |
| | |
| Therefore, it suffices to prove that for each {{math|''n'' ∈ '''N'''}},
| |
| | |
| :<math> \int g_n \, d \mu \leq \lim_k \int f_k \, d \mu. </math>
| |
| | |
| We will show that if {{math|''g''}} is a simple function and
| |
| | |
| :<math> \lim_k f_k(x) \geq g(x) </math>
| |
| | |
| almost everywhere, then
| |
| | |
| :<math> \lim_k \int f_k \, d \mu \geq \int g \, d \mu.</math>
| |
| | |
| By breaking up the function {{math|''g''}} into its constant value parts, this reduces to the case in which {{math|''g''}} is the indicator function of a set. The result we have to prove is then
| |
| | |
| <blockquote>Suppose {{math|''A''}} is a measurable set and {{math|{ ''f''<sub>''k''</sub>}<sub>''k'' ∈ '''N'''</sub>}} is a nondecreasing sequence of non-negative measurable functions on {{math|''E''}} such that
| |
| | |
| :<math> \lim_k f_k (x) \geq 1 </math>
| |
| | |
| for almost all {{math|''x'' ∈ ''A''}}. Then
| |
| | |
| :<math> \lim_k \int f_k \, d\mu \geq \mu(A). </math></blockquote>
| |
| | |
| To prove this result, fix {{math|''ε'' > 0}} and define the sequence of measurable sets
| |
| | |
| :<math> B_k = \{x \in A: f_k(x) \geq 1 - \varepsilon \}. </math>
| |
| | |
| By monotonicity of the integral, it follows that for any {{math|''k'' ∈ '''N'''}},
| |
| | |
| :<math> (1 - \varepsilon) \mu(B_k) = \int (1 - \varepsilon) 1_{B_k} \, d \mu \leq \int f_k \, d \mu </math>
| |
| | |
| Because almost every {{math|''x''}} will be in {{math|''B<sub>k</sub>''}} for large enough {{math|''k''}}, we have
| |
| | |
| :<math> \bigcup_k B_k = A, </math>
| |
| | |
| up to a set of measure {{math|0}}. Thus by countable additivity of {{math|μ}}, and because {{math|''B<sub>k</sub>''}} increases with {{math|''k''}},
| |
| | |
| :<math> \mu(A) = \lim_k \mu(B_k) \leq \lim_k (1 - \varepsilon)^{-1} \int f_k \, d \mu. </math>
| |
| | |
| As this is true for any positive {{math|''ε''}} the result follows.
| |
| | |
| For another Proof of the Monotone Convergence Theorem, we follow:<ref>Folland</ref>
| |
| | |
| Let {{math|(X, M, μ)}} be a measure space.
| |
| | |
| {{math|{ ''f''<sub>n</sub>}}} is an increasing sequence of numbers, therefore its limit exists, even if it's equal to {{math|∞}}. We know that
| |
| | |
| :<math> \int f_n \leq \int f</math>
| |
| | |
| for all {{math|n}}, so that
| |
| | |
| :<math> \lim \limits_{n \rightarrow \infty} \int f_n \leq \int f</math>.
| |
| | |
| Now we need to establish the reverse inequality. Fix {{math|α ∈ (0, 1)}}, let {{math|''φ''}} be a simple function with {{math|0 ≤ ''φ'' ≤ ''f''}} and let
| |
| | |
| :<math> E_n = \{x : f_n (x) \geq \alpha \phi(x)\} </math>.
| |
| | |
| Then {{math|{E<sub>n</sub>}}} is an increasing sequence of measurable sets with <math> \bigcup \limits^\infty E_n = X</math>. We know that
| |
| | |
| :<math> \int f_n \geq \int \limits_{E_n} f_n \geq \alpha \int \limits_{E_n} \phi </math>.
| |
| | |
| This is true for all n, including the limit:
| |
| | |
| :<math> \lim \int \limits_{E_n} \phi = \int \phi</math>.
| |
| | |
| Hence,
| |
| | |
| :<math> \lim \int f_n \geq \alpha \int \phi </math>.
| |
| | |
| This was true for all {{math|''φ'' ∈ (0, 1)}}, so it remains true for {{math|α {{=}} 1}}, and taking the supremum over simple {{math|''φ'' ≤ ''f''}} by the definition of integration in {{math|''L''<sup>+</sup>}},
| |
| | |
| :<math> \lim \int f_n \geq \int f</math>.
| |
| | |
| Now we have both inequalities, so we've shown the Monotone Convergence theorem:
| |
| | |
| :<math> \lim \int f_n = \int f </math>
| |
| | |
| for {{math|''f''<sub>{n+1}</sub> ≥ ''f''<sub>n</sub>}}, and {{math|''f''<sub>n</sub> → ''f''}} pointwise, {{math|{''f''<sub>n</sub>} ∈ ''L''<sup>+</sup>}}, the set of positive measurable functions from {{math|X → [0, ∞]}}.
| |
| | |
| == Alternative formulations ==
| |
| | |
| It is possible to develop the integral with respect to the Lebesgue measure without relying on the full machinery of measure theory. One such approach is provided by the [[Daniell integral]].
| |
| | |
| There is also an alternative approach to developing the theory of integration via methods of [[functional analysis]]. The Riemann integral exists for any continuous function {{math|''f''}} of [[support (mathematics)|compact support]] defined on {{math|'''R'''<sup>''n''</sup>}} (or a fixed open subset). Integrals of more general functions can be built starting from these integrals.
| |
| | |
| Let {{math|''C<sub>c</sub>''}} be the space of all real-valued compactly supported continuous functions of {{math|'''R'''}}. Define a norm on {{math|''C<sub>c</sub>''}} by
| |
| | |
| : <math> \|f\| = \int |f(x)| dx.</math>
| |
| | |
| Then {{math|''C<sub>c</sub>''}} is a normed vector space (and in particular, it is a metric space.) All metric spaces have [[complete space|Hausdorff completions]], so let {{math|''L''<sup>1</sup>}} be its completion. This space is isomorphic to the space of Lebesgue integrable functions modulo the subspace of functions with integral zero. Furthermore, the Riemann integral {{math|∫}} is a [[uniformly continuous]] functional with respect to the norm on {{math|''C<sub>c</sub>''}}, which is dense in {{math|''L''<sup>1</sup>}}. Hence {{math|∫}} has a unique extension to all of {{math|''L''<sup>1</sup>}}. This integral is precisely the Lebesgue integral.
| |
| | |
| More generally, when the measure space on which the functions are defined is also a [[Locally compact space|locally compact]] [[topological space]] (as is the case with the real numbers {{math|'''R'''}}), measures compatible with the topology in a suitable sense ([[Radon measure]]s, of which the Lebesgue measure is an example) an integral with respect to them can be defined in the same manner, starting from the integrals of [[continuous function]]s with [[support (mathematics)#Compact support|compact support]]. More precisely, the compactly supported functions form a [[vector space]] that carries a natural [[topological space|topology]], and a (Radon) measure is defined as a continuous [[linear map|linear]] functional on this space. The value of a measure at a compactly supported function is then also by definition the integral of the function. One then proceeds to expand the measure (the integral) to more general functions by continuity, and defines the measure of a set as the integral of its indicator function. This is the approach taken by {{Harvtxt|Bourbaki|2004}} and a certain number of other authors. For details see [[Radon measure#Radon measures on locally compact spaces|Radon measures]].
| |
| | |
| ==Limitations of Lebesgue integral==
| |
| The main purpose of Lebesgue integral is to provide an integral notation where limits of integrals hold under mild assumptions. There is no guarantee that every function is Lebesgue integrable. It may happen that improper (Riemann) integrals exist for functions that are not Lebesgue integrable. One example would be
| |
| :<math>\frac{\sin(x)}{x}.</math>
| |
| This function is not Lebesgue integrable as
| |
| :<math> \int \left|\frac{\sin(x)}{x}\right| d\mu =\infty.</math>
| |
| On the other hand, it exists as an improper Riemann integral and the integral can be computed to be finite.
| |
| | |
| == See also ==
| |
| * [[Henri Lebesgue#Lebesgue's theory of integration|Henri Lebesgue]], for a non-technical description of Lebesgue integration
| |
| * [[Null set]]
| |
| * [[integral|Integration]]
| |
| * [[measure (mathematics)|Measure]]
| |
| * [[Sigma-algebra]]
| |
| * [[Lebesgue space]]
| |
| * [[Lebesgue–Stieltjes integration]]
| |
| * [[Henstock–Kurzweil integral]]
| |
| | |
| == Notes ==
| |
| {{reflist}}
| |
| | |
| == References ==
| |
| | |
| * {{cite book
| |
| | last = Bartle
| |
| | first = Robert G.
| |
| | title = The elements of integration and Lebesgue measure
| |
| | series = Wiley Classics Library
| |
| | publisher = John Wiley & Sons Inc.
| |
| | location = New York
| |
| | year = 1995
| |
| | pages = xii+179
| |
| | isbn = 0-471-04222-6
| |
| | nopp = true
| |
| | mr = 1312157}}
| |
| | |
| * {{cite book
| |
| | last = Bauer
| |
| | first = Heinz
| |
| | title = Measure and Integration Theory
| |
| | series = De Gruyter Studies in Mathematics 26
| |
| | publisher = De Gruyter
| |
| | location = Berlin
| |
| | year = 2001
| |
| | pages = 236
| |
| | isbn = 978−3−11−016719−1
| |
| | nopp = true}}
| |
| | |
| * {{cite book
| |
| | last = Bourbaki
| |
| | first = Nicolas
| |
| | authorlink = Nicolas Bourbaki
| |
| | title = Integration. I. Chapters 1–6. Translated from the 1959, 1965 and 1967 French originals by Sterling K. Berberian
| |
| | series = Elements of Mathematics (Berlin)
| |
| | publisher= Springer-Verlag
| |
| | location = Berlin
| |
| | year = 2004
| |
| | pages = xvi+472
| |
| | isbn = 3-540-41129-1
| |
| | nopp = true
| |
| | mr = 2018901}}
| |
| | |
| * {{cite book
| |
| | last = Dudley
| |
| | first = Richard M.
| |
| | title = Real analysis and probability
| |
| | series = The Wadsworth & Brooks/Cole Mathematics Series
| |
| | publisher = Wadsworth & Brooks/Cole Advanced Books & Software
| |
| | location = Pacific Grove, CA
| |
| | year = 1989
| |
| | pages = xii+436
| |
| | isbn = 0-534-10050-3
| |
| | nopp = true
| |
| | mr = 982264}} Very thorough treatment, particularly for probabilists with good notes and historical references.
| |
| | |
| * {{cite book
| |
| | last = Folland
| |
| | first = Gerald B.
| |
| | title = Real analysis: Modern techniques and their applications
| |
| | series = Pure and Applied Mathematics (New York)
| |
| | edition = Second
| |
| | publisher = John Wiley & Sons Inc.
| |
| | location = New York
| |
| | year = 1999
| |
| | pages = xvi+386
| |
| | isbn = 0-471-31716-0
| |
| | nopp = true
| |
| | mr = 1681462}}
| |
| | |
| * {{cite book
| |
| | last = Halmos
| |
| | first = Paul R.
| |
| | authorlink = Paul Halmos
| |
| | title = Measure Theory
| |
| | publisher = D. Van Nostrand Company, Inc.
| |
| | location = New York, N. Y.
| |
| | year = 1950
| |
| | pages = xi+304
| |
| | mr = 0033869}} A classic, though somewhat dated presentation.
| |
| | |
| * {{springer|title=Lebesgue integral|id=p/l057860}}
| |
| | |
| * {{Cite journal
| |
| | last = Lebesgue
| |
| | first = Henri
| |
| | authorlink = Henri Lebesgue
| |
| | title = Leçons sur l'intégration et la recherche des fonctions primitives
| |
| | publisher = Gauthier-Villars
| |
| | year = 1904
| |
| | publication-place = Paris
| |
| | postscript = <!--None-->}}
| |
| | |
| * {{cite book
| |
| | last = Lebesgue
| |
| | first = Henri
| |
| | authorlink = Henri Lebesgue
| |
| | title = Oeuvres scientifiques (en cinq volumes)
| |
| | publisher = Institut de Mathématiques de l'Université de Genève
| |
| | location = Geneva
| |
| | year = 1972
| |
| | pages = 405
| |
| | language = French
| |
| | mr = 0389523}}
| |
| | |
| *{{cite book
| |
| |last1=Lieb
| |
| |first1=Elliott
| |
| |authorlink1=Elliott Lieb
| |
| |last2=Loss
| |
| |first2=Michael
| |
| |title=Analysis
| |
| |year=2001
| |
| |publisher=AMS Chelsea
| |
| |series=Graduate Studies in Mathematics
| |
| |isbn=978-0821827833}}
| |
| | |
| * {{cite book
| |
| | last = Loomis
| |
| | first = Lynn H.
| |
| | title = An introduction to abstract harmonic analysis
| |
| | publisher = D. Van Nostrand Company, Inc.
| |
| | location = Toronto-New York-London
| |
| | year = 1953
| |
| | pages = x+190
| |
| | mr = 0054173}} Includes a presentation of the Daniell integral.
| |
| | |
| * {{cite book
| |
| | last = Munroe
| |
| | first = M. E.
| |
| | title = Introduction to measure and integration
| |
| | publisher = Addison-Wesley Publishing Company Inc.
| |
| | location = Cambridge, Mass.
| |
| | year = 1953
| |
| | pages = x+310
| |
| | mr = 0053186}} Good treatment of the theory of outer measures.
| |
| | |
| * {{cite book
| |
| | last = Royden
| |
| | first = H. L.
| |
| | title = Real analysis
| |
| | edition = Third
| |
| | publisher = Macmillan Publishing Company
| |
| | location = New York
| |
| | year = 1988
| |
| | pages = xx+444
| |
| | isbn = 0-02-404151-3
| |
| | mr = 1013117}}
| |
| | |
| * {{cite book
| |
| | last = Rudin
| |
| | first = Walter
| |
| | authorlink = Walter Rudin
| |
| | title = Principles of mathematical analysis
| |
| | edition = Third
| |
| | series = International Series in Pure and Applied Mathematics
| |
| | publisher = McGraw-Hill Book Co.
| |
| | location = New York
| |
| | year = 1976
| |
| | pages = x+342
| |
| | mr = 0385023}} Known as ''Little Rudin'', contains the basics of the Lebesgue theory, but does not treat material such as [[Fubini's theorem]].
| |
| | |
| * {{cite book
| |
| | last = Rudin
| |
| | first = Walter
| |
| | title = Real and complex analysis
| |
| | publisher = McGraw-Hill Book Co.
| |
| | location = New York
| |
| | year = 1966
| |
| | pages = xi+412
| |
| | mr = 0210528}} Known as ''Big Rudin''. A complete and careful presentation of the theory. Good presentation of the Riesz extension theorems. However, there is a minor flaw (in the first edition) in the proof of one of the extension theorems, the discovery of which constitutes exercise 21 of Chapter 2.
| |
| *{{Cite journal
| |
| | last = Saks
| |
| | first = Stanisław
| |
| | author-link = Stanislaw Saks
| |
| | title = Theory of the Integral
| |
| | place = [[Warszawa]]-[[Lwów]]
| |
| | publisher = G.E. Stechert & Co.
| |
| | year = 1937
| |
| | series = [http://matwbn.icm.edu.pl/ksspis.php?wyd=10&jez=pl Monografie Matematyczne]
| |
| | volume = 7
| |
| | edition = 2nd
| |
| | pages = VI+347
| |
| | url = http://matwbn.icm.edu.pl/kstresc.php?tom=7&wyd=10&jez=pl
| |
| | jfm = 63.0183.05 | zbl = 0017.30004
| |
| | postscript = <!--None-->}}. English translation by [[Laurence Chisholm Young]], with two additional notes by [[Stefan Banach]].
| |
| | |
| * {{cite book
| |
| | last = Shilov
| |
| | first = G. E.
| |
| | coauthors = Gurevich, B. L.
| |
| | title = Integral, measure and derivative: a unified approach. Translated from the Russian and edited by Richard A. Silverman
| |
| | series = Dover Books on Advanced Mathematics
| |
| | publisher = Dover Publications Inc.
| |
| | location = New York
| |
| | year = 1977
| |
| | pages = xiv+233
| |
| | isbn = 0-486-63519-8
| |
| | nopp = true
| |
| | mr = 0466463}} Emphasizes the [[Daniell integral]].
| |
| | |
| * {{citation|last=Siegmund-Schultze|first=Reinhard|chapter=Henri Lebesgue|title=Princeton Companion to Mathematics|editors=Timothy Gowers, June Barrow-Green, Imre Leader|year=2008|publisher=Princeton University Press}}.
| |
| | |
| * {{cite book
| |
| | last = Teschl
| |
| | first = Gerald
| |
| | authorlink = Gerald Teschl
| |
| | title = Topics in Real and Functional Analysis
| |
| | publisher = (lecture notes)
| |
| | url = http://www.mat.univie.ac.at/~gerald/ftp/book-fa/index.html}}
| |
| | |
| {{integral}}
| |
| | |
| [[Category:Definitions of mathematical integration]]
| |
| [[Category:Measure theory]]
| |