数学の分野において単調収束定理(たんちょうしゅうそくていり、英: monotone convergence theorem)と呼ばれる定理はいくつか存在する。ここでは代表的な例を紹介する。
単調実数列の収束
定理
が単調実数列(すなわち an ≤ an+1 が成立する)であるとき、この数列が有限な極限を持つための必要十分条件は、それが有界数列であることである[1]。
証明
増加数列
が上に有界であるなら、それは収束し、その極限は
であることを証明する。
が空でないことと仮定により、それは上に有界であるため、実数の最小上界性(英語版)から、
は存在し、有限である。今、すべての
に対して
であるような
が存在することが分かる。実際、そうでないならば、
は
の上界となるが、これは
が
であることに反する。このとき、
は増加であるため、
が成り立つことから、定義により、
の極限は
であることが分かる。
注意
下に有界な減少実数列の場合は、その下限が極限となる。
単調級数の収束
定理
全ての自然数 j および k に対して、aj,k は非負の実数かつ aj,k ≤ aj+1,k であるなら、
![{\displaystyle \lim _{j\to \infty }\sum _{k}a_{j,k}=\sum _{k}\lim _{j\to \infty }a_{j,k}}](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/ab76bd35a0a891615364e049f9baffa70649a0fd)
が成立する(例えば[2]の p.168 を参照されたい)。
この定理では、
- 各列が弱増加かつ有界、および
- 各行に対して、その行の成分によって項が構成される級数が収束する
という性質が成り立つ、非負の無限実行列に対して、その行の和の極限が、列 k の極限によって項 k の与えられる級数の和に等しい(それはまた上限でもある)ということが述べられている。その級数が収束するための必要十分条件は、行和の(弱増加)列が有界で、したがって収束することである。
一例として、行の級数
![{\displaystyle \left(1+{\frac {1}{n}}\right)^{n}=\sum _{k=0}^{n}{\binom {n}{k}}/n^{k}=\sum _{k=0}^{n}{\frac {1}{k!}}\times {\frac {n}{n}}\times {\frac {n-1}{n}}\times \cdots \times {\frac {n-k+1}{n}},}](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/84f11f6067385b039a51f68e8a937c8acbbacb9a)
を考える。ただし n は無限大へと近付けるものとする(この極限はネイピア数 e である)。ここで行列の行 n 列 k の成分は
![{\displaystyle {\binom {n}{k}}/n^{k}={\frac {1}{k!}}\times {\frac {n}{n}}\times {\frac {n-1}{n}}\times \cdots \times {\frac {n-k+1}{n}}}](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/eef39edc3e8c9c98b7d79e8e88118e106d96bc83)
で与えられる。固定された k に対して、その列は実際、n について弱増加であり、1/k! によって上に有界であるが、その行は有限個の多くのゼロでない項しか持たないことより、定理の条件 2 が満たされる。したがって、定理によって、行の和
の極限は、列の極限、すなわち
の和として計算することができる。
ルベーグの単調収束定理
この定理は上述の定理を一般化したものであり、いくつか存在する単調収束定理の中でおそらく最も重要なものである。ベッポ・レヴィ(英語版)の定理としても知られている。
定理
(X, Σ, μ) を測度空間とする。
を、[0, ∞] に値を取る Σ-可測関数の各点非減少列とする。すなわち、すべての k ≥ 1 および
に対して
![{\displaystyle 0\leq f_{k}(x)\leq f_{k+1}(x)\,}](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/91e807fd8b11316f07fae9bc79b37f2d4326a76e)
が成立するものとする。また、その列
の各点極限を f と定める。すなわち、すべての
に対して
![{\displaystyle f(x):=\lim _{k\to \infty }f_{k}(x)\,}](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/24a7d6ea7793968589c139d60d0f1aa9ad12a09a)
が成立するものとする。このとき f は Σ-可測であり、
![{\displaystyle \lim _{k\to \infty }\int f_{k}\,\mathrm {d} \mu =\int f\,\mathrm {d} \mu }](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/218551b235f04715ee978b148bac723cf1648f3d)
が成立する。
注意 関数列
が上の仮定を μ に関してほとんど至る所で満たすが、μ(N) = 0 であるような集合 N ∈ Σ で、すべての
に対して列
が非減少であるようなものを見つけることが出来る。f が Σ-可測であることから
![{\displaystyle \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 }](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/321077a1c939e38b69b1a796d9cbbc65c0a69ca0)
がすべての k に対して成り立つ(たとえば、[3] の 21.38 節を参照されたい)ことより、定理の結果はこの場合にも真となる。
証明
はじめに f が Σ-可測(たとえば [3] の 21.3 節を参照されたい)であることを証明する。この証明のためには、f についての区間 [0, t] の原像が X 上の σ-代数 Σ の要素であることを示せば十分である。なぜならば、(閉)区間は実数上にボレル σ-代数を生成するからである。I = [0, t] を、そのような [0, ∞] の部分区間とする。また
![{\displaystyle f^{-1}(I)=\{x\in X\,|\,f(x)\in I\}}](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/f2992e25b615cc295afb674bd648d35572eeaf41)
とする。I は閉区間であり、
であるため、
![{\displaystyle f(x)\in I\Leftrightarrow f_{k}(x)\in I,~\forall k\in \mathbb {N} }](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/acdca4faeb1f85888eb93e9871e96e45f55302c9)
が成立する。したがって、
![{\displaystyle \{x\in X\,|\,f(x)\in I\}=\bigcap _{k\in \mathbb {N} }\{x\in X\,|\,f_{k}(x)\in I\}}](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/4d2c2dd9f9fcc8f286c55ea434d5cc93e4f0b406)
となる。この可算の共通部分に含まれる各集合は、Σ-可測関数
についてのあるボレル部分集合の原像であるため、Σ の要素である。定義によれば、σ-代数は可算の共通部分に関して閉じているため、このことは f が Σ-可測であることを意味する。一般的に、可測関数の任意の可算個の族の上限は、可測である。
続いて、単調収束定理の残りの部分の証明を行う。f が Σ-可測であるという事実は、
が良設定であることを意味する。
を示す。ルベーグ積分の定義により、
![{\displaystyle \int f\,\mathrm {d} \mu =\sup\{\int g\,\mathrm {d} \mu \,|\,g\in SF,\ g\leq f\}}](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/733e7ad62b04509b3cff8b2e1115dfe7446e88fa)
を得る。ここで SF は X 上の Σ-可測単関数の集合を表す。各 x ∈ X において
であるため、
![{\displaystyle \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\}}](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/2f803220a8204aa5a53be1f197e7c516f0a7987f)
を得る。したがって、部分集合の上限は全集合よりも大きくなることは無いことから、次を得る:
![{\displaystyle \int f\,\mathrm {d} \mu \geq \lim _{k}\int f_{k}\,\mathrm {d} \mu .}](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/fe403cf8db0d85afa8c994bfe74094d12d0e864d)
関数列が単調であることから、この右辺の極限は存在する。
続いて、逆向きの不等式が成立することを証明する(これはファトゥの補題によっても従う)。すなわち、
![{\displaystyle \int f\,\mathrm {d} \mu \leq \lim _{k}\int f_{k}\,\mathrm {d} \mu }](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/43ab57b98fe9eaa8342eb0b1a8869dab726b25d8)
を示す。積分の定義により、非負単関数の非減少列 (gk) で gk ≤ f および
![{\displaystyle \lim _{k}\int g_{k}\,\mathrm {d} \mu =\int f\,\mathrm {d} \mu }](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/81298514b60cf049841c758158a89a2fc4252590)
を満たすものが存在する。今、各
に対して
![{\displaystyle \int g_{k}\,\mathrm {d} \mu \leq \lim _{j}\int f_{j}\,\mathrm {d} \mu }](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/de65fbf40db8b28a87bdcf7b4859e1d52134a105)
であることを証明すれば十分である。なぜならば、もしこの不等式が各 k に対して真であるなら、左辺の極限もまた右辺以下であるからである。gk が単関数であり、各 x に対して
![{\displaystyle \lim _{j}f_{j}(x)\geq g_{k}(x)\,}](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/d55fd4951a63f804d5d2794ffa2583277deba7cd)
であるなら、
![{\displaystyle \lim _{j}\int f_{j}\,\mathrm {d} \mu \geq \int g_{k}\,\mathrm {d} \mu }](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/00e7b19237519c6ca4d438998ecf89b9d600c6eb)
であることを示す。積分は線型であるため、関数
が σ-代数 Σ の要素 B の指示関数である場合に落とし込むことにより、
をその定数部分に分けることが出来る。この場合
は、B の各点における上限が 1 以上であるような可測関数の列であると仮定される。ε > 0 を固定し、可測集合の列
![{\displaystyle B_{n}=\{x\in B:f_{n}(x)\geq 1-\epsilon \}\,}](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/daa569fde10a98063985015499ce404b3bbb8d6d)
を定義する。積分の単調性により、任意の
に対して、
![{\displaystyle \mu (B_{n})(1-\epsilon )=\int (1-\epsilon )1_{B_{n}}\,\mathrm {d} \mu \leq \int f_{n}\,\mathrm {d} \mu }](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/8fa640789652a14f935a5970ebe59de945bbd3b2)
が成立する。
であるという仮定により、B に含まれるどのような x も、十分大きい n に対して
に含まれ、したがって
![{\displaystyle \bigcup _{n}B_{n}=B}](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/373a75038c04ca9193957d0009a9755e4790ba8e)
が得られる。したがって
![{\displaystyle \int g_{k}\,\mathrm {d} \mu =\int 1_{B}\,\mathrm {d} \mu =\mu (B)=\mu \left(\bigcup _{n}B_{n}\right)}](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/016c1e7a56401d8738ae9ad87cfe52d989b32989)
が得られる。測度の単調性を用いることで、上の等式を次のように続けることが出来る:
![{\displaystyle \mu \left(\bigcup _{n}B_{n}\right)=\lim _{n}\mu (B_{n})\leq \lim _{n}(1-\epsilon )^{-1}\int f_{n}\,\mathrm {d} \mu .}](//weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/a8008e0f0a7bfa35f80ad7b8d650182b9b2de1cd)
k → ∞ とし、任意の正の ε に対してこれが真であるという事実を用いることで、求める結果が得られる。
関連項目
脚注
- ^ この定理の一般化は John Bibby (1974) “Axiomatisations of the average and a further generalisation of monotonic sequences,” Glasgow Mathematical Journal, vol. 15, pp. 63–65. によって与えられている。
- ^ J Yeh (2006). Real analysis. Theory of measure and integration
- ^ a b Erik Schechter (1997). Analysis and Its Foundations