Fatou's Lemma - Standard Statement of Fatou's Lemma

Standard Statement of Fatou's Lemma

Let f1, f2, f3, . . . be a sequence of non-negative measurable functions on a measure space (S,Σ,μ). Define the function f : S → a.e. pointwise limit by

f(s) =\liminf_{n\to\infty} f_n(s),\qquad s\in S.

Then f  is measurable and

\int_S f\,d\mu \le \liminf_{n\to\infty} \int_S f_n\,d\mu\,.

Note: The functions are allowed to attain the value +∞ and the integrals may also be infinite.

Read more about this topic:  Fatou's Lemma

Famous quotes containing the words standard and/or statement:

    “There is a certain standard of grace and beauty which consists in a certain relation between our nature, such as it is, weak or strong, and the thing which pleases us. Whatever is formed according to this standard pleases us, be it house, song, discourse, verse, prose, woman, birds, rivers, trees, room, dress, and so on. Whatever is not made according to this standard displeases those who have good taste.”
    —Blaise Pascal (1623–1662)

    “Truth is that concordance of an abstract statement with the ideal limit towards which endless investigation would tend to bring scientific belief, which concordance the abstract statement may possess by virtue of the confession of its inaccuracy and one-sidedness, and this confession is an essential ingredient of truth.”
    —Charles Sanders Peirce (1839–1914)