定理 全ての自然数 j および k に対して、a j ,k は非負の実数かつ a j ,k ≤ a j +1,k であるなら、
lim j → ∞ ∑ k a j , k = ∑ k lim j → ∞ a j , k {\displaystyle \lim _{j\to \infty }\sum _{k}a_{j,k}=\sum _{k}\lim _{j\to \infty }a_{j,k}} が成立する(例えば [2] の 168 ページを参照されたい)。
この定理では、
各列が弱増加かつ有界、および 各行に対して、その行の成分によって項が構成される級数 が収束する という性質が成り立つような非負の無限実行列に対して、その行の和の極限が、列 k の極限によって項 k の与えられるような級数の和に等しい(それはまた上限 でもある)ということが述べられている。その級数が収束するための必要十分条件は、行和の(弱増加)列が有界で、したがって収束することである。
一例として、行の無限級数
( 1 + 1 / n ) n = ∑ k = 0 n ( n k ) / n k = ∑ k = 0 n 1 k ! × n n × n − 1 n × ⋯ × n − k + 1 n , {\displaystyle (1+1/n)^{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}},} を考える。ただし n は無限大へと近付けるものとする(この極限はe である)。ここで行列の行 n 列 k の成分は
( n k ) / n k = 1 k ! × n n × n − 1 n × ⋯ × n − k + 1 n {\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}}} で与えられる。固定された k に対して、その列は実際、n について弱増加であり、1/k ! によって上に有界であるが、その行は有限個の多くのゼロでない項しか持たないことより、定理の条件 2 が満たされる。したがって、定理によって、行の和 ( 1 + 1 / n ) n {\displaystyle (1+1/n)^{n}} の極限は、列の極限、すなわち 1 k ! {\displaystyle {\frac {1}{k!}}} の和として計算することが出来る。
この定理は上述の定理を一般化したものであり、いくつか存在する単調収束定理の中でおそらく最も重要なものである。(ベッポ・レヴィ )(英語版) の定理としても知られている。
定理 (X , Σ, μ ) を測度空間 とする。 f 1 , f 2 , … {\displaystyle f_{1},f_{2},\ldots } を、[0, ∞] に値を取る Σ-可測関数 の各点非減少列とする。すなわち、すべての k ≥ 1 および x ∈ X {\displaystyle x\in X} に対して
0 ≤ f k ( x ) ≤ f k + 1 ( x ) {\displaystyle 0\leq f_{k}(x)\leq f_{k+1}(x)\,} が成立するものとする。また、その列 ( f n ) {\displaystyle (f_{n})} の各点極限を f と定める。すなわち、すべての x ∈ X {\displaystyle x\in X} に対して
f ( x ) := lim k → ∞ f k ( x ) {\displaystyle f(x):=\lim _{k\to \infty }f_{k}(x)\,} が成立するものとする。このとき f は Σ-可測 であり、
lim k → ∞ ∫ f k d μ = ∫ f d μ {\displaystyle \lim _{k\to \infty }\int f_{k}\,\mathrm {d} \mu =\int f\,\mathrm {d} \mu } が成立する。
注意 関数列 ( f k ) {\displaystyle (f_{k})} が上の仮定を μ に関してほとんど至る所で満たすが、μ (N ) = 0 であるような集合 N ∈ Σ で、すべての x ∉ N {\displaystyle x\notin N} に対して列 ( f k ( x ) ) {\displaystyle (f_{k}(x))} が非減少であるようなものを見つけることが出来る。f が Σ-可測であることから
∫ f k d μ = ∫ X ∖ N f k d μ , and ∫ f d μ = ∫ X ∖ N f d μ {\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 } がすべての k に対して成り立つ(たとえば、[3] の 21.38 節を参照されたい)ことより、定理の結果はこの場合にも真となる。
証明 はじめに f が Σ-可測 (たとえば [3] の 21.3 節を参照されたい)であることを証明する。この証明のためには、f についての区間 [0, t ] の原像が X 上の σ-代数 Σ の要素であることを示せば十分である。なぜならば、(閉)区間は実数上にボレル σ-代数 を生成するからである。I = [0, t ] を、そのような [0, ∞] の部分区間とする。また
f − 1 ( I ) = { x ∈ X | f ( x ) ∈ I } {\displaystyle f^{-1}(I)=\{x\in X\,|\,f(x)\in I\}} とする。I は閉区間であり、 ∀ k , f k ( x ) ≤ f ( x ) {\displaystyle \forall k,f_{k}(x)\leq f(x)} であるため、
f ( x ) ∈ I ⇔ f k ( x ) ∈ I , ∀ k ∈ N {\displaystyle f(x)\in I\Leftrightarrow f_{k}(x)\in I,~\forall k\in \mathbb {N} } が成立する。したがって、
{ x ∈ X | f ( x ) ∈ I } = ⋂ k ∈ N { x ∈ X | f k ( x ) ∈ I } {\displaystyle \{x\in X\,|\,f(x)\in I\}=\bigcap _{k\in \mathbb {N} }\{x\in X\,|\,f_{k}(x)\in I\}} となる。この可算の共通部分に含まれる各集合は、Σ-可測関数 f k {\displaystyle f_{k}} についてのあるボレル部分集合 の原像であるため、Σ の要素である。定義によれば、σ-代数は可算の共通部分に関して閉じているため、このことは f が Σ-可測であることを意味する。一般的に、可測関数の任意の可算個の族の上限は、可測である。
続いて、単調収束定理の残りの部分の証明を行う。f が Σ-可測であるという事実は、 ∫ f d μ {\displaystyle \int f\,\mathrm {d} \mu } が良設定であることを意味する。
∫ f d μ ≥ lim k ∫ f k d μ {\displaystyle \int f\,\mathrm {d} \mu \geq \lim _{k}\int f_{k}\,\mathrm {d} \mu } を示す。ルベーグ積分 の定義により、
∫ f d μ = sup { ∫ g d μ | g ∈ S F , g ≤ f } {\displaystyle \int f\,\mathrm {d} \mu =\sup\{\int g\,\mathrm {d} \mu \,|\,g\in SF,\ g\leq f\}} を得る。ここで SF は X 上の Σ-可測単関数 の集合を表す。各 x ∈ X において f k ( x ) ≤ f ( x ) {\displaystyle f_{k}(x)\leq f(x)} であるため、
{ ∫ g d μ | g ∈ S F , g ≤ f k } ⊆ { ∫ g d μ | g ∈ S F , g ≤ f } {\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\}} を得る。したがって、部分集合の上限は全集合よりも大きくなることは無いことから、次を得る:
∫ f d μ ≥ lim k ∫ f k d μ . {\displaystyle \int f\,\mathrm {d} \mu \geq \lim _{k}\int f_{k}\,\mathrm {d} \mu .} 関数列が単調であることから、この右辺の極限は存在する。
続いて、逆向きの不等式が成立することを証明する(これはファトゥの補題 によっても従う)。すなわち、
∫ f d μ ≤ lim k ∫ f k d μ {\displaystyle \int f\,\mathrm {d} \mu \leq \lim _{k}\int f_{k}\,\mathrm {d} \mu } を示す。積分の定義により、非負単関数の非減少列 (g k ) で g k ≤ f および
lim k ∫ g k d μ = ∫ f d μ {\displaystyle \lim _{k}\int g_{k}\,\mathrm {d} \mu =\int f\,\mathrm {d} \mu } を満たすものが存在する。今、各 k ∈ N {\displaystyle k\in \mathbb {N} } に対して
∫ g k d μ ≤ lim j ∫ f j d μ {\displaystyle \int g_{k}\,\mathrm {d} \mu \leq \lim _{j}\int f_{j}\,\mathrm {d} \mu } であることを証明すれば十分である。なぜならば、もしこの不等式が各 k に対して真であるなら、左辺の極限もまた右辺以下であるからである。g k が単関数であり、各 x に対して
lim j f j ( x ) ≥ g k ( x ) {\displaystyle \lim _{j}f_{j}(x)\geq g_{k}(x)\,} であるなら、
lim j ∫ f j d μ ≥ ∫ g k d μ {\displaystyle \lim _{j}\int f_{j}\,\mathrm {d} \mu \geq \int g_{k}\,\mathrm {d} \mu } であることを示す。積分は線型であるため、関数 g k {\displaystyle g_{k}} が σ-代数 Σ の要素 B の指示関数である場合に落とし込むことにより、 g k {\displaystyle g_{k}} をその定数部分に分けることが出来る。この場合 f j {\displaystyle f_{j}} は、B の各点における上限が 1 以上であるような可測関数の列であると仮定される。ε > 0 を固定し、可測集合の列
B n = { x ∈ B : f n ( x ) ≥ 1 − ϵ } {\displaystyle B_{n}=\{x\in B:f_{n}(x)\geq 1-\epsilon \}\,} を定義する。積分の単調性により、任意の n ∈ N {\displaystyle n\in \mathbb {N} } に対して、
μ ( B n ) ( 1 − ϵ ) = ∫ ( 1 − ϵ ) 1 B n d μ ≤ ∫ f n d μ {\displaystyle \mu (B_{n})(1-\epsilon )=\int (1-\epsilon )1_{B_{n}}\,\mathrm {d} \mu \leq \int f_{n}\,\mathrm {d} \mu } が成立する。 lim j f j ( x ) ≥ g k ( x ) {\displaystyle \lim _{j}f_{j}(x)\geq g_{k}(x)} であるという仮定により、B に含まれるどのような x も、十分大きい n に対して B n {\displaystyle B_{n}} に含まれ、したがって
⋃ n B n = B {\displaystyle \bigcup _{n}B_{n}=B} が得られる。したがって
∫ g k d μ = ∫ 1 B d μ = μ ( B ) = μ ( ⋃ n B n ) {\displaystyle \int g_{k}\,\mathrm {d} \mu =\int 1_{B}\,\mathrm {d} \mu =\mu (B)=\mu \left(\bigcup _{n}B_{n}\right)} が得られる。測度の単調性を用いることで、上の等式を次のように続けることが出来る:
μ ( ⋃ n B n ) = lim n μ ( B n ) ≤ lim n ( 1 − ϵ ) − 1 ∫ f n d μ . {\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 .} k → ∞ とし、任意の正の ε に対してこれが真であるという事実を用いることで、求める結果が得られる。