text: Fatou's Lemma for Nonnegative Lebesgue Measurable Functions
  
  # Fatou's Lemma for Nonnegative Lebesgue Measurable Functions
  
   Lemma 1 (Fatou's Lemma): Let $(f_n(x))_{n=1}^{\infty}$ be a sequence of nonnegative Lebesgue measurable functions defined on a Lebesgue measurable set $E$. Suppose that: 1) $(f_n(x))_{n=1}^{\infty}$ converges pointwise to $f(x)$ almost everywhere on $E$. Then $\displaystyle{\int_E f \leq \liminf_{n \to \infty} \int_E f_n}$.
  • Proof: We may assume that $(f_n(x))_{n=1}^{\infty}$ converges to $f(x)$ on all of $E$ since equality of integrals almost everywhere on a set of measure zero results in equality of integrals.
  • Let $(f_n(x))_{n=1}^{\infty}$ be a sequence of nonnegative Lebesgue measurable functions defined on a Lebesgue measurable set $E$ such that $(f_n(x))_{n=1}^{\infty}$ converges pointwise to $f(x)$ on all of $E$.
  • Let $\varphi$ be a bounded Lebesgue measurable function such that $0 \leq \varphi(x) \leq f(x)$ on $E$ and such that $\varphi$ vanishes outside a set of measure $0$. Since $\varphi$ is bounded on $E$ there exists an $M \in \mathbb{R}$, $M > 0$ such that $0 \leq \varphi(x) \leq M$ for all $x \in E$. For each $n \in \mathbb{N}$ define:
  (1)
  \begin{align} \quad \varphi_n(x) = \min \{ \varphi(x), f_n(x) \} \end{align}
  • Then for all $n \in \mathbb{N}$ and for all $x \in E$ we have that each $\varphi_n$ is bounded on $E$ and that:
  (2)
  \begin{align} \quad 0 \leq \varphi_n(x) \leq \varphi(x) \leq M \end{align}
  • Since $\varphi$ vanishes outside a set of finite measure there exists a subset $E_0 \subseteq E$ such that $m(\{ \varphi(x) : \varphi(x) > 0 \}) < \infty$ and $\varphi(x) = 0$ for all $x \in E \setminus E_0$.
  • For the set of $x \in E$ we have that:
  (3)
  \begin{align} \quad \lim_{n \to \infty} \varphi_n(x) = \lim_{n \to \infty} \min \{ \varphi(x), f_n(x) \} = \min \{ \varphi(x), f(x) \} = \varphi(x) \end{align}
  • For the set of $x \in E \setminus E_0$ we have that:
  (4)
  \begin{align} \quad \int_{E \setminus E_0} \varphi_n(x) = \int_{E \setminus E_0} 0 = 0 \end{align}
  • From above we get that:
  (5)
  \begin{align} \quad \int_E \varphi_n &= \int_{E_0} \varphi_n + \int_{E \setminus E_0} \varphi_n = \int_{E_0} \varphi_n + 0 = \int_{E_0} \varphi_n \quad (*) \end{align}
  • And we also get that:
  (6)
  \begin{align} \quad \int_E \varphi &= \int_{E_0} \varphi + \int_{E \setminus E_0} \varphi = \int_{E_0} \varphi + 0 = \int_{E_0} \varphi \quad (**) \end{align}
  (7)
  \begin{align} \quad \lim_{n \to \infty} \int_{E_0} \varphi_n = \int_{E_0} \varphi \quad (***) \end{align}
  • We now use $(*)$, $(**)$, and $(***)$ to conclude that:
  (8)
  \begin{align} \quad \int_E \varphi \overset{(*)} = \int_{E_0} \varphi \overset{(***)} = \lim_{n \to \infty} \int_{E_0} \varphi_n \overset{(*)} = \lim_{n \to \infty} \int_E \varphi_n = \liminf_{n \to \infty} \int_E \varphi_n \leq \liminf_{n \to \infty} \int_E f_n \quad \blacksquare \end{align}
  • Therefore:
  (9)
  \begin{align} \quad \int_E f &= \inf \left \{ \int_{E_{\varphi}} \varphi : \varphi \: \mathrm{is \: bounded \: and \: Lebesgue \: measurable}, 0 \leq \varphi(x) \leq f(x) \: \mathrm{on} \: E, \: E_{\varphi} \subseteq E \: \mathrm{with} \: m(E_{\varphi}) < \infty, \: \varphi \: \mathrm{vanishes \: outside \: of \:} E_{\varphi} \right \} \\ & \leq \liminf_{n \to \infty} \int_E f_n \end{align}
explanation: The provided text is a detailed proof of Fatou's Lemma for nonnegative Lebesgue measurable functions. It does not contain a question or an answer to a question; instead, it is a formal mathematical proof that demonstrates the inequality \(\int_E f \leq \liminf_{n \to \infty} \int_E f_n\).
distilabel_metadata.content: Evaluate the user given text extract and determine if it contains a math question and optionally and answer to this question.
  
  Output rules:
  
  1. Briefly describe the document and mention if it contains a question or a question and answer.
  2. Finalize the output with: Label: no-question,question,question-and-answer,multiple-question,multiple-question-and-answer
distilabel_metadata.role: system
distilabel_metadata.content: Fatou's Lemma for Nonnegative Lebesgue Measurable Functions
  
  # Fatou's Lemma for Nonnegative Lebesgue Measurable Functions
  
   Lemma 1 (Fatou's Lemma): Let $(f_n(x))_{n=1}^{\infty}$ be a sequence of nonnegative Lebesgue measurable functions defined on a Lebesgue measurable set $E$. Suppose that: 1) $(f_n(x))_{n=1}^{\infty}$ converges pointwise to $f(x)$ almost everywhere on $E$. Then $\displaystyle{\int_E f \leq \liminf_{n \to \infty} \int_E f_n}$.
  • Proof: We may assume that $(f_n(x))_{n=1}^{\infty}$ converges to $f(x)$ on all of $E$ since equality of integrals almost everywhere on a set of measure zero results in equality of integrals.
  • Let $(f_n(x))_{n=1}^{\infty}$ be a sequence of nonnegative Lebesgue measurable functions defined on a Lebesgue measurable set $E$ such that $(f_n(x))_{n=1}^{\infty}$ converges pointwise to $f(x)$ on all of $E$.
  • Let $\varphi$ be a bounded Lebesgue measurable function such that $0 \leq \varphi(x) \leq f(x)$ on $E$ and such that $\varphi$ vanishes outside a set of measure $0$. Since $\varphi$ is bounded on $E$ there exists an $M \in \mathbb{R}$, $M > 0$ such that $0 \leq \varphi(x) \leq M$ for all $x \in E$. For each $n \in \mathbb{N}$ define:
  (1)
  \begin{align} \quad \varphi_n(x) = \min \{ \varphi(x), f_n(x) \} \end{align}
  • Then for all $n \in \mathbb{N}$ and for all $x \in E$ we have that each $\varphi_n$ is bounded on $E$ and that:
  (2)
  \begin{align} \quad 0 \leq \varphi_n(x) \leq \varphi(x) \leq M \end{align}
  • Since $\varphi$ vanishes outside a set of finite measure there exists a subset $E_0 \subseteq E$ such that $m(\{ \varphi(x) : \varphi(x) > 0 \}) < \infty$ and $\varphi(x) = 0$ for all $x \in E \setminus E_0$.
  • For the set of $x \in E$ we have that:
  (3)
  \begin{align} \quad \lim_{n \to \infty} \varphi_n(x) = \lim_{n \to \infty} \min \{ \varphi(x), f_n(x) \} = \min \{ \varphi(x), f(x) \} = \varphi(x) \end{align}
  • For the set of $x \in E \setminus E_0$ we have that:
  (4)
  \begin{align} \quad \int_{E \setminus E_0} \varphi_n(x) = \int_{E \setminus E_0} 0 = 0 \end{align}
  • From above we get that:
  (5)
  \begin{align} \quad \int_E \varphi_n &= \int_{E_0} \varphi_n + \int_{E \setminus E_0} \varphi_n = \int_{E_0} \varphi_n + 0 = \int_{E_0} \varphi_n \quad (*) \end{align}
  • And we also get that:
  (6)
  \begin{align} \quad \int_E \varphi &= \int_{E_0} \varphi + \int_{E \setminus E_0} \varphi = \int_{E_0} \varphi + 0 = \int_{E_0} \varphi \quad (**) \end{align}
  (7)
  \begin{align} \quad \lim_{n \to \infty} \int_{E_0} \varphi_n = \int_{E_0} \varphi \quad (***) \end{align}
  • We now use $(*)$, $(**)$, and $(***)$ to conclude that:
  (8)
  \begin{align} \quad \int_E \varphi \overset{(*)} = \int_{E_0} \varphi \overset{(***)} = \lim_{n \to \infty} \int_{E_0} \varphi_n \overset{(*)} = \lim_{n \to \infty} \int_E \varphi_n = \liminf_{n \to \infty} \int_E \varphi_n \leq \liminf_{n \to \infty} \int_E f_n \quad \blacksquare \end{align}
  • Therefore:
  (9)
  \begin{align} \quad \int_E f &= \inf \left \{ \int_{E_{\varphi}} \varphi : \varphi \: \mathrm{is \: bounded \: and \: Lebesgue \: measurable}, 0 \leq \varphi(x) \leq f(x) \: \mathrm{on} \: E, \: E_{\varphi} \subseteq E \: \mathrm{with} \: m(E_{\varphi}) < \infty, \: \varphi \: \mathrm{vanishes \: outside \: of \:} E_{\varphi} \right \} \\ & \leq \liminf_{n \to \infty} \int_E f_n \end{align}
distilabel_metadata.role: user
distilabel_metadata.raw_output_q_a_detector_0: The provided text is a detailed proof of Fatou's Lemma for nonnegative Lebesgue measurable functions. It does not contain a question or an answer to a question; instead, it is a formal mathematical proof that demonstrates the inequality \(\int_E f \leq \liminf_{n \to \infty} \int_E f_n\).
  
  Label: no-question