2018-05-07

位相空間と可測空間

数学

数学における主要な構造の一つに位相構造というものがある。位相空間に関する和書も、測度論と同様に良書が数多くあるので詳しくはそちらに譲る。ちなみに自分は記述が丁寧で内容が濃いにも拘わらず薄くて携帯性の良い内田伏一を推している。この文章を読むためにはwikipediaの記述で十分なのだが、関連項目に絞って記述しておくのも悪くないので、この節を設けることにした。

位相空間と連続写像

定義集合 ${ X }$ において ${ \mathcal{O}\subset 2^{X} }$ が次の3条件を満たすとき、 ${ \mathcal{O} }$ は ${ X }$ 上の位相（topology）あるいは開集合系であるという。

${ \emptyset\in\mathcal{O}, X\in\mathcal{O} }$ である。
${ U, V\in\mathcal{O} }$ なら ${ U\cap V\in\mathcal{O} }$ である。
${ \lambda\in\Lambda }$ について ${ U_{\lambda}\in\mathcal{O} }$ なら ${ \bigcup_{\lambda\in\Lambda}U_{\lambda}\in\mathcal{O} }$ である。

このとき組 ${ ( X, \mathcal{O} ) }$ を位相空間といい、集合 ${ U\in\mathcal{O} }$ は（ ${ \mathcal{O} }$ -）開集合（open set）であるという。

例えば ${ \mathcal{O}=\lbrace \emptyset, X \rbrace }$ は包含関係における最小の位相を定め、密着位相（indiscrete topology）と呼ばれる。また ${ \mathcal{O}=2^{X} }$ は包含関係における最大の位相を定め、離散位相（discrete topology）と呼ばれる。この二つは自明（trivial）な位相とも呼ばれる。

位相は「近さ」の一般化であるとよく言われるが、上の定義だとその感覚が良く分からないだろう。実は位相には同値な公理系が複数存在し、そのうちの一つに「近傍系」を利用するものがある。これを説明するために幾つかの用語を定義しよう。

定義 ${ ( X, \mathcal{O} ) }$ を位相空間とする。 ${ F\subset X }$ が ${ X\backslash F\in\mathcal{O} }$ を満たすとき、（ ${ \mathcal{O} }$ -）閉集合（closed set）であるという。

演習位相空間 ${ ( X, \mathcal{O} ) }$ において、閉集合全体 ${ \mathfrak{A} }$ は以下を満たす。

${ X\in\mathfrak{A}, \emptyset\in\mathfrak{A} }$ である。
${ F, G\in\mathfrak{A} }$ なら ${ F\cup G\in\mathfrak{A} }$ である。
${ \lambda\in\Lambda }$ について ${ F_{\lambda}\in\mathfrak{A} }$ なら ${ \bigcap_{\lambda\in\Lambda}F_{\lambda}\in\mathfrak{A} }$ である。

逆にこれを満たす ${ \mathfrak{A}\subset 2^{X} }$ に対し、 ${ \mathfrak{A} }$ を閉集合とする ${ X }$ 上の位相が唯一つ存在する。

定義 ${ ( X, \mathcal{O} ) }$ を位相空間、 ${ A\subset X }$ とする。 ${ x\in X }$ について以下を定める。

ある開集合 ${ U\in\mathcal{O} }$ が存在して ${ x\in U\subset A }$ が成り立つとき ${ x }$ は ${ A }$ の内点であるという。 ${ A }$ の内点全体を ${ A^{i} }$ あるいは ${ A^{\circ} }$ で表し、 ${ A }$ の内部（interior）あるいは開核という。
${ x }$ が ${ X\backslash A }$ の内点であるとき ${ x }$ は ${ A }$ の外点であるという。 ${ A }$ の外点全体を ${ A^{e} }$ で表し、 ${ A }$ の外部（exterior）という。
${ x }$ が ${ A }$ の内点でも外点でもないとき ${ x }$ は ${ A }$ の境界点であるという。 ${ A }$ の境界点全体を ${ A^{f} }$ で表し、 ${ A }$ の境界（frontier）という。
任意の開集合 ${ U\in\mathcal{O} }$ について ${ x\in U }$ なら ${ U\cap A\neq\emptyset }$ が成り立つとき ${ x }$ は ${ A }$ の触点であるという。 ${ A }$ の触点全体を ${ \overline{A} }$ あるいは ${ A^{a} }$ で表し、 ${ A }$ の閉包（closure）という。

${ A^{i} }$ は ${ A }$ に含まれる最大の開集合であり、 ${ \overline{A} }$ は ${ A }$ を含む最小の閉集合である。

写像 ${ i\colon A\mapsto A^{i} }$ を開核作用子、写像 ${ k\colon A\mapsto\overline{A} }$ を閉包作用子という。

演習位相空間 ${ ( X, \mathcal{O} ) }$ において、開核作用子は ${ A, B\subset X }$ について以下を満たす。

${ i( X )=X }$ である。
${ i( A )\subset A }$ である。
${ i( A\cap B )=i( A )\cap i( B ) }$ である。
${ i( i( A ) )=i( A ) }$ である。

逆にこれを満たす写像 ${ i }$ に対し、 ${ i( A ) }$ を ${ A }$ の内部とする ${ X }$ 上の位相が唯一つ存在する。

（ヒント） ${ \mathcal{O}:=\lbrace U : i( U )=U \rbrace }$ とすればよい。 ${ \square }$

演習（クラトウスキイの公理系）位相空間 ${ ( X, \mathcal{O} ) }$ において、閉包作用子は ${ A, B\subset X }$ について以下を満たす。

${ k( \emptyset )=\emptyset }$ である。
${ k( A )\supset A }$ である。
${ k( A\cup B )=k( A )\cup k( B ) }$ である。
${ k( k( A ) )=k( A ) }$ である。

逆にこれを満たす写像 ${ k }$ に対し、 ${ k( A ) }$ を ${ A }$ の閉包とする ${ X }$ 上の位相が唯一つ存在する。

（ヒント） ${ \mathcal{O}:=\lbrace U : k( X\backslash U )=X\backslash U \rbrace }$ とすればよい。 ${ \square }$

定義 ${ ( X, \mathcal{O} ) }$ を位相空間、 ${ a\in X }$ とする。 ${ N\subset X }$ が ${ a\in N^{i} }$ を満たすとき、 ${ a }$ の近傍（neighborhood）であるという。 ${ a }$ の近傍全体を ${ \mathfrak{N}( a ) }$ で表し、 ${ a }$ の近傍系という。

演習（ハウスドルフの公理系）位相空間 ${ ( X, \mathcal{O} ) }$ において、近傍系は ${ a\in X }$ について以下を満たす。

${ X\in\mathfrak{N}( a ) }$ であり、 ${ N\in\mathfrak{N}( a ) }$ なら ${ a\in N }$ である。
${ N, M\in\mathfrak{N}( a ) }$ なら ${ N\cap M\in\mathfrak{N}( a ) }$ である。
${ N\in\mathfrak{N}( a ) }$ であり、 ${ N\subset M }$ なら ${ M\in\mathfrak{N}( a ) }$ である。
${ N\in\mathfrak{N}( a ) }$ について、ある ${ M\in\mathfrak{N}( a ) }$ が存在し、任意の ${ b\in M }$ について ${ N\in\mathfrak{N}( b ) }$ が成り立つ。

逆にこれを満たす写像 ${ a\mapsto\mathfrak{N}( a ) }$ に対し、 ${ \mathfrak{N}( a ) }$ を ${ a }$ の近傍系とする ${ X }$ 上の位相が唯一つ存在する。

（ヒント） ${ \mathcal{O}:=\lbrace N : a\in N \Rightarrow N\in\mathfrak{N}( a ) \rbrace }$ とすればよい。 ${ \square }$

次に連続写像を定義する。

定義 ${ ( X, \mathcal{O}_{X} ), ( Y, \mathcal{O}_{Y} ) }$ を位相空間、 ${ a\in X }$ とする。写像 ${ f\colon X\rightarrow Y }$ が

${ N\in\mathfrak{N}( f( a ) )\Rightarrow f^{-1}( N )\in\mathfrak{N}( a ) }$

を満たすとき、 ${ f }$ は ${ a }$ において連続（continuous）であるという。

命題 ${ ( X, \mathcal{O}_{X} ), ( Y, \mathcal{O}_{Y} ) }$ を位相空間とする。写像 ${ f\colon X\rightarrow Y }$ に関して以下は同値である。

任意の ${ a\in X }$ において ${ f }$ は連続である。
${ U\subset Y }$ が ${ \mathcal{O}_{Y} }$ -開集合なら ${ f^{-1}( U )\subset X }$ は ${ \mathcal{O}_{X} }$ -開集合である。
${ F\subset Y }$ が ${ \mathcal{O}_{Y} }$ -閉集合なら ${ f^{-1}( F )\subset X }$ は ${ \mathcal{O}_{X} }$ -閉集合である。
任意の ${ A\subset X }$ に対し ${ f( \overline{A} )\subset\overline{f( A )} }$ が成り立つ。

（証明）略。 ${ \square }$

定義上の4条件の何れか（従って全て）を満たすとき、 ${ f }$ は位相空間 ${ ( X, \mathcal{O}_{X} ) }$ から ${ ( Y, \mathcal{O}_{Y} ) }$ への連続写像という。

連続写像の合成は連続写像であり、恒等写像は連続写像である。故に位相空間と連続写像は圏の対象と射を定める。これを位相空間の圏といい圏 ${ \mathbf{Top} }$ と記す。

ボレル集合族

定義位相空間 ${ ( X, \mathcal{O} ) }$ に対し、位相により生成される ${ \sigma }$ -加法族 ${ \sigma\lbrack \mathcal{O} \rbrack }$ をボレル集合族と呼ぶ。特に ${ \sigma\lbrack \mathcal{O} \rbrack }$ -可測であることをボレル可測であるという。

ボレル集合族は、位相が明らかな場合は ${ \mathscr{B}_{X} }$ と記すこともある。

位相空間 ${ ( X, \mathcal{O}_{X} ), ( Y, \mathcal{O}_{Y} ) }$ に対し、連続写像 ${ f\colon X\rightarrow Y }$ は ${ \mathcal{O}_{Y} }$ -開集合を ${ \mathcal{O}_{X} }$ -開集合に引き戻す。従って ${ f }$ は可測空間 ${ ( X, \sigma\lbrack \mathcal{O}_{X} \rbrack ) }$ から ${ ( Y, \sigma\lbrack \mathcal{O}_{Y} \rbrack ) }$ への可測函数を定め、更にこれは圏 ${ \mathbf{Top} }$ から圏 ${ \mathbf{meas} }$ への函手を定める。この函手をボレル函手と呼ぶことにする。

位相も ${ \sigma }$ -加法族と同様に、直接指定されて表されるという状況はあまり多くなく、大抵は基本となる集合族が位相を「生成」していると考える。「生成」の方法はいくつかあるが、ここでは開基というものを紹介しよう。

定義 ${ ( X, \mathcal{O} ) }$ を位相空間、 ${ \mathcal{B}\subset\mathcal{O} }$ とする。任意の開集合 ${ U\in\mathcal{O} }$ に対し、ある ${ \mathcal{B}_{0}\subset\mathcal{B} }$ が存在して ${ U=\cup\mathcal{B}_{0} }$ と表せるとき、 ${ \mathcal{B} }$ は位相 ${ \mathcal{O} }$ の開基（open base）であるという。

言い換えれば、任意の開集合 ${ U\in\mathcal{O} }$ 及び ${ x\in U }$ に対し、適当な ${ B\in\mathcal{B} }$ を取れば ${ x\in B\subset U }$ が成り立つようにできる。

注意集合族 ${ \mathfrak{A}\subset 2^{X} }$ について ${ \mathfrak{A} }$ が空でないときは

$\begin{align*} \cup\mathfrak{A}&=\bigcup_{A\in\mathfrak{A}}A,& \cap\mathfrak{A}&=\bigcap_{A\in\mathfrak{A}}A \end{align*}$

と定め、

${ \begin{align*} \cup\emptyset&=\emptyset, & \cap\emptyset&=X \end{align*} }$

と定める。

通常の位相を持ったユークリッド空間 ${ \mathbb{R} }$ の開基としては、例えば開区間全体がある。当然開集合全体も開基であり、位相については様々な開基を考えることが出来る。しかし、開基が定める位相は次の命題より一意的である。

命題 ${ X }$ を集合、 ${ \mathcal{B}\subset 2^{X} }$ とする。次は同値である。

${ \mathcal{B} }$ はある位相の開基である。
次の2条件を満たす。
- ${ X=\cup\mathcal{B} }$ である。
- ${ B_{1}, B_{2}\in\mathcal{B} }$ 及び ${ x\in B_{1}\cap B_{2} }$ について、ある ${ B\in\mathcal{B} }$ が存在して ${ x\in B\subset B_{1}\cap B_{2} }$ を満たす。

このとき ${ \mathcal{B} }$ を開基とする位相は一意的である。

（証明）位相 ${ \mathcal{O} }$ が ${ \mathcal{B} }$ を開基とするなら、

${ \mathcal{O}=\lbrace \cup\mathfrak{A} : \mathfrak{A}\subset\mathcal{B} \rbrace }$

という等式を満たさなければならない。一意性はこれより明らか。また下の2条件を満たすとき、この等式で定めた ${ \mathcal{O} }$ は位相を定め、 ${ \mathcal{B} }$ はその開基となる。上から下も簡単。 ${ \square }$

さて位相空間 ${ ( X, \mathcal{O} ) }$ の開基 ${ \mathcal{B} }$ について考えるとき、当然問題となってくるのは、開基により生成される ${ \sigma }$ -加法族 ${ \sigma\lbrack \mathcal{B} \rbrack }$ と、位相により生成される ${ \sigma }$ -加法族 ${ \sigma\lbrack \mathcal{O} \rbrack }$ との関係である。もちろん ${ \sigma\lbrack \mathcal{B} \rbrack\subset\sigma\lbrack \mathcal{O} \rbrack }$ は成り立つが、これは必ずしも一致するとは限らない。

定義 ${ ( X, \mathcal{O} ) }$ を位相空間とする。位相 ${ \mathcal{O} }$ が、高々可算個の開集合からなる開基を持つとき、第2可算公理を満たすという。

補題位相空間 ${ ( X, \mathcal{O} ) }$ は第2可算公理を満たし、開基 ${ \mathcal{B} }$ はその可算開基を含むとする。このとき ${ \sigma\lbrack \mathcal{O} \rbrack=\sigma\lbrack \mathcal{B} \rbrack }$ が成り立つ。

（証明）開集合 ${ U\in\mathcal{O} }$ について、 ${ \mathcal{B} }$ は可算開基 ${ \mathcal{B}^{\prime} }$ を含むので、 ${ \mathcal{B}^{\prime}_{0}\subset\mathcal{B}^{\prime} }$ を取り ${ U=\cup\mathcal{B}^{\prime}_{0} }$ と表せる。このとき ${ O\in\sigma\lbrack \mathcal{B} \rbrack }$ を得るから、最小性より ${ \sigma\lbrack \mathcal{O} \rbrack\subset\sigma\lbrack \mathcal{B} \rbrack }$ が従う。 ${ \square }$

積位相空間とボレル集合族

位相空間に対しても積を考えることが出来る。我々は可測空間において有限積しか今の所は考えていないので、位相空間においても同様に有限積のみを考えることにする。

定義 ${ ( X, \mathcal{O}_{X} ), ( Y, \mathcal{O}_{Y} ) }$ を位相空間とする。

${ \mathcal{O}_{X}\times\mathcal{O}_{Y}=\lbrace U\times V : U\in\mathcal{O}_{X}, V\in\mathcal{O}_{Y} \rbrace\subset 2^{X\times Y} }$

は開基の2条件を満たし、ある一意的な位相 ${ \mathcal{O}\subset 2^{X\times Y} }$ の開基となる。この位相を箱型積位相（box product topology）と呼び、 ${ ( X\times Y, \mathcal{O} ) }$ を箱型積位相空間という。

実は、任意の添え字を持つ位相空間の族について、その直積集合上に積位相と呼ばれる位相を定めることができ、これを積位相空間、あるいは単に積空間と呼ぶ。このとき積空間と各成分への射影は普遍性を満たし、圏 ${ \mathbf{Top} }$ における積対象となる。積空間の位相は一般的に箱型積位相とは異なるものだが、添え字集合が有限のときには一致する。従って上で定めた箱型積位相空間 ${ ( X\times Y, \mathcal{O} ) }$ は、積空間であり、 ${ ( X, \mathcal{O}_{X} ) }$ と ${ ( Y, \mathcal{O}_{Y} ) }$ の積対象でもある。これより、以下では「箱型」という用語は省略して述べる。

命題 ${ ( X, \mathcal{O}_{X} ), ( Y, \mathcal{O}_{Y} ) }$ を位相空間とする。 ${ \mathcal{B}_{X}, \mathcal{B}_{Y} }$ を ${ \mathcal{O}_{X}, \mathcal{O}_{Y} }$ の開基とすれば、 ${ \mathcal{B}_{X}\times\mathcal{B}_{Y} }$ は積位相の開基となる。

特に ${ \mathcal{B}_{X}, \mathcal{B}_{Y} }$ が可算のとき、 ${ \mathcal{B}_{X}\times\mathcal{B}_{Y} }$ も可算である。故に有限積は第2可算公理を保つ。

（証明）開基の2条件が成り立つことを示せば良い。 ${ \square }$

位相空間 ${ ( X, \mathcal{O}_{X} ), ( Y, \mathcal{O}_{Y} ) }$ について、 ${ \mathcal{B}_{X}, \mathcal{B}_{Y} }$ をその開基、 ${ ( X\times Y, \mathcal{O} ) }$ をその積空間とする。このとき

${ \sigma\lbrack \mathcal{B}_{X}\times\mathcal{B}_{Y} \rbrack \subset \sigma\lbrack \mathcal{B}_{X}\times Y\cup X\times\mathcal{B}_{Y} \rbrack \subset \sigma\lbrack \mathcal{O}_{X}\times Y\cup X\times\mathcal{O}_{Y} \rbrack \subset \sigma\lbrack \mathcal{O} \rbrack }$

が成り立つ。ここで

$\begin{align*} \sigma\lbrack \mathcal{B}_{X} \rbrack\otimes\sigma\lbrack \mathcal{B}_{Y} \rbrack &:= \sigma\left\lbrack \sigma\lbrack \mathcal{B}_{X} \rbrack\times Y\cup X\times\sigma\lbrack \mathcal{B}_{Y} \rbrack \right\rbrack = \sigma\left\lbrack \sigma\lbrack \mathcal{B}_{X} \rbrack\times\sigma\lbrack \mathcal{B}_{Y} \rbrack \right\rbrack, \\ \sigma\lbrack \mathcal{O}_{X} \rbrack\otimes\sigma\lbrack \mathcal{O}_{Y} \rbrack &:= \sigma\left\lbrack \sigma\lbrack \mathcal{O}_{X} \rbrack\times Y\cup X\times\sigma\lbrack \mathcal{O}_{Y} \rbrack \right\rbrack = \sigma\left\lbrack \sigma\lbrack \mathcal{O}_{X} \rbrack\times\sigma\lbrack \mathcal{O}_{Y} \rbrack \right\rbrack \end{align*}$

が成り立つので、

${ \begin{align*} \sigma\lbrack \mathcal{B}_{X}\times Y\cup X\times\mathcal{B}_{Y} \rbrack &\subset \sigma\lbrack \mathcal{B}_{X} \rbrack\otimes\sigma\lbrack \mathcal{B}_{Y} \rbrack, \\ \sigma\lbrack \mathcal{O}_{X}\times Y\cup X\times\mathcal{O}_{Y} \rbrack &\subset \sigma\lbrack \mathcal{O}_{X} \rbrack\otimes\sigma\lbrack \mathcal{O}_{Y} \rbrack \end{align*} }$

も成り立つ。

ここで興味があるのは、これらの包含関係が「いつ」等号となるかという疑問である。この一つの答えを、我々は第2可算公理の文脈で得ることが出来る。

定理位相空間 ${ ( X, \mathcal{O}_{X} ), ( Y, \mathcal{O}_{Y} ) }$ は第2可算公理を満たし、 ${ \mathcal{B}_{X}, \mathcal{B}_{Y} }$ はその可算開基とする。積位相を ${ \mathcal{O} }$ とすれば、

${ \sigma\lbrack \mathcal{O} \rbrack=\sigma\lbrack \mathcal{B}_{X}\times\mathcal{B}_{Y} \rbrack=\sigma\lbrack \mathcal{B}_{X} \rbrack\otimes\sigma\lbrack \mathcal{B}_{Y} \rbrack=\sigma\lbrack \mathcal{O}_{X} \rbrack\otimes\sigma\lbrack \mathcal{O}_{Y} \rbrack }$

が成り立つ。

（証明）補題より ${ \sigma\lbrack \mathcal{B}_{X} \rbrack=\sigma\lbrack \mathcal{O}_{X} \rbrack, \sigma\lbrack \mathcal{B}_{Y} \rbrack=\sigma\lbrack \mathcal{O}_{Y} \rbrack }$ 及び ${ \sigma\lbrack \mathcal{B}_{X}\times\mathcal{B}_{Y} \rbrack = \sigma\lbrack \mathcal{O} \rbrack }$ が成り立つ。従って上の議論から ${ \sigma\lbrack \mathcal{O} \rbrack\subset\sigma\lbrack \mathcal{O}_{X} \rbrack\otimes\sigma\lbrack \mathcal{O}_{Y} \rbrack }$ となるため、逆を示せば良い。

${ f\colon X\times Y\rightarrow X, g\colon X\times Y\rightarrow Y }$ を射影とする。このとき積位相の定義より ${ f, g }$ は連続写像となるから、可測写像でもある。従って普遍性より、唯一つの可測写像 ${ h\colon ( X\times Y, \sigma\lbrack \mathcal{O} \rbrack )\rightarrow ( X\times Y, \sigma\lbrack \mathcal{O}_{X} \rbrack\otimes\sigma\lbrack \mathcal{O}_{Y} \rbrack ) }$ が存在して、図式を可換にする。このとき ${ h }$ は定め方より恒等写像となるが、可測性より ${ \sigma\lbrack \mathcal{O}_{X} \rbrack\otimes\sigma\lbrack \mathcal{O}_{Y} \rbrack \subset \sigma\lbrack \mathcal{O} \rbrack }$ を得る。 ${ \square }$

定理の示すところは、可算開基を持つ位相空間について、積位相空間のボレル集合族は、ボレル集合族の積 ${ \sigma }$ -加法族である、ということであり、ボレル集合族の表記に倣えば ${ \mathscr{B}_{X\times Y}=\mathscr{B}_{X}\otimes\mathscr{B}_{Y} }$ が成り立つということを意味している。この意味でボレル函手は有限積に関して自然に振舞うことが分かる。

所感

最後に述べた定理（特に逆を示すところ）は、直接示そうとしたら上手く行かなそうな気がして、どこか間違っている気がしてならない。何か変なことしてたら指摘して下さい。

訂正

第一回の最後で、生成と積の関係を述べた命題を書いたが、これは誤り。この命題は他では使ってないので大丈夫なはず。可測空間と可測写像 - arXiv探訪

また第五回の最初の命題は、可測空間である必要はなくて、 ${ S\in\mathscr{A}, T\in\mathscr{B} }$ なら十分。積測度空間 - arXiv探訪

2018-04-19

積測度空間

数学

積可測空間上の測度

測度空間 ${ ( S, \mathscr{A}, \mu_{S} ) }$ 及び ${ ( T, \mathscr{B}, \mu_{T} ) }$ に対して、積可測空間 ${ ( S\times T, \mathscr{A}\otimes\mathscr{B} ) }$ 上の測度を構成しよう。積 ${ \sigma }$ -加法族は

${ \mathscr{A}\otimes\mathscr{B}=\sigma\lbrack \mathscr{A}\times T\cup S\times\mathscr{B} \rbrack }$

と定義されるが、基となる集合族 ${ \mathscr{A}\times T\cup S\times\mathscr{B} }$ はやや扱い難い。

命題 ${ ( S, \mathscr{A} ), ( T, \mathscr{B} ) }$ は可測空間とする。このとき

${ \sigma\lbrack \mathscr{A}\times T\cup S\times\mathscr{B} \rbrack = \sigma\lbrack \mathscr{A}\times\mathscr{B} \rbrack }$

が成り立つ。

（証明）左辺が右辺を含むことは明白。 ${ A\times B\in\mathscr{A}\times\mathscr{B} }$ を取る。このとき

${ A\times B=A\times T\cap S\times B\in\sigma\lbrack \mathscr{A}\times T\cup S\times\mathscr{B} \rbrack }$

より、逆も成り立つ。 ${ \square }$

${ \mathscr{A}\times\mathscr{B} }$ は次の意味で都合が良い。

命題 ${ ( S, \mathscr{A} ), ( T, \mathscr{B} ) }$ は可測空間とする。このとき ${ \mathscr{A}\times\mathscr{B} }$ は半加法族である。

（証明）まず ${ \emptyset=\emptyset\times\emptyset\in\mathscr{A}\times\mathscr{B} }$ である。次に ${ A\times B, C\times D\in\mathscr{A}\times\mathscr{B} }$ に対し、

${ A\times B\cap C\times D=( A\cap C )\times( B\times D )\in\mathscr{A}\times\mathscr{B} }$

である。また

${ ( S\times T )\backslash( A\times B )=( S\backslash A )\times B\sqcup( S\backslash A )\times( T\backslash B )\sqcup( A\times( T\backslash B ) }$

より、 ${ \mathscr{A}\times\mathscr{B} }$ の元の非交叉有限和で書ける。従って ${ \mathscr{A}\times\mathscr{B} }$ は半加法族である。 ${ \square }$

さて、 ${ \mathscr{A}\otimes\mathscr{B}=\sigma\lbrack \mathscr{A}\times\mathscr{B} \rbrack }$ 上の測度を構成するために拡張定理を用いることを考えたい。そのためにはまず、半加法族 ${ \mathscr{A}\times\mathscr{B} }$ 上の前測度を与えなければならない。

補題 ${ ( S, \mathscr{A}, \mu_{S} ), ( T, \mathscr{B}, \mu_{T} ) }$ を測度空間とする。このとき集合函数 ${ \mu\colon\mathscr{A}\times\mathscr{B}\rightarrow\lbrack 0, \infty \rbrack }$ を、 ${ A\times B\in\mathscr{A}\times\mathscr{B} }$ に対し

${ \mu( A\times B ):=\mu_{S}( A )\mu_{T}( B ) }$

で定めると、 ${ \mu }$ は半加法族 ${ \mathscr{A}\times\mathscr{B} }$ 上の前測度となる。

（証明）正値であることは明らかなので、有限加法的であることを示す。 ${ A_{1}\times B_{1}, \dotsc, A_{n}\times B_{n}\in\mathscr{A}\times\mathscr{B} }$ に対し、 ${ \bigsqcup_{i=1}^{n}A_{i}\times B_{i}=A\times B\in\mathscr{A}\times\mathscr{B} }$ であるとする。このとき

$\mu( A\times B )=\sum_{i=1}^{n}\mu( A_{i}\times B_{i} )$

が成り立つことを ${ n }$ に関する帰納法で示そう。

${ n=1 }$ のときは ${ \mu( A\times B )=\mu( A_{1}\times B_{1} ) }$ より正しい。

${ n=k }$ に対して成り立つとして、 ${ n=k+1 }$ を考える。このとき

$( A_{k+1}\times B_{k+1} )\sqcup\bigsqcup_{i=1}^{k}( A_{i}\times B_{i} )=A\times B$

だから、

$(A\backslash A_{k+1} )\times( B\backslash B_{k+1} )=\bigsqcup_{i=1}^{k}( A_{i}\backslash A_{k+1} )\times( B_{i}\backslash B_{k+1} )$

が成り立つ。帰納法の仮定より

$\mu_{S}( A\backslash A_{k+1} )\mu_{T}( B\backslash B_{k+1} )=\sum_{i=1}^{k}\mu_{S}( A_{i}\backslash A_{k+1} )\mu_{T}( B_{i}\backslash B_{k+1} )$

が成り立つ。同様にして

$\begin{align*} \mu_{S}( A\backslash A_{k+1} )\mu_{T}( B\cap B_{k+1} ) &= \sum_{i=1}^{k}\mu_{S}( A_{i}\backslash A_{k+1} )\mu_{T}( B_{i}\cap B_{k+1} ) \\ \mu_{S}( A\cap A_{k+1} )\mu_{T}( B\backslash B_{k+1} ) &= \sum_{i=1}^{k}\mu_{S}( A_{i}\cap A_{k+1} )\mu_{T}( B_{i}\backslash B_{k+1} ) \end{align*}$

も成り立つ。ここで ${ i=1, \dotsc, k }$ について ${ \mu_{S}( A_{i}\cap A_{k+1} )\mu_{T}( B_{i}\cap B_{k+1} )\gt 0 }$ と仮定すると、

${ ( A_{i}\cap A_{k+1} )\times( B_{i}\cap B_{k+1} )=( A_{i}\times B_{i} )\cap( A_{k+1}\times B_{k+1} )\neq\emptyset }$

となり矛盾する。故に ${ \mu_{S}( A_{i}\cap A_{k+1} )\mu_{T}( B_{i}\cap B_{k+1} )=0 }$ であり、

$\begin{align*} \mu( A\times B ) &= \mu_{S}( A )\mu_{T}( B ) \\ &= ( \mu_{S}( A\backslash A_{k+1} )+\mu_{S}( A\cap A_{k+1} ) )( \mu_{T}( B\backslash B_{k+1} )+\mu_{T}( B\cap B_{k+1} ) ) \\ &=\sum_{i=1}^{k}( \mu_{S}( A_{i}\backslash A_{k+1} )+\mu_{S}( A_{i}\cap A_{k+1} ) )( \mu_{T}( B_{i}\backslash B_{k+1} )+\mu_{T}( B_{i}\cap B_{k+1} ) ) \\ &+\mu_{S}( A_{k+1} )\mu_{T}( B_{k+1} ) \\ &= \sum_{i=1}^{k+1}\mu_{S}( A_{i} )\mu_{T}( B_{i} ) \end{align*}$

を得る。 ${ \square }$

定理上記補題の ${ \mu }$ は弱可算劣加法的である。

（証明）集合 ${ X }$ 上の可算被覆 ${ \mathscr{C}\subset 2^{X} }$ について考える。すなわち ${ \mathscr{C}=\lbrace C_{1}, C_{2}, \dotsc \rbrace }$ は ${ X=\bigcup_{n\in\mathbb{N}}C_{n} }$ を満たすとする。写像 ${ f\colon X\rightarrow 2^{\mathbb{N}} }$ を ${ x\in X }$ に対し、 ${ x\in C_{n} }$ なら ${ f( x )_{n}:=1 }$ 、 ${ x\notin C_{n} }$ なら ${ f( x )_{n}:=0 }$ により定める。このとき ${ f }$ は単射であり、

$f^{-1}( a )=\bigcap_{a_{i}=1}C_{i}\cap\bigcap_{a_{i}=0}( X\backslash C_{i} )$

が成り立つ。特に ${ f^{-1}( 0 )=0 }$ であり、 ${ X=\bigsqcup_{a\in2^{\mathbb{N}}}f^{-1}( a ) }$ が成り立つ。

互いに素な ${ \lbrace A_{n}\times B_{n} \rbrace\subset\mathscr{A}\times\mathscr{B} }$ について、 ${ \bigsqcup_{n\in\mathbb{N}}A_{n}\times B_{n}=A\times B\in\mathscr{A}\times\mathscr{B} }$ であるとする。 ${ \bigcup_{n\in\mathbb{N}}A_{n}=A, \bigcup_{n\in\mathbb{N}}B_{n}=B }$ より、写像 ${ f\colon A\rightarrow 2^{\mathbb{N}}, g\colon B\rightarrow 2^{\mathbb{N}} }$ を上記のように定めることができる。このとき ${ \mathscr{A}, \mathscr{B} }$ は ${ \sigma }$ -加法族だから、 ${ f^{-1}( a )\in\mathscr{A}, g^{-1}( b )\in\mathscr{B} }$ が成り立つ。 ${ \mu_{S}, \mu_{T} }$ は測度だから可算加法的、つまり

$\begin{align*} \mu( A\times B ) &= \mu_{S}( A )\mu_{T}( B ) \\ &= \left( \sum_{a\in 2^{\mathbb{N}}}\mu_{S}( f^{-1}( a ) ) \right)\left( \sum_{b\in 2^{\mathbb{N}}}\mu_{T}( g^{-1}( b ) ) \right) \\ &=\sum_{a, b}\mu_{S}( f^{-1}( a ) )\mu_{T}( g^{-1}( b ) ) \\ &= \sum_{a, b}\mu( f^{-1}( a )\times g^{-1}( b ) ) \end{align*}$

が成り立つ。ところで ${ ( x, y )\in A\times B }$ について、ある ${ n }$ が存在して ${ ( x, y )\in A_{n}\times B_{n} }$ である。このとき ${ f( x )_{n}=g( y )_{n}=1 }$ であるから、任意の ${ n }$ について ${ a_{n}\neq b_{n} }$ となる ${ a, b }$ について ${ f^{-1}( a )\times g^{-1}( b )=\emptyset }$ となる。従って

$\begin{align*} \sum_{a, b}\mu( f^{-1}( a )\times g^{-1}( b ) ) &\le \sum_{n\in\mathbb{N}}\sum_{a_{n}=1}\sum_{b_{n}=1}\mu( f^{-1}( a )\times g^{-1}( b ) ) \\ &=\sum_{n\in\mathbb{N}}\sum_{a_{n}=1}\sum_{b_{n}=1}\mu_{S}( f^{-1}( a ) )\mu_{T}( g^{-1}( b ) ) \\ &=\sum_{n\in\mathbb{N}}\mu_{S}( A_{n} )\mu_{T}( B_{n} ) \\ &= \sum_{n\in\mathbb{N}}\mu( A_{n}\times B_{n} ) \end{align*}$

が分かる。以上より ${ \mu }$ が弱可算劣加法的であることが示された。 ${ \square }$

従って拡張定理より ${ \mu }$ の拡張となる ${ \mathscr{A}\otimes\mathscr{B}=\sigma\lbrack \mathscr{A}\times\mathscr{B} \rbrack }$ 上の測度が存在する。これをもって測度空間 ${ ( S, \mathscr{A}, \mu_{S} ), ( T, \mathscr{B}, \mu_{T} ) }$ の積としたいのだが、実は拡張は一意でない。

ディンキン族

定義集合 ${ S }$ において ${ \mathscr{D}\subset 2^{S} }$ が次の3条件を満たすとき、 ${ \mathscr{D} }$ は ${ S }$ 上のディンキン族であるという。

${ S\in\mathscr{D} }$ である。
${ A, B\in\mathscr{D}, A\subset B }$ なら ${ B\backslash A\in\mathscr{D} }$ である。
${ \lbrace D_{n} \rbrace_{n\in\mathbb{N}}\subset\mathscr{D} }$ が単調増大列（ ${ D_{1}\subset D_{2}\subset\dotsm }$ ）なら ${ \bigcup_{n\in\mathbb{N}}D_{n}\in\mathscr{D} }$ である。

明らかに ${ \emptyset\in\mathscr{D} }$ である。また ${ \sigma }$ -加法族はディンキン族である。

ディンキン族も任意の交叉でディンキン族となるため、生成を考えることができる。

定義 ${ \mathscr{G}\subset 2^{S} }$ について、 ${ \mathscr{S} }$ を含むディンキン族全体の交叉を ${ D\lbrack \mathscr{G} \rbrack_{S} }$ 、あるいは単に ${ D\lbrack \mathscr{G} \rbrack }$ で記し、 ${ \mathscr{G} }$ により ${ S }$ 上で生成されたディンキン族と呼ぶ。

${ D\lbrack \mathscr{G} \rbrack }$ は ${ \mathscr{G} }$ を含む最小のディンキン族である。

命題 ${ \mathscr{G}\subset 2^{S} }$ とする。 ${ A\in D\lbrack \mathscr{G} \rbrack }$ に対して

${ \mathscr{D}_{A}:=\lbrace B\in D\lbrack \mathscr{G} \rbrack : A\cap B\in D\lbrack \mathscr{G} \rbrack \rbrace }$

と定めると ${ \mathscr{D}_{A} }$ はディンキン族となる。

（証明） ${ A\cap X= A\in D\lbrack \mathscr{G} \rbrack }$ より ${ X\in\mathscr{D}_{A} }$ である。 ${ B, C\in D\lbrack \mathscr{G} \rbrack, B\subset C }$ に対して ${ A\cap ( C\backslash B )=( A\cap C )\backslash( A\cap B ) }$ となる。ここで ${ A\cap B, A\cap C\in D\lbrack \mathscr{G} \rbrack }$ は ${ A\cap B\subset A\cap C }$ を満たすので、 ${ C\backslash B\in\mathscr{D}_{A} }$ が分かる。単調増大列 ${ \lbrace B_{n} \rbrace_{n\in\mathbb{N}}\subset D\lbrack \mathscr{G} \rbrack }$ を取る。 ${ A\cap\bigcup_{n\in\mathbb{N}}B_{n}=\bigcup_{n\in\mathbb{N}}( A\cap B_{n} ) }$ だが、これは単調増大列 ${ \lbrace A\cap B_{n} \rbrace_{n\in\mathbb{N}}\subset D\lbrack \mathscr{G} \rbrack }$ の極限で表せる。故に ${ \bigcup_{n\in\mathbb{N}}B_{n}\in\mathscr{D}_{A} }$ も従う。 ${ \square }$

補題（ディンキンの補題） ${ \mathscr{G}\subset 2^{S} }$ は有限交叉で閉じるとする。すなわち ${ G_{1}, \dotsc, G_{n}\in\mathscr{G} }$ について、

$\bigcap_{i=1}^{n}G_{i}\in\mathscr{G}$

であるとする。このとき ${ D\lbrack \mathscr{G} \rbrack=\sigma\lbrack \mathscr{G} \rbrack }$ が成り立つ。

（証明） ${ \sigma }$ -加法族はディンキン族であるから、最小性より ${ D\lbrack \mathscr{G} \rbrack\subset\sigma\lbrack \mathscr{G} \rbrack }$ である。逆は ${ D\lbrack \mathscr{G} \rbrack }$ が ${ \sigma }$ -加法族であることを示せばよい。

${ A\in\mathscr{G} }$ とする。任意の ${ G\in\mathscr{G} }$ に対し仮定より ${ A\cap G\in\mathscr{G}\subset D\lbrack \mathscr{G} \rbrack }$ であるから ${ \mathscr{G}\subset\mathscr{D}_{A} }$ が分かる。 ${ \mathscr{D}_{A} }$ はディンキン族だから最小性より ${ D\lbrack \mathscr{G} \rbrack\subset\mathscr{D}_{A} }$ を得る。逆も定義より明らかなので、 ${ A\in\mathscr{G} }$ は ${ D\lbrack \mathscr{G} \rbrack=\mathscr{D}_{A} }$ を満たす。

ここで

${ \mathscr{D}:=\lbrace A\in D\lbrack \mathscr{G} \rbrack : \mathscr{D}_{A}=D\lbrack \mathscr{G} \rbrack \rbrace }$

と定める。上の議論より ${ \mathscr{G}\subset\mathscr{D} }$ となる。そこで ${ \mathscr{D} }$ が ${ S }$ 上のディンキン族となることを示そう。 ${ \mathscr{D}_{X}=D\lbrack \mathscr{G} \rbrack }$ より ${ X\in\mathscr{D} }$ である。 ${ A, B\in\mathscr{D}, A\subset B }$ とする。 ${ G\in\mathscr{G} }$ に対し ${ G\cap( B\backslash A )=( G\cap B )\backslash( G\cap A )\in D\lbrack \mathscr{G} \rbrack }$ が成り立つ。故に ${ \mathscr{D}_{B\backslash A} }$ は ${ \mathscr{G} }$ を含むディンキン族となり ${ \mathscr{D}_{B\backslash A}=D\lbrack \mathscr{G} \rbrack }$ を満たす。同様に単調増大列 ${ \lbrace A_{n} \rbrace_{n\in\mathbb{N}}\subset\mathscr{D} }$ を取れば、 ${ G\in\mathscr{G} }$ に対し ${ ( \bigcup_{n\in\mathbb{N}} )\cap G=\bigcup_{n\in\mathbb{N}}( G\cap A_{n} ) }$ が成り立つ。これは単調増大列 ${ \lbrace G\cap A_{n} \rbrace_{n\in\mathbb{N}}\subset D\lbrack \mathscr{G} \rbrack }$ の極限だから結局 ${ D\lbrack \mathscr{G} \rbrack = \mathscr{D}_{\bigcup_{n\in\mathbb{N}}} }$ を得る。以上により ${ \mathscr{D} }$ は ${ S }$ 上のディンキン族となる。特に ${ \mathscr{G} }$ を含むことから ${ \mathscr{D}=D\lbrack \mathscr{G} \rbrack }$ が従う。

最後に ${ \mathscr{D} }$ が ${ \sigma }$ -加法族であることを示そう。 ${ A, B\in\mathscr{D} }$ に対し、 ${ A\backslash B=A\backslash( A\cap B )\in\mathscr{D} }$ である。特に ${ \emptyset=X\backslash X\in\mathscr{D} }$ となる。また ${ A\cup B=X\backslash( ( X\backslash A )\cap( X\backslash B ) )\in\mathscr{D} }$ も分かる。 ${ \lbrace A_{n} \rbrace_{n\in\mathbb{N}}\subset\mathscr{D} }$ について、 ${ B_{n}=\bigcup_{i=1}^{n}A_{i} }$ と定めれば ${ \lbrace B_{n} \rbrace_{n\in\mathbb{N}}\subset\mathscr{D} }$ は単調増大列となる。従って ${ \bigcup_{n\in\mathbb{N}}A_{n}=\bigcup_{n\in\mathbb{N}}B_{n}\in\mathscr{D} }$ となる。 ${ \square }$

測度の一致

定義単調な集合函数 ${ \mu\colon\mathscr{G}\rightarrow\lbrack 0, \infty \rbrack }$ に対し以下を定める。

${ S\in\mathscr{G} }$ であり、 ${ \mu( G )\lt\infty }$ のとき ${ \mu }$ は有限（finite）であるという。
ある ${ \lbrace G_{n} \rbrace\subset\mathscr{G} }$ が存在して ${ G_{n}\nearrow S, \mu( G_{n} )\lt\infty }$ を満たすとき ${ \mu }$ は ${ \sigma }$ -有限であるという。

命題可測空間 ${ ( S, \mathscr{A} ) }$ 上の有限な測度 ${ \mu_{1}, \mu_{2} }$ に対し、 ${ \mu_{1}( S )=\mu_{2}( S ) }$ なら

${ \mathscr{D}:=\lbrace D\in\mathscr{A} : \mu_{1}( D )=\mu_{2}( D ) \rbrace }$

はディンキン族である。

（証明）定義より ${ S\in\mathscr{D} }$ である。 ${ A, B\in\mathscr{D}, A\subset B }$ とする。 ${ \mu_{j} }$ は有限な測度だから ${ \mu_{j}( B\backslash A )=\mu_{j}( B )-\mu_{j}( A ) }$ となる。故に ${ B\backslash A\in\mathscr{D} }$ となる。また単調増大列 ${ \lbrace A_{n} \rbrace\subset\mathscr{D} }$ に対し、 ${ A_{0}:=\emptyset, B_{n}:=A_{n}\backslash A_{n-1} }$ と定めれば

$\mu_{j}\left( \bigcup_{n\in\mathbb{N}} \right)=\mu_{j}\left( \bigsqcup_{n\in\mathbb{N}}B_{n} \right)=\sum_{n\in\mathbb{N}}\mu_{j}( A_{n}\backslash A_{n-1} )$

が成り立つ。 ${ A_{n}\backslash A_{n-1}\in\mathscr{D} }$ より ${ \bigcup_{n\in\mathbb{N}}A_{n}\in\mathscr{D} }$ が従う。 ${ \square }$

定理 ${ \mathscr{G}\subset 2^{S} }$ は有限交叉で閉じるとする。 ${ \sigma\lbrack \mathscr{G} \rbrack }$ 上の測度 ${ \mu_{1}, \mu_{2} }$ は ${ \mathscr{G} }$ 上で一致し、 ${ \mu_{0}:=\mu_{j}|_{\mathscr{G}} }$ は ${ \sigma }$ -有限とする。このとき ${ \mu_{1}=\mu_{2} }$ が成り立つ。

（証明）単調増大な ${ \lbrace G_{n} \rbrace\subset\mathscr{G} }$ を、 ${ G_{n}\nearrow S, \mu_{0}( G_{n} )\lt\infty }$ を満たすように取る。 ${ A\in\sigma\lbrack \mathscr{G} \rbrack }$ に対して ${ A\cap G_{n}\nearrow A }$ であるから、増大列連続性より ${ \mu_{j}( A )=\lim_{n\in\mathbb{N}}\mu( A\cap G_{n} ) }$ が成り立つ。

${ A\in\sigma\lbrack \mathscr{G} \rbrack }$ に対して ${ \widetilde{\mu}_{j}( A ):=\mu_{j}( A\cap G_{n} ) }$ と定めると、 ${ \widetilde{\mu}_{j} }$ は ${ \sigma\lbrack \mathscr{G} \rbrack }$ 上の有限な測度となる。ここで

${ \mathscr{D}_{n}:=\lbrace A\in\sigma\lbrack \mathscr{G} \rbrack : \widetilde{\mu}_{1}( A )=\widetilde{\mu}_{2}( A ) \rbrace }$

と置くと、先の命題よりこれはディンキン族となる。ディンキンの補題より ${ \sigma\lbrack \mathscr{G} \rbrack=D\lbrack \mathscr{G} \rbrack }$ であるから、最小性より ${ \mathscr{D}_{n}=\sigma\lbrack \mathscr{G} \rbrack }$ となる。よって ${ \mu_{1}( A\cap G_{n} )=\mu_{2}( A\cap G_{n} ) }$ であるから、 ${ \mu_{1}=\mu_{2} }$ が従う。 ${ \square }$

系 ${ ( S, \mathscr{A}, \mu_{S} ), ( T, \mathscr{B}, \mu_{T} ) }$ を測度空間とする。 ${ \mu_{S}, \mu_{T} }$ が ${ \sigma }$ -有限であるとき、前測度 ${ \mu\colon\mathscr{A}\times\mathscr{B}\rightarrow\lbrack 0, \infty \rbrack }$ の拡張は一意的である。

（証明） ${ \lbrace A_{n} \rbrace_{n\in\mathbb{N}}\subset\mathscr{A}, \lbrace B_{n} \rbrace_{n\in\mathbb{N}}\subset\mathscr{B} }$ として

${ \begin{align*} A_{n}&\nearrow S, & B_{n}&\nearrow T, & \mu_{S}( A_{n} ), \mu_{T}( B_{n} )&\lt\infty \end{align*} }$

を満たすように取る。ここで ${ C_{n}=A_{n}\times B_{n}\in\mathscr{A}\times\mathscr{B} }$ とすれば

${ \begin{align*} C_{n}&\nearrow S\times T, & \mu( C_{n} )&=\mu_{S}( A_{n} )\mu_{T}( B_{n} )\lt\infty \end{align*} }$

が成り立つ。従って ${ \mu }$ は ${ \sigma }$ -有限であるため、定理から拡張は一意的であることが分かる。 ${ \square }$

定義系において ${ \mu }$ の拡張となる可測空間 ${ ( S\times T, \mathscr{A}\otimes\mathscr{B} ) }$ 上の測度は一意的に存在する。これを ${ \mu_{S}\otimes\mu_{T} }$ と記し、 ${ \mu_{S} }$ と ${ \mu_{T} }$ の積測度と呼ぶ。このとき ${ ( S\times T, \mathscr{A}\otimes\mathscr{B}, \mu_{S}\otimes\mu_{T} ) }$ を積測度空間と呼ぶ。

ただし積測度空間は圏における積対象ではない。

2018-04-17

半加法族

数学

ホップの拡張定理が述べていることは、有限加法族上の前測度について ${ \sigma }$ -加法族上の測度へと拡張できるかは簡単な条件で調べることが出来るということだった。しかし有限加法族上の前測度でさえ、簡単には与えることはできない。そこで更に簡単な集合族のクラスとその上の前測度より、有限加法族上の前測度を構成すること、および ${ \sigma }$ -加法族上の測度へと拡張することを考えたい。

有限加法族については前節で述べたが、ここではその生成について述べておこう。まず有限加法族も ${ \sigma }$ -加法族と同様に、任意の交叉で有限加法族となる。

定義 ${ \mathscr{G}\subset 2^{S} }$ について、 ${ \mathscr{G} }$ を含む ${ S }$ 上の有限加法族全体の交叉を ${ \sigma_{0}\lbrack \mathscr{G} \rbrack_{S} }$ 、あるいは単に ${ \sigma_{0}\lbrack \mathscr{G} \rbrack }$ で記し、 ${ \mathscr{G} }$ により ${ S }$ 上で生成された有限加法族と呼ぶ。

特に ${ \sigma_{0}\lbrack \mathscr{G} \rbrack }$ は ${ \mathscr{G} }$ を含む最小の有限加法族となる。

半加法族

定義集合 ${ S }$ において ${ \mathscr{S}\subset 2^{S} }$ が次の3条件を満たすとき、 ${ \mathscr{S} }$ は ${ S }$ 上の半加法族であるという。

${ \emptyset\in\mathscr{S} }$ である。
${ A, B\in\mathscr{S} }$ なら ${ A\cap B\in\mathscr{S} }$ である。
${ A\in\mathscr{S} }$ なら有限個の互いに素な元 ${ A_{1}, \dotsc, A_{n}\in\mathscr{S} }$ を用いて ${ S\backslash A=\bigsqcup_{i=1}^{n}A_{i} }$ と表せる。

この定義がどこから来るのか疑問に思うかもしれないが、一つの理由としては拡張定理の証明にある。証明では有限加法族の性質を、まず ${ \lbrace C\cap A \rbrace, \lbrace C\backslash A \rbrace }$ が ${ E\cap A, E\backslash A }$ の被覆であることを示すのに用いた。そこで ${ C\backslash A=C\cap( S\backslash A ) }$ に注意しつつ、有限加法族の2番目の条件を緩めたのが上の定義になる。被覆となるためには ${ S\backslash A }$ 自身が ${ \mathscr{A} }$ の元である必要はなく、 ${ \mathscr{A} }$ による有限和で表せればよいという発想である。

半加法族も名前が安定しない。集合半代数などと呼ばれたこともある。

${ \mathscr{S}\subset 2^{S} }$ を半加法族とする。 ${ A, B\in\mathscr{S} }$ に対し、半加法族の定義より ${ S\backslash B=\bigsqcup_{i=1}^{m}B_{i} }$ と表せる。従って

$A\backslash B=A\cap( S\backslash B )=A\cap\bigsqcup_{i=1}^{m}B_{i}=\bigsqcup_{i=1}^{m}( A\cap B_{i} )$

となるが、右辺は ${ A\backslash B }$ が ${ \mathscr{S} }$ による非交叉有限和で表せることを意味している。（この性質は後で半環の節で述べる。）これより半加法族において、非自明だが面白い性質を示すことができる。

補題 ${ \mathscr{S}\subset 2^{S} }$ を半加法族とする。任意の ${ A, A_{1}, \dotsc, A_{n}\in\mathscr{S} }$ に対し、互いに素な ${ B_{1}, \dotsc, B_{m}\in\mathscr{S} }$ が存在して

$A\backslash\bigcup_{i=1}^{n}A_{i}=\bigsqcup_{j=1}^{m}B_{j}$

と表せる。

（証明）上の議論より ${ A\backslash A_{1}=\bigsqcup_{j=1}^{m}C_{j} }$ なる互いに素な ${ \lbrace C_{j} \rbrace\subset\mathscr{S} }$ が取れる。 ${ ( A\backslash A_{1} )\backslash A_{2} = \bigsqcup_{j=1}^{m}( C_{j}\backslash A_{2} ) }$ より、再び ${ C_{j}\backslash A_{2}=\bigsqcup_{k=1}^{m_{j}}D_{j, k} }$ なる互いに素な ${ \lbrace D_{j, k} : k=1, \dotsc, m_{j} \rbrace\subset\mathscr{S} }$ が取れて、 ${ ( A\backslash A_{1} )\backslash A_{2} = \bigsqcup_{j=1}^{m}\bigsqcup_{k=1}^{m_{j}}D_{j, k} }$ を満たす。このとき ${ \lbrace D_{j, k} \rbrace\subset\mathscr{S} }$ は互いに素である。以上を繰り返せば良い。 ${ \square }$

半加法族の生成する有限加法族は、元の形が良く分かる集合になっている。

命題 ${ \mathscr{S}\subset 2^{S} }$ を半加法族とする。このとき ${ \sigma_{0}\lbrack \mathscr{S} \rbrack }$ は ${ \mathscr{S} }$ の元の非交叉有限和で表される集合全体である。

（証明） ${ \mathscr{S} }$ の元の非交叉有限和で表される集合全体を ${ \mathscr{A} }$ と書く。 ${ \sigma_{0}\lbrack \mathscr{S} \rbrack\supset\mathscr{A} }$ は明らかなので逆を示そう。 ${ \mathscr{G}\subset\mathscr{A} }$ なので、 ${ \mathscr{A} }$ が有限加法族であることを示せば良い。 ${ \emptyset\in\mathscr{A} }$ は明白。 ${ A, B\in\mathscr{A} }$ に対して ${ A=\bigsqcup_{i=1}^{n}A_{i}, B=\bigsqcup_{j=1}^{m}B_{j} }$ （ ${ A_{i}, B_{j}\in\mathscr{S} }$ ）と表せば、 ${ A\cap B=\bigsqcup_{i, j}A_{i}\cap B_{j} }$ であり、 ${ \mathscr{S} }$ は半加法族だから ${ A_{i}\cap B_{j}\in\mathscr{S} }$ である。従って ${ A\cap B\in\mathscr{A} }$ が分かる。 ${ S\backslash A=\bigcap_{i=1}^{n}( S\backslash A_{i} ) }$ だが、 ${ A_{i}\in\mathscr{S} }$ より ${ S\backslash A_{i} }$ は ${ \mathscr{S} }$ の元の非交叉有限和で表せる。つまり ${ S\backslash A_{i}\in\mathscr{A} }$ である。既に示したように ${ \mathscr{A} }$ は有限交叉で閉じているから ${ S\backslash A\in\mathscr{A} }$ である。以上により ${ \mathscr{A} }$ は有限加法族であり、生成の最小性から ${ \sigma_{0}\lbrack \mathscr{S} \rbrack=\mathscr{A} }$ を得る。 ${ \square }$

半加法族上の前測度

定義 ${ \mathscr{S}\subset 2^{S} }$ を半加法族とする。集合函数 ${ \mu\colon\mathscr{S}\rightarrow\lbrack 0, \infty \rbrack }$ が正値かつ有限加法的であるとき、 ${ \mu }$ は半加法族 ${ \mathscr{S} }$ 上の前測度という。

有限加法族上の前測度のときとは違い、有限加法性は「互いに素な ${ A, B\in\mathscr{S} }$ に対して ${ \mu( A\sqcup B )=\mu( A )+\mu( B ) }$ が成り立つ」を条件にすることはできない。

半加法族上の前測度は単調かつ有限劣加法的であるが、少し一般的な形で述べておくと便利である。

命題 ${ \mu }$ を半加法族 ${ \mathscr{S}\subset 2^{S} }$ 上の前測度とする。次が成り立つ。

${ A\in\mathscr{S} }$ 及び互いに素な ${ A_{1}, \dotsc, A_{n}\in\mathscr{S} }$ に対し、

$\bigsqcup_{i=1}^{n}A_{i}\subset A \Rightarrow \sum_{i=1}^{n}\mu( A_{i} )\le\mu( A )$

が成り立つ。

${ A\in\mathscr{S} }$ 及び ${ B_{1}, \dotsc, B_{n}\in\mathscr{S} }$ に対し、

$B\subset\bigcup_{i=1}^{n}B_{i} \Rightarrow \mu( B ) \le\sum_{i=1}^{n}\mu( B_{i} )$

が成り立つ。

（証明）補題より互いに素な ${ D_{1}, \dotsc, D_{m}\in\mathscr{S} }$ が存在して ${ A\backslash\bigsqcup_{i=1}^{n}A_{i}=\bigsqcup_{j=1}^{m}D_{j} }$ と表せる。 ${ \bigsqcup_{i=1}^{n}A_{i}\subset A }$ とする。このとき ${ A=\bigsqcup_{i=1}^{n}A_{i}\sqcup\bigsqcup_{j=1}^{m}D_{j} }$ であり、 ${ \mu }$ は有限加法的であるから

$\mu( A )=\sum_{i=1}^{n}\mu( A_{i} )+\sum_{j=1}^{m}\mu( D_{j} )\ge\sum_{i=1}^{n}\mu( A_{i} )$

が成り立つ。

${ B\subset\bigcup_{i=1}^{n}B_{i} }$ とする。 ${ B=\bigcup_{i=1}^{n}( B\cap B_{i} ) }$ なので、

$C_{i}:=( B\cap B_{i} )\backslash\bigcup_{j=1}^{i-1}( B\cap B_{j} )$

と置けば、 ${ B=\bigsqcup_{i=1}^{n}C_{i} }$ と互いに素な和で表せる。ここで ${ B\cap B_{j}\in\mathscr{S} }$ だから、補題より互いに素な ${ \lbrace D_{i, j} : j=1, \dotsc, n_{i} \rbrace\subset\mathscr{S} }$ が存在して ${ C_{i}=\bigsqcup_{j=1}^{n_{i}}D_{i, j} }$ と表せる。 ${ \mu }$ は有限加法的であり、 ${ \bigsqcup_{j=1}^{n_{i}}D_{i, j}=C_{i}\subset B_{i} }$ であるから、上の結果より

$\mu( B )=\mu\left( \bigsqcup_{i=1}^{n}\bigsqcup_{j=1}^{n_{i}}D_{i, j} \right)=\sum_{i=1}^{n}\sum_{j=1}^{n_{i}}\mu( D_{i, j} )\le\sum_{i=1}^{n}\mu( B_{i} )$

が成り立つ。 ${ \square }$

半加法族 ${ \mathscr{S}\subset 2^{S} }$ について ${ \sigma_{0}\lbrack \mathscr{S} \rbrack }$ は ${ \mathscr{S} }$ の元の非交叉有限和として表される集合全体だったことを思い出そう。つまり ${ A\in\sigma_{0}\lbrack \mathscr{S} \rbrack }$ について互いに素な ${ A_{1}, \dotsc, A_{n}\in\mathscr{S} }$ が存在して ${ A=\bigsqcup_{i=1}^{n}A_{i} }$ と表せる。

命題 ${ \mu }$ を半加法族 ${ \mathscr{S}\subset 2^{S} }$ 上の前測度とする。集合函数 ${ \mu_{0}\colon\sigma_{0}\lbrack \mathscr{S} \rbrack\rightarrow\lbrack 0, \infty \rbrack }$ を ${ A=\bigsqcup_{i=1}^{n}A_{i}\in\sigma_{0}\lbrack \mathscr{S} \rbrack }$ に対し、

$\sigma_{0}( A )=\sigma_{0}\left( \bigsqcup_{i=1}^{n}A_{i} \right):=\sum_{i=1}^{n}\mu( A_{i} )$

で定める。このとき ${ \mu_{0} }$ は有限加法族 ${ \sigma_{0}\lbrack \mathscr{S} \rbrack }$ 上の前測度となる。

（証明） ${ \mu_{0} }$ がwell-definedであることを示そう。すなわち ${ \mu_{0}( A ) }$ が ${ A }$ の表示に依らないことを示す。 ${ A=\bigsqcup_{i=1}^{n}A_{i}=\bigsqcup_{j=1}^{m}A^{\prime}_{j} }$ とする。 ${ \mu }$ は有限加法的であるから

$\sum_{i=1}^{n}\mu( A_{i} )=\sum_{i=1}^{n}\sum_{j=1}^{m}\mu( A_{i}\cap A^{\prime}_{j} )=\sum_{j=1}^{m}A^{\prime}_{j}$

となり、表示に依らないことが分かる。

${ \mu_{0}( \emptyset )=0 }$ は明白。 ${ A=\bigsqcup_{i=1}^{n}A_{i}, B=\bigsqcup_{j=1}^{m}B_{j} }$ は互いに素であるとする。 ${ \lbrace A_{i}, B_{j} \rbrace }$ も互いに素だから、

$\mu_{0}( A\sqcup B )=\sum_{i=1}^{n}\mu( A_{i} )+\sum_{j=1}^{m}\mu( B_{j} )=\mu_{0}( A )+\mu_{0}( B )$

を得る。 ${ \square }$

上記命題において、定義から明らかに ${ \mu }$ の拡張となる ${ \sigma_{0}\lbrack \mathscr{S} \rbrack }$ 上の前測度は一意的であることが分かる。

補題 ${ \mu }$ を半加法族 ${ \mathscr{S}\subset 2^{S} }$ 上の前測度、その拡張を ${ \mu_{0}\colon\sigma_{0}\lbrack \mathscr{S} \rbrack\rightarrow\lbrack 0, \infty \rbrack }$ とする。このとき以下は同値である。

${ \mu_{0} }$ は可算加法的である。
${ \mu }$ は弱可算劣加法的である。

（証明）上から下は明らかなので逆を示そう。互いに素な ${ \lbrace A_{n} \rbrace_{n\in\mathbb{N}}\subset\sigma_{0}\lbrack \mathscr{S} \rbrack }$ を取り、 ${ B:=\bigsqcup_{n\in\mathbb{N}}A_{n}\in\sigma_{0}\lbrack \mathscr{S} \rbrack }$ とする。このときある有限集合 ${ \mathscr{A}_{n}, \mathscr{B}\subset\mathscr{S} }$ が存在して

${ \begin{align*} A_{n}&=\bigsqcup_{G\in\mathscr{A}_{n}}G, & B&=\bigsqcup_{H\in\mathscr{B}}H \end{align*} }$

と表せる。

まず ${ \mathscr{A}:=\bigcup_{n\in\mathbb{N}}\mathscr{A}_{n}=\bigsqcup_{n\in\mathbb{N}}\mathscr{A}_{n} }$ だから、

$\bigsqcup_{H\in\mathscr{B}}H=B=\bigsqcup_{n\in\mathbb{N}}A_{n}=\bigsqcup_{n\in\mathbb{N}}\bigsqcup_{G\in\mathscr{A}_{n}}G=\bigsqcup_{G\in\mathscr{A}}G$

が成り立つ。ここで ${ H\in\mathscr{B} }$ について ${ H=\bigsqcup_{G\in\mathscr{A}}( G\cap H ) }$ である。 ${ \mathscr{S} }$ は半加法族だから ${ G\cap H\in\mathscr{S} }$ であり、従って仮定より

$\mu( H )\le\sum_{G\in\mathscr{A}}\mu( G\cap H )$

を得る。同様に ${ G\in\mathscr{A} }$ について ${ G=\bigsqcup_{H\in\mathscr{B}}( H\cap G ) }$ であり、 ${ \mu }$ は有限加法的だから ${ \mu( G )=\sum_{H\in\mathscr{B}}\mu( H\cap G ) }$ を得る。以上より

$\begin{align*} \mu_{0}( B )&=\sum_{H\in\mathscr{B}}\mu( H )\le\sum_{H\in\mathscr{B}}\sum_{G\in\mathscr{A}}\mu( G\cap H ) \\ &=\sum_{G\in\mathscr{A}}\mu( G )=\sum_{n\in\mathbb{N}}\sum_{G\in\mathscr{A}_{n}}\mu( G ) \\ &=\sum_{n\in\mathbb{N}}\mu_{0}( A_{n} ) \end{align*}$

となる。（ここで非負実数に関する和の順序の交換可能性を用いた。）つまり ${ \mu_{0} }$ は弱可算劣加法的である。 ${ \mu_{0} }$ は有限加法族上の前測度だから、これは可算加法的であることと同値である。 ${ \square }$

補題より半加法族上の前測度について、可算加法性、可算劣加法性、弱可算劣加法性は全て同値となる。

定理（半加法族上の前測度に対する拡張定理） ${ \mu }$ は半加法族 ${ \mathscr{S}\subset 2^{S} }$ 上の前測度とする。以下は同値である。

${ \sigma\lbrack \mathscr{S} \rbrack=\sigma\lbrack \sigma_{0}\lbrack \mathscr{S} \rbrack \rbrack }$ 上の測度 ${ \widehat{\mu} }$ が存在して ${ \widehat{\mu}|_{\mathscr{S}}=\mu }$ を満たす。つまり ${ A\in\mathscr{S} }$ なら ${ \widehat{\mu}( A )=\mu( A ) }$ が成り立つ。
${ \mu }$ は弱可算劣加法的である。

（証明）ホップの拡張定理の証明に沿って示すことが出来る。 ${ \mu_{0}\colon\sigma_{0}\lbrack \mathscr{S} \rbrack\rightarrow\lbrack 0, \infty \rbrack }$ を ${ \mu }$ の拡張とする。

まず外測度 ${ \widehat{\mu} }$ の構成に関しては、 ${ \mu }$ から誘導される外測度も ${ \mu_{0} }$ から誘導される外測度も等しい。これは ${ \sigma_{0}\lbrack \mathscr{S} \rbrack }$ の元が ${ \mathscr{S} }$ の元の非交叉有限和で書けることに依る。

次に ${ \mathscr{S}\subset\mathscr{M}_{\widehat{\mu}} }$ を示したい。 ${ A\in\mathscr{S} }$ 及び ${ E\subset S }$ を取る。 ${ \mathscr{S} }$ は半加法族なので ${ A_{1}, \dotsc, A_{n}\in\mathscr{S} }$ が存在して ${ S\backslash A=\bigsqcup_{i=1}^{n}A_{i} }$ と表せる。 ${ E }$ の被覆 ${ \mathscr{C}\subset\mathscr{S} }$ を取れば、 ${ \lbrace C\cap A : C\in\mathscr{C} \rbrace\subset\mathscr{S} }$ は ${ E\cap A }$ の被覆となる。また ${ C\in\mathscr{C} }$ について

$C\backslash A=C\cap( S\backslash A )=C\cap\bigsqcup_{i=1}^{n}A_{i}=\bigsqcup_{i=1}^{n}( C\cap A_{i} )$

より ${ \lbrace C\cap A_{i} : C\in\mathscr{C}, i=1, \dotsc, n \rbrace\subset\mathscr{S} }$ は ${ E\backslash A }$ の被覆となる。故に

$\begin{align*} \widehat{\mu}( E\cap A )+\widehat{\mu}( E\backslash A ) &\le \sum_{C\in\mathscr{C}}\mu( C\cap A )+\sum_{C\in\mathscr{C}}\sum_{i=1}^{n}\mu( C\cap A_{i} ) \\ &=\sum_{C\in\mathscr{C}}\left( \mu( C\cap A )+\sum_{i=1}^{n}\mu( C\cap A_{i} ) \right) \end{align*}$

となる。このとき

${ C=( C\cap A )\sqcup ( C\backslash A )=( C\cap A )\sqcup( C\cap A_{1} )\sqcup\dotsb\sqcup( C\cap A_{n} ) }$

であるから、 ${ C\in\mathscr{C} }$ より ${ \mu }$ の有限加法性が使えて結局

$\mu( C\cap A )+\sum_{i=1}^{n}\mu( C\cap A_{i} )=\mu( C )$

が従う。

残りの部分はホップの拡張定理と同様に従う。ただし補題より半加法族上でも ${ \mu }$ の弱可算劣加法性が可算加法性と同値であることを用いる。 ${ \square }$