単調収束定理

単調収束定理について

数学の分野で非常に重要な役割を果たす単調収束定理（monotone convergence theorem）は、関数列や数列の収束に関する定理の一つです。この定理にはいくつかのバリエーションがありますが、代表的なものは単調実数列の収束と単調級数の収束、さらにルベーグの単調収束定理です。これらを通じて単調性と収束の関係を深く理解することができます。

単調実数列の収束定理

単調実数列が収束するためには、いくつかの条件を満たす必要があります。具体的には、数列 \\({a_n}\\) が増加しており、上に有界である場合に、その極限は上限（supremum）に一致することが示されています。

証明

増加数列 \\({a_n}\\) が上に有界であると仮定すると、その上界である値 \\({c = sup_{n} {a_n}}\\) が存在します。この時、任意の小さな正数 \\({oldsymbol{orall oldsymbol{ackslash{n}} > N, extrm{であるため、}}}\\), \\({a_N > c - oldsymbol{ackslash{oldsymbol{oldsymbol{ackslash{ε}}}}}}\\) という条件が成立します。もしそうでなければ、\\({c - oldsymbol{ackslash{ε}}}\\) は数列の上界となるため、矛盾が生じます。これにより、\\({|c - a_n| = c - a_n \\ ext{が成り立つため、} orall n > N, c - a_N < oldsymbol{ackslash{ε}}}\\) であることが示され、したがって\ extbf{この数列は\\} 有限の極限を持ちます。

単調級数の収束定理

次に、単調級数の収束について述べます。自然数\ ext{j} と k に対して、\\ ({a_{j,k}})\\ の各要素が非負であり、\\{a_{j,k} ≤ a_{j+1,k}}\\ であるとき、次の等式が成り立ちます。

\\({ ext{lim}_{j o oldsymbol{ackslash{oldsymbol{∞}}}} extbf{∑}_{k} a_{j,k} = extbf{∑}_{k} ext{lim}_{j o oldsymbol{ackslash{oldsymbol{∞}}}} a_{j,k}}\\). \\text{これはすなわち、各行の和の極限が、列の極限によって求められる和に等しいことを意味します。}\\

この定理が成り立つための重要な条件は、行の与えられたデータが有界であり、収束することであることです。たとえば\\ ext{、行列の行に含まれる項が }\\\\ \ ext{(1 + rac{1}{n})^{n} という形を持つ場合、} \\text{その極限がネイピア数 e になることが知られています。}

ルベーグの単調収束定理

最後に紹介するのが、ルベーグの単調収束定理です。この定理は前に述べた単調収束定理を一般化したもので、特に測度論において非常に重要です。この定理によれば、\\ extbf{(X, Σ, μ) という測度空間において、}\\ ext{各点非減少関数に対する収束と積分の関係を建立しています。}

具体的には、\\(f_k(x)\\) が全ての k に対して教師に対し非負の値を取る可測関数なら、次の式が成り立ちます。\\displaystyle \\text{lim}_{k o oldsymbol{ackslash{∞}}} ∫ f_k dμ = ∫ f dμ という形で表されます。\
この定理は単調性を利用して、各点の極限が測度と積分においてどのように相互作用するかを示します。
このように、単調収束定理は数列や関数の収束の理解において非常に強力なツールであり、数学の多くの応用に活かされています。

もう一度検索