Definition of The Daniell Integral
We can then proceed to define 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 almost everywhere, 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, but we can further extend it by defining a wider class of functions such that every function can be represented on a set of full measure 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 is the final construction of the Daniell integral.
Read more about this topic: Daniell Integral
Famous quotes containing the words definition of, definition and/or integral:
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)
“One definition of man is “an intelligence served by organs.””
—Ralph Waldo Emerson (1803–1882)
“Self-centeredness is a natural outgrowth of one of the toddler’s major concerns: What is me and what is mine...? This is why most toddlers are incapable of sharing ... to a toddler, what’s his is what he can get his hands on.... When something is taken away from him, he feels as though a piece of him—an integral piece—is being torn from him.”
—Lawrence Balter (20th century)