ボレル測度

ボレル測度について

ボレル測度は、測度論における基礎的な概念の一つであり、特に局所コンパクトなハウスドルフ空間における測度の性質を研究する際に重要です。具体的には、空間 X におけるボレル測度は、その空間の開集合から生成される最小の σ-代数を基に定義されます。この σ-代数はボレル集合と呼ばれ、ボレル測度はこの集合上で定義される任意の測度 μ を指します。ボレル測度においては、時にすべてのコンパクト集合 C に対して μ(C) < ∞ が追加条件として求められることもあります。

ボレル測度の性質

ボレル測度が内部正則かつ外部正則である場合、これを特に正則ボレル測度と呼びます。また、ボレル測度 μ が内部正則かつ局所有限だときには、ラドン測度といわれる特別な測度になります。一般的に局所有限なボレル測度においては、すべてのコンパクト集合に対して μ(C) < ∞ が自然に成立します。

実数直線上のボレル測度

実数直線 R は局所コンパクトなハウスドルフ空間であるため、R 上でもボレル測度を定義することができます。この場合、R の開区間を含む最小の σ-代数はボレル集合の形成に寄与し、ボレル測度は多様な形で存在しています。特に、すべての区間 [a, b] に対して、ボレル測度 μ が μ([a, b]) = b - a を満たすとき、これを「R 上の代表的なボレル測度」として知られています。

しかしながら、この代表的なボレル測度だけが最も便利であるというわけではありません。完備性という性質を持つルベーグ測度 λ が、ボレル測度 μ の拡張として存在します。ルベーグ測度の特徴は、すべてのボレル可測集合がルベーグ可測であり、さらにボレル測度とルベーグ測度が一致することです。すなわち、λ(E) = μ(E) という関係が常に成立します。

まとめ

ボレル測度は、数学の測度論において特に重要な概念であり、実数直線をはじめ多くの数学的構造での応用があります。ボレル集合とその関連性を理解することで、より複雑な理論や応用に進むための基礎となるでしょう。

• ---

参考文献

1. J. D. Pryce (1973). Basic methods of functional analysis. Hutchinson University Library. Hutchinson. p. 217. ISBN 0-09-113411-0
2. Alan J. Weir (1974). General integration and measure. Cambridge University Press. pp. 158–184. ISBN 0-521-29715-X

もう一度検索