優収束定理

ルベーグの優収束定理

数学の測度論において、ルベーグの優収束定理（または単に優収束定理）は、関数列の収束による積分の振る舞いを理解するための重要な定理です。この定理は、ある関数列が「支配関数」と呼ばれる可積分関数によって制約される場合、関数列の収束とその積分の関係がどうなるかを示します。

定理の概要

測度空間 $(S, \Sigma, \mu)$ 上に実数値可測関数の列 ${f_n}$ を考えます。この列がある関数 $f$ にほとんど至る所で収束し、かつある可積分関数 $g$ に対して |$f_n(x)| \leq g(x)$ が成り立つとします。このとき、以下の関係が成り立ちます。

1. $ ext{lim}_{n \to \infty} \int_S |f_n - f| \, d\mu = 0$
2. $ ext{lim}_{n \to \infty} \int_S f_n \, d\mu = \int_S f \, d\mu$

この定理は、リーマン積分では成立しない特性を持ち、ルベーグ積分の理論的な強さを示しています。特に重要な応用は確率論における期待値の収束に見られます。

有界収束定理

優収束定理の特別なケースとして有界収束定理が存在します。これは、実数値可測関数からなる一様有界な関数列 ${f_n}$ が、ある関数 $f$ に収束する場合に適用されます。この場合、$f$ は可積分であり、次のように表現されます：

$$ \text{lim}_{n \to \infty} \int_S f_n \, d\mu = \int_S f \, d\mu $$

このように、有界収束定理は優収束定理の理論を拡張する重要な先例となります。

定理の証明

ルベーグの優収束定理の証明は、直接的なアプローチとしてファトゥの補題を用いるものが一般的です。まず、各点収束極限が支配関数 $g$ により制約されているため、$f$ もまたこの関数によって支配されます。

すべての $n$ に対して、不等式 $|f - f_n| \leq |f| + |f_n| \leq 2g$ が成り立ち、さらに $ ext{limsup}_{n \to \infty} |f - f_n| = 0$ となることから、積分に関する定理の条件が満たされることが示されます。これにより、定理の主張が成立することが証明されるのです。

確率論における応用

ルベーグの優収束定理は、確率論においても幅広く利用されます。特に、期待値における収束を考える際、この定理は重要な役割を果たします。期待値が関数列の極限と一致するための条件を提供するため、この定理は確率変数の収束において非常に有用です。

限界と考察

優収束定理の仮定を外すことは一般には認められません。具体的には、支配関数 $g$ の存在が必要であり、これは特定の条件を持つ関数列においても非常に重要です。配分された条件や適用の際には慎重な考慮が求められます。

以上のように、ルベーグの優収束定理は単なる数学の理論にとどまらず、さまざまな数学的分野や実務においてその有意義さが実証されているのです。

もう一度検索