Σ集合環

σ-集合環について

σ-集合環（シグマしゅうごうかん、英: σ-ring）は、数学特に測度論において重要な役割を担う集合の族です。この概念は、σ-集合代数に近いものの、より緩やかな条件で定義されています。σ-集合環は、可算の合併に対して閉じた集合のコレクションであり、その特性から、様々な応用が期待されます。

定義

まず、σ-集合環を定義します。任意の集合Xに対し、その上のσ-集合環は、可算の合併に関して閉じている集合環のことを指します。さらに重要なのは、任意のσ-集合代数はσ-集合環の条件を満たすことです。このように、集合環が全体集合Xを含むものであれば、それに対応するσ-集合環も全体集合を含むことになります。

特に、有限集合に基づく集合環は、そのままσ-集合環として機能します。興味深いことに、集合代数に適用されないような有限集合には、σ-集合代数にならないσ-集合環の例が存在します。たとえば、二元集合 {a, b} の集合環 {∅, {a}} はσ-集合環ですが、同時にσ-集合代数ではありません。

また、任意の集合Xの高々可算な部分集合からなる族は、常にσ-集合環になります。この族から生成されるσ-集合代数は、扱う集合Xが非可算無限集合である場合には、元のσ-集合環の真の包含にあたります。

性質

σ-集合環は、特定の条件下において様々な性質を持つ点が特徴です。例えば、任意のσ-集合環はδ-集合環であるという事実がありますが、その逆は常に成り立つわけではありません。この関係性を理解することが、集合環を扱う上で基本的です。

σ-集合環の特性の一つに、ブール環の観点から見ると集合代数は交叉の際に単位元を持つものの、一般の集合環、特にσ-集合環は単位元を持たない場合もあるということが挙げられます。これは、単位元が存在することが、集合環の特定の構造に大きな影響を及ぼすことを示唆します。

測度論における応用

20世紀初頭、数学者フレシェが提唱した測度の定義は、実数に依存せず「抽象的な集合」を取り扱った最初の試みの一つでした。この時期、σ-集合環という用語はまだ使われていませんでしたが、その後の測度論ではσ-集合環がよく用いられるようになりました。特に、20世紀中頃までは、測度の説明にσ-集合代数ではなくσ-集合環が頻繁に使われる傾向があったのです。

σ-集合環上で定義された測度を任意のσ-集合代数へ拡張する方法は、少なくとも二つのスタイルが考えられます。一つは、σ-集合環をδ-集合環として利用し、局所的に可測な集合からなるσ-集合代数に放送する方法です。もう一つは、さらに測度が定義されていない集合については、その測度を+∞と設定し、σ-集合環を生成するσ-集合代数まで延長する方法です。これらは時には同じσ-集合代数を生成しますが、その延長が同じになるとは限らない点も留意すべきです。

具体的な例を挙げると、非可算無限集合Xにおいて、高々可算部分集合のσ-集合環を考えた場合、その上で零測度を考慮すると、前者の方法では μは零測度として延長されますが、後者のアプローチでは補可算または補有限な集合の測度が無限大となることがあります。これらの実例は、σ-集合環の理解がいかに測度論の重要なテーマとなるかを強調しているのです。

このような背景を持つσ-集合環は、数学研究において極めて重要な位置を占めており、その理解は今後の新たな数理的発展にも寄与することでしょう。

もう一度検索