ハーン=コルモゴロフの定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

数学の分野におけるハーン=コルモゴロフの定理(ハーン=コルモゴロフのていり、: Hahn-Kolmogorov theorem)とは、非負の値(無限大もあり得る)を取る有限加法的関数がある真の測度へと拡張されるような場合について述べた定理である。オーストラリア数学者ハンス・ハーンと、ロシアソビエト)の数学者アンドレイ・コルモゴロフの名にちなむ。

定理の内容[編集]

集合 の部分集合の集合代数とする。関数

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

が任意の正の整数 N および 内の任意の互いに素な集合 に対して成り立つものとする。

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

が、 を満たすような 内の任意の互いに素な元の族 に対して成り立つものとする(それらのような二つの性質を満たす関数 前測度として知られている)。このとき は、 により生成されるσ-代数 上で定義されるある測度へと拡張される。すなわち、 への制限 と一致するようなある測度

が存在する。

-有限であるなら、この拡張は一意である。

拡張の非一意性[編集]

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

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

に対し、 の形で表される任意の の部分集合を有理閉開区間と呼ぶことにする。

とし、 を、 に含まれるすべての有理閉開区間の有限な合併から成る代数とする。実際そのような が代数であることは簡単に証明することが出来る。また、 に含まれるすべての空でない集合は無限大であることも、簡単に分かる。

を、 に定義される集合計数関数 () とする。 内において有限加法的かつ -加法的であることは明らかである。 に含まれるすべての空でない集合は無限大であるため、すべての空でない集合 に対して が成り立つ。

を、 によって生成される -代数とする。 の部分集合のボレル -代数であり、 上定義される測度で、それらはいずれも の拡張であることが分かる。

解説[編集]

この定理は、σ-加法性が簡単に確かめられるような小さい集合代数上で測度を定義してから、あるσ-代数へのその拡張を行うという手法を可能にするという点において、優れている。この定理の証明は、自明では無い。なぜならばこの定理では、 をある集合代数からより大きいこともあり得るσ-代数へと拡張し、しかも(-有限であるなら)その拡張は一意であり、また元の関数のσ-加法性も満たされている必要があるためである。

関連項目[編集]