暖かくなってきて、生き物もだいぶ活動的になってきた。蜂とかね、巣作り始めてるよ…やめてくれよ。花粉も大量に積もってるので、そのうち赤い虫（ダニ）もいっぱい湧くんだろうなぁと戦々恐々してる。

さて、測度論や確率論、統計的学習理論などのカテゴリカルな理解、あるいはアナロジーや定式化について興味があって、ここのところ色々と情報を集めている。検索するといくつか見つかるんだけど、前提知識もそれなりに必要なので確認することが多くて進まない。まあ急ぐわけでもないので少しずつやっていこう。今回は測度論の初歩だけ。

圏 ${ \mathbf{meas} }$

伊藤清という数学者は、確率とはルベーグ測度のことである、と言ったとか言わなかったとか。コルモゴロフに始まる測度論を用いた確率論の公理化は数学的に明瞭で、厳密に取り扱うのが面倒なことを除けば疑う余地はない。最近はゲーム理論的な解釈もあるらしいが、枠組みとしては測度論を使うのが自然だろう。

定義集合 ${ S }$ の部分集合の族 ${ \mathscr{A}\subset 2^{S} }$ が次の三条件を満たすとき、 ${ \mathscr{A} }$ は ${ S }$ 上の ${ \sigma }$ -加法族であるという。

${ \emptyset\in\mathscr{A} }$ である。
${ A\in\mathscr{A} }$ なら ${ S\backslash A\in\mathscr{A} }$ である。
${ A_{n}\in\mathscr{A} }$ なら $\bigcup_{n\in\mathbb{N}}A_{n}\in\mathscr{A}$ である。

このとき組 ${ ( S, \mathscr{A} ) }$ を可測空間（measurable space）といい、集合 ${ A\in\mathscr{A} }$ は ${ \mathscr{A} }$ -可測、あるいは単に可測である、などという。

定義に解釈を求めても仕方ないが、可算という視点で物事を捉える、というのが測度論の基本的な考え方とするならば、有限の立場で議論する論理学（特に命題論理）のアナロジーという意味で、この定義は自然なものだと考えられる。

${ \sigma }$ -加法族は歴史的な経緯から呼び方が安定しない。他に完全加法族、可算加法族、 ${ \sigma }$ -集合代数、 ${ \sigma }$ -集合体、 ${ \sigma }$ -体、トライブ（tribe）などと呼ばれているようだ。

${ \sigma }$ -加法族について、自明なものとしては、空集合と全体集合のみからなるもの ${ \lbrace \emptyset, S \rbrace }$ 、あるいは任意の部分集合からなるもの ${ 2^{S} }$ がある。

命題写像 ${ f\colon S\rightarrow T }$ について以下が成り立つ。

${ ( T, \mathscr{B} ) }$ が可測空間なら、 ${ f^{-1}( \mathscr{B} )\colon=\lbrace f^{-1}( B ) : B\in\mathscr{B} \rbrace }$ は ${ S }$ 上の ${ \sigma }$ -加法族となる。
${ ( S, \mathscr{A} ) }$ が可測空間なら、 ${ f( \mathscr{A} )\colon=\lbrace B\subset T : f^{-1}( B )\in\mathscr{A} \rbrace }$ は ${ T }$ 上の ${ \sigma }$ -加法族となる。（ ${ \lbrace f( A ) : A\in\mathscr{A} \rbrace }$ ではないことに注意。）

ひとまず対象については可測空間を考えるとして、次に考えるべきは射であろう。

定義 ${ ( S, \mathscr{A} ), ( T, \mathscr{B} ) }$ を可測空間とする。写像 ${ f\colon S\rightarrow T }$ が ${ f^{-1}(\mathscr{B})\subset\mathscr{A} }$ を満たすとき、つまり任意の ${ B\in\mathscr{B} }$ について ${ f^{-1}( B )\in\mathscr{A} }$ を満たすとき、 ${ f }$ は ${ \mathscr{A}/\mathscr{B} }$ -可測、あるいは単に可測であるという。

この定義であれば、 ${ \mathscr{B} }$ から ${ \mathscr{A} }$ への写像として定めれば良いのではないかと思うかもしれない。しかし、あくまで全体空間における写像として考えるのには理由があって、それは「測ることのできない集合」を念頭に入れているからである。可測でなくても測りたい集合が存在する。このようなものについて議論するために全体空間が必要なのだ。

可測写像の合成は可測であり、恒等写像はもちろん可測である。故に可測空間と可測写像は圏の対象と射を定める。これを圏 ${ \mathbf{meas} }$ と記すことにする。

次に可測空間 ${ X=( S, \mathscr{A} ) }$ と可測空間 ${ Y=( T, \mathscr{B} ) }$ の対象としての積 ${ X\prod^{\mathrm{cat}}Y }$ を考えたい。射が全体空間における写像であることを考えれば、積対象の全体空間は ${ S\times T }$ で定めるのが妥当だろう。更に射影 ${ p\colon X\prod^{\mathrm{cat}}Y\rightarrow X }$ の存在を考慮すると、少なくとも ${ A\times T, S\times B }$ （ ${ A\in\mathscr{A}, B\in\mathscr{B} }$ ）の形をした集合は可測となる必要がある。しかし一般に ${ \mathscr{A}\times\mathscr{B} }$ は ${ \sigma }$ -加法族ではない。このような場合には生成という方法が有効になる。

まず ${ \sigma }$ -加法族の任意の交叉は ${ \sigma }$ -加法族である。つまり任意の ${ \lambda\in\Lambda }$ について ${ \mathscr{A}_{\lambda} }$ を ${ \sigma }$ -加法族とすると $\bigcap_{\lambda\in\Lambda}\mathscr{A}_{\lambda}$ も ${ \sigma }$ -加法族となる。そこで生成を次のように定義する。

定義 ${ \mathscr{G}\subset 2^{S} }$ について、 ${ \mathscr{G} }$ を含む ${ S }$ 上の ${ \sigma }$ -加法族全体の交叉を ${ \sigma\lbrack \mathscr{G} \rbrack_{S} }$ 、あるいは単に ${ \sigma\lbrack \mathscr{G} \rbrack }$ で記し、 ${ \mathscr{G} }$ により ${ X }$ 上で生成された ${ \sigma }$ -加法族と呼ぶ。このとき ${ A\in\sigma\lbrack \mathscr{G} \rbrack }$ は ${ \mathscr{G} }$ -可測であるという。

値域の可測性が生成により与えられているとき、写像の可測性は生成元のみを考えれば十分である。

命題 ${ ( S, \mathscr{A} ), ( T, \sigma\lbrack \mathscr{G} \rbrack ) }$ を可測空間とする。写像 ${ f\colon S\rightarrow T }$ について以下は同値である。

${ f }$ は可測写像である。
任意の ${ G\in\mathscr{G} }$ について ${ f^{-1}( G )\in\mathscr{A} }$ である。

（証明）上から下は明白。下が成り立つとすると、任意の ${ G\in\mathscr{G} }$ について ${ G\in f( \mathscr{A} ) }$ が成り立つ。すなわち ${ \mathscr{G}\subset f( \mathscr{A} ) }$ となるが、今 ${ f( \mathscr{A} ) }$ は ${ \sigma }$ -加法族であるから、生成の最小性より ${ \sigma\lbrack \mathscr{G} \rbrack\subset f( \mathscr{A} ) }$ が従う。これは ${ f }$ が可測であることを表している。 ${ \square }$

定義 ${ \mathscr{A}\times T\cup S\times\mathscr{B}=\lbrace A\times T, S\times B : A\in\mathscr{A}, B\in\mathscr{B} \rbrace }$ により生成される ${ S\times T }$ 上の ${ \sigma }$ -加法族を ${ \mathscr{A}\otimes\mathscr{B} }$ と記し、積 ${ \sigma }$ -加法族という。また組 ${ ( S\times T, \mathscr{A}\otimes\mathscr{B} ) }$ を積可測空間という。

積可測空間が圏 ${ \mathbf{meas} }$ における積対象であることを示すために、普遍性を示そう。

命題 ${ ( P, \mathscr{F} ) }$ を可測空間、 ${ f\colon P\rightarrow S, g\colon P\rightarrow T }$ を可測写像とする。このとき唯一つの可測写像 ${ h\colon P\rightarrow S\times T }$ が存在して、図式を可換にする。

（証明） ${ h( x )\colon=( f( x ), g( x ) ) }$ と定めればよい。可測性は先の命題より ${ A\in\mathscr{A}, B\in\mathscr{B} }$ について ${ h^{-1}( A\times T ), h^{-1}( S\times B )\in\mathscr{F} }$ を示せばよいが、例えば ${ h^{-1}( A\times T )=f^{-1}( A )\cap g^{-1}( T )\in\mathscr{F} }$ より ${ f, g }$ の可測性から従う。 ${ \square }$

三つ以上の積について、積が結合的であることや交換できること、普遍性を満たすことも示すことが出来る。この意味で圏 ${ \mathbf{meas} }$ は任意の有限積を持つことが分かる。

~~生成と積の関係は次の命題が便利である。~~

命題 ${ \mathscr{G}\subset 2^{S}, \mathscr{H}\subset 2^{T} }$ に対し、 ${ \sigma\lbrack \mathscr{G} \rbrack\otimes\sigma\lbrack \mathscr{H} \rbrack = \sigma\lbrack \mathscr{G}\times T\cup S\times\mathscr{H} \rbrack }$ が成り立つ。

（証明） ${ \sigma\lbrack \mathscr{G} \rbrack\times T\cup S\times\sigma\lbrack \mathscr{H} \rbrack \supset \mathscr{G}\times T\cup S\times\mathscr{H} }$ より、生成すれば最小性より ${ \sigma\lbrack \mathscr{G} \rbrack\otimes\sigma\lbrack \mathscr{H} \rbrack \supset \sigma\lbrack \mathscr{G}\times T\cup S\times\mathscr{H} \rbrack }$ が従う。逆を示すために、 ${ \sigma\lbrack \mathscr{G} \rbrack\times T\subset\sigma\lbrack \mathscr{G}\times T \rbrack }$ を示そう。射影 ${ \mathrm{proj}\colon S\times T\rightarrow S }$ を考えれば
$\begin{align*} \mathrm{proj}\left( \sigma\lbrack \mathscr{G}\times T \rbrack \right) &= \left\lbrace A\subset S : A\times T\in\sigma\lbrack \mathscr{G}\times T \rbrack \right\rbrace \\ &\supset \lbrace A\subset S : A\times T\in\mathscr{G}\times T \rbrace \supset \mathscr{G} \end{align*}$

となる。故に最小性より ${ \mathrm{proj}\left( \sigma\lbrack \mathscr{G}\times T \rbrack \right)\supset\sigma\lbrack \mathscr{G} \rbrack }$ を得る。つまり ${ \sigma\lbrack \mathscr{G} \rbrack\times T\subset\sigma\lbrack \mathscr{G}\times T \rbrack\subset\sigma\lbrack \mathscr{G}\times T\cup S\times\mathscr{H} \rbrack }$ が従う。 ${ S\times\sigma\lbrack \mathscr{H} \rbrack }$ についても同様だから、 ${ \sigma\lbrack \mathscr{G} \rbrack\times T\cup S\times\sigma\lbrack \mathscr{H} \rbrack \subset \sigma\lbrack \mathscr{G}\times T\cup S\times\mathscr{H} \rbrack }$ が分かる。最小性より ${ \sigma\lbrack \mathscr{G} \rbrack\otimes\sigma\lbrack \mathscr{H} \rbrack \subset \sigma\lbrack \mathscr{G}\times T\cup S\times\mathscr{H} \rbrack }$ が従う。 ${ \square }$