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:

    “An indirect quotation we can usually expect to rate only as better or worse, more or less faithful, and we cannot even hope for a strict standard of more and less; what is involved is evaluation, relative to special purposes, of an essentially dramatic act.”
    —Willard Van Orman Quine (b. 1908)

    “A sentence is made up of words, a statement is made in words.... Statements are made, words or sentences are used.”
    —J.L. (John Langshaw)