集合環のソースを表示

[[数学]]における'''集合環'''（しゅうごうかん、{{lang-en-short|''ring [of sets]''}}）または'''クラン'''<ref>'The words "clan" and " field" are also used in the literature for "ring" and "algebra" respectively.' {{citation|author=Malempati Madhusudana Rao|title=Measure theory and integration|series=Pure and Applied Mathematics: A Wiley-Interscience Series of Texts|publisher=Wiley-Interscience publication|year=1987|isbn=9780471828228}} p.14</ref>は、何らかの集合 ''X'' の部分集合族で、二つの集合演算に関する閉性条件を満たす。この概念は[[測度論]]において用いられる[[集合代数]]（集合体）と非常に近しく、[[測度]]の構成の初めは集合環において与えられたものを集合代数に拡張する形で与えられた。''X'' の部分集合全体の成す（[[擬環]]として考えた）[[ブール環]]の部分集合と見れば、集合環はその（必ずしも単位的でない）部分環である。

== 定義 ==
; 定義 : 集合 ''X'' の部分集合族 <math>\mathcal{R}</math> が集合環であるとは、
:# <math>\mathcal{R}</math> は[[空集合|空]]でない。
:# <math>\mathcal{R}</math> は[[差集合|差]]に関して閉じている。
:# <math>\mathcal{R}</math> は有限[[合併 (集合論)|合併]]に関して閉じている。
: の三条件を満たすことを言う<ref>出典は数多いが、例えば {{Ouvrage | titre=Measure Theory | auteur=Paul Halmos | éditeur=Van Nostrand | année=1950}}, p. 19.</ref>。
幾つかの文献では ''X'' が空でないことをも仮定することがある<ref>{{Ouvrage | titre=Integration | auteur=Adriaan Zaanen | éditeur=North Holland | numéro édition=2 | année=1967}}, p. 26; あるいは {{Ouvrage | titre=An introduction to integration and measure theory | auteur=Ole A. Nielsen | éditeur=Wiley-interscience | année=1997 | isbn=978-0-471-59518-2}}, p. 125.</ref>が、本項ではこの追加の条件は仮定しない。

== 基本性質 ==
以下 <math>\mathcal R</math> は集合環であるものとして、

* <math>\mathcal{R}</math> は空集合を含む。実際、<math>\mathcal{R}</math> の空でない任意の元 ''A'' をとれば、差に関して閉じていることから、''A'' &#x2216; ''A'' と書ける。
* <math>\mathcal{R}</math> は[[対称差]]に関して閉じている。実際、対称差は ''A'' &Delta; ''B'' = (''A'' &#x2216; ''B'') ∪ (''B'' &#x2216; ''A'') と書ける。
* <math>\mathcal{R}</math> は[[共通部分 (数学)|交叉]]に関して閉じている。実際、''A'' ∩ ''B'' = (''A'' ∪ ''B'') &#x2216; (''A'' &Delta; ''B'') と書ける。

[[有限加法族]]は集合環である（実際、{{mvar|E{{sup|c}}}} は集合 {{mvar|E}} の[[補集合]]として、''A'' &#x2216; ''B'' = (''A{{sup|c}}'' ∪ ''B''){{sup|''c''}} が成り立つ）が、集合環は必ずしも集合代数でない。例えば、単純な例として {&empty;} を考えればよい。

{{mvar|X}} 上の集合環が有限加法族であるための必要十分条件は、全体集合 {{mvar|X}} 自身がその集合環に属することである。

== 測度論との関係 ==
[[カラテオドリの拡張定理]]として知られる[[ルベーグ測度]]の構成の一般化において、[[完全加法族|σ-集合代数]]上の[[測度]]は比較的抽象的な方法で構成されるが、その最初の段階は単純である。つまり、構成の初めには集合環 <math>\mathcal{A}</math> の元に対して測度を定義する。あるいは集合環 <math>\mathcal A</math> を生成する[[集合半環]]から構成を始めることもできる。

実数直線 '''R''' 上のルベーグ測度の例において、構成の素とする集合半環は '''R''' の有界区間全体の成す族であり、対応する集合環は有界区間の有限合併として得られる部分集合全体の成す集合族である。

この構成の一種として、σ-集合代数と類似の概念を用いるものがある。この文脈では[[σ集合環|&sigma;-集合環]]は可算合併に関して閉じている集合環、[[δ集合環|&delta;-集合環]]は可算交叉に関して閉じている集合環を言う。

== 集合環と[[ブール環]] ==
集合環を以下のような条件によって定義することもできる。
; 同値な定義 : ''X'' の部分集合族 <math>\mathcal{R}</math> が集合 ''X'' 上の集合環であるとは、
:# <math>\mathcal{R}</math> は[[空集合|空]]でない。
:# <math>\mathcal{R}</math> は[[対称差]]に関して閉じている。
:# <math>\mathcal{R}</math> は有限[[共通部分 (数学)|交叉]]に関して閉じている。
: の三条件を満たすことを言う。
上で基本性質として注意したことは、この特徴付けが先の定義から導かれることを意味する。逆に、<math>\mathcal{R}</math> がこの三条件を満たすならば、これは[[差集合|差]]に関して閉じていて (''A'' &#x2216; ''B'' = ''A'' &Delta; (''A'' &cap; ''B'')) かつ合併に関しても閉じている (''A'' &cup; ''B'' = (''A'' &Delta; ''B'') &Delta; (''A'' &cap; ''B'')) ことが示せるからこれは集合環である。

集合 ''X'' の部分集合全体の成すブール代数（冪集合代数）は、対称差を加法（単位元は空集合 &empty;）とし交叉を乗法（単位元は全体集合 ''X''）とする[[ブール環]]の構造を与えることを思い出そう。この構造に対して、''X'' 上の集合環は、加法に関して部分群で乗法に関して閉じているから、[[擬環]]構造に対する部分構造を与えている。''X'' 上の集合代数の場合も同様に、冪集合代数の部分集合として、加法に関して部分群で、乗法に関して閉じていて単位元も含むから、こちらは単位的環としての部分構造になっている<ref>集合環とブール環の間の構造の関係性については Halmos, ''op. cit.'', p. 21-22 に説明がある。</ref>。

== 参考文献 ==
<references />

{{DEFAULTSORT:しゆうこうかん}}

[[Category:環論]]
[[Category:集合族]]
[[Category:数学に関する記事]]