完備測度

完備測度空間の理解

完備測度空間とは、その空間において全ての零集合の部分集合が可測であること、すなわち、測度ゼロの集合が含まれる場合、その部分集合も同様に可測である必要がある空間を指します。一般的には、

\[(X, \Sigma, \mu) \quad \text{が完備である者、}\quad \text{もし } S \subseteq N \in \Sigma\text{ かつ } \mu(N) = 0 \text{ ならば } S \in \Sigma。\]

こうした性質を持つことで、様々な数学的問題に対しての柔軟性が生まれるのです。

動機

完備性という概念は、特に直積空間について考える際に重要となります。まず、実数直線上のルベーグ測度が構成されていると仮定すると、この測度空間は\((R, B, \lambda)\)に表されます。次に、二次元のルベーグ測度\(\lambda^2\)を定義しようとする際、平面\(R^2\)のσ-集合代数を、すべての可測な長方形領域を含むように選択する必要があります。しかし、一次元のルベーグ測度はすべての単元集合に対してゼロとなるため、一部の集合では二次元の測度が定義できません。このため、通常の構成法では完備測度が得られないことがわかります。

完備測度の特徴

完備性を確保するためには、特定の条件が成り立つ必要があります。具体的には、実数値の可測関数がある条件下で概収束するとき、その関数も可測であることが求められます。これにより、実数値の可測関数の集合が完備であることが示されます。

完備測度の構成

与えられた測度空間\((X, \Sigma, \mu)\)が完備でない場合でも、拡張して完備性を持たせることが可能です。このような拡張の中で最小のものを「完備化」と呼びます。完備化の過程では、まず測度がゼロの部分集合のすべての部分集合からなる集合\(Z\)を形成し、次にこの集合を用いて新たなσ-集合代数\(\Sigma_0\)を生成します。この新たな空間は完備測度空間となり、\(\mu_0\)として定義された測度を持つようになります。

具体的な例

具体的には、実数直線上のボレルσ-集合代数で定義されるボレル測度は、完備性を欠いています。そのため、完備ルベーグ測度を採用する必要があります。実際、カントール集合はボレル集合でありながら測度ゼロであり、このためにその部分集合の濃度に関してはボレル集合よりも多くの集合が存在することが示されます。\(n\)-次元のルベーグ測度は、一次元のルベーグ測度からのn-重積の完備化の結果でもあります。

性質

完備測度の性質としては、マハラムの定理があります。これは、すべての完備測度が連続体上の測度や有限または可算無限の数え上げ測度に分解できることを示しています。この特性が完備測度が有する重要な数学的概念の一つであり、測度論の理解に非常に有用です。

完備測度空間の概念やその構成方法を理解することで、数学的議論がより深まることが期待されます。

もう一度検索