正則測度

正則測度の概念

正則測度は、数学の測度論において重要な役割を果たす概念です。特に、位相空間内における可測集合を扱う際に、その性質や特性を理解するために用いられます。この測度は、集合を「近似」することができる性質を有しており、開集合や閉集合といった位相的な概念と強く関連しています。

定義

考えられる位相空間を
$(X, T)$ とし、そこに対応するσ-代数を $
Σ$ とします。この際、Σ は必ずしも位相 $T$ を含む必要があり、ここでのμは$(X, Σ)$上の測度を示します。可測部分集合 $A$ がμ-正則であるとは、以下の二つの条件が成り立つことを意味します。

1. すべての閉集合 $F$ が $A$ の部分集合である場合、$
μ(A) = ext{sup}
{μ(F) | F
⊆ A, F
ext{ closed}}$ となること。

2. すべての開集合 $G$ が $A$ を含む場合、$
μ(A) = ext{inf}
{μ(G) | G
⊇ A, G
ext{ open}}$ となること。

このように、閉集合での上限と開集合での下限によって、集合 $A$ の測度が厳密に定まるのです。すなわち、これらの条件はすべての δ > 0 に対して、適切な閉集合 $F$ と開集合 $G$ を見つけることで満たされる必要があります。

特に、μ(A) が有限である場合、上記の条件は同値となりますが、無限の場合は二つ目の条件の方が強いことに注意が必要です。すべての可測集合が正則性を持っている時、μは「正則測度」と呼ばれます。

例

正則測度の具体的な例として、実数直線上のルベーグ測度があります。この測度は、開集合や閉集合に対しても正則性を満たすため、非常に重要な役割を果たしています。また、任意の距離空間におけるボレル確率測度も正則測度と言えます。

一方で、例えば、空集合や単一の点を含む集合に対して、その測度をゼロとするような自明測度も正則測度の一つです。しかし、通常の位相構造を持つ実数直線において正則ではない測度の一例としは、特定の条件のもとでのみ定義され、全ての集合 $A$ に対して測度が無限大となるような測度が挙げられます。

脚注

正則測度に関連する資料や文献としては、Patrick Billingsleyの「Convergence of Probability Measures」や、K. R. Parthasarathyの「Probability measures on metric spaces」などが挙げられます。これらは測度論および確率論を深く理解する上で非常に参考になるでしょう。さらに、ラドン測度やボレル正則測度などについても触れると、正則測度の理解がより一層深まることでしょう。

正則測度の理解は、数学のみならず、統計や物理学など幅広い分野において重要な基盤となります。

もう一度検索