Machine-translated by Google. Questions are authored in English.
Top

Discussion

Let \((\Omega, \mathbf{F}, \mu)\) be a measure space and let \(f_{n} : \Omega \to \bar{\mathbf{R}}\), be a sequence of extended Borel measurable functions. Suppose \(|f_{n}| \le 100\), \(\forall\ n = 1, 2, ......,\) and \(\lim_{n\to\infty} f_{n} = f\) a.e. \(\mu\). Then, which of the following statements is false ?

  • A.\(\int_{\Omega} |f|\,d\mu \le \liminf_{n} \int |f_{n}|\,d\mu\)
  • B.\(\lim_{n\to\infty} \int |f_{n}|\,d\mu = \int |f|\,d\mu\)
  • C.\(\int \limsup_{n\to\infty} |f_{n}|\,d\mu = \int |f|\,d\mu\)
  • D.\(\lim_{n\to\infty} \int \sum_{k=1}^{n} |f_{k}|\,d\mu =\) \(\int \sum_{k=1}^{\infty} |f_{k}|\,d\mu\)

Answer: B

The false statement is \(\lim \int |f_{n}|\,d\mu = \int |f|\,d\mu\).

The uniform bound 100 is not an integrable dominating function unless \(\mu(\Omega) \lt \infty\), and the measure space here is arbitrary. On \(\mathbf{R}\) with Lebesgue measure, \(f_{n} = 1_{[n, n+1]}\) satisfies \(|f_{n}| \le 1\) and \(f_{n} \to 0\) everywhere, yet \(\int |f_{n}| = 1\) for every \(n\), while \(\int |f| = 0\).

The others always hold: A is Fatou's lemma; C holds because \(\limsup|f_{n}| = |f|\) almost everywhere; and D is the monotone convergence theorem applied to the increasing partial sums of \(|f_{k}|\).

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.