Relation To Lebesgue Integration
Any non-negative measurable function is the pointwise limit of a monotonic increasing sequence of non-negative simple functions. Indeed, let be a non-negative measurable function defined over the measure space as before. For each, subdivide the range of into intervals, of which have length . For each, set
- for, and .
(Note that, for fixed, the sets are disjoint and cover the non-negative real line.)
Now define the measurable sets
- for .
Then the increasing sequence of simple functions
converges pointwise to as . Note that, when is bounded, the convergence is uniform. This approximation of by simple functions (which are easily integrable) allows us to define an integral itself; see the article on Lebesgue integration for more details.
Read more about this topic: Simple Function
Famous quotes containing the words relation to, relation and/or integration:
“Only in a house where one has learnt to be lonely does one have this solicitude for things. One’s relation to them, the daily seeing or touching, begins to become love, and to lay one open to pain.”
—Elizabeth Bowen (1899–1973)
“Concord is just as idiotic as ever in relation to the spirits and their knockings. Most people here believe in a spiritual world ... in spirits which the very bullfrogs in our meadows would blackball. Their evil genius is seeing how low it can degrade them. The hooting of owls, the croaking of frogs, is celestial wisdom in comparison.”
—Henry David Thoreau (1817–1862)
“The more specific idea of evolution now reached is—a change from an indefinite, incoherent homogeneity to a definite, coherent heterogeneity, accompanying the dissipation of motion and integration of matter.”
—Herbert Spencer (1820–1903)