集合半環のソースを表示

[[数学]]における'''集合半環'''（しゅうごうはんかん、{{lang-en-short|''semiring [of sets]''}}）は、何らかの集合 ''X'' の部分集合の成す族で、これを用いて容易に[[集合環]]が構成できる。集合半環は古典的な[[測度]]の構成において有効な枠組みである。

== 定義 ==
; 定義
: 集合 ''X'' の部分集合族 <math>\mathcal{S}</math> が ''X'' 上の'''集合半環'''であるとは、
:* <math>\mathcal{S}</math> は[[空集合]] &empty; を含む。
:* <math>\mathcal{S}</math> における任意の[[差集合|差]]は <math>\mathcal{S}</math> の元の有限非交和に書ける。
:* <math>\mathcal{S}</math> は有限[[共通部分 (数学)|交叉]]に関して閉じている。
: の三条件を満たすことを言う。
さらに追加の条件として、全体集合 ''X'' が <math>\mathcal{S}</math> に属する場合には、<math>\mathcal{S}</math> は'''集合半代数''' (''semi-algebra of sets'') であるという。
 
== 例 ==
* [[実数直線]] '''R''' 内の[[区間 (数学)|区間]]全体の成す集合族は '''R''' 上の集合半代数を成す（二つの区間の差は、それらの位置関係により、0, 1, 2 個の何れかの個数の区間の[[非交和|非交合併]]になる）。 
* 実数直線 '''R''' 内の[[有界]]区間全体の成す族は、'''R''' 上の集合半代数でない集合半環になる。
* 実数直線 '''R''' 内の、[[空集合|空区間]]および ''a'' &lt; ''b'' に対する半開区間 {{math|]''a'', ''b'']}} 全体の成す族は、先の二例に含まれる集合半環になる。
* 二つの集合半環 <math>\mathcal{S}_1,\mathcal{S}_2</math> がそれぞれ集合 ''X''<sub>1</sub>, ''X''<sub>2</sub> 上で与えられているとき、<div style="margin: 1ex 2em"><math>A_1\times A_2, \quad (A_i\in \mathcal{S}_i)</math></div>なる形の直積集合の全体は、直積集合 ''X''<sub>1</sub> &times; ''X''<sub>2</sub> 上の集合半環になる。<math>\mathcal{S}_1,\mathcal{S}_2</math> がともに[[集合代数]]となる場合であっても、その直積族は必ずしも集合環を成さない（もちろん、集合半代数にはなる）<ref>{{Ouvrage | titre=Measure Theory | auteur=Vladimir Bogachev | éditeur=Springer | année=2007 | isbn=978-3-540-34513-8}}, exercice 1.12.53, p. 84</ref>。以上から特に、''n'' 個の有界区間の直積全体の成す族や、''n'' 個の有限半開区間の直積全体の成す族などは '''R'''<sup>''n''</sup> 上の集合半環を与える。

== 集合半環から集合環への測度の延長 ==
集合半環の生成する[[集合環]]とは以下の如く容易に記述できる<ref>Bogacev, op. cit., p. 8</ref> :
; 命題: 集合半環 <math>\mathcal{S}</math> を含む最小の[[集合環]]は、<math>\mathcal{S}</math> に属する元の有限合併として得られる集合全体の成す族に一致する。これはまた、<math>\mathcal{S}</math> に属する元の有限非交合併の全体が成す族とも同じである。

次の拡張について述べた主張において、空集合を含む集合族 <math>\mathcal{C}</math> 上の「測度」とは、<math>\mathcal{C}</math> から正の拡張実数全体 {{math|[0, +&infin;]}} への写像（集合函数）で、空集合上で 0 かつ σ-加法性を持つものを言う。

; 命題: 集合半環 <math>\mathcal{S}</math> と <math>\mathcal{S}</math> 上で定義された測度 &mu; に対し、&mu; を <math>\mathcal{S}</math> の生成する集合環へ延長し、その集合環上の測度にすることができる<ref>Bogacev, op. cit., p. 12</ref>。

延長の一意性に付いては、測度の加法性と <math>\mathcal{S}</math> の生成する集合環の元の表し方から明らかである。何となれば、集合環の元 ''A'' は半環 <math>\mathcal{S}</math> の元 ''A''<sub>''i''</sub> によって ''A''= ''A''<sub>1</sub> &cup; … &cup; ''A''<sub>''n''</sub> と書けるから &mu;(''A'') = &mu;(''A''<sub>1</sub>) + … + &mu;(''A''<sub>''n''</sub>) を満たさねばならない。延長の存在性に対しては、今得た ''A'' の値を定める等式が ''A'' の分解の仕方に依らないことを見れば、問題なく測度が定義されていることが保証できる。

集合半環およびそれが生成する集合環を、集合半代数およびそれが生成する集合代数に取り換えた同様の主張は、同じく成立し、その証明は直ちに先の主張に帰せられる<ref>Bogachev の本では上記二つの主張を用いて、半代数においてもそれが有効であることを述べている。</ref>。

集合半環を用いるか集合半代数を用い得るかは大抵は些細な問題である。集合半代数を用いる場合は、最終的に[[完全加法族| σ-集合代数]]上の測度を得る構成と整合していて、この場合よけいな「集合環」の概念を用いることなく議論をすることができる。集合半環を用いる場合は、最初の σ-加法性の確認の手間を減らすことができるし、それ以外のことも[[σ集合環|σ-集合環]]や[[δ集合環|δ-集合環]]上の測度を構成する目的であれば完全に正当化できる。

== 集合半環の用例 ==
=== 高次元ルベーグ測度の構成 ===
'''R'''<sup>''n''</sup> のルベーグ測度を構成する方法の一つに、端点が ''a''<sub>''i''</sub> と ''b''<sub>''i''</sub> であるような（閉、開あるいは半開）区間の直積として得られる超矩形 ''P'' の体積を、単に超矩形の辺の長さの積
: <math>\mu(P)=\prod_{i=1}^n(b_i-a_i)</math>
として定義して、それを[[ルベーグ可測|ルベーグ可測集合族]]にまで延長する方法がある。

この構成は、陰にせよ陽にせよ、上で述べた集合半環上の測度の集合環への延長に関する命題を、有界区間の有限合併全体が成す集合環へ適用するものになっている。上で述べたのと同様、ここでも集合半環を考える意味は、延長の次の段階である[[カラテオドリの拡張定理]]によって補完され、最終的に得られる測度の σ-加法性は、超矩形の場合に制限して σ-加法性を確かめるだけで言うことができる。

以下のドロップボックス内にこの確認（これは自明なことではない）について述べる<ref>{{ouvrage|titre=Probability theory, a comprehensive course|auteur=Achim Klenke|éditeur=Springer|année=2008|isbn=9781848000476}}, p. 25-26</ref>。半環の使い方もわかるはずである。

<div class="NavFrame" style="margin: 1ex auto; clear:both;"><div class="NavHead">有界区間の直積の成す集合半環上で体積が σ-加法的であること</div><div class="NavContent" style="padding: 1ex 1em; text-align: left;">
有界区間の直積全体の成す集合半環を <math>\mathcal{S}</math> とし、この半環上の測度 &mu; を一つ定める。 

初めに示すべきは、&mu; が次に述べる意味で加法的であることである。''P'' が <math>\mathcal{S}</math> に属する超矩形で、''P'' が <math>\mathcal{S}</math> に属する元 ''P''<sub>''i''</sub> のなす有限列 (''P''<sub>''i''</sub>) の非交和に等しいならば、超矩形 ''P'' の体積は各元 ''P''<sub>''i''</sub> の体積の和に等しい<ref>J.H. Williamson はこれを「基本的」(''elementary'') だが「むしろ詰らない」(''rather tedious'') と考えた（{{Ouvrage|titre=Lebesgue integration|éditeur=Holt, Rinehart and Winston|année=1962}}, p. 18.）。また Frank James にとっては、この詳細は「極めて詰らない」(''extremely tedious'') ものであった（{{Ouvrage|titre=Lebesgue integration on Euclidean space|éditeur=Jones & Bartlett Publishers|année=2001|isbn=9780763717087}}, p. 28.）。これらの意見に関しては、実際に自分で詳細を追うか {{Ouvrage|titre=Mass- und Integrationstheorie|author-link=:de:Heinz Bauer (Mathematiker)|author=Heinz Bauer|éditeur=Walter de Gruyter|année=1992|isbn=9783110136265}}, p. 18-19. あるいは {{Ouvrage|titre=Lebesgue integration and measure|auteur=Allan Weir|éditeur=Cambridge University Press|année=1973}}, p. 71-73. を参照</ref>。

従って &mu; が測度であること、つまり σ-加法性を示すには、<math>\mathcal{S}</math> に属する超矩形 ''P'' が <math>\mathcal{S}</math> の可算個の小超矩形の非交和
: <math>P=\coprod_{i=1}^{+\infty}P_i</math>
に分解されるとき、等式
: <math>\mu(P)=\sum_{i=1}^{+\infty}\mu(P_i)</math>
が成り立つことを示さねばならない。

一方の不等号を示すには特に技巧を要しない。自然数 ''r'' を固定して、差集合 ''P'' &#x2216; (''P''<sub>1</sub> &cup; … &cup; ''P''<sub>''r''</sub>) は <math>\mathcal{S}</math> の生成する集合環に属するから、<math>\mathcal{S}</math> の有限個の互いに素な元 ''F''<sub>1</sub>, …, ''F''<sub>''s''</sub> の有限合併に表せる。従って、''i'' を 1 から ''r'' まで動かすときの ''P''<sub>''i''</sub> をすべて含む超矩形 ''P'' に対し、&mu; の正値性と加法性から
: <math>\sum_{i=1}^{r}\mu(P_i)\leq\mu(P)</math>
が得られ、''r'' を無限大へ飛ばして
: <math>\sum_{i=1}^{+\infty}\mu(P_i)\leq\mu(P)</math>
を得る。

逆の不等号は、正数 &epsilon; &gt; 0 を取り、各 ''P''<sub>''i''</sub> を含むように開区間の直積となる超矩形 ''Q''<sub>''i''</sub> でその体積が &mu;(''P''<sub>''i''</sub>) + {{fraction|&epsilon;|2<sup>''n''</sup>}} 以下となるようなものを考える。同様に ''P'' を含むように閉区間の直積となる超矩形 ''Q'' をその体積が &mu;(''P'') &minus; &epsilon; 以上になるようにとる。超矩形 Q は '''R'''<sup>''n''</sup> の有界閉集合ゆえ[[コンパクト空間|コンパクト]]で、''Q''<sub>''i''</sub> たちはその開被覆を与えるから、添字集合 ''I''<sub>0</sub> が有限であるような部分族 (''Q''<sub>''i''</sub>)<sub>''i''&isin;''I''<sub>0</sub></sub> でやはり ''P'' を被覆するようなものが存在する。集合半環 <math>\mathcal{S}</math> 上での &mu; の有限加法性と正値性により、（''Q'' がこの集合半環の有限個の合併に書けない場合や、合併が非交和でなくとも）集合の包含関係
: <math>Q\subset\bigcup_{i\in I_0}Q_i</math>
から、不等式
: <math>\mu(Q)\leq\sum_{i\in I_0}\mu(Q_i)</math>
が得られ、より強く (''a fortiori'')
: <math>\mu(Q)\leq\sum_{i=1}^{+\infty}\mu(Q_i)</math>
が成り立つ。以上を合わせて、不等式の鎖
: <math>\mu(P)-\epsilon\leq\mu(Q)\leq\sum_{i=1}^{+\infty}\mu(Q_i)\leq\sum_{i=1}^{+\infty}(\mu(P_i)+{\epsilon\over2^i})=\sum_{i=1}^{+\infty}\mu(P_i)+\epsilon</math>
が得られるから、あとは &epsilon; を 0 にする極限をとって結論を得る。
</div></div>

=== スティルチェスの方法による実数直線上の測度の構成 ===
実数直線上の任意の[[局所有限測度]]が、上に述べた方法を一般化して構成することができる。即ち、空集合と {{math|]''a'', ''b'']}} (''a'' &lt; ''b'') の形の半開区間からなる適当な集合半環を用いる。

'''R''' から '''R''' への任意の[[右連続]]単調増大函数に対し、上記の集合半環上の測度が
: <math>\mu(]a,b])=F(b)-F(a)</math>
と置くことにより構成でき、これを '''R''' のボレル集合族にまで延長することができる<ref>Klenke, op. cit., p. 26-28</ref>。特に[[確率測度]]の場合には、''F'' はこの測度の[[分布函数]]と呼ばれる。

この方法は任意有限次元に一般化することができる<ref>例えば {{Ouvrage|titre=Measure theory and integration|auteur=Malempati Madhusudana Rao|éditeur=CRC Press|année=2004|isbn=9780824754013}}
, p. 106-107. を見よ</ref>。

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

{{DEFAULTSORT:しゆうこうはんかん}}
[[Category:集合族]]
[[Category:測度論]]
[[Category:数学に関する記事]]