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 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. 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 for all , 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.
Thomas Guignard, Vincent Martin
Pramod Rastogi, Abhijit Patil, Rajesh Langoju