集合半環

数学における集合半環（しゅうごうはんかん、）は、何らかの集合 "X" の部分集合の成す族で、これを用いて容易に集合環が構成できる。集合半環は古典的な測度の構成において有効な枠組みである。
定義.
さらに追加の条件として、全体集合 "X" が formula_1 に属する場合には、formula_1 は集合半代数 ("semi-algebra of sets") であるという。
集合半環から集合環への測度の延長.
集合半環の生成する集合環とは以下の如く容易に記述できる :
次の拡張について述べた主張において、空集合を含む集合族 formula_14 上の「測度」とは、formula_14 から正の拡張実数全体 への写像（集合函数）で、空集合上で 0 かつ σ-加法性を持つものを言う。
延長の一意性に付いては、測度の加法性と formula_1 の生成する集合環の元の表し方から明らかである。何となれば、集合環の元 "A" は半環 formula_1 の元 "A""i" によって "A"= "A"1 ∪ … ∪ "A""n" と書けるから μ("A") = μ("A"1) + … + μ("A""n") を満たさねばならない。延長の存在性に対しては、今得た "A" の値を定める等式が "A" の分解の仕方に依らないことを見れば、問題なく測度が定義されていることが保証できる。
集合半環およびそれが生成する集合環を、集合半代数およびそれが生成する集合代数に取り換えた同様の主張は、同じく成立し、その証明は直ちに先の主張に帰せられる。
集合半環を用いるか集合半代数を用い得るかは大抵は些細な問題である。集合半代数を用いる場合は、最終的にσ-集合代数上の測度を得る構成と整合していて、この場合よけいな「集合環」の概念を用いることなく議論をすることができる。集合半環を用いる場合は、最初の σ-加法性の確認の手間を減らすことができるし、それ以外のこともσ-集合環やδ-集合環上の測度を構成する目的であれば完全に正当化できる。
集合半環の用例.
高次元ルベーグ測度の構成.
R"n" のルベーグ測度を構成する方法の一つに、端点が "a""i" と "b""i" であるような（閉、開あるいは半開）区間の直積として得られる超矩形 "P" の体積を、単に超矩形の辺の長さの積
として定義して、それをルベーグ可測集合族にまで延長する方法がある。
この構成は、陰にせよ陽にせよ、上で述べた集合半環上の測度の集合環への延長に関する命題を、有界区間の有限合併全体が成す集合環へ適用するものになっている。上で述べたのと同様、ここでも集合半環を考える意味は、延長の次の段階であるカラテオドリの拡張定理によって補完され、最終的に得られる測度の σ-加法性は、超矩形の場合に制限して σ-加法性を確かめるだけで言うことができる。
以下のドロップボックス内にこの確認（これは自明なことではない）について述べる。半環の使い方もわかるはずである。
有界区間の直積の成す集合半環上で体積が σ-加法的であること
有界区間の直積全体の成す集合半環を formula_1 とし、この半環上の測度 μ を一つ定める。 
初めに示すべきは、μ が次に述べる意味で加法的であることである。"P" が formula_1 に属する超矩形で、"P" が formula_1 に属する元 "P""i" のなす有限列 ("P""i") の非交和に等しいならば、超矩形 "P" の体積は各元 "P""i" の体積の和に等しい。
従って μ が測度であること、つまり σ-加法性を示すには、formula_1 に属する超矩形 "P" が formula_1 の可算個の小超矩形の非交和
に分解されるとき、等式
が成り立つことを示さねばならない。
一方の不等号を示すには特に技巧を要しない。自然数 "r" を固定して、差集合 "P" ∖ ("P"1 ∪ … ∪ "P""r") は formula_1 の生成する集合環に属するから、formula_1 の有限個の互いに素な元 "F"1, …, "F""s" の有限合併に表せる。従って、"i" を 1 から "r" まで動かすときの "P""i" をすべて含む超矩形 "P" に対し、μ の正値性と加法性から
が得られ、"r" を無限大へ飛ばして
を得る。
逆の不等号は、正数 ε > 0 を取り、各 "P""i" を含むように開区間の直積となる超矩形 "Q""i" でその体積が μ("P""i") + 以下となるようなものを考える。同様に "P" を含むように閉区間の直積となる超矩形 "Q" をその体積が μ("P") − ε 以上になるようにとる。超矩形 Q は R"n" の有界閉集合ゆえコンパクトで、"Q""i" たちはその開被覆を与えるから、添字集合 "I"0 が有限であるような部分族 ("Q""i")"i"∈"I"0 でやはり "P" を被覆するようなものが存在する。集合半環 formula_1 上での μ の有限加法性と正値性により、（"Q" がこの集合半環の有限個の合併に書けない場合や、合併が非交和でなくとも）集合の包含関係
から、不等式
が得られ、より強く ("a fortiori")
が成り立つ。以上を合わせて、不等式の鎖
が得られるから、あとは ε を 0 にする極限をとって結論を得る。
スティルチェスの方法による実数直線上の測度の構成.
実数直線上の任意の局所有限測度が、上に述べた方法を一般化して構成することができる。即ち、空集合と ("a" < "b") の形の半開区間からなる適当な集合半環を用いる。
R から R への任意の右連続単調増大函数に対し、上記の集合半環上の測度が
と置くことにより構成でき、これを R のボレル集合族にまで延長することができる。特に確率測度の場合には、"F" はこの測度の分布函数と呼ばれる。
この方法は任意有限次元に一般化することができる。