Δ集合環

δ-集合環についての概要

数学におけるδ-集合環（デルタしゅうごうかん）は、σ-集合代数の定義を少し拡張したもので、主に測度論において重要な役割を担っています。δ-集合環を用いることで、測度無限大の部分集合に関する扱いを避けることが可能となり、測度の定義や性質をより明確に扱うことができます。

δ-集合環の定義

集合X上のδ-集合環とは、X上で定義される集合環の中で、可算交叉に対して閉じているものを指します。この定義に基づくと、任意のσ-集合環はδ-集合環でもあります。これにより、一般的に知られているσ-集合環の様々な例も、そのままδ-集合環の例として扱うことができます。しかし、δ-集合環であってもσ-集合環にならないケースも存在します。その一例として、無限集合Xに対して、Xの有限部分集合全体からなる集合族があります。この特別な例は、より一般的な状況の一部となります。

また、測度論においては、任意の測度空間(X, A, μ)に対して、σ-加法族Aの元で測度が有限であるもの全体の族は、δ-集合環になります。このため、δ-集合環は測度論の基盤を築く上で重要な構造となっています。

測度論との関連

古典的なカラテオドリの拡張定理によれば、集合環R上で定義された測度は、Rが生成するσ-加法族にまで延長されることを示しています。この場合、得られた測度は有限ではなく、無限大の部分集合も考慮しなければならなくなります。これに対し、σ-有限な測度から構成を開始すると、δ-集合環を生成する別の拡張法も存在します。ここでは、測度の定義に+∞を導入することが許され、その結果、測度を延長することが可能になります。

特定の集合X上のδ-集合環Dが与えられた際、Xの部分集合AがDに関して局所可測であるとは、任意のDの元Eに対し、EとAの交差がDに属することを意味します。これは、Dに関連する局所可測な部分集合全体がσ-加法族として成立することを示しています。さらに、Dの有限測度μが与えられた場合、局所可測集合Aに対して、μ(A)はAの部分集合の中で最大の測度を取るように定義されます。これにより、局所可測集合全体の成すσ-加法族上の測度に延長されるため、効率的な測度論の運用が可能となります。

このように、δ-集合環はσ-集合代数を一般化することで、測度論における新しい視点を提供し、数学の分野において重要な構造となっています。理解を深めることで、様々な数学的課題に取り組む際に有用なツールとなるでしょう。

もう一度検索