\usepackageamsmath\usepackageamsfonts\usepackageamssymb\usepackagefancybox\usepackagegraphics\usepackagemathrsfs\usepackage[all]xy\usepackagepgfplots\pgfplotssetcompat=newest\usetikzlibraryintersections,calc,arrows.meta

ルベーグの優収束定理の３つのポイント｜定理の証明と具体例

ルベーグ積分の基本
2023.03.25
ルベーグ積分の基本

ルベーグ積分は極限と相性が良く，とくに重要な定理として積分と極限の順序交換ができることを保証するルベーグの優収束定理があります．

ルベーグの優収束定理を使得ことで，例えば次の問題を解くことができます．

２以上の整数nに対して，極限limn→∞∫[0,∞)11+xndxを求めよ．

この問題は極限と積分の順序が交換できれば簡単に解くことができ，この順序交換を正当化する際にルベーグの優収束定理が使えます（この問題は，この記事の具体例３で実際に解いています）．

この記事では

  • ルベーグの優収束定理と３つのポイント
  • 極限と積分の順序交換でうまく計算できる具体例
  • ルベーグの優収束定理とその系の証明

を順に解説します．

この記事ではルベーグ可測集合のことを単に「可測集合」と呼び，ルベーグ可測関数のことを単に「可測関数」と呼びます．

「ルベーグ積分の基本」の一連の記事

  1. ルベーグ積分入門
    1. 0 ルベーグ積分の基礎｜リーマン積分の先へ！積分の歴史から紹介
  1. ルベーグ測度
    1. 1 外測度とは何か？集合の「長さ」の測り方
    2. 2 外測度の本質的に重要な５つの性質
    3. 3 可測集合の定義とルベーグ測度の定義
    4. 4 可測集合の基本性質のまとめと完全加法族
    5. 5 区間・開集合・閉集合の可測性とボレル集合族
    6. 6 ルベーグ測度の本質的に重要な４つの性質
  1. ルベーグ可測関数とルベーグ積分
    1. 7 可測関数の定義・具体例・必要十分条件
    2. 8 可測関数からなる関数の可測性を証明する
    3. 9 単関数の定義と可測単関数のルベーグ積分
    4. 10 可測関数を単関数列で近似する重要定理
    5. 11 一般の可測関数にルベーグ積分を定義する
  1. ルベーグ積分の性質と項別積分
    1. 12 非負値可測関数のルベーグ積分の基本性質
    2. 13 単関数列の項別積分定理の考え方・応用・証明
    3. 14 ルベーグの単調収束定理と具体例と証明
    4. 15 ファトゥの補題の使い方を例題から理解する
    5. 16 ルベーグの収束定理の応用例を理解する (今の記事)
    6. 17 リーマン積分の関係とルベーグ積分の計算例
スクロールできます

ルベーグ積分の参考文献

以下はルベーグ積分に関するオススメの教科書です．

ルベグ積分入門

ロングセラーの入門書です．専門書ですが，文庫なので安く購入できるのも魅力です．

ルベーグ積分と関数解析

ルベーグ積分から更なるステップに進みたい人向けの教科書です．

ルベーグの優収束定理と３つのポイント

次の定理をルベーグの優収束定理（dominated convergence theorem）または単にルベーグの収束定理といいます．

［ルベーグの優収束定理（簡易版）］可測集合Aと，A上の可測関数列{fn}を考える．関数列{fn}が各点収束し，（nによらない）ルベーグ可積分関数gが存在して，任意のx∈Aに対して

    \begin{align*}\sup_{n}|f_n(x)|\le g(x)\end{align*}

を満たすなら，等式

    \begin{align*}\lim_{n\to\infty}\int_{A}f_n(x)\,dx=\int_{A}\lim_{n\to\infty}f_n(x)\,dx.\end{align*}

が成り立つ．すなわち，{fn}は項別積分可能である．

この定理を使う際のポイントは

  1. 可測関数列{fn}が各点収束する
  2. supn|fn|≥gを満たすnによらないgをとる
  3. 関数gはルベーグ可積分である

の３つを示すことです．この時の関数gは|fn|を上から評価するので，{fn}の優関数と呼ばれることもあります．

「簡易版」としたのは，定理の仮定をもう少し弱められるためです．のちの証明では仮定を弱めたものを示しています．
スクロールできます

極限と積分の順序交換でうまく計算できる具体例

上の３つのルベーグの優収束定理を使う際の３つのポイントを意識して具体例を解いてみましょう．

具体例１

極限limn→∞∫[0,1]11+n(x+1)3dxを求めよ．

積分∫[0,1]11+n(x+1)3dxをこのまま実行するのは大変そうですが，極限と積分の順序交換ができれば，nが消えてから積分することになるので，計算がとても簡単になりますね．

この極限と積分の順序交換を正当化するためにルベーグの優収束定理を使いましょう．

上記の３つのポイントを意識して解答を書いてみます．

正の整数nに対して，関数fn:[0,1]→Rをfn(x):=11+n(x+1)3で定める．

可測関数列{fn}が各点収束することを示す

一般に連続関数は可測関数だから，各fnは[0,1]上の可測関数である．

また，任意の0≤x≤1に対して，

    \begin{align*}\lim_{n\to\infty}f_n(x)=\lim_{n\to\infty}\frac{1}{1+n(x+1)^{3}}=0\end{align*}

が成り立つ．

Rendered by QuickLaTeX.com

supn|fn|≥gを満たすnによらないgをとる

関数g:[0,1]→Rを恒等的に値１をとる関数とする：g≡1．

このとき，任意のx∈[0,1]に対して

    \begin{align*}\sup_{n}|f_n(x)|\le\frac{1}{1+1\cdot(0+1)^3}=\frac{1}{2}\le g(x)\end{align*}

が成り立つ．

Rendered by QuickLaTeX.com

関数gがルベーグ可積分であることを示す

関数gは可測単関数なので，可測単関数のルベーグ積分の定義より

    \begin{align*}\int_{[0,1]}g(x)\,dx=1\cdot m([0,1])=1\end{align*}

と計算できるから，[0,1]上ルベーグ可積分である．ただし，mはルベーグ測度である．

ルベーグの優収束定理を適用して求める

以上より，ルベーグの優収束定理が適用できて，

    \begin{align*}&\lim_{n\to\infty}\int_{[0,1]}f_n(x)\,dx=\int_{[0,1]}\lim_{n\to\infty}f_n(x)\,dx \\&=\int_{[0,1]}0\,dx=0\cdot m([0,1])=0\end{align*}

を得る．

上の解答ではgは恒等的に値１をとる関数としましたが，|fn|≤gを満たすnによらないルベーグ可積分関数gであればなんでも構いません．

具体例２

[0,1]上の連続関数fに対して，極限limn→∞∫[0,1]xnf(x)dxを求めよ．

この問題も先に極限が計算できれば積分が簡単にできそうですから，ルベーグの優収束定理を使いましょう．

この問題でも，上記の３つのポイントを意識して解答を書いてみましょう．

正の整数nに対して，関数fn:[0,1]→Rをfn(x):=xnf(x)で定める．

可測関数列{fn}が各点収束することを示す

一般に連続関数は可測関数であり，可測関数の積も可測関数だから，各fnは可測関数である．

また，一般に有界閉区間上の連続関数は有界関数だからfは有界である．

よって，limn→∞xn=0（0≤x<1）であることを併せると，

    \begin{align*}\lim_{n\to\infty}f_n(x)=\begin{cases}0&(0\le x<1),\\f(1)&(x=1)\end{cases}\end{align*}

が成り立つ．

Rendered by QuickLaTeX.com

supn|fn|≥gを満たすnによらないgをとる

fは有界だったから，あるM>0が存在して，任意の0≤x≤1に対して|f(x)|≤Mが成り立つ．

関数g:[0,1]→Rを恒等的に値Mをとる関数とする：g≡M．

このとき，任意のx∈[0,1]に対して

    \begin{align*}\sup_{n}|f_n(x)|=\sup_{n}|x^n||f(x)|\le1\cdot M=g(x)\end{align*}

が成り立つ．

Rendered by QuickLaTeX.com

関数gがルベーグ可積分であることを示す

関数gは可測単関数なので，可測単関数のルベーグ積分の定義より

    \begin{align*}\int_{[0,1]}g(x)\,dx=M\cdot m([0,1])=M\end{align*}

と計算できるから，[0,1]上ルベーグ可積分である．ただし，mはルベーグ測度である．

ルベーグの優収束定理を適用して求める

以上より，ルベーグの優収束定理が適用できて，

    \begin{align*}&\lim_{n\to\infty}\int_{[0,1]}x^nf(x)\,dx=\int_{[0,1]}\lim_{n\to\infty}x^nf(x)\,dx \\&=0\cdot m([0,1))+f(1)\cdot m(\{1\})=0+0=0\end{align*}

を得る．ただし，mはルベーグ測度である．

関数gをg=|f|ととっても構いませんね．

Rendered by QuickLaTeX.com

具体例３

最後に冒頭の問題を考えてみましょう．

nを２以上の整数とする．極限limn→∞∫[0,∞)11+xndxを求めよ．

|fn|≤gなるルベーグ可積分関数gをどのように取ってくるかが少し難しい問題ですが，nが大きくなるほど

  • (0,1)上の各点で単調増加
  • (1,∞)上の各点で単調減少

ということを意識して解答を考えましょう．

正の整数nに対して，関数fn:[0,∞)→Rをfn(x):=11+xnで定める．

可測関数列{fn}が各点収束することを示す

一般に連続関数は可測関数だから，fnは[0,∞)上の可測関数である．また，関数列{fn}は

    \begin{align*}f(x)=\begin{cases}1&(0\le x<1)\\\frac{1}{2}&(x=1)\\0&(1<x)\end{cases}\end{align*}

で定まる関数f:[0,∞)→∞に各点収束する．

Rendered by QuickLaTeX.com

supn|fn|≥gを満たすnによらないgをとる

関数g:[0,∞)→Rを

    \begin{align*}g(x):=\begin{cases}1&(0\le x<1),\\\frac{2}{1+x^2}&(1\le x).\end{cases}\end{align*}

で定める．このとき，

  • 任意のx∈[0,1]に対して

        \begin{align*}\sup_{n}|f_n(x)|\le\frac{1}{1+0^{n}}=1\le g(x)\end{align*}

  • 任意のx∈(1,∞)に対して

        \begin{align*}\sup_{n}|f_n(x)|\le\frac{1}{1+x^{2}}<g(x)\end{align*}

が成り立つ．よって，任意の∈[0,∞)に対してsupn|fn(x)|≤g(x)が成り立つ．

Rendered by QuickLaTeX.com

関数gがルベーグ可積分であることを示す

一般に連続関数は可測関数だから，gは[0,∞)上の可測関数である．

さらに，gのルベーグ積分は

    \begin{align*}\int_{[0,\infty)}g(x)\,dx&=\int_{[0,1]}1\,dx+\int_{[1,\infty)}\frac{2}{1+x^2}\,dx \\&=1+2\brc{\tan^{-1}{x}}_{1}^{\infty}=1+\frac{\pi}{2}\end{align*}

だから，ルベーグ可積分関数である．

ルベーグの優収束定理を適用して求める

以上より，ルベーグの優収束定理が適用できて，

    \begin{align*}&\lim_{n\to\infty}\int_{0}^{\infty}f_n(x)\,dx =\int_{[0,\infty)}f(x)\,dx \\&=1\cdot m([0,1))+\frac{1}{2}\cdot m(\{1\})+0\cdot m((1,\infty)) \\&=1+0+0=1\end{align*}

を得る．ただし，mはルベーグ測度である．

最後から２つ目の等号の第３項目について，拡大実数において0⋅∞=0と定義していたことに注意しましょう．

場合分けをしなくても，例えば[0,∞)上でg(x)=21+x2などとしても，条件を満たすのでルベーグの優収束定理が使えます．

Rendered by QuickLaTeX.com

ルベーグの優収束定理とその系の証明

まずは簡易版でないルベーグの優収束定理を紹介して証明をします．

さらに，上でみた具体例１，具体例２のような有限測度集合上で使えることが多い系も紹介して証明します．

ルベーグの優収束定理（完全版）と証明

ルベーグの優収束定理の仮定は，実は「簡易版」よりも少し弱めることができ，

  • 関数列{fn}の各点収束
  • 優関数gによる評価

はA上の全ての点でなくても，ほとんど至るところで成り立てば十分です．

［ルベーグの優収束定理（完全版）］可測集合Aと，A上の可測関数列{fn}を考える．関数列{fn}がA上ほとんど至るところで各点収束し，（nによらない）ルベーグ可積分関数gが存在して，

    \begin{align*}\sup_{n}|f_n(x)|\le g(x)\quad\mrm{a.e.}\ x\in A\end{align*}

を満たすなら，等式

    \begin{align*}\lim_{n\to\infty}\int_{A}f_n(x)\,dx=\int_{A}\lim_{n\to\infty}f_n(x)\,dx.\end{align*}

が成り立つ．すなわち，{fn}は項別積分可能である．

以下ではfn, gの終集合は拡大実数R―=R∪{±∞}であるとして証明します：fn,g:A→R―

数列{fn(x)}が発散するx∈A全部の集合をB1とし，

    \begin{align*}&B_2:=\set{x\in A}{\sup_{n}|f_n(x)|>g(x)}, \\&B_3:=\set{x\in A''}{g(x)=\infty}\end{align*}

とすると，

  • 関数列{fn}がA上ほとんど至るところ各点収束することからm(B1)=0
  • 不等式supn|fn|≤gがA上ほとんど至るところ成り立つことからm(B2)=0
  • gがルベーグ可積分であることから，m(B3)=0

が成り立つ．ただし，mはルベーグ測度である．

一般にルベーグ測度が０の集合の和集合もルベーグ測度は０だから

    \begin{align*}m(B_1\cup B_2\cup B_3)=0\end{align*}

である．一般にルベーグ測度０の集合だけ積分領域が変化してもルベーグ積分の値は不変だから，A′:=A∖(B1∪B2∪B3)上で{fn}が項別積分可能であることを示せばよい．

A′上でのファトゥの補題の適用

A′上で|fn|≤gだからg±fnは非負値関数なのでファトゥの補題より

    \begin{align*}\liminf_{n\to\infty}\int_{A'}(g+f_n)(x)\,dx &\ge\int_{A'}\liminf_{n\to\infty}(g+f_n)(x)\,dx \\&=\int_{A'}\Bigl(g+\liminf_{n\to\infty}f_n\Bigr)(x)\,dx, \\\liminf_{n\to\infty}\int_{A'}(g-f_n)(x)\,dx &\ge\int_{A'}\liminf_{n\to\infty}(g-f_n)(x)\,dx \\&=\int_{A'}\Bigl(g-\limsup_{n\to\infty}f_n\Bigr)(x)\,dx\end{align*}

が成り立つ．ただし，２つ目の評価については，一般に集合X上の実数値関数Fに対して−infx∈XF(x)=supx∈X(−F(x))であることを用いた．

上極限・下極限の積分の評価

いま得られた評価で両辺から∫A′g(x)dx<∞を引いて整理すると

    \begin{align*}&\liminf_{n\to\infty}\int_{A'}f_n(x)\,dx\ge\int_{A'}\liminf_{n\to\infty}f_n(x)\,dx, \\&\limsup_{n\to\infty}\int_{A'}f_n(x)\,dx\le\int_{A'}\limsup_{n\to\infty}f_n(x)\,dx\end{align*}

が得られ，もとよりlim infn→∞fn<lim supn→∞fnであることと併せて

    \begin{align*}&\int_{A'}\liminf_{n\to\infty}f_n(x)\,dx\le\liminf_{n\to\infty}\int_{A'}f_n(x)\,dx \\&\le\limsup_{n\to\infty}\int_{A'}f_n(x)\,dx\le\int_{A'}\limsup_{n\to\infty}f_n(x)\dots(*)\end{align*}

が従う．

関数列{fn}の上極限と下極限が一致することを利用

関数列{fn}はA′上各点収束するので

    \begin{align*}\liminf_{n\to\infty}f_n=\limsup_{n\to\infty}f_n=\lim_{n\to\infty}f_n\end{align*}

が成り立つから，(∗)の最左辺と最右辺は等しく不等号は全て等号として成り立つ．これより

    \begin{align*}\liminf_{n\to\infty}\int_{A'}f_n(x)\,dx=\limsup_{n\to\infty}\int_{A'}f_n(x)\,dx\end{align*}

が成り立つ．よって，極限limn→∞∫A′fn(x)dxが存在して

    \begin{align*}\lim_{n\to\infty}\int_{A'}f_n(x)\,dx=\int_{A'}\lim_{n\to\infty}f_n(x)\,dx\end{align*}

が従う．

最初にB3を除外していたのは，B3においてはg±fnが∞−∞となって定義できない可能性があるためです．

よく用いるルベーグの優収束定理の系の証明

集合Aの測度が有限で，関数列{fn}が一様有界なら，優関数gを定数関数にとることができるので，ルベーグ収束定理が適用できることが簡単に分かります．

ルベーグ測度が有限の可測集合Aと，A上の可測関数列{fn}を考える．関数列{fn}は一様有界で各点収束なら，等式

    \begin{align*}\lim_{n\to\infty}\int_{A}f_n(x)\,dx=\int_{A}\lim_{n\to\infty}f_n(x)\,dx.\end{align*}

が成り立つ．すなわち，{fn}は項別積分可能である．

関数列{fn}は一様に有界だから，あるM>0が存在して，任意のx∈Aに対して

    \begin{align*}\sup_{n}|f_n(x)|\le M\end{align*}

が成り立つ．また，関数gは可測単関数なので，可測単関数のルベーグ積分の定義より

    \begin{align*}\int_{A}g(x)\,dx=M\cdot m(A)\end{align*}

と計算できるから，m(A)<∞と併せてA上ルベーグ可積分である．ただし，mはルベーグ測度である．

よって，ルベーグの優収束定理より，項別積分可能である．

上で見た具体例１と具体例２は，この証明と同じ議論によりルベーグの優収束定理を用いていますね．

コメント