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:
“The proper study of mankind is man in his relation to his deity.”
—D.H. (David Herbert)
“Skepticism is unbelief in cause and effect. A man does not see, that, as he eats, so he thinks: as he deals, so he is, and so he appears; he does not see that his son is the son of his thoughts and of his actions; that fortunes are not exceptions but fruits; that relation and connection are not somewhere and sometimes, but everywhere and always; no miscellany, no exemption, no anomaly,—but method, and an even web; and what comes out, that was put in.”
—Ralph Waldo Emerson (1803–1882)
“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)