単調収束定理のソースを表示

[[数学]]の分野において'''単調収束定理'''（たんちょうしゅうそくていり、{{Lang-en-short|monotone convergence theorem}}）と呼ばれる定理はいくつか存在する。ここでは代表的な例を紹介する。

== 単調実数列の収束 ==
=== 定理 ===
<math>\{ a_n \}</math> が単調[[実数]][[数列|列]]（すなわち ''a''<sub>''n''</sub>&nbsp;≤&nbsp;''a''<sub>''n''+1</sub> が成立する）であるとき、この数列が[[有限]]な極限を持つための必要十分条件は、それが[[有界|有界数列]]であることである<ref>この定理の一般化は John Bibby (1974) “Axiomatisations of the average and a further generalisation of monotonic sequences,” Glasgow Mathematical Journal, vol. 15, pp. 63–65. によって与えられている。</ref>。

=== 証明 ===
増加数列 <math>\{ a_n \}</math> が上に有界であるなら、それは収束し、その極限は <math>\sup\limits_n \{a_n\}</math> であることを証明する。

<math>\{ a_n \}</math> が空でないことと仮定により、それは上に有界であるため、実数の{{仮リンク|最小上界性|en|Least-upper-bound property}}から、<math>c = \sup_n \{a_n\}</math> は存在し、有限である。今、すべての <math>\varepsilon > 0</math> に対して <math>a_N > c - \varepsilon </math> であるような <math>a_N</math> が存在することが分かる。実際、そうでないならば、<math>c - \varepsilon </math> は <math>\{ a_n \}</math> の上界となるが、これは <math>c</math> が <math>\sup_n \{a_n\}</math> であることに反する。このとき、<math>\{ a_n \}</math> は増加であるため、<math>\forall n > N , |c - a_n| = c - a_n \leq c - a_N < \varepsilon </math> が成り立つことから、定義により、<math>\{ a_n \}</math> の極限は <math>\sup_n \{a_n\}</math> であることが分かる。

=== 注意 ===
下に有界な減少実数列の場合は、その[[下限]]が極限となる。

== 単調級数の収束 ==
=== 定理 ===
全ての自然数 ''j'' および ''k'' に対して、''a''{{sub|''j'',''k''}} は非負の実数かつ ''a''{{sub|''j'',''k''}} ≤ ''a''{{sub|''j''+1,''k''}} であるなら、
:<math>\lim_{j\to\infty} \sum_k a_{j,k} = \sum_k \lim_{j\to\infty} a_{j,k}</math>
が成立する（例えば<ref>{{Cite book |author=J Yeh |title=Real analysis. Theory of measure and integration |year=2006}}</ref>の p.168 を参照されたい）。

この定理では、
#各列が弱増加かつ有界、および
#各行に対して、その行の成分によって項が構成される[[級数]]が収束する
という性質が成り立つ、非負の無限実行列に対して、その行の和の極限が、列 ''k'' の極限によって項 ''k'' の与えられる級数の和に等しい（それはまた[[上限 (数学)|上限]]でもある）ということが述べられている。その級数が収束するための必要十分条件は、行和の（弱増加）列が有界で、したがって収束することである。

一例として、行の級数
::<math>\left( 1+ \frac{1}{n} \right)^n = \sum_{k=0}^n \binom nk/n^k = \sum_{k=0}^{n}\frac1{k!}\times\frac nn\times\frac{n-1}n\times\cdots\times\frac{n-k+1}n,</math>
を考える。ただし ''n'' は無限大へと近付けるものとする（この極限は[[ネイピア数]] {{mvar|e}} である）。ここで行列の行 ''n'' 列 ''k'' の成分は
:<math>\binom nk/n^k=\frac1{k!}\times\frac nn\times\frac{n-1}n\times\cdots\times\frac{n-k+1}n</math>
で与えられる。固定された ''k'' に対して、その列は実際、''n'' について弱増加であり、{{sfrac|1|''k''!}} によって上に有界であるが、その行は有限個の多くのゼロでない項しか持たないことより、定理の条件 2 が満たされる。したがって、定理によって、行の和 <math>\left( 1+ \frac{1}{n} \right)^n</math> の極限は、列の極限、すなわち <math>\frac1{k!}</math> の和として計算することができる。

== ルベーグの単調収束定理 ==
この定理は上述の定理を一般化したものであり、いくつか存在する単調収束定理の中でおそらく最も重要なものである。{{仮リンク|ベッポ・レヴィ|en|Beppo Levi}}の定理としても知られている。

=== 定理 ===
(''X'',&nbsp;Σ,&nbsp;''μ'') を[[測度空間]]とする。<math> f_1, f_2, \ldots</math> を、[0,&nbsp;∞] に値を取る Σ-[[可測関数]]の各点非減少列とする。すなわち、すべての ''k''&nbsp;≥&nbsp;1 および <math>x \in X</math> に対して

:<math> 0 \leq f_k(x) \leq f_{k+1}(x) \, </math>

が成立するものとする。また、その列 <math>(f_{n})</math> の各点極限を ''f'' と定める。すなわち、すべての <math>x \in X</math> に対して

:<math> f(x):= \lim_{k\to\infty} f_k(x) \, </math>

が成立するものとする。このとき ''f'' は Σ-[[可測関数|可測]]であり、

:<math>\lim_{k\to\infty} \int f_k \, \mathrm{d}\mu = \int f \, \mathrm{d}\mu </math>

が成立する。

'''注意''' 関数列 <math>(f_k)</math> が上の仮定を ''μ'' に関してほとんど至る所で満たすが、''μ''(''N'')&nbsp;= 0 であるような集合 ''N''&nbsp;∈&nbsp;Σ で、すべての <math>x \notin N</math> に対して列 <math>(f_k(x))</math> が非減少であるようなものを見つけることが出来る。f が Σ-可測であることから
:<math> \int f_k \, \mathrm{d}\mu = \int_{X \backslash N} f_k \, \mathrm{d}\mu, \ \text{and} \ \int f \, \mathrm{d}\mu = \int_{X \backslash N} f \, \mathrm{d}\mu </math>
がすべての ''k'' に対して成り立つ（たとえば、<ref name="SCHECHTER1997">{{cite book|author=Erik Schechter|title=Analysis and Its Foundations|year=1997}}</ref> の 21.38 節を参照されたい）ことより、定理の結果はこの場合にも真となる。

=== 証明 ===
はじめに ''f'' が Σ-[[可測関数|可測]]（たとえば <ref name="SCHECHTER1997"/> の 21.3 節を参照されたい）であることを証明する。この証明のためには、''f'' についての区間 [0,&nbsp;''t''] の原像が ''X'' 上の[[完全加法族| σ-代数]] Σ の要素であることを示せば十分である。なぜならば、（閉）区間は実数上に[[ボレル集合|ボレル σ-代数]]を生成するからである。''I''&nbsp;= [0,&nbsp;''t''] を、そのような [0,&nbsp;∞] の部分区間とする。また

:<math> f^{-1}(I) = \{x\in X \,|\, f(x)\in I \} </math>

とする。''I'' は閉区間であり、<math>\forall k, f_k(x) \le f(x)</math> であるため、

:<math>f(x)\in I \Leftrightarrow f_k(x)\in I, ~ \forall k\in \mathbb{N}</math>

が成立する。したがって、 

:<math>\{x\in X \,|\, f(x)\in I\} = \bigcap_{k\in \mathbb{N}} \{x\in X \,|\, f_k(x)\in I\}</math>

となる。この可算の共通部分に含まれる各集合は、Σ-[[可測関数]] <math> f_k </math> についてのある[[ボレル集合|ボレル部分集合]]の原像であるため、Σ の要素である。定義によれば、σ-代数は可算の共通部分に関して閉じているため、このことは ''f'' が Σ-可測であることを意味する。一般的に、可測関数の任意の可算個の族の上限は、可測である。

続いて、単調収束定理の残りの部分の証明を行う。''f'' が Σ-可測であるという事実は、<math> \int f \, \mathrm{d}\mu </math> が良設定であることを意味する。

<math> \int f \, \mathrm{d} \mu \geq \lim_k \int f_k \, \mathrm{d} \mu </math> を示す。[[ルベーグ積分]]の定義により、

:<math> \int f \, \mathrm{d} \mu = \sup \{\int g \, \mathrm{d} \mu \,|\, g \in SF, \ g\leq f \} </math>

を得る。ここで SF は ''X'' 上の Σ-可測[[単関数]]の集合を表す。各 ''x''&nbsp;∈ ''X'' において <math>f_k(x)\leq f(x)</math> であるため、

:<math>\left\{\int g \, \mathrm{d} \mu \,|\, g \in SF, \ g\leq f_k \right\}\subseteq \left\{\int g \, \mathrm{d} \mu \,|\, g \in SF, \ g\leq f \right\} </math>

を得る。したがって、部分集合の上限は全集合よりも大きくなることは無いことから、次を得る: 

:<math> \int f \, \mathrm{d} \mu \geq \lim_k \int f_k \, \mathrm{d} \mu.</math>  

関数列が単調であることから、この右辺の極限は存在する。

続いて、逆向きの不等式が成立することを証明する（これは[[ファトゥの補題]]によっても従う）。すなわち、

:<math> \int f \, \mathrm{d} \mu \leq \lim_k \int f_k \, \mathrm{d} \mu </math> 

を示す。積分の定義により、非負単関数の非減少列 (''g''<sub>''k''</sub>) で ''g''<sub>''k''</sub>&nbsp;≤ ''f'' および

:<math> \lim_k \int g_k \, \mathrm{d} \mu = \int f \, \mathrm{d} \mu </math>

を満たすものが存在する。今、各 <math>k\in \mathbb{N} </math> に対して

:<math>  \int g_k \, \mathrm{d}\mu \leq \lim_j \int f_j \, \mathrm{d}\mu</math>

であることを証明すれば十分である。なぜならば、もしこの不等式が各 ''k'' に対して真であるなら、左辺の極限もまた右辺以下であるからである。''g''<sub>''k''</sub> が単関数であり、各 ''x'' に対して

:<math> \lim_j f_j(x) \geq g_k(x) \, </math> 

であるなら、

:<math> \lim_j \int f_j \, \mathrm{d} \mu \geq \int g_k \, \mathrm{d} \mu </math>

であることを示す。積分は線型であるため、関数 <math>g_k</math> が σ-代数 Σ の要素 ''B'' の指示関数である場合に落とし込むことにより、<math>g_k</math> をその定数部分に分けることが出来る。この場合 <math>f_j</math> は、''B'' の各点における上限が 1 以上であるような可測関数の列であると仮定される。''ε''&nbsp;> 0 を固定し、可測集合の列

:<math> B_n = \{x \in B: f_n(x) \geq 1 - \epsilon \} \, </math>

を定義する。積分の単調性により、任意の <math>n\in \mathbb{N}</math> に対して、

:<math> \mu(B_n) (1 - \epsilon) = \int (1 - \epsilon) 1_{B_n} \, \mathrm{d} \mu \leq \int f_n \, \mathrm{d} \mu </math>

が成立する。<math> \lim_j f_j(x) \geq g_k(x) </math> であるという仮定により、''B'' に含まれるどのような ''x'' も、十分大きい ''n'' に対して <math>B_n</math> に含まれ、したがって

:<math> \bigcup_n B_n = B </math>

が得られる。したがって

:<math> \int g_k \, \mathrm{d} \mu =\int 1_B \, \mathrm{d}\mu = \mu(B) = \mu\left(\bigcup_n B_n\right) </math>

が得られる。測度の単調性を用いることで、上の等式を次のように続けることが出来る:
:<math>\mu\left(\bigcup_n B_n\right)=\lim_n \mu(B_n) \leq \lim_n (1 - \epsilon)^{-1} \int f_n \, \mathrm{d}\mu. </math>

''k''&nbsp;→&nbsp;∞ とし、任意の正の ''ε'' に対してこれが真であるという事実を用いることで、求める結果が得られる。

== 関連項目 ==
*[[級数]]
*[[優収束定理]]

==脚注==
{{reflist}}

{{DEFAULTSORT:たんちようしゆうそくていり}}

[[Category:証明を含む記事]]
[[Category:微分積分学の定理]]
[[Category:実解析の定理]]
[[Category:級数]]
[[Category:測度論の定理]]
[[Category:数学に関する記事]]

[[it:Passaggio al limite sotto segno di integrale#Integrale di Lebesgue]]