位相空間と可測空間
数学における主要な構造の一つに位相構造というものがある。位相空間に関する和書も、測度論と同様に良書が数多くあるので詳しくはそちらに譲る。ちなみに自分は記述が丁寧で内容が濃いにも拘わらず薄くて携帯性の良い内田伏一を推している。この文章を読むためにはwikipediaの記述で十分なのだが、関連項目に絞って記述しておくのも悪くないので、この節を設けることにした。
位相空間と連続写像
定義 集合においてが次の3条件を満たすとき、は上の位相(topology)あるいは開集合系であるという。
- である。
- ならである。
- についてならである。
このとき組を位相空間といい、集合は(-)開集合(open set)であるという。
例えばは包含関係における最小の位相を定め、密着位相(indiscrete topology)と呼ばれる。または包含関係における最大の位相を定め、離散位相(discrete topology)と呼ばれる。この二つは自明(trivial)な位相とも呼ばれる。
位相は「近さ」の一般化であるとよく言われるが、上の定義だとその感覚が良く分からないだろう。実は位相には同値な公理系が複数存在し、そのうちの一つに「近傍系」を利用するものがある。これを説明するために幾つかの用語を定義しよう。
定義 を位相空間とする。がを満たすとき、(-)閉集合(closed set)であるという。
- である。
- ならである。
- についてならである。
逆にこれを満たすに対し、を閉集合とする上の位相が唯一つ存在する。
定義 を位相空間、とする。について以下を定める。
- ある開集合が存在してが成り立つときはの内点であるという。の内点全体をあるいはで表し、の内部(interior)あるいは開核という。
- がの内点であるときはの外点であるという。の外点全体をで表し、の外部(exterior)という。
- がの内点でも外点でもないときはの境界点であるという。の境界点全体をで表し、の境界(frontier)という。
- 任意の開集合についてならが成り立つときはの触点であるという。の触点全体をあるいはで表し、の閉包(closure)という。
はに含まれる最大の開集合であり、はを含む最小の閉集合である。
演習 位相空間において、開核作用子はについて以下を満たす。
- である。
- である。
- である。
- である。
逆にこれを満たす写像に対し、をの内部とする上の位相が唯一つ存在する。
(ヒント)とすればよい。
演習 (クラトウスキイの公理系) 位相空間において、閉包作用子はについて以下を満たす。
- である。
- である。
- である。
- である。
逆にこれを満たす写像に対し、をの閉包とする上の位相が唯一つ存在する。
(ヒント)とすればよい。
定義 を位相空間、とする。がを満たすとき、の近傍(neighborhood)であるという。の近傍全体をで表し、の近傍系という。
演習 (ハウスドルフの公理系) 位相空間において、近傍系はについて以下を満たす。
- であり、ならである。
- ならである。
- であり、ならである。
- について、あるが存在し、任意のについてが成り立つ。
逆にこれを満たす写像に対し、をの近傍系とする上の位相が唯一つ存在する。
(ヒント)とすればよい。
次に連続写像を定義する。
を満たすとき、はにおいて連続(continuous)であるという。
(証明)略。
定義 上の4条件の何れか(従って全て)を満たすとき、は位相空間からへの連続写像という。
連続写像の合成は連続写像であり、恒等写像は連続写像である。故に位相空間と連続写像は圏の対象と射を定める。これを位相空間の圏といい圏と記す。
ボレル集合族
定義 位相空間に対し、位相により生成される-加法族をボレル集合族と呼ぶ。特に-可測であることをボレル可測であるという。
ボレル集合族は、位相が明らかな場合はと記すこともある。
位相空間に対し、連続写像は-開集合を-開集合に引き戻す。従っては可測空間からへの可測函数を定め、更にこれは圏から圏への函手を定める。この函手をボレル函手と呼ぶことにする。
位相も-加法族と同様に、直接指定されて表されるという状況はあまり多くなく、大抵は基本となる集合族が位相を「生成」していると考える。「生成」の方法はいくつかあるが、ここでは開基というものを紹介しよう。
定義 を位相空間、とする。任意の開集合に対し、あるが存在してと表せるとき、は位相の開基(open base)であるという。
言い換えれば、任意の開集合及びに対し、適当なを取ればが成り立つようにできる。
注意 集合族についてが空でないときは
と定め、
と定める。
通常の位相を持ったユークリッド空間の開基としては、例えば開区間全体がある。当然開集合全体も開基であり、位相については様々な開基を考えることが出来る。しかし、開基が定める位相は次の命題より一意的である。
命題 を集合、とする。次は同値である。
- はある位相の開基である。
- 次の2条件を満たす。
- である。
- 及びについて、あるが存在してを満たす。
このときを開基とする位相は一意的である。
(証明)位相がを開基とするなら、
という等式を満たさなければならない。一意性はこれより明らか。また下の2条件を満たすとき、この等式で定めたは位相を定め、はその開基となる。上から下も簡単。
さて位相空間の開基について考えるとき、当然問題となってくるのは、開基により生成される-加法族と、位相により生成される-加法族との関係である。もちろんは成り立つが、これは必ずしも一致するとは限らない。
定義 を位相空間とする。位相が、高々可算個の開集合からなる開基を持つとき、第2可算公理を満たすという。
補題 位相空間は第2可算公理を満たし、開基はその可算開基を含むとする。このときが成り立つ。
(証明)開集合について、は可算開基を含むので、を取りと表せる。このときを得るから、最小性よりが従う。
積位相空間とボレル集合族
位相空間に対しても積を考えることが出来る。我々は可測空間において有限積しか今の所は考えていないので、位相空間においても同様に有限積のみを考えることにする。
定義 を位相空間とする。
は開基の2条件を満たし、ある一意的な位相の開基となる。この位相を箱型積位相(box product topology)と呼び、を箱型積位相空間という。
実は、任意の添え字を持つ位相空間の族について、その直積集合上に積位相と呼ばれる位相を定めることができ、これを積位相空間、あるいは単に積空間と呼ぶ。このとき積空間と各成分への射影は普遍性を満たし、圏における積対象となる。積空間の位相は一般的に箱型積位相とは異なるものだが、添え字集合が有限のときには一致する。従って上で定めた箱型積位相空間は、積空間であり、との積対象でもある。これより、以下では「箱型」という用語は省略して述べる。
命題 を位相空間とする。をの開基とすれば、は積位相の開基となる。
特にが可算のとき、も可算である。故に有限積は第2可算公理を保つ。
(証明)開基の2条件が成り立つことを示せば良い。
位相空間について、をその開基、をその積空間とする。このとき
が成り立つ。ここで
が成り立つので、
も成り立つ。
ここで興味があるのは、これらの包含関係が「いつ」等号となるかという疑問である。この一つの答えを、我々は第2可算公理の文脈で得ることが出来る。
定理 位相空間は第2可算公理を満たし、はその可算開基とする。積位相をとすれば、
が成り立つ。
(証明)補題より及びが成り立つ。従って上の議論からとなるため、逆を示せば良い。
を射影とする。このとき積位相の定義よりは連続写像となるから、可測写像でもある。従って普遍性より、唯一つの可測写像が存在して、図式を可換にする。このときは定め方より恒等写像となるが、可測性よりを得る。
定理の示すところは、可算開基を持つ位相空間について、積位相空間のボレル集合族は、ボレル集合族の積-加法族である、ということであり、ボレル集合族の表記に倣えばが成り立つということを意味している。この意味でボレル函手は有限積に関して自然に振舞うことが分かる。
所感
最後に述べた定理(特に逆を示すところ)は、直接示そうとしたら上手く行かなそうな気がして、どこか間違っている気がしてならない。何か変なことしてたら指摘して下さい。
訂正
第一回の最後で、生成と積の関係を述べた命題を書いたが、これは誤り。この命題は他では使ってないので大丈夫なはず。 可測空間と可測写像 - arXiv探訪
また第五回の最初の命題は、可測空間である必要はなくて、なら十分。 積測度空間 - arXiv探訪