Daniell integral

Summary

In mathematics, the Daniell integral is a type of integration that generalizes the concept of more elementary versions such as the Riemann integral to which students are typically first introduced. One of the main difficulties with the traditional formulation of the Lebesgue integral is that it requires the initial development of a workable measure theory before any useful results for the integral can be obtained. However, an alternative approach is available, developed by Percy J. Daniell (1918) that does not suffer from this deficiency, and has a few significant advantages over the traditional formulation, especially as the integral is generalized into higher-dimensional spaces and further generalizations such as the Stieltjes integral. The basic idea involves the axiomatization of the integral.

AxiomsEdit

We start by choosing a family   of bounded real functions (called elementary functions) defined over some set  , that satisfies these two axioms:

  •   is a linear space with the usual operations of addition and scalar multiplication.
  • If a function   is in  , so is its absolute value  .

In addition, every function h in H is assigned a real number  , which is called the elementary integral of h, satisfying these three axioms:

Linearity
If h and k are both in H, and   and   are any two real numbers, then  .
Nonnegativity
If  , then  .
Continuity
If   is a nonincreasing sequence (i.e.  ) of functions in   that converges to 0 for all   in  , then  .
or (more commonly)
If   is an increasing sequence (i.e.  ) of functions in   that converges to h for all   in  , then  .

That is, we define a continuous non-negative linear functional   over the space of elementary functions.

These elementary functions and their elementary integrals may be any set of functions and definitions of integrals over these functions which satisfy these axioms. The family of all step functions evidently satisfies the above axioms for elementary functions. Defining the elementary integral of the family of step functions as the (signed) area underneath a step function evidently satisfies the given axioms for an elementary integral. Applying the construction of the Daniell integral described further below using step functions as elementary functions produces a definition of an integral equivalent to the Lebesgue integral. Using the family of all continuous functions as the elementary functions and the traditional Riemann integral as the elementary integral is also possible, however, this will yield an integral that is also equivalent to Lebesgue's definition. Doing the same, but using the Riemann–Stieltjes integral, along with an appropriate function of bounded variation, gives a definition of integral equivalent to the Lebesgue–Stieltjes integral.

Sets of measure zero may be defined in terms of elementary functions as follows. A set   which is a subset of   is a set of measure zero if for any  , there exists a nondecreasing sequence of nonnegative elementary functions   in H such that   and   on  .

A set is called a set of full measure if its complement, relative to  , is a set of measure zero. We say that if some property holds at every point of a set of full measure (or equivalently everywhere except on a set of measure zero), it holds almost everywhere.

DefinitionEdit

Although the end result is the same, different authors construct the integral differently. A common approach is to start with defining a larger class of functions, based on our chosen elementary functions, the class  , which is the family of all functions that are the limit of a nondecreasing sequence   of elementary functions, such that the set of integrals   is bounded. The integral of a function   in   is defined as:

 

It can be shown that this definition of the integral is well-defined, i.e. it does not depend on the choice of sequence  .

However, the class   is in general not closed under subtraction and scalar multiplication by negative numbers; one needs to further extend it by defining a wider class of functions   with these properties.

Daniell's (1918) method, described in the book by Royden, amounts to defining the upper integral of a general function   by

 

where the infimum is taken over all   in   with  . The lower integral is defined in a similar fashion or shortly as  . Finally   consists of those functions whose upper and lower integrals are finite and coincide, and

 

An alternative route, based on a discovery by Frederic Riesz, is taken in the book by Shilov and Gurevich and in the article in Encyclopedia of Mathematics. Here   consists of those functions   that can be represented on a set of full measure (defined in the previous section) as the difference  , for some functions   and   in the class  . Then the integral of a function   can be defined as:

 

Again, it may be shown that this integral is well-defined, i.e. it does not depend on the decomposition of   into   and  . This turns out to be equivalent to the original Daniell integral.

PropertiesEdit

Nearly all of the important theorems in the traditional theory of the Lebesgue integral, such as Lebesgue's dominated convergence theorem, the Riesz–Fischer theorem, Fatou's lemma, and Fubini's theorem may also readily be proved using this construction. Its properties are identical to the traditional Lebesgue integral.

MeasurementEdit

Because of the natural correspondence between sets and functions, it is also possible to use the Daniell integral to construct a measure theory. If we take the characteristic function   of some set, then its integral may be taken as the measure of the set. This definition of measure based on the Daniell integral can be shown to be equivalent to the traditional Lebesgue measure.

Advantages over the traditional formulationEdit

This method of constructing the general integral has a few advantages over the traditional method of Lebesgue, particularly in the field of functional analysis. The Lebesgue and Daniell constructions are equivalent, as pointed out above, if ordinary finite-valued step functions are chosen as elementary functions. However, as one tries to extend the definition of the integral into more complex domains (e.g. attempting to define the integral of a linear functional), one runs into practical difficulties using Lebesgue's construction that are alleviated with the Daniell approach.

The Polish mathematician Jan Mikusinski has made an alternative and more natural formulation of Daniell integration by using the notion of absolutely convergent series. His formulation works for the Bochner integral (the Lebesgue integral for mappings taking values in Banach spaces). Mikusinski's lemma allows one to define the integral without mentioning null sets. He also proved the change of variables theorem for multiple Bochner integrals and Fubini's theorem for Bochner integrals using Daniell integration. The book by Asplund and Bungart carries a lucid treatment of this approach for real valued functions. It also offers a proof of an abstract Radon–Nikodym theorem using the Daniell–Mikusinski approach.

See alsoEdit

ReferencesEdit

  • Ash, Robert B. (1972). "The Interplay between Measure Theory and Topology". Real Analysis and Probability. New York: Academic Press. pp. 168–200. ISBN 0-12-065201-3.
  • Daniell, P. J. (1918). "A General Form of Integral". Annals of Mathematics. Second Series. 19 (4): 279–294. doi:10.2307/1967495. JSTOR 1967495.
  • Haberman, Shelby J. (1996). "Construction of Daniell Integrals". Advanced Statistics. New York: Springer. pp. 199–263. ISBN 0-387-94717-5.
  • Royden, H. L. (1988). "The Daniell Integral". Real Analysis (3rd ed.). Englewood Cliffs: Prentice Hall. pp. 419–434. ISBN 0-02-404151-3.
  • Loomis, Lynn H. (1953), "Chapter III: Integration", An introduction to abstract harmonic analysis, D. Van Nostrand, pp. 29–47, hdl:2027/uc1.b4250788
  • Shilov, G. E.; Gurevich, B. L. (1978). Integral, Measure, and Derivative: A Unified Approach. Translated by Silverman, Richard A. Dover Publications. ISBN 0-486-63519-8.
  • Asplund, Edgar; Bungart, Lutz (1966). A First Course in Integration. New York: Holt, Rinehart and Winston.
  • Sobolev, V. I. (2001) [1994], "Daniell integral", Encyclopedia of Mathematics, EMS Press
  • Taylor, A. E. (1985) [1965]. General Theory of Functions and Integration. Dover. ISBN 0-486-64988-1.