arXiv探訪

興味の赴くままに数学するだけ

収束による位相の定義について

数学

（追記5/19）補足あり。 arxiv.hatenablog.com

函数解析を学んでいると、弱位相という概念が出てくる。これはバナッハ空間{ X }の位相であり、有界線型汎函数による弱収束の言葉で説明されることが一般的である。つまりネット{ x_{\alpha} }が{ x }に弱収束するとは、任意の有界線型汎函数{ f\in X^{\ast} }に対し、実数として{ f( x_{\alpha} ) }が{ f( x ) }に収束することを指す。位相について知っていればこの説明は納得できないかもしれない。厳密には線型位相空間の一種として、原点{ 0 }の基本近傍系を定義する必要がある。それは有限個の{ f_{1}, \dotsc, f_{n}\in X^{\ast} }及び{ \varepsilon\gt 0 }について{ | f( x ) |\lt\varepsilon }となる{ x }からなる集合である。

ここで疑問に思うのは、形式的な収束の概念のみを抜き出して、元の位相を復元できるかどうかである。つまり今定義したように「収束するネット」と「収束先」の情報から位相を定義し、その位相における収束と、あらかじめ与えた収束の情報が一致するだろうか。かつてこの問題について悩んだ記憶はあるが、そのまま記憶の彼方にあるということは、当時の私は解決に至らなかったようである。

下調べでは同様の疑問がいくつか見つかった。

「教えてGoo」では、まともな回答は得られていないようだ。 oshiete.goo.ne.jp

MathOverFlowではKellyのGeneral Topologyが参照されている。 mathoverflow.net

KellyのGeneral Topologyはarchive.orgにあって無料で読める。74ページ（ビューワーだと92）に条件が載っているが、ぱっと見た感じ、あまり美しくない。証明は読んでない。ただ、一応公理化は可能だということが分かる。 archive.org

仕方ないので、自分で考えることにした。以前、閉包作用子による位相の導入（クラトウスキイの公理系）を紹介したが、これを利用する。

自分の考え

定義 半順序集合{ ( A, \le_{A} ) }について、任意の{ \alpha, \beta\in A }に対し、ある{ \gamma\in A }が存在して{ \alpha\le\gamma, \beta\le\gamma }が成り立つとき、有向集合であるという。

定義 { ( B, \le_{B} ) }が{ ( A, \le_{A} ) }の部分有向集合であるとは、{ B\subset A }であり、{ \le_{A} }の{ B }への制限が{ \le_{B} }に一致し、任意の{ \alpha\in A }について、ある{ \beta\in B }が存在して{ \alpha\le\beta }を満たすときをいう。

定義 有向集合{ ( A, \le_{A} ) }と{ ( G, \le_{G} ) }の積は{ ( A\times G, \le_{A\times G} ) }で定める。但し{ ( \alpha, \gamma )\le_{A\times G}( \alpha^{\prime}, \gamma^{\prime} ) }とは{ \alpha\le_{A}\alpha^{\prime} }かつ{ \gamma\le_{B}\gamma^{\prime} }のことである。

定義 { ( A, \le_{A} ) }を有向集合とする。集合{ X }において、{ A }から{ X }への写像を{ X }上の有向ネット、あるいは単にネットといい、{ ( x_{\alpha} : \alpha\in A )\subset X }と表す。

定義 ネット{ ( x_{\alpha} : \alpha\in A )\subset X }及び{ x\in X }の組が集合{ \mathscr{A} }の元であることを、

{ x_{\alpha}\xrightarrow{\alpha\in A}_{\mathscr{A}}x }

と表すとしよう。{ \mathscr{A} }が以下の性質を満たすとき、{ X }上の収束族と呼ぶ。

  • 任意の{ x\in X }について、{ x\rightarrow_{\mathscr{A}}x }である。つまり1点からなる有向集合による{ x }への写像としてのネットが{ \mathscr{A} }に属する。
  • { x_{\alpha}\xrightarrow{\alpha\in A}_{\mathscr{A}}x }なら、部分有向集合{ ( B, \le_{B} ) }について{ x_{\beta}\xrightarrow{\beta\in B}_{\mathscr{X}}x }である。
  • { x_{\alpha}\xrightarrow{\alpha\in A}_{\mathscr{A}}x }かつ、{ \lbrace x_{\alpha} \rbrace_{\alpha\in A}\subset E\cup F }なら、ある部分有向集合{ ( B, \le_{B} ) }が存在して、{ \lbrace x_{\beta} \rbrace_{\beta\in B}\subset E }または{ \lbrace x_{\beta} \rbrace_{\beta\in B}\subset F }が成り立つ。
  • { x_{\alpha}^{\gamma}\xrightarrow{\gamma\in G}_{\mathscr{A}}x_{\alpha} }かつ、{ x_{\alpha}\xrightarrow{\alpha\in A}_{\mathscr{A}}x }なら、
{ x_{\alpha}^{\gamma}\xrightarrow{( \alpha, \gamma )\in( A\times G, \le_{A\times G} )}_{\mathscr{A}}x }

である。

定理 { \mathscr{A} }を収束族とする。空でない{ S\subset X }に対して

{ k( S ):=\lbrace x\in X : \exists x_{\alpha}\xrightarrow{\alpha\in A}_{\mathscr{A}}x, \lbrace x_{\alpha} \rbrace_{\alpha\in A}\subset S \rbrace }

と定めると、{ k }はクラトウスキイの公理系を満たす。（ただし{ k( \emptyset )=\emptyset }と定める。）

（証明）公理系を満たすことは簡単で、というか満たすように公理を定めたといって良い。実際{ k( \emptyset )=\emptyset }は定義より明白。1番目の条件より{ S\subset k( S ) }も分かる。{ A, B\subset A\cup B }より、{ k( A\cup B )\supset k( A )\cup k( B ) }も自明。{ x\in k( A\cup B ) }とすると、{ \lbrace x_{\alpha} \rbrace\subset A\cup B }を取れるが、3番目の条件から部分ネットが{ A }または{ B }に含まれることが分かり、更に2番目の条件から{ x\in k( A ) }あるいは{ x\in k( B ) }が従う。{ k( k( S ) )=k( S ) }も4番目の条件より従う。{ \square }

こうして位相が定まるが、重要なのは、位相における収束と一致するかどうかである。クラトウスキイの公理系では{ k( S ) }は{ S }の閉包と一致していた。

定理 { \mathscr{A} }を収束族とする。上で定めた位相において、

{ x_{\alpha}\xrightarrow{\alpha\in A}_{\mathscr{A}}x \Leftrightarrow \lim_{\alpha\in A}x_{\alpha}=x }

が成り立つ。

（証明）{ x_{\alpha}\xrightarrow{\alpha\in A}_{\mathscr{A}}x }とする。{ S=\lbrace x_{\alpha} \rbrace_{\alpha\in A} }とすると、{ x\in k( S ) }である。{ x }の開近傍{ U }を取る。任意の{ \gamma\in A }について、ある{ \delta\ge\gamma }が存在して{ x_{\delta}\notin U }とする。このとき{ \lbrace x_{\delta} \rbrace\subset U^{c} }は部分ネットとなり、更に{ x_{\delta}\rightarrow x }である。{ U^{c} }は閉集合だから{ x\in k( U^{c} )=U^{c} }となり矛盾する。故に{ \lim_{\alpha\in A}x_{\alpha}=x }が成り立つ。

逆に{ \lim_{\alpha\in A}x_{\alpha}=x }とする。{ x\in k( S )^{c} }とすると、{ k( S )^{c} }は開集合だから、ある{ \gamma\in A }が存在して、任意の{ \delta\ge\gamma }に対して{ x_{\delta}\in k( S )^{c} }である。これは矛盾する。{ \square }

所感

有向集合を高々可算集合に制限すれば、有向点列に対しても同様の議論ができる。これは示していないが、恐らく有向ネットによる位相が第1可算公理を満たせば一致すると思われる。

バナッハ空間の話でも、弱収束により収束族を定義でき、弱位相と上で定めた位相は一致するはずだ。

上記の話は、位相の公理系それぞれに対して、有用な例を与えることが出来たということで非情に嬉しい結果だと感じる。開基があれば開集合系から位相が定義できる。ザリスキー位相は閉集合系で定める。群など、何か演算があって位相を入れるときはハウスドルフの公理系が使える。

ちなみに境界の性質を抜き出して位相を定義することが可能か、という疑問についても昔考えたことがある。これは確か可能だったはずだが、一意性が成り立たない。つまり定義された位相の境界は、あらかじめ与えた境界と一致しない。上手く定義すればこれも解決できるかもしれないが。興味があればどなたかやってみてください。

収束族の定義は、グロタンディークによる位相の定義とどことなく類似を見ることが出来て興味深い。

ルベーグ-スティルチェス測度

数学

そろそろまともな例を挙げないと怒られる（誰に？）ので、所謂（ボレル集合族上の）ルベーグ測度を定義する。ルベーグ測度の構成法はいくつかあるが、ここでは右連続非減少函数の定めるスティルチェス測度の1つとして与える。

半環と測度

測度について議論する上で恐らく最弱の集合族の1つが半環だろう。

定義 集合{ 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, B\in\mathscr{S} }なら有限個の互いに素な元{ C_{1}, \dotsc, C_{n}\in\mathscr{S} }を用いて{ A\backslash B=\bigsqcup_{i=1}^{n}C_{i} }と表せる。

半加法族は半環であり、半環が全体集合{ S }を含むとき半加法族となる。

半加法族に対して成り立った補題が、半環上でも全く同じ証明により成立する。

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

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

と表せる。

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

次の命題も半加法族のときと全く同様に示すことができる。

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

  • { A\in\mathscr{S} }及び互いに素な{ A_{1}, \dotsc, A_{n}\in\mathscr{S} }に対し、
{ \displaystyle \bigsqcup_{i=1}^{n}A_{i}\subset A\Rightarrow\sum_{i=1}^{n}\mu( A_{i} )\le\mu( A ) }

が成り立つ。

  • { B\in\mathscr{S} }及び{ B_{1}, \dotsc, B_{n}\in\mathscr{S} }に対し、
{ \displaystyle B\subset\bigcup_{i=1}^{n}B_{i}\Rightarrow\mu( B )\le\sum_{i=1}^{n}\mu( B_{i} ) }

が成り立つ。

特に{ \mu }は単調かつ有限劣加法的である。

上の補題と命題から、次の命題を示すことができる。

命題 { \mu }を半環{ \mathscr{S}\subset 2^{S} }上の前測度とする。{ \lbrace A_{n} \rbrace_{n\in\mathbb{N}}\subset\mathscr{S} }に対し、互いに素な{ \lbrace D_{n} \rbrace_{n\in\mathbb{N}}\subset\mathscr{S} }が存在して、

{ \displaystyle \begin{align*} \bigcup_{n\in\mathbb{N}}A_{n}&=\bigsqcup_{n\in\mathbb{N}}D_{n}, & \sum_{n\in\mathbb{N}}\mu( A_{n} )&\ge\sum_{n\in\mathbb{N}}\mu( D_{n} ) \end{align*} }

を満たす。

（証明）{ B_{1}=A_{1}, B_{n+1}=A_{n+1}\backslash \bigcup_{i=1}^{n}A_{i} }とする。補題より互いに素な{ D_{n, 1}, \dotsc, D_{n, m_{n}}\in\mathscr{S} }が存在して{ B_{n}=\bigsqcup_{i=1}^{m_{n}}D_{n, i} }と表せる。このとき{ \bigcup_{n\in\mathbb{N}}=\bigsqcup_{n\in\mathbb{N}}B_{n} }が成り立つ。{ \mu }は単調かつ有限加法的なので

{ \displaystyle \sum_{n\in\mathbb{N}}\mu( A_{n} )\ge\sum_{n\in\mathbb{N}}\mu( B_{n} )=\sum_{n\in\mathbb{N}}\sum_{i=1}^{m_{n}}\mu( D_{n, i} ) }

となる。

半環上の前測度に対する測度への拡張問題については以下の定理が成り立つ。

定理 （カラテオドリの拡張定理） { \mu }は半環{ \mathscr{S}\subset 2^{S} }上の前測度とする。以下は同値である。

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

（証明）ホップの拡張定理と同様に証明したい。まず外測度{ \widehat{\mu} }の構成に関しては、{ \mu }から誘導される外測度を考える。

次に{ \mathscr{S}\subset\mathscr{M}_{\widehat{\mu}} }を示したい。{ A\subset\mathscr{S} }及び{ E\subset S }を取る。{ 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} }に対して、互いに素な{ D^{C}_{1}, \dotsc, D^{C}_{n( C )}\in\mathscr{S} }が存在して{ C\backslash A=\bigsqcup_{i=1}^{n( C )}D^{C}_{i} }と表せる。このとき{ \lbrace D^{C}_{i} : C\in\mathscr{C}, 1\le i \le n( C ) \rbrace\subset\mathscr{S} }は{ E\backslash A }の被覆となる。故に

{ \displaystyle \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( C )}\mu( D^{C}_{i} ) \\ &=\sum_{C\in\mathscr{C}}\left( \mu( C\cap A )+\sum_{i=1}^{n( C )}\mu( D^{C}_{i} ) \right) \end{align*} }

となる。このとき

{ \displaystyle C=( C\cap A )\sqcup\bigsqcup_{i=1}^{n( C )}D^{C}_{i} }

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

{ \displaystyle \mu( C\cap A )+\sum_{i=1}^{n( C )}\mu( D^{C}_{i} )=\mu( C ) }

が従う。

以上により{ \widehat{\mu} }は{ \sigma\lbrack \mathscr{S} \rbrack }上の測度となることが分かった。最後に{ \mathscr{S} }上での値を見てみよう。まず{ A\in\mathscr{S} }に対して定義より{ \widehat{\mu}( A )\le\mu( A ) }が成り立つ。逆を示すために{ A }の被覆{ \mathscr{C}\subset\mathscr{S} }を取る。先の命題より、互いに素な{ \lbrace D_{n} \rbrace_{n\in\mathbb{N}}\subset\mathscr{S} }が存在して

{ \displaystyle \begin{align*} \bigcup_{C\in\mathscr{C}}C&=\bigsqcup_{n\in\mathbb{N}}D_{n}, & \sum_{C\in\mathscr{C}}\mu( C )&\ge\sum_{n\in\mathbb{N}}\mu( D_{n} ) \end{align*} }

を満たす。{ \lbrace D_{n} \rbrace_{n\in\mathbb{N}}\subset\mathscr{S} }も{ A }の被覆となるから、{ \mu }の弱可算劣加法性及び単調性より

{ \displaystyle \mu( A ) = \mu\left( \bigsqcup_{n\in\mathbb{N}}A\cap D_{n} \right) \le \sum_{n\in\mathbb{N}}\mu( A\cap D_{n} ) \le \sum_{n\in\mathbb{N}}\mu( D_{n} ) \le \sum_{C\in\mathscr{C}}\mu( C ) }

を得る。右辺の下限を取れば{ \mu( A )\le\widehat{\mu}( A ) }が従う。{ \square }

定理により、半環上の前測度に対しても、可算加法性、可算劣加法性、弱可算劣加法性は全て同値となる。

スティルチェス測度

この節では、ユークリッド空間{ \mathbb{R} }の通常の位相{ \mathcal{O} }において、ボレル集合族{ \sigma\lbrack \mathcal{O} \rbrack }上の測度として、スティルチェス測度の構成を行う。一般論ではなく具体例に関する内容であることから、連続性の公理に始まる実数{ \mathbb{R} }の性質、あるいは距離空間としての位相的性質、そして解析的な連続性の扱い方などについては既知とする。和書なら杉浦光夫「解析入門」が網羅的である。ここで用いる大事な性質を一つ挙げるならば、有界閉区間のコンパクト性である。即ち、閉区間を任意個の開区間で覆ったとき、その中の有限個を選んで再び閉区間を覆うようにできる。コンパクト性については後の章で改めて議論する。

まず{ \mathcal{O} }は開区間から為る可算開基{ \mathcal{B}=\lbrace ( a, b ) : a, b\in\mathbb{Q}, a\lt b \rbrace }を持つ。つまり第2可算公理を満たすのだが、{ \mathcal{O} }は測度論的には扱い難い。そこで次の集合族について考える。

命題 空集合及び左半開区間から為る集合を{ \mathscr{I}:=\lbrace ( a, b \rbrack : a, b\in\mathbb{R}, a\lt b \rbrace\cup\lbrace \emptyset \rbrace }とする。このとき{ \mathscr{I} }は半環であり、{ \sigma\lbrack \mathcal{O} \rbrack=\sigma\lbrack \mathscr{I} \rbrack }を満たす。

（証明）{ \mathscr{I} }が半環となることは良いだろう。差集合を取るときが特殊で、{ ( a, b \rbrack\subset( c, d \rbrack }のときに限り{ ( c, d \rbrack\backslash( a, b \rbrack=( c, a \rbrack\sqcup( b, d \rbrack }となるので{ \mathscr{I} }の元の非交叉有限和である。

{ ( a, b \rbrack\in\mathscr{I} }に対し、{ a\lt c\lt b }なる{ c\in\mathbb{Q} }を取る。また数列{ ( a_{n} )_{n\in\mathbb{N}}, ( b_{n} )_{n\in\mathbb{N}}\subset\mathbb{Q} }を、{ a_{n}\searrow a, b_{n}\searrow b, a\lt a_{n}\lt c\lt b\lt b_{n} }を満たすように取る。このとき

{ \displaystyle ( a, b \rbrack=\left( \bigcap_{n\in\mathbb{N}}( c, b_{n} ) \right)\cup\left( \bigcup_{n\in\mathbb{N}}( a_{n}, c ) \right) }

であるから、{ ( a, b \rbrack\in\sigma\lbrack \mathcal{B} \rbrack }を得る。

逆に{ ( a, b )\in\mathcal{B} }に対し、数列{ ( b_{n} )_{n\in\mathbb{N}}\subset\mathbb{Q} }を{ a\lt b_{n} \lt b }を満たすように取る。このとき

{ ( a, b )=\bigcup_{n\in\mathbb{N}}( a, b_{n} \rbrack }

であるから、{ ( a, b )\in\sigma\lbrack \mathscr{I} \rbrack }を得る。{ \square }

以下ボレル集合族{ \sigma\lbrack \mathcal{O} \rbrack=\sigma\lbrack \mathcal{B} \rbrack=\sigma\lbrack \mathscr{I} \rbrack }のことを{ \mathscr{B}( \mathbb{R} ) }で表す。

命題 { \varphi\colon\mathbb{R}\rightarrow\mathbb{R} }は右連続な非減少函数とする。{ ( a, b \rbrack\in\mathscr{I} }に対し

{ \mu( ( a, b \rbrack ):=\varphi( b )-\varphi( a ) }

と定めると、{ \mu }は半環{ \mathscr{I} }上の前測度となる。

（証明）{ \mu }が有限加法的であることは明らかだろう。実際{ ( a, b \rbrack=( a_{1}, b_{1} \rbrack\sqcup\dotsm( a_{n}, b_{n} \rbrack }とすると、{ a_{1}=a, a_{n+1}=b_{n}, b_{n}=b }より、

{ \begin{align*} \mu( ( a, b \rbrack ) &= \varphi( b )-\varphi( a ) \\ &= ( \varphi( b_{n} )-\varphi( a_{n} ) )+\dotsm+( \varphi( b_{1} )-\varphi( a_{1} ) ) \\ &= \mu( ( a_{n}, b_{n} \rbrack )+\dotsm+\mu( ( a_{1}, b_{1} \rbrack ) \end{align*} }

が成り立つ。

{ \mu }が弱可算劣加法的であることを示そう。{ ( a, b \rbrack=\bigsqcup_{n\in\mathbb{N}}( a_{n}, b_{n} \rbrack }とする。{ \varepsilon\gt 0 }とする。{ \varphi }は右連続だから、十分小さな{ \delta, \delta_{n} \gt 0 }を取り、

{ \displaystyle \begin{align*} \varphi( a+\delta )-\varphi( a )&\lt\frac{\varepsilon}{2}, & \varphi( b_{n}+\delta_{n} )-\varphi( b_{n} )\lt\frac{\varepsilon}{2^{n+1}} \end{align*} }

を満たすようにできる。{ \lbrack a+\delta, b \rbrack\subset\bigcup_{n\in\mathbb{N}}( a_{n}, b_{n}+\delta_{n} ) }より、コンパクト性から有限集合{ F\subset\mathbb{N} }を選び、特に{ ( a+\delta, b \rbrack\subset\bigcup_{n\in F}( a_{n}, b_{n}+\delta_{n} \rbrack }が成り立つようにできる。{ \mu }は半環{ \mathscr{I} }上の前測度だから、

{ \displaystyle \begin{align*} \mu( ( a, b \rbrack ) &= \varphi( b )-\varphi( a ) \\ &\lt \varphi( b )-\varphi( a+\delta )+\frac{\varepsilon}{2} \\ &= \mu( ( a+\delta, b \rbrack )+\frac{\varepsilon}{2} \\ &\le\sum_{n\in F}\mu( ( a_{n}, b_{n}+\delta_{n} \rbrack )+\frac{\varepsilon}{2} \\ &\lt \sum_{n\in F}\mu( ( a_{n}, b_{n} \rbrack )+\varepsilon \\ &\le \sum_{n\in\mathbb{N}}\mu( ( a_{n}, b_{n} \rbrack )+\varepsilon \end{align*} }

を得る。{ \varepsilon }は任意だから、{ \mu }の弱可算劣加法性が従う。{ \square }

拡張定理より{ \mathscr{B}( \mathbb{R} ) }上の測度であり、{ \mathscr{I} }上で{ \mu }と一致するものが存在する。特に{ \mu }は{ \sigma }-有限なので、拡張された測度も{ \sigma }-有限である。更に{ \mathscr{I} }は有限交叉で閉じるので、このような測度は一意的である。

定義 右連続な非減少函数{ \varphi\colon\mathbb{R}\rightarrow\mathbb{R} }に対し、{ \mathscr{B}( \mathbb{R} ) }上の{ \sigma }-有限な測度で、{ ( a, b \rbrack\in\mathscr{I} }に対して{ \mu( ( a, b \rbrack )=\varphi( b )-\varphi( a ) }となるものを、（ボレル集合族{ \mathscr{B}( \mathbb{R} ) }上の）スティルチェス測度（Stieltjes measure）と呼ぶ。

特に{ \varphi( x )=x }のとき、（ボレル集合族{ \mathscr{B}( \mathbb{R} ) }上の）ルベーグ測度（Lebesgue measure）と呼ぶ。

所感

拡張定理に関して、カラテオドリ自身は半環ではなく、集合環という少し強い条件のクラスを考えていたらしい。集合環についてはまたどこかで扱いたい。

今回self-containedにならなかったけど仕方ない。

位相空間に入る「自然な」測度を考えるのは研究する価値がある。例えば距離空間に入る測度として、フラクタル関連でよく用いるハウスドルフ測度がある。表現論などでは局所コンパクトハウスドルフ位相群上に、群作用で不変な（位相的に良い性質を持つ）測度としてハール測度がある。これらに関しては後の章で扱う予定。

他にも大事な例があったら教えて欲しい。

位相空間と可測空間

数学

数学における主要な構造の一つに位相構造というものがある。位相空間に関する和書も、測度論と同様に良書が数多くあるので詳しくはそちらに譲る。ちなみに自分は記述が丁寧で内容が濃いにも拘わらず薄くて携帯性の良い内田伏一を推している。この文章を読むためには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} }が空でないときは

{ \displaystyle \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 }

が成り立つ。ここで

{ \displaystyle \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探訪