Fatou's_lemma

Fatou's lemma

Lemma in measure theory

In mathematics, Fatou's lemma establishes an inequality relating the Lebesgue integral of the limit inferior of a sequence of functions to the limit inferior of integrals of these functions. The lemma is named after Pierre Fatou.

Fatou's lemma can be used to prove the Fatou–Lebesgue theorem and Lebesgue's dominated convergence theorem.

Standard statement

In what follows, $\operatorname {\mathcal {B}} _{\mathbb {R} _{\geq 0}}$ denotes the $\sigma$ -algebra of Borel sets on $[0,+\infty ]$ .

Theorem — Fatou's lemma. Given a measure space $(\Omega ,{\mathcal {F}},\mu )$ and a set $X\in {\mathcal {F}},$ let $\{f_{n}\}$ be a sequence of $({\mathcal {F}},\operatorname {\mathcal {B}} _{\mathbb {R} _{\geq 0}})$ -measurable non-negative functions $f_{n}:X\to [0,+\infty ]$ . Define the function $f:X\to [0,+\infty ]$ by setting $f(x)=\liminf _{n\to \infty }f_{n}(x),$ for every $x\in X$ .

Then $f$ is $({\mathcal {F}},\operatorname {\mathcal {B}} _{\mathbb {R} _{\geq 0}})$ -measurable, and also $\int _{X}f\,d\mu \leq \liminf _{n\to \infty }\int _{X}f_{n}\,d\mu$ , where the integrals may be infinite.

Fatou's lemma remains true if its assumptions hold $\mu$ -almost everywhere. In other words, it is enough that there is a null set $N$ such that the values $\{f_{n}(x)\}$ are non-negative for every ${x\in X\setminus N}.$ To see this, note that the integrals appearing in Fatou's lemma are unchanged if we change each function on $N$ .

Proof

Fatou's lemma does not require the monotone convergence theorem, but the latter can be used to provide a quick proof. A proof directly from the definitions of integrals is given further below.

In each case, the proof begins by analyzing the properties of $\textstyle g_{n}(x)=\inf _{k\geq n}f_{k}(x)$ . These satisfy:

the sequence $\{g_{n}(x)\}_{n}$ is pointwise non-decreasing at any x and
$g_{n}\leq f_{n}$ , $\forall n\in \mathbb {N}$ .

Since $f(x)=\liminf _{n\to \infty }f_{n}(x)=\lim _{n\to \infty }\inf _{k\geq n}f_{k}(x)=\lim _{n\to \infty }{g_{n}(x)}$ , we immediately see that f is measurable.

Via the Monotone Convergence Theorem

Moreover,

\int _{X}f\,d\mu =\int _{X}\lim _{n\to \infty }g_{n}\,d\mu

By the Monotone Convergence Theorem and property (1), the limit and integral may be interchanged:

{\begin{aligned}\int _{X}f\,d\mu &=\lim _{n\to \infty }\int _{X}g_{n}\,d\mu \\&=\liminf _{n\to \infty }\int _{X}g_{n}\,d\mu \\&\leq \liminf _{n\to \infty }\int _{X}f_{n}\,d\mu ,\end{aligned}}

where the last step used property (2).

From "first principles"

To demonstrate that the monotone convergence theorem is not "hidden", the proof below does not use any properties of Lebesgue integral except those established here.

Denote by $\operatorname {SF} (f)$ the set of simple $({\mathcal {F}},\operatorname {\mathcal {B}} _{\mathbb {R} _{\geq 0}})$ -measurable functions $s:X\to [0,\infty )$ such that $0\leq s\leq f$ on $X$ .

Monotonicity —

If $f\leq g$ everywhere on $X,$ then

\int _{X}f\,d\mu \leq \int _{X}g\,d\mu .

If $X_{1},X_{2}\in {\mathcal {F}}$ and $X_{1}\subseteq X_{2},$ then

\int _{X_{1}}f\,d\mu \leq \int _{X_{2}}f\,d\mu .

If f is nonnegative and $S=\cup _{i=1}^{\infty }S_{i}$ , where $S_{1}\subseteq \ldots \subseteq S_{i}\subseteq \ldots \subseteq S$ is a non-decreasing chain of $\mu$ -measurable sets, then

\int _{S}{f\,d\mu }=\lim _{n\to \infty }{\int _{S_{n}}{f\,d\mu }}

Proof

1. Since $f\leq g,$ we have

\operatorname {SF} (f)\subseteq \operatorname {SF} (g).

By definition of Lebesgue integral and the properties of supremum,

\int _{X}f\,d\mu =\sup _{s\in {\rm {SF}}(f)}\int _{X}s\,d\mu \leq \sup _{s\in {\rm {SF}}(g)}\int _{X}s\,d\mu =\int _{X}g\,d\mu .

2. Let ${\mathbf {1} }_{X_{1}}$ be the indicator function of the set $X_{1}.$ It can be deduced from the definition of Lebesgue integral that

\int _{X_{2}}f\cdot {\mathbf {1} }_{X_{1}}\,d\mu =\int _{X_{1}}f\,d\mu

if we notice that, for every $s\in {\rm {SF}}(f\cdot {\mathbf {1} }_{X_{1}}),$ $s=0$ outside of $X_{1}.$ Combined with the previous property, the inequality $f\cdot {\mathbf {1} }_{X_{1}}\leq f$ implies

\int _{X_{1}}f\,d\mu =\int _{X_{2}}f\cdot {\mathbf {1} }_{X_{1}}\,d\mu \leq \int _{X_{2}}f\,d\mu .

3. First note that the claim holds if f is the indicator function of a set, by monotonicity of measures. By linearity, this also immediately implies the claim for simple functions.

Since any simple function supported on S_n is simple and supported on X, we must have

\int _{X}{f\,d\mu }\geq \lim _{n\to \infty }{\int _{S_{n}}{f\,d\mu }}

.

For the reverse, suppose g ∈ SF(f) with $\textstyle \int _{X}{f\,d\mu }-\epsilon \leq \int _{X}{g\,d\mu }$ By the above,

\int _{X}{f\,d\mu }-\epsilon \leq \int _{X}{g\,d\mu }=\lim _{n\to \infty }{\int _{S_{n}}{g\,d\mu }}\leq \lim _{n\to \infty }{\int _{S_{n}}{f\,d\mu }}

Now we turn to the main theorem

Step 1 — $g_{n}=g_{n}(x)$ is $({\mathcal {F}},\operatorname {\mathcal {B}} _{\mathbb {R} _{\geq 0}})$ -measurable, for every $n\geq 1$ , as is $f$ .

Proof

Recall the closed intervals generate the Borel σ-algebra. Thus it suffices to show, for every $t\in [-\infty ,+\infty ]$ , that $g_{n}^{-1}([t,+\infty ])\in {\mathcal {F}}$ . Now observe that

{\begin{aligned}g_{n}^{-1}([t,+\infty ])&=\left\{x\in X\mid g_{n}(x)\geq t\right\}\\[3pt]&=\left\{x\in X\;\left|\;\inf _{k\,\geq \,n}f_{k}(x)\geq t\right.\right\}\\[3pt]&=\bigcap _{k\,\geq \,n}\left\{x\in X\mid f_{k}(x)\geq t\right\}\\[3pt]&=\bigcap _{k\,\geq \,n}f_{k}^{-1}([t,+\infty ])\end{aligned}}

Every set on the right-hand side is from ${\mathcal {F}}$ , which is closed under countable intersections. Thus the left-hand side is also a member of ${\mathcal {F}}$ .

Similarly, it is enough to verify that $f^{-1}([0,t])\in {\mathcal {F}}$ , for every $t\in [-\infty ,+\infty ]$ . Since the sequence $\{g_{n}(x)\}$ pointwise non-decreases,

f^{-1}([0,t])=\bigcap _{n}g_{n}^{-1}([0,t])\in {\mathcal {F}}

.

Step 2 — Given a simple function $s\in \operatorname {SF} (f)$ and a real number $t\in (0,1)$ , define

B_{k}^{s,t}=\{x\in X\mid t\cdot s(x)\leq g_{k}(x)\}\subseteq X.

Then $B_{k}^{s,t}\in {\mathcal {F}}$ , $B_{k}^{s,t}\subseteq B_{k+1}^{s,t}$ , and $\textstyle X=\bigcup _{k}B_{k}^{s,t}$ .

Proof

Step 2a. To prove the first claim, write s as a weighted sum of indicator functions of disjoint sets:

s=\sum _{i=1}^{m}c_{i}\cdot \mathbf {1} _{A_{i}}

.

Then

B_{k}^{s,t}=\bigcup _{i=1}^{m}{\Bigl (}g_{k}^{-1}{\Bigl (}[t\cdot c_{i},+\infty ]{\Bigr )}\cap A_{i}{\Bigr )}

.

Since the pre-image $g_{k}^{-1}{\Bigl (}[t\cdot c_{i},+\infty ]{\Bigr )}$ of the Borel set $[t\cdot c_{i},+\infty ]$ under the measurable function $g_{k}$ is measurable, and $\sigma$ -algebras are closed under finite intersection and unions, the first claim follows.

Step 2b. To prove the second claim, note that, for each $k$ and every $x\in X$ , $g_{k}(x)\leq g_{k+1}(x).$

Step 2c. To prove the third claim, suppose for contradiction there exists

x_{0}\in X\setminus \bigcup _{k}B_{k}^{s,t}=\bigcap _{k}(X\setminus B_{k}^{s,t})

Then $g_{k}(x_{0})<t\cdot s(x_{0})$ , for every $k$ . Taking the limit as $k\to \infty$ ,

f(x_{0})\leq t\cdot s(x_{0})<s(x_{0}).

This contradicts our initial assumption that $s\leq f$ .

Step 3 — From step 2 and monotonicity,

\lim _{n}\int _{B_{n}^{s,t}}s\,d\mu =\int _{X}s\,d\mu .

Step 4 — For every $s\in \operatorname {SF} (f)$ ,

\int _{X}s\,d\mu \leq \lim _{k}\int _{X}g_{k}\,d\mu

.

Proof

Indeed, using the definition of $B_{k}^{s,t}$ , the non-negativity of $g_{k}$ , and the monotonicity of Lebesgue integral, we have

\forall k\geq 1\qquad \int _{B_{k}^{s,t}}t\cdot s\,d\mu \leq \int _{B_{k}^{s,t}}g_{k}\,d\mu \leq \int _{X}g_{k}\,d\mu

.

In accordance with Step 4, as $k\to \infty$ the inequality becomes

t\int _{X}s\,d\mu \leq \lim _{k}\int _{X}g_{k}\,d\mu

.

Taking the limit as $t\uparrow 1$ yields

\int _{X}s\,d\mu \leq \lim _{k}\int _{X}g_{k}\,d\mu

,

as required.

Step 5 — To complete the proof, we apply the definition of Lebesgue integral to the inequality established in Step 4 and take into account that $g_{n}\leq f_{n}$ :

{\begin{aligned}\int _{X}f\,d\mu &=\sup _{s\in \operatorname {SF} (f)}\int _{X}s\,d\mu \\&\leq \lim _{k}\int _{X}g_{k}\,d\mu \\&=\liminf _{k}\int _{X}g_{k}\,d\mu \\&\leq \liminf _{k}\int _{X}f_{k}\,d\mu \end{aligned}}

The proof is complete.

Examples for strict inequality

Equip the space $S$ with the Borel σ-algebra and the Lebesgue measure.

Example for a probability space: Let $S=[0,1]$ denote the unit interval. For every natural number $n$ define

f_{n}(x)={\begin{cases}n&{\text{for }}x\in (0,1/n),\\0&{\text{otherwise.}}\end{cases}}

Example with uniform convergence: Let $S$ denote the set of all real numbers. Define

f_{n}(x)={\begin{cases}{\frac {1}{n}}&{\text{for }}x\in [0,n],\\0&{\text{otherwise.}}\end{cases}}

These sequences $(f_{n})_{n\in \mathbb {N} }$ converge on $S$ pointwise (respectively uniformly) to the zero function (with zero integral), but every $f_{n}$ has integral one.

The role of non-negativity

A suitable assumption concerning the negative parts of the sequence f₁, f₂, . . . of functions is necessary for Fatou's lemma, as the following example shows. Let S denote the half line [0,∞) with the Borel σ-algebra and the Lebesgue measure. For every natural number n define

f_{n}(x)={\begin{cases}-{\frac {1}{n}}&{\text{for }}x\in [n,2n],\\0&{\text{otherwise.}}\end{cases}}

This sequence converges uniformly on S to the zero function and the limit, 0, is reached in a finite number of steps: for every x ≥ 0, if n > x, then f_n(x) = 0. However, every function f_n has integral −1. Contrary to Fatou's lemma, this value is strictly less than the integral of the limit (0).

As discussed in § Extensions and variations of Fatou's lemma below, the problem is that there is no uniform integrable bound on the sequence from below, while 0 is the uniform bound from above.

Reverse Fatou lemma

Let f₁, f₂, . . . be a sequence of extended real-valued measurable functions defined on a measure space (S,Σ,μ). If there exists a non-negative integrable function g on S such that f_n ≤ g for all n, then

\limsup _{n\to \infty }\int _{S}f_{n}\,d\mu \leq \int _{S}\limsup _{n\to \infty }f_{n}\,d\mu .

Note: Here g integrable means that g is measurable and that $\textstyle \int _{S}g\,d\mu <\infty$ .

Sketch of proof

We apply linearity of Lebesgue integral and Fatou's lemma to the sequence $g-f_{n}.$ Since $\textstyle \int _{S}g\,d\mu <+\infty ,$ this sequence is defined $\mu$ -almost everywhere and non-negative.

Extensions and variations of Fatou's lemma

Integrable lower bound

Let f₁, f₂, . . . be a sequence of extended real-valued measurable functions defined on a measure space (S,Σ,μ). If there exists an integrable function g on S such that f_n ≥ −g for all n, then

\int _{S}\liminf _{n\to \infty }f_{n}\,d\mu \leq \liminf _{n\to \infty }\int _{S}f_{n}\,d\mu .

Pointwise convergence

If in the previous setting the sequence f₁, f₂, . . . converges pointwise to a function f μ-almost everywhere on S, then

\int _{S}f\,d\mu \leq \liminf _{n\to \infty }\int _{S}f_{n}\,d\mu \,.

Convergence in measure

The last assertion also holds, if the sequence f₁, f₂, . . . converges in measure to a function f.

Proof

There exists a subsequence such that

\lim _{k\to \infty }\int _{S}f_{n_{k}}\,d\mu =\liminf _{n\to \infty }\int _{S}f_{n}\,d\mu .

Since this subsequence also converges in measure to f, there exists a further subsequence, which converges pointwise to f almost everywhere, hence the previous variation of Fatou's lemma is applicable to this subsubsequence.

Fatou's Lemma with Varying Measures

In all of the above statements of Fatou's Lemma, the integration was carried out with respect to a single fixed measure μ. Suppose that μ_n is a sequence of measures on the measurable space (S,Σ) such that (see Convergence of measures)

\forall E\in {\mathcal {F}}\colon \;\mu _{n}(E)\to \mu (E)

.

Then, with f_n non-negative integrable functions and f being their pointwise limit inferior, we have

\int _{S}f\,d\mu \leq \liminf _{n\to \infty }\int _{S}f_{n}\,d\mu _{n}.

More information

,

...

Proof

We will prove something a bit stronger here. Namely, we will allow f_n to converge μ-almost everywhere on a subset E of S. We seek to show that

\int _{E}f\,d\mu \leq \liminf _{n\to \infty }\int _{E}f_{n}\,d\mu _{n}\,.

Let

K=\{x\in E|f_{n}(x)\rightarrow f(x)\}

.

Then μ(E-K)=0 and

\int _{E}f\,d\mu =\int _{E-K}f\,d\mu ,~~~\int _{E}f_{n}\,d\mu =\int _{E-K}f_{n}\,d\mu ~\forall n\in \mathbb {N} .

Thus, replacing E by E-K we may assume that f_n converge to f pointwise on E. Next, note that for any simple function φ we have

\int _{E}\phi \,d\mu =\lim _{n\to \infty }\int _{E}\phi \,d\mu _{n}.

Hence, by the definition of the Lebesgue Integral, it is enough to show that if φ is any non-negative simple function less than or equal to f, then

\int _{E}\phi \,d\mu \leq \liminf _{n\rightarrow \infty }\int _{E}f_{n}\,d\mu _{n}

Let a be the minimum non-negative value of φ. Define

A=\{x\in E|\phi (x)>a\}

We first consider the case when $\int _{E}\phi \,d\mu =\infty$ . We must have that μ(A) is infinite since

\int _{E}\phi \,d\mu \leq M\mu (A),

where M is the (necessarily finite) maximum value of that φ attains.

Next, we define

A_{n}=\{x\in E|f_{k}(x)>a~\forall k\geq n\}.

We have that

A\subseteq \bigcup _{n}A_{n}\Rightarrow \mu (\bigcup _{n}A_{n})=\infty .

But A_n is a nested increasing sequence of functions and hence, by the continuity from below μ,

\lim _{n\rightarrow \infty }\mu (A_{n})=\infty .

.

Thus,

\lim _{n\to \infty }\mu _{n}(A_{n})=\mu (A_{n})=\infty .

.

At the same time,

\int _{E}f_{n}\,d\mu _{n}\geq a\mu _{n}(A_{n})\Rightarrow \liminf _{n\to \infty }\int _{E}f_{n}\,d\mu _{n}=\infty =\int _{E}\phi \,d\mu ,

proving the claim in this case.

The remaining case is when $\int _{E}\phi \,d\mu <\infty$ . We must have that μ(A) is finite. Denote, as above, by M the maximum value of φ and fix ε>0. Define

A_{n}=\{x\in E|f_{k}(x)>(1-\epsilon )\phi (x)~\forall k\geq n\}.

Then A_n is a nested increasing sequence of sets whose union contains A. Thus, A-A_n is a decreasing sequence of sets with empty intersection. Since A has finite measure (this is why we needed to consider the two separate cases),

\lim _{n\rightarrow \infty }\mu (A-A_{n})=0.

Thus, there exists n such that

\mu (A-A_{k})<\epsilon ,~\forall k\geq n.

Therefore, since

\lim _{n\to \infty }\mu _{n}(A-A_{k})=\mu (A-A_{k}),

there exists N such that

\mu _{k}(A-A_{k})<\epsilon ,~\forall k\geq N.

Hence, for $k\geq N$

\int _{E}f_{k}\,d\mu _{k}\geq \int _{A_{k}}f_{k}\,d\mu _{k}\geq (1-\epsilon )\int _{A_{k}}\phi \,d\mu _{k}.

At the same time,

\int _{E}\phi \,d\mu _{k}=\int _{A}\phi \,d\mu _{k}=\int _{A_{k}}\phi \,d\mu _{k}+\int _{A-A_{k}}\phi \,d\mu _{k}.

Hence,

(1-\epsilon )\int _{A_{k}}\phi \,d\mu _{k}\geq (1-\epsilon )\int _{E}\phi \,d\mu _{k}-\int _{A-A_{k}}\phi \,d\mu _{k}.

Combining these inequalities gives that

\int _{E}f_{k}\,d\mu _{k}\geq (1-\epsilon )\int _{E}\phi \,d\mu _{k}-\int _{A-A_{k}}\phi \,d\mu _{k}\geq \int _{E}\phi \,d\mu _{k}-\epsilon \left(\int _{E}\phi \,d\mu _{k}+M\right).

Hence, sending ε to 0 and taking the liminf in n, we get that

\liminf _{n\rightarrow \infty }\int _{E}f_{n}\,d\mu _{k}\geq \int _{E}\phi \,d\mu ,

completing the proof.

Fatou's lemma for conditional expectations

In probability theory, by a change of notation, the above versions of Fatou's lemma are applicable to sequences of random variables X₁, X₂, . . . defined on a probability space $\scriptstyle (\Omega ,\,{\mathcal {F}},\,\mathbb {P} )$ ; the integrals turn into expectations. In addition, there is also a version for conditional expectations.

Standard version

Let X₁, X₂, . . . be a sequence of non-negative random variables on a probability space $\scriptstyle (\Omega ,{\mathcal {F}},\mathbb {P} )$ and let $\scriptstyle {\mathcal {G}}\,\subset \,{\mathcal {F}}$ be a sub-σ-algebra. Then

\mathbb {E} {\Bigl [}\liminf _{n\to \infty }X_{n}\,{\Big |}\,{\mathcal {G}}{\Bigr ]}\leq \liminf _{n\to \infty }\,\mathbb {E} [X_{n}|{\mathcal {G}}]

almost surely.

Note: Conditional expectation for non-negative random variables is always well defined, finite expectation is not needed.

Proof

Besides a change of notation, the proof is very similar to the one for the standard version of Fatou's lemma above, however the monotone convergence theorem for conditional expectations has to be applied.

Let X denote the limit inferior of the X_n. For every natural number k define pointwise the random variable

Y_{k}=\inf _{n\geq k}X_{n}.

Then the sequence Y₁, Y₂, . . . is increasing and converges pointwise to X. For k ≤ n, we have Y_k ≤ X_n, so that

\mathbb {E} [Y_{k}|{\mathcal {G}}]\leq \mathbb {E} [X_{n}|{\mathcal {G}}]

almost surely

by the monotonicity of conditional expectation, hence

\mathbb {E} [Y_{k}|{\mathcal {G}}]\leq \inf _{n\geq k}\mathbb {E} [X_{n}|{\mathcal {G}}]

almost surely,

because the countable union of the exceptional sets of probability zero is again a null set. Using the definition of X, its representation as pointwise limit of the Y_k, the monotone convergence theorem for conditional expectations, the last inequality, and the definition of the limit inferior, it follows that almost surely

{\begin{aligned}\mathbb {E} {\Bigl [}\liminf _{n\to \infty }X_{n}\,{\Big |}\,{\mathcal {G}}{\Bigr ]}&=\mathbb {E} [X|{\mathcal {G}}]=\mathbb {E} {\Bigl [}\lim _{k\to \infty }Y_{k}\,{\Big |}\,{\mathcal {G}}{\Bigr ]}=\lim _{k\to \infty }\mathbb {E} [Y_{k}|{\mathcal {G}}]\\&\leq \lim _{k\to \infty }\inf _{n\geq k}\mathbb {E} [X_{n}|{\mathcal {G}}]=\liminf _{n\to \infty }\,\mathbb {E} [X_{n}|{\mathcal {G}}].\end{aligned}}

Extension to uniformly integrable negative parts

Let X₁, X₂, . . . be a sequence of random variables on a probability space $\scriptstyle (\Omega ,{\mathcal {F}},\mathbb {P} )$ and let $\scriptstyle {\mathcal {G}}\,\subset \,{\mathcal {F}}$ be a sub-σ-algebra. If the negative parts

X_{n}^{-}:=\max\{-X_{n},0\},\qquad n\in {\mathbb {N} },

are uniformly integrable with respect to the conditional expectation, in the sense that, for ε > 0 there exists a c > 0 such that

\mathbb {E} {\bigl [}X_{n}^{-}1_{\{X_{n}^{-}>c\}}\,|\,{\mathcal {G}}{\bigr ]}<\varepsilon ,\qquad {\text{for all }}n\in \mathbb {N} ,\,{\text{almost surely}}

,

then

\mathbb {E} {\Bigl [}\liminf _{n\to \infty }X_{n}\,{\Big |}\,{\mathcal {G}}{\Bigr ]}\leq \liminf _{n\to \infty }\,\mathbb {E} [X_{n}|{\mathcal {G}}]

almost surely.

Note: On the set where

X:=\liminf _{n\to \infty }X_{n}

satisfies

\mathbb {E} [\max\{X,0\}\,|\,{\mathcal {G}}]=\infty ,

the left-hand side of the inequality is considered to be plus infinity. The conditional expectation of the limit inferior might not be well defined on this set, because the conditional expectation of the negative part might also be plus infinity.

Proof

Let ε > 0. Due to uniform integrability with respect to the conditional expectation, there exists a c > 0 such that

\mathbb {E} {\bigl [}X_{n}^{-}1_{\{X_{n}^{-}>c\}}\,|\,{\mathcal {G}}{\bigr ]}<\varepsilon \qquad {\text{for all }}n\in \mathbb {N} ,\,{\text{almost surely}}.

Since

X+c\leq \liminf _{n\to \infty }(X_{n}+c)^{+},

where x⁺ := max{x,0} denotes the positive part of a real x, monotonicity of conditional expectation (or the above convention) and the standard version of Fatou's lemma for conditional expectations imply

\mathbb {E} [X\,|\,{\mathcal {G}}]+c\leq \mathbb {E} {\Bigl [}\liminf _{n\to \infty }(X_{n}+c)^{+}\,{\Big |}\,{\mathcal {G}}{\Bigr ]}\leq \liminf _{n\to \infty }\mathbb {E} [(X_{n}+c)^{+}\,|\,{\mathcal {G}}]

almost surely.

Since

(X_{n}+c)^{+}=(X_{n}+c)+(X_{n}+c)^{-}\leq X_{n}+c+X_{n}^{-}1_{\{X_{n}^{-}>c\}},

we have

\mathbb {E} [(X_{n}+c)^{+}\,|\,{\mathcal {G}}]\leq \mathbb {E} [X_{n}\,|\,{\mathcal {G}}]+c+\varepsilon

almost surely,

hence

\mathbb {E} [X\,|\,{\mathcal {G}}]\leq \liminf _{n\to \infty }\mathbb {E} [X_{n}\,|\,{\mathcal {G}}]+\varepsilon

almost surely.

This implies the assertion.

Share this article:

This article uses material from the Wikipedia article Fatou's_lemma, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.

Fatou's_lemma

Standard statement

Proof

Via the Monotone Convergence Theorem

From "first principles"

Examples for strict inequality

The role of non-negativity

Reverse Fatou lemma

Sketch of proof

Extensions and variations of Fatou's lemma

Integrable lower bound

Proof

Pointwise convergence

Proof

Convergence in measure

Proof

Fatou's Lemma with Varying Measures

Fatou's lemma for conditional expectations

Standard version

Proof

Extension to uniformly integrable negative parts

Proof

References

Share this article: