# Daniell integral

An extension of the concept of the integral, proposed by P. Daniell . The construction scheme of this integral, which is known as the Daniell scheme, is an extension of the integral originally defined for a certain set of functions — the so-called elementary functions — to a wider class of functions. While retaining the way of extending but by changing the content of the initial set of elementary functions, it is possible to arrive at different extensions of the concept of the integral. In this scheme the concept of an elementary integral is axiomatically defined, unlike in Lebesgue's scheme (cf. Lebesgue integral) in which the concept of a measure is axiomatic.

Let $X$ be an arbitrary set and let $L _ {0}$ be a certain set of real bounded functions defined on $X$; these functions are called elementary. It is assumed that $L _ {0}$ is a vector lattice, i.e. from $f, g \in L _ {0}$ and $\alpha , \beta \in \mathbf R$ it follows that $\alpha f+ \beta g \in L _ {0}$, and

$$f, g \in L _ {0} \ \textrm{ implies } \ \sup ( f, g) , \inf ( f, g) \in L _ {0} .$$

Let $I$ be a real functional defined on $L _ {0}$ such that

1) $I( \alpha f + \beta g) = \alpha I ( f ) + \beta I ( g)$( linearity);

2) $f \geq 0 \Rightarrow I( f ) \geq 0$( non-negativity);

3) if $f _ {n} ( x) \downarrow 0$ for all $x$, then $I ( f _ {n} ) \rightarrow 0$( continuity with respect to monotone convergence).

Such a functional is known as an integral over elementary functions or an elementary integral. A set $M \subset X$ is said to be a set of measure zero if for each $\epsilon > 0$ there exists a non-decreasing sequence $\{ g _ {n} \} \subset L _ {0}$ such that $\sup _ {n} g _ {n} ( x) \geq \chi _ {M} ( x)$ for all $x$, and

$$\sup I ( g _ {n} ) \leq \epsilon .$$

Here, $\chi _ {M}$ denotes the characteristic function of $M$.

A function $f$ defined on $X$ belongs to the class $L ^ {+}$ if there exists a sequence $\{ f _ {n} \} \in L _ {0}$ such that $f _ {n} ( x) \uparrow f( x)$[[ Almost-everywhere|almost-everywhere]] and $I ( f _ {n} ) \leq c < + \infty$. The number

$$I( f ) = \lim\limits _ { n } I( f _ {n} )$$

is said to be the integral of $f$. The integral $I( f )$ does not depend on the choice of the particular approximating sequence $\{ f _ {n} \}$.

The class $L$ is the set of functions $f$ which are defined on $X$ and which are representable in the form $f= f _ {1} - f _ {2}$, where $f _ {1} , f _ {2} \in L ^ {+}$. Functions of the class $L$ are called summable, while the number

$$I( f ) = I( f _ {1} ) - I( f _ {2} )$$

is known as the Daniell integral of the function $f$. The class $L$ is a vector lattice of finite functions (considered up to sets of measure zero) which is closed with respect to almost-everywhere convergence, with finite integrals, while the Daniell integral of summable functions has the properties of linearity, non-negativity, continuity with respect to almost-everywhere convergence of majorable summable functions (Lebesgue's theorem on passing to the limit under the integral sign), and also several other natural properties of the integral.

If $X= [ a, b]$ and $L _ {0}$ is the set of the step functions

$$f( x) = c _ {i} , a _ {i} \leq x < b _ {i} ,\ \cup _ { i= } 1 ^ { n } [ a _ {i} , b _ {i} ) = [ a, b), b _ {i} = a _ {i+} 1 ,$$

the Daniell integral becomes identical with the Lebesgue integral on the summable functions on $[ a, b]$. The Daniell scheme may be used to construct the integral of functions with values in a $\sigma$- complete lattice.

How to Cite This Entry:
Daniell integral. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Daniell_integral&oldid=46579
This article was adapted from an original article by V.I. Sobolev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article