一様可積分性

一様可積分性についての解説

一様可積分性（いちようかせきぶんせい、英: uniform integrability）は、実解析、関数解析、及び測度論の領域において重要な概念です。この概念は、ルベーグ可積分性を拡張するものであり、条件付き期待値やマルチンゲール理論の発展に寄与します。この性質は、確率変数の収束の理解においても重要な役割を果たします。特に、確率の意味で収束する確率変数が、
L
p
の意味で収束するための必要十分条件を提供します。

形式的定義

一様可積分性に関する定義は以下のようになります。確率変数のクラスCが一様可積分であるためには、任意の正の数3b0 > 0が与えられた際、任意のX ∈ Cに対して、以下の条件が成り立つようなK ∈ [0, ∞)が存在する必要があります。次の不等式が成立します：

\[ E(|X|I_{|X|\geq K})\leq \epsilon \]

ここで、Iは指示関数を表し、|X|がK以上のときに1、そうでないときは0を返します。

二箇条の定義

別の定義も存在し、以下の二つの条件を満たす場合にCが一様可積分であるとされます：

1. Cに含まれる全てのXに対して、存在する有限のKに対して、\[ E(|X|)\leq K \] が成り立つこと。
2. 任意の正の数3b0に対してある正の数3b0 > 0が存在し、すべての可測なAと任意のX ∈ Cに対して、\[ E(|X| : A)\leq \epsilon \] が成り立つこと。

関連する性質

一様可積分性は、以下のように書き換えることができます：

\[ \lim_{K\to \infty} \sup_{X \in C} E(|X|I_{|X|\geq K})=0. \]

この結果は、処理の過程において、確率変数の列Xₙにおいても適切ですが、ここでは許容できない特定の条件が考慮されます。具体的には、Xₙは特定の範囲で非ゼロとされ、全てのnにおいてE(|Xₙ|)は1であるため、それはL₁ に含まれるものの一様可積分ではないことが確認できます。

有界性の欠如が一様可積分性と関連付けられることも注目されます。一様可積分な確率変数に対しては、E(|X|)を分解した際、上界を見つけられることが示されます。

一様可積分性の強さ

一様可積分性は、確率変数がある可積分な非負の関数によって支配される場合にそのクラスCが成立することも示しています。また、L₁における有界確率変数のクラスは常に一様可積分性を有します。

定理の参照

一様可積分性に関連する著名な定理は、「ダンフォード–ペティスの定理」や「ド・ラ・バレ・プーサンの定理」などがあり、これらは一様可積分性の理解を助ける重要な理論です。

確率変数の収束との関係

最後に、一様可積分性は確率変数の収束においても重要です。特に、ある列がL₁ノルムにおいて収束するためには、確率収束と一様可積分性が必要です。すなわち、期待値の意味においても収束するための必要条件も一様可積分性と密接に関連しています。

以上のように、一様可積分性は確率論や実解析における基礎的な概念であり、その理解は様々な問題の解決に繋がります。

もう一度検索