一様可積分性
📂測度論一様可積分性
定義
測度空間 (X,E,μ)が与えられたとする。
ルベーグ積分可能な関数の集合 Φ⊂L1が与えられた時、全ての ε>0 に対して、
μ(E)<δ⟹f∈Φsup∫E∣f∣dμ<ε
を満たす δ>0が存在するならば、Φは一様積分可能であるという。
説明
一様積分可能性は一様uniformlyという言葉がついている通り、セットの概念で近づいていて、Φに属していれば、どのような関数でもそのl1の値を同時にεより小さくすることができるようにする、つまり狭いE、または言い換えれば小さいδ>μ(E)が存在しなければならない。セットとしてこのように説明すると数学的には厳密かもしれないが、直感的には理解しにくい。関数の集合の例として、シーケンス{fn}n=1∞を考えれば、次のように説明するともっと理解しやすくなる。
μ(E)<δ⟹n∈Nsup∫E∣fn∣dμ<ε
しかし、この表示を嫌う理由は、シーケンスが結局はカウンタブルセットであるからだ。様々な理論の基礎になるべき実解析の立場では、可能性を過度に限定している感じは否めない。
一方で、一様積分可能性を考える良い例としては、確率過程論の一様積分可能なマルチンゲールがある。