E.ホップの拡張定理

数学の測度論におけるテンプレート:仮リンクの拡張定理（テンプレート:Lang-en-short）とは、有限加法的測度が完全加法族上の（完全加法的）測度に拡張できるための条件を述べた定理である。

テンプレート:Mvar を集合、$ℱ$ を テンプレート:Mvar 上の有限加法族とする。$ℱ$ 上の有限加法的測度 テンプレート:Mvar が、テンプレート:Mathcal が生成する完全加法族 $\sigma [ℱ]$ 上の測度へと拡張されるための必要十分条件は、テンプレート:Mvar が $ℱ$ 上完全加法的であることである。さらに、可算個の $X_1,X_2,\dots \in ℱ$ で テンプレート:Math2 テンプレート:Math2 なるものが存在すれば、拡張は一意的である。

カラテオドリの拡張定理は、ジョルダン測度がルベーグ測度に一意に拡張できることを示したものだが、E.ホップは、より一般の有限加法的測度が（完全加法的）測度に拡張できるための必要十分条件を示した。ただし、本稿の一般の有限加法的測度についての定理を「カラテオドリの拡張定理」と呼んでいるテキストも多く見られる。

定理の内容

${\mathrm{\Sigma }}_0$ を集合 $X$ の部分集合の有限加法族とする。関数

${\mu }_0:{\mathrm{\Sigma }}_0\to ℝ\cup \{\mathrm{\infty }\}$

は有限加法的であるとする。すなわち

${\mu }_0(\bigcup _{n=1}^N{A}_n)=\sum _{n=1}^N{\mu }_0(A_n)$

が ${\mathrm{\Sigma }}_0$ 内の任意の有限個の互いに素な集合 $A_1,A_2,\dots ,A_N$ に対して成り立つものとする。

また、この関数はより強いσ-加法性も満たすものとする。すなわち、

${\mu }_0(\bigcup _{n=1}^{\mathrm{\infty }}{A}_n)=\sum _{n=1}^{\mathrm{\infty }}{\mu }_0(A_n)$

が、$\underset{n=1}{\overset{\mathrm{\infty }}{\cup }}{A}_n\in {\mathrm{\Sigma }}_0$ を満たす ${\mathrm{\Sigma }}_0$ 内の任意の互いに素な集合列 $(A_n{)}_{n\in \mathbb{N}}$ に対して成り立つものとする（これらの2つの性質を満たす関数 ${\mu }_0$ は前測度として知られている）。このとき ${\mu }_0$ は、${\mathrm{\Sigma }}_0$ により生成されるσ-代数 $\mathrm{\Sigma }$ 上で定義されるある測度へと拡張される。すなわち、${\mathrm{\Sigma }}_0$ への制限が ${\mu }_0$ と一致するようなある測度

$\mu :\mathrm{\Sigma }\to ℝ\cup \{\mathrm{\infty }\}$

が存在する。

${\mu }_0$ が σ-有限であるなら、この拡張は一意である。

拡張の非一意性

${\mu }_0$ が $\sigma$-有限でないなら、上述のような拡張は必ずしも一意ではない。たとえその拡張自身が $\sigma$-有限であっても、その一意性は保証されない。

そのような一例を挙げる：

$a,b\in \mathbb{Q}$ に対し、$[a,b)$ の形で表される任意の $\mathbb{Q}$ の部分集合を有理閉開区間と呼ぶことにする。

$X$ を $\mathbb{Q}\cap [0,1)$ とし、${\mathrm{\Sigma }}_0$ を、$\mathbb{Q}\cap [0,1)$ に含まれるすべての有理閉開区間の有限な合併からなる代数とする。実際そのような ${\mathrm{\Sigma }}_0$ が代数であることは簡単に証明することができる。また、${\mathrm{\Sigma }}_0$ に含まれるすべての空でない集合は無限大であることも、簡単に分かる。

${\mu }_0$ を、${\mathrm{\Sigma }}_0$ に定義される集合計数関数 ($\mathrm{\#}$) とする。${\mu }_0$ が ${\mathrm{\Sigma }}_0$ 内において有限加法的かつ $\sigma$-加法的であることは明らかである。${\mathrm{\Sigma }}_0$ に含まれるすべての空でない集合は無限大であるため、すべての空でない集合 $A\in {\mathrm{\Sigma }}_0$ に対して ${\mu }_0(A)=+\mathrm{\infty }$ が成り立つ。

今 $\mathrm{\Sigma }$ を、${\mathrm{\Sigma }}_0$ によって生成される $\sigma$-代数とする。$\mathrm{\Sigma }$ が $X$ の部分集合のボレル $\sigma$-代数であり、$\mathrm{\#}$ と $2\mathrm{\#}$ は $\mathrm{\Sigma }$ 上定義される測度で、それらはいずれも ${\mu }_0$ の拡張であることが分かる。

解説

この定理は、完全加法性が簡単に確かめられる小さい有限加法族上で測度を定義してから、それが生成する完全加法族への測度の拡張を行うことが常に可能である点において、優れている。この定理は自明ではない。なぜならばこの定理では、${\mu }_0$ を有限加法族からより大きい完全加法族へと拡張し、しかも（${\mu }_0$ が $\sigma$-有限であるなら）その拡張は一意であり、また拡張した関数の完全加法性も満たされている必要があるためである。

参考文献

• テンプレート:Cite book

関連項目

• 前測度
• カラテオドリの拡張定理
• コルモゴロフの拡張定理