Search results
Results from the WOW.Com Content Network
The integral of a positive real function f between boundaries a and b can be interpreted as the area under the graph of f, between a and b.This notion of area fits some functions, mainly piecewise continuous functions, including elementary functions, for example polynomials.
However, the Riemann–Lebesgue lemma does not hold for arbitrary distributions. For example, the Dirac delta function distribution formally has a finite integral over the real line, but its Fourier transform is a constant and does not vanish at infinity.
Real-valued functions encountered in applications tend to be measurable; however, it is not difficult to prove the existence of non-measurable functions. Such proofs rely on the axiom of choice in an essential way, in the sense that Zermelo–Fraenkel set theory without the axiom of choice does not prove the existence of such functions.
Measure and integration (as the English translation of the title reads) is a definitive monograph on integration and measure theory: the treatment of the limiting behavior of the integral of various kind of sequences of measure-related structures (measurable functions, measurable sets, measures and their combinations) is somewhat conclusive.
If A is a Lebesgue-measurable set with λ(A) = 0 (a null set), then every subset of A is also a null set. A fortiori, every subset of A is measurable. If A is Lebesgue-measurable and x is an element of R n, then the translation of A by x, defined by A + x = {a + x : a ∈ A}, is also Lebesgue-measurable and has the same measure as A.
The simplest example of a direct integral are the L 2 spaces associated to a (σ-finite) countably additive measure μ on a measurable space X. Somewhat more generally one can consider a separable Hilbert space H and the space of square-integrable H-valued functions (,).
If X = [a,b] ⊆ R and μ is Lebesgue measure, there are sequences (g n) of step functions and (h n) of continuous functions converging globally in measure to f. If f and f n (n ∈ N) are in L p (μ) for some p > 0 and (f n) converges to f in the p-norm, then (f n) converges to f globally in measure. The converse is false.
For (,) a measurable space, a sequence μ n is said to converge setwise to a limit μ if = ()for every set .. Typical arrow notations are and .. For example, as a consequence of the Riemann–Lebesgue lemma, the sequence μ n of measures on the interval [−1, 1] given by μ n (dx) = (1 + sin(nx))dx converges setwise to Lebesgue measure, but it does not converge in total variation.