数学の測度論におけるE.ホップ(英語版)の拡張定理(英: Hopf extension theorem)とは、有限加法的測度が完全加法族上の(完全加法的)測度に拡張できるための条件を述べた定理である。
X を集合、 を X 上の有限加法族とする。 上の有限加法的測度 μ が、F が生成する完全加法族 上の測度へと拡張されるための必要十分条件は、μ が 上完全加法的であることである。さらに、可算個の で μ(Xk) < ∞ (∀k), X = ⋃∞
k=1 Xk なるものが存在すれば、拡張は一意的である。
カラテオドリの拡張定理は、ジョルダン測度がルベーグ測度に一意に拡張できることを示したものだが、E.ホップは、より一般の有限加法的測度が(完全加法的)測度に拡張できるための必要十分条件を示した[1]。ただし、本稿の一般の有限加法的測度についての定理を「カラテオドリの拡張定理」と呼んでいるテキストも多く見られる。
を集合 の部分集合の有限加法族とする。関数
は有限加法的であるとする。すなわち
が 内の任意の有限個の互いに素な集合 に対して成り立つものとする。
また、この関数はより強いσ-加法性も満たすものとする。すなわち、
が、 を満たす 内の任意の互いに素な集合列 に対して成り立つものとする(これらの2つの性質を満たす関数 は前測度として知られている)。このとき は、 により生成されるσ-代数 上で定義されるある測度へと拡張される。すなわち、 への制限が と一致するようなある測度
が存在する。
が σ-有限であるなら、この拡張は一意である。
が -有限でないなら、上述のような拡張は必ずしも一意ではない。たとえその拡張自身が -有限であっても、その一意性は保証されない。
そのような一例を挙げる:
に対し、 の形で表される任意の の部分集合を有理閉開区間と呼ぶことにする。
を とし、 を、 に含まれるすべての有理閉開区間の有限な合併からなる代数とする。実際そのような が代数であることは簡単に証明することができる。また、 に含まれるすべての空でない集合は無限大であることも、簡単に分かる。
を、 に定義される集合計数関数 () とする。 が 内において有限加法的かつ -加法的であることは明らかである。 に含まれるすべての空でない集合は無限大であるため、すべての空でない集合 に対して が成り立つ。
今 を、 によって生成される -代数とする。 が の部分集合のボレル -代数であり、 と は 上定義される測度で、それらはいずれも の拡張であることが分かる。
この定理は、完全加法性が簡単に確かめられる小さい有限加法族上で測度を定義してから、それが生成する完全加法族への測度の拡張を行うことが常に可能である点において、優れている。この定理は自明ではない。なぜならばこの定理では、 を有限加法族からより大きい完全加法族へと拡張し、しかも( が -有限であるなら)その拡張は一意であり、また拡張した関数の完全加法性も満たされている必要があるためである。