集合半環から集合環への測度の延長
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/04/29 07:07 UTC 版)
「集合半環」の記事における「集合半環から集合環への測度の延長」の解説
集合半環の生成する集合環とは以下の如く容易に記述できる : 命題 集合半環 を含む最小の集合環は、 に属する元の有限合併として得られる集合全体の成す族に一致する。これはまた、 に属する元の有限非交合併の全体が成す族とも同じである。 命題 集合半環 と 上で定義された測度 μ に対し、μ を の生成する集合環へ延長し、その集合環上の測度にすることができる。 延長の一意性に付いては、測度の加法性と の生成する集合環の元の表し方から明らかである。何となれば、集合環の元 A は半環 の元 Ai によって A= A1 ∪ … ∪ An と書けるから μ(A) = μ(A1) + … + μ(An) を満たさねばならない。延長の存在性に対しては、今得た A の値を定める等式が A の分解の仕方に依らないことを見れば、問題なく測度が定義されていることが保証できる。 集合半環およびそれが生成する集合環を、集合半代数およびそれが生成する集合代数に取り換えた同様の主張は、同じく成立し、その証明は直ちに先の主張に帰せられる。 集合半環を用いるか集合半代数を用い得るかは大抵は些細な問題である。集合半代数を用いる場合は、最終的に σ-集合代数上の測度を得る構成と整合していて、この場合よけいな「集合環」の概念を用いることなく議論をすることができる。集合半環を用いる場合は、最初の σ-加法性の確認の手間を減らすことができるし、それ以外のこともσ-集合環やδ-集合環上の測度を構成する目的であれば完全に正当化できる。
※この「集合半環から集合環への測度の延長」の解説は、「集合半環」の解説の一部です。
「集合半環から集合環への測度の延長」を含む「集合半環」の記事については、「集合半環」の概要を参照ください。
- 集合半環から集合環への測度の延長のページへのリンク