POINT
- 優収束定理（limと積分の順序交換）と応用例の解説．
優収束定理とその適用例を紹介します．微分・積分の順序交換については，以下の記事を参照して下さい：
【Lebesgue積分】微積分の順序交換 - Notes_JP
優収束定理
優収束定理 (Dominated convergence theorem)
$(X,\mathfrak{M},\mu)$を可測空間とする．
- $X$上の複素可測関数列$\{f_n\}$が$f$に各点収束する（i.e. $\displaystyle f(x)=\lim_{n\to\infty}f_n(x)\quad\forall x\in X$）．
- $g\in L^1(\mu)$が存在し，任意の$n$と$x\in X$に対し$|f_n(x)|\leq g(x)$を満たす．
このとき，以下が成立する：
\begin{aligned}
\begin{cases}
\,1.~& \displaystyle f\in L^1(\mu)\\[5pt]
\,2.~& \displaystyle \lim_{n\to\infty}\int_X |f_n-f|\,\mathrm{d}\mu=0\\[10pt]
\,3.~& \displaystyle \lim_{n\to\infty}\int_X f_n\,\mathrm{d}\mu=\int_X f\,\mathrm{d}\mu
\end{cases}
\end{aligned}
\begin{cases}
\,1.~& \displaystyle f\in L^1(\mu)\\[5pt]
\,2.~& \displaystyle \lim_{n\to\infty}\int_X |f_n-f|\,\mathrm{d}\mu=0\\[10pt]
\,3.~& \displaystyle \lim_{n\to\infty}\int_X f_n\,\mathrm{d}\mu=\int_X f\,\mathrm{d}\mu
\end{cases}
\end{aligned}
例
次の定理の例は，優収束定理の例にもなります：定理
有界区間$[a,b]$上の(Riemann可積分である)関数列$\{f_n\}$が$f$に一様収束するとき，
\begin{aligned}
\lim_{n\to\infty}\int_a^b f_n(x)\,\mathrm{d}x
=\int_a^b f(x)\,\mathrm{d}x
\end{aligned}
\lim_{n\to\infty}\int_a^b f_n(x)\,\mathrm{d}x
=\int_a^b f(x)\,\mathrm{d}x
\end{aligned}
【理由】
$\varepsilon>0$を固定します．このとき，$n_0\in\mathbb{N}$が存在し
\begin{aligned}
|f_n| - |f|
\leq |f - f_n|
<\varepsilon
\qquad(n\geq n_0)
\end{aligned}
が成立します（三角不等式から，$|-f+(f - f_n) |\leq |-f|+|f - f_n|$であることに注意しましょう）．よって，$g=\varepsilon+|f|$とすれば優収束定理が適用できます．//|f_n| - |f|
\leq |f - f_n|
<\varepsilon
\qquad(n\geq n_0)
\end{aligned}
このように，有界区間上で一様収束する関数列の場合には優収束定理が成立します．しかし，非有界測度の関数列では反例が存在します：
極限操作（微分・積分・lim）の交換：定理と反例 - Notes_JP
参考文献
[1]The Principles of Mathematical Analysis (International Series in Pure & Applied Mathematics)[2]Real and Complex Analysis（表紙は赤と緑２種類があります）
