# Daniell integral

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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 be an arbitrary set and let be a certain set of real bounded functions defined on ; these functions are called elementary. It is assumed that is a vector lattice, i.e. from and it follows that , and Let be a real functional defined on such that

1) (linearity);

2) (non-negativity);

3) if for all , then (continuity with respect to monotone convergence).

Such a functional is known as an integral over elementary functions or an elementary integral. A set is said to be a set of measure zero if for each there exists a non-decreasing sequence such that for all , and Here, denotes the characteristic function of .

A function defined on belongs to the class if there exists a sequence such that almost-everywhere and . The number is said to be the integral of . The integral does not depend on the choice of the particular approximating sequence .

The class is the set of functions which are defined on and which are representable in the form , where . Functions of the class are called summable, while the number is known as the Daniell integral of the function . The class 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 and is the set of the step functions the Daniell integral becomes identical with the Lebesgue integral on the summable functions on . The Daniell scheme may be used to construct the integral of functions with values in a -complete lattice.

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