コンテンツにスキップ

δ集合環

出典: フリー百科事典『ウィキペディア(Wikipedia)』

数学における δ-集合環(デルタしゅうごうかん、: δ-ring [of sets])は σ-集合代数(σ-加法族)の定義を少し一般化するもので、δ-集合環をもとにして測度論を定式化することもできる(σ-加法族を用いて定式化するのがふつう)。δ-集合環で定式化すると、測度無限大の部分集合を導入することが避けられるという意味で有意である。

定義と例

[編集]
定義
X 上の δ-集合環とは、X 上の集合環可算交叉に関して閉じているものを言う[1]
  • 任意の σ-集合環は δ-集合環である[2]。このことは、関係式
    からわかる。従って、σ-集合環の項で挙げられた全ての例(およびより強く任意の σ-集合代数)が、そのまま δ-集合環の例になる。
  • δ-集合環だが σ-集合環にならないものが存在する。その単純な例は、無限集合 X に対して、X の有限部分集合全体の成す族によって与えられる。
  • この例はもっと一般の例の集まりの中の特別の場合であるが、任意の測度空間 に対し、σ-加法族 の元で測度有限なるもの全体の成す族は δ-集合環になる。

測度論との関係

[編集]

集合環 上で定義された測度を、 が生成する σ-加法族にまで延長することを述べた古典的なカラテオドリの拡張定理の示すところによれば、この構成で得られる測度は有限測度ではなく、測度無限大の部分集合を考慮せねばならないということになる。σ-有限な測度から構成を始めるならば、別な拡張法もある。これは によって生成される(σ-集合代数ではなく)δ-集合環を与える拡張定理として述べることができる。この状況では測度の定義に値として +∞ を導入することが許される[3]

集合 X 上の δ-集合環 が与えられたとき、X の部分集合 A に関して局所可測 (locally measurable) であるとは、

の任意の元 E に対し

となることを言う。 に関する局所可測部分集合全体の成す族は σ-加法族である。 上の有限測度 μ が与えられたとき、 に関する局所可測集合 A に対して

と定めることにより、μ を に関する局所可測集合全体の成す σ-加法族上の測度に延長することができる[4]

参考文献

[編集]
  1. ^ Vladimir Bogachev, Measure Theory, Springer,‎ (ISBN 978-3-540-34513-8), p. 8
  2. ^ Karen Saxe, Beginning functional analysis, Springer,‎ (ISBN 9780387952246), exercice 3.2.1, p. 69
  3. ^ Bogacev, op. cit., p. 24-25. この方法論に基づく測度論の解説は John L. Kelley et T. P. Srinivasan, Measure And Integral, Springer,‎ (ISBN 9780387966335).
  4. ^ Kelley et Srinivasan, op. cit., p. 91-92