ここでは東大数理の修士課程の院試の2009B10の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。
$(\Omega,\mathcal{B},\mu)$を測度空間とする。$\Omega$のルベーグ可積分関数列$\{f_n\}$は殆ど至る所でルベーグ可積分関数$f$に収束し、さらに$\|f_n\|_1\xrightarrow{n\to\infty}\|f\|_1$であるとする。このとき等式
$$
\lim_{n\to\infty}\|f-f_n\|_1=0
$$
を示せ。
まずファトゥの補題及び$f_n$が殆ど至る所$f$に収束することから
$$
\begin{split}
\liminf_{n\to\infty}\int_\Omega|f|+|f_n|-|f-f_n|d\mu
&\geq\int_\Omega\liminf_{n\to\infty}|f|+|f_n|-|f-f_n|d\mu\\
&=2\int_\Omega|f|d\mu
\end{split}
$$
である。よってこれと$\|f_n\|_1\xrightarrow{n\to\infty}\|f\|_1$を併せて
$$
\limsup_{n\to\infty}\|f-f_n\|_1d\mu\leq0
$$
が示せた。ここから結果が従う。