位相空間をフィルターを使って論じたブログに反響がありました.特に,位相空間を一般化した前位相空間について知りたいという声がありました.位相空間が一般化できるとは思いもしなかった人がかなりいるのではないかと思います.
この記事では,フィルターの収束が定義されている収束空間まで位相空間を一般化します.いきなり一般的な定義を紹介してもしっくりこないと思うので,
の順に少しずつ一般化していきます.収束空間を使うと説明がしやすいので,具体例は収束空間を導入した後に述べます.単なる一般化ではなく,収束空間の概念をベースにして位相的な性質を議論すると分かりやすいと感じていただければ嬉しいです.
位相空間
まず,位相空間とフィルターについて,この記事の前提知識を復習しておく.(前のブログを読んだ方やフィルターで位相空間を論じることに詳しい方は次節から読むと良い.)
集合 が位相空間であるとは,各点 に対して、 の部分集合からなる空でない集合族 が存在して以下が成り立つことをいう:
(i) すべての に対して,;
(ii) かつ ならば ;
(iii) ならば ;
(iv) すべての に対して、ある が存在して、すべての に対して .
を の近傍系という.
集合 に対して,の部分集合からなる空でない集合族 がフィルターであるとは,以下が成り立つことをいう:
(i)
(ii) かつ ならば ;
(iii) ならば .
二つのフィルター に対して, が成り立つとき, は よりも粗い,または, は よりも細かいなどという.
フィルター が極大フィルターであるとは,フィルター に対して, ならば が成り立つことを言う.
位相空間 におけるフィルター が点 に収束するとは,の近傍系 よりも が細かいこと,つまり, が成り立つことをいう.
が に収束するとき, は の 極限点という.
集合 に対して,の部分集合からなる空でない集合族 がフィルター基であるとは,以下が成り立つことをいう:
(i)
(ii) ならば,ある が存在して .
フィルター ある が存在して を で生成されるフィルターと呼ぶ.
で生成されるフィルター が に収束するとき,フィルター基 が に収束すると言う.
位相空間 と関数 に対して, が で連続であるとは, に収束する における全てのフィルター に対して,フィルター基 が に収束することである.
位相空間 がコンパクト であるとは,任意の極大フィルターが極限点を持つことである.
位相空間 がハウスドルフであるとは, における任意のフィルターが高々1つしか極限点を持たないことをいう.
(つまり,フィルターが2つ以上の極限点を持たない空間がハウスドルフ空間である.)
以降,位相空間を一般化していくのであるが,上記の定義ではフィルターの収束のみを使っている.よって,フィルターの収束さえ定まっていれば,例えば連続写像やコンパクト性が同様に定義できる.以降,フィルターの収束を使って定義できる概念はフィルターの収束さえ定まれば同様に定義できるが,この記事ではフィルターの収束が定まっている空間のみを扱うので,一般化した空間でも同様に定義されていくものとして理解せよ.
前位相空間
位相空間を一般化する.特に,フィルターの収束さえ定まればいいので,近傍系の公理(iv)は必要ない.公理(iv)を要請しない空間を前位相空間と呼ぶ.
集合 が前位相空間(pretopological space)であるとは,各点 に対して、 の部分集合からなる空でない集合族 が存在して以下が成り立つことをいう:
(i) すべての に対して,;
(ii) かつ ならば ;
(iii) ならば ;
前位相空間 におけるフィルター が に収束するとは, が成り立つことをいう.
をフィルター場という.
前位相空間でも閉包や閉集合を考えたいが,それらの性質は位相空間と違ってくる.
ここで,位相空間とは違い が成り立つとは限らない.しかし,閉集合はなぜかうまく定義できる.
この事実を私は以下のように捉えている.前位相空間でも閉集合は定義できる.位相空間と同じように考えるには, が閉集合であってほしい.しかし,上で述べたように とは限らず,つまり, が閉集合とは限らない.つまり,前位相空間は位相空間よりも閉集合が少ない空間である.
(擬)開核作用素や開集合は補集合をとることで,(擬)閉包作用素や閉集合から定義できる.ここは位相空間とまったく同じである.だから,前位相空間は開集合が少ない空間であると考えても良い.
このような観点に立つと,前位相空間の以下の事実も納得がいく.
Proof. 閉集合 の引き戻し が閉であることを示せば良い.つまり, を示せばよい. は擬閉包の性質から分かっているので, を示す. とすると, におけるフィルター で かつ が に収束するものが存在する. が連続なので, は に収束する.また, かつ より である.以上より, であるが が閉集合だったので である.よって となり証明が終わる.
逆が成り立たないことは最後に例でみる.
つまり,位相空間では開集合の引き戻しが開集合であることで連続性を定義するが,前位相空間では開集合が少ないので開集合を見ただけでは全ての点で連続かどうかが分からないのである.逆に言えば,開集合で連続性が定義できることこそ位相空間のよさだとも言える.前のブログでコンパクトからハウスドルフへの連続全単射が同相写像であることを見たが,その証明で開集合による連続性の特徴付けを用いているため,一般の収束空間ではこの定理は成り立たない.
さて,前位相空間はフィルター場という基準を与えることでフィルターの収束を定めていた.単にフィルターの収束を与えるだけで空間を定義し一般化したいので,収束の性質をまとめてみる.
前位相空間において,フィルター が に収束することと, より細かい全ての極大フィルターが に収束することが同値.
Proof.任意のフィルターは極大イフィルターの共通部分として書けることが知られている.つまり
は極大フィルターで
が成り立つ.これと, が が に収束することであったことからすぐにわかる.
この命題により,前位相空間において,フィルターの収束は極大フィルターの収束で決まってしまうことが分かる.
次に,極大フィルターの中でも唯一具体的に書ける主極大フィルターを導入する.
集合 と元 に対して,フィルター
は極大フィルターである.これは でもある.この極大フィルターを の主極大フィルター と呼び,で表す.
前位相空間の定義において,フィルター場の公理 (i) は の主極大フィルター が に収束することを表している.
以上を踏まえれば,前位相空間を一般化できる.
ショケ空間
集合 がショケ空間(Choquet space)であるとは,各点 に対して、極大フィルターの集合 が定まっており以下が成り立つことをいう:
(i) 任意の に対して, が成り立つ.
極大フィルター が を満たすとき,極大フィルター が に収束するという.
ショケ空間においてフィルター が に収束するとは, より細かい全ての極大フィルターが に収束することとする.
(注意.ショケ空間は擬位相空間(psudotopological space)と呼ばれることも多い.)
つまり,ショケ空間とは極大フィルターの収束を定めたものである.前節で述べたように,極大フィルターの収束さえ定めれば全てのフィルターの収束を定めることができる.
ショケ空間でも位相空間における近傍系や前位相空間におけるフィルター場のようなものを定めよう.
ショケ空間 とその元 において
に収束する全てのフィルター が を含む
と定める. を における近傍フィルターと呼ぶ.
前位相空間ではフィルター場により収束が定まったが,ショケ空間ではフィルターの収束が近傍フィルターで定まらない.
ショケ空間において,フィルター が に収束するなら, が成り立つ.
逆が成り立つとは限らない.
証明は近傍フィルターの定義から明らか.
ショケ空間では より細かいフィルターが に収束するとは限らない.特に,近傍フィルター 自体が に収束するとは限らない.
さて,ショケ空間は極大フィルター収束により,全てのフィルターの収束を定めた.そうではなく,フィルターの収束を一気に定義したい.そのために,ショケ空間のフィルターの収束の性質を調べ,それによりフィルターの収束を公理化しよう.
ショケ空間 において以下が成り立つ:
(a) フィルター が に収束し, が成り立つなら も に収束する;
(b) フィルター が に収束するなら,フィルター も に収束する.
Proof.(a)は明らか. より細かい極大フィルターは, よりも細かいので,(b) が分かる.
命題 (a) はこれまでも使っていたように,収束するものより細かいフィルターはやはり収束する.命題 (b) は収束する二つのフィルターより粗いものの中でもっとも細かいものが収束することを意味する。
収束空間
集合 が収束空間であるとは,各点 に対して、フィルターの集合 が定まっており以下が成り立つことをいう:
(i) 任意の に対して, が成り立つ.
(ii) フィルター , が成り立つなら が成り立つ;
(iii) フィルター が ならば,フィルター が成り立つ.
(注意.論文によってはこの空間を極限空間(limit space)と呼び,(iii)の条件をもう少し一般化したものを収束空間と呼んでいる.)
収束空間はショケ空間とは違い,極大フィルターの収束で全てのフィルターの収束が決まっているわけではない.コンパクト性は極大フィルターで定義されているので,ショケ空間でなければ成り立たない結果がいくつかある.
収束空間のまとめ
を収束空間とする.
(a) がショケ空間から定まる収束空間のとき, はショケ的であるという.
(b) が前位相空間から定まる収束空間のとき, は前位相的であるという.
(c) が位相空間から定まる収束空間のとき, は位相的であるという.
さらに,以下のことが簡単に分かる.
を収束空間とする.
(a) がショケ的であることと,フィルター より細かい任意の極大フィルターが に収束するなら も に収束することが同値.
(b) が前位相的であることと,近傍フィルター が に収束することが同値.
(c) が位相的であることと,前位相的かつ任意の に対して が成り立つことが同値.
例
最後に,例を挙げる.自然な例を挙げるというよりは,本当に一般化した空間に入る例があることを確認することが目的である.
前位相的だが位相的でない例
実数体 に普通の位相を入れた収束構造を とする.一方,収束構造 を
に対しては, とし,
かつ,全ての に対して
と定める.つまり,以外への収束は通常の同じで , に収束するには有理数体と交わり続けることも条件に加えたものが収束空間 である.簡単のため,通常の収束構造を定めたものを単に とし, を と表す.
は前位相空間である: これを見るには,近傍フィルターとの包含関係によりフィルターの収束が定めることを見れば良い. は見る必要がないので, のみを見れば良い. と が同値であることを見れば良いが, を見れば十分である. は に収束する全てのフィルターに含まれているので, となる.また, より, は普通の位相で収束する.よって, である.以上により, は前位相空間である.
Proof.収束構造 により, を元にもつフィルターは に収束しないので,.一方, が閉包に入るかどうかは通常と同じなので, である.
主極大フィルター を,この空間でも に収束するように変形したフィルター
は に収束し, なので, である.よって,.
ショケ空間だが前位相空間でない例
無限個の元を持つ集合を とする. の極大フィルターの収束を,主極大フィルターが(任意の) に収束し,主極大フィルター以外の極大フィルターは収束しないとして収束を定めたショケ空間を考える.まず, であることが分かる.実際, で となるものがあったとし をとると,主極大フィルター は に収束するが,近傍フィルターの定義より となる.これは に矛盾.つまり, である.このとき, が に収束することと, が より細かいことが同値と仮定して矛盾を導く.ここで,フレシェフィルターと呼ばれるフィルター
が有限集合
を考える. より細かい極大フィルターを とする. が無限集合であることから は主極大フィルターではないことが分かる.一方, となり.仮定から は収束する.主極大フィルターではないフィルターが収束することになり矛盾.よって,仮定が間違っていたことになり,前位相的ではないことが分かる.
この収束空間の閉集合を調べよう.一点集合 の閉包を考える. を取ったとき,主極大フィルター は を元に持ち に収束する.つまり任意の元が閉包に含まれるので, となる.よって閉集合は のみである.
さて,上と同じ に全ての極大フィルターが全ての点に収束するとして収束を定めたショケ空間を と表すことにする.すると,上と同様に であり,閉集合は のみとなる. とは違い任意のフィルターが任意の点に収束するとしているので,前位相的であり,もっと言うと密着位相が入った位相空間である.
さて, を考える. の閉集合は同じなので,開集合の引き戻しは開集合である.しかし, のフィレシェフィルター は収束するが,その像 は で収束しない.よって, は連続でない.これは,開集合の引き戻しが開集合でも連続とは限らないことを意味する.これが命題13の例を与えている.
収束空間だがショケ空間でない例
を通常の位相により定まる収束空間とし, を
普通の位相で に収束する有限個の極大フィルター が存在して, と定める.
収束空間であることは分かる.極大フィルターの収束性は通常と変わらない.普通の位相での近傍フィルターを をとる. より細かい極大フィルターは普通の位相で に収束するので でも に収束する.一方, より細かい極大フィルターは無限個あるので, で は に収束しない.よって,ショケ空間ではない.