Urysohn の距離化定理とその周辺 その 2
反例パートです。ご存知でしょうが反例とは何らかの(成り立ちそうな)主張に対し、その例の存在により主張が成り立たないことが示される例のことです。つまりヘンな位相空間/群/環/etc. とかヘンな写像とかそういうものです。
又聞きですが 20 世紀最大の数学者 Grothendieck は言ったそうです。位相空間は病的なものがあるから空間概念としてダメだと。しかし一方でその事実は、位相空間を、空間概念を定式化するための道具にとどまらず、それ自身魅力的な研究対象とするものでした。
例えば以下で見るように正規空間の積は(実は完全正規パラコンパクトのような強い仮定のもとであってさえ)正規とは限りません。これは、積空間の正規性は因子空間に強い影響を及ぼすということに他ならないでしょう。その話題は多くの人を惹き付けて、それについて興味深い結果がいくつも生まれたようです。
病的な空間が存在するほどに、位相空間論は魅力を増すと私は考えています。以下いくつか反例たちを見ていきます。参考文献は Steen-Seebach "Counterexamples in Topology"
◆◆◆◆◆◆◆◆◆◆◆◆◆
例. (Sorgenfrey 直線)
において の形の集合すべてを開基として指定する.これは 0 次元可分だが第 2 可算でない.ゆえに距離化不能である.
を開基とする.すべての について,ある が存在して となる. に対し より である.よって は単射となる. //
この例は(本質的に) Alexandroff による,と伝えられている.Sorgenfrey はこの空間が,パラコンパクトでありながら 2 つの積がパラコンパクトでないという性質をもつことを示した.この空間 2 つの積が正規でない(特にパラコンパクトでない)ことを示そう.
が正規であると仮定する. は離散閉部分集合である.Tietze の拡張定理よりすべての は連続写像 に拡張するので,連続写像の集合の濃度について である.
一方で は有理点全体 という可算稠密部分集合をもち, となって矛盾を生じる. //
なお Sorgenfrey 直線の有理点全体 は可算個の点からなる第 1 可算空間なので第 2 可算であり 0 次元なので正則で距離化可能となる.そして孤立点をもたないので に同相である. は と台集合を同じくするが真に強い位相をもつことに注意せよ.
これから,連続濃度の離散閉部分集合をもつ可分空間は正規でないことがわかる.例えば定義はしないが Moore-Niemytski-van Dantsig bubble plane など.また Sorgenfrey 直線の積について, の有理点と無理点が開集合で分離されないことが,Baire の範疇定理を用いることでわかる.これも同様の議論が Moore plane に通用する.
正規性は部分空間に継承されることも一般にはない.
例. (Tychonoff の板)
(これはコンパクト Hausdorff である)から 1 点 を除いたものにおいて, と は開集合によって分離できない.
を開とする.各 について なる がある. とすると となる. なので である. //
ここまで挙げた例はいずれも完全正則である.完全正則性は積と部分空間をとる操作について閉じているからである.正規でない完全正則空間が与えられると,似た性質をもつ完全正則でない正則空間を生み出すことができる.
Jones Machine
を非正規空間, と を分離されない非交叉閉集合とする. を のコピーとする. を の中の とする.奇数の について と の対応する点を,偶数の について と の対応する点をそれぞれ同一視する.
点 を付加し, を における基本近傍系とすることで位相を入れる.
この空間から単位閉区間への連続写像で, となるようなものは存在しない.それを証明しよう.
定義.
と を位相空間 の非交叉閉部分集合とする. の閉部分集合 は,すべての開集合 について となるとき に関して強いという.
補題.
と は位相空間 の非交叉閉集合, は に関して強い の閉部分集合で は を含む開集合とすると, は に関して強い.
証明.
, なる開集合 が存在したと仮定する. は を含む開集合で,その閉包は と交わらない.これは が に関して強いことに反する. //
連続写像の非存在の証明.
条件を満たす関数 が存在するとする. を に収束する の中の狭義単調減少列とし とおく.
で は開なので となるような がある.従って となるような偶数 がある.
補題より は に関して強い. であるから は に関して強い. は を含む開集合なので補題より は に関して強い.
これを 回くらい繰り返すことで となるような が得られ, であるから仮定に反する. //
上の構成を,上方向に巻きながら貼り合わせていき無限遠点を付け加える操作と見なせば,さらに下方向にも巻きながら貼り合わせていき無限遠点を付け加えることで,その上の実数値連続関数が上下の 2 つの無限遠点で必ず同じ値をとるような空間を作ることができる.Tychonoff の板から作ったこのような空間は Tychonoff Corkscrew と呼ばれる.さらに Steen-Seebach "Counterexamples in Topology" 92 Hewitt's Condensed Corkscrew のようにして,その上の実数値連続関数がすべて定数であるような正則空間を構成することができる.任意の正規でない空間とその中の分離できない非交叉閉集合を出発点としてである.その構成は次のようにも述べられる.
その上の実数値連続関数が定められた 2 点で必ず同じ値をとるような空間に対して,その空間の 2 つの点の組すべてに対応してその空間のコピーを用意し,それぞれのコピーの定まった 2 点を,そのコピーに対応する 2 点とそれぞれ同一視する.そうしてできた空間に対し,その 2 つの点の組すべてに対応してもとの空間のコピーを用意し,それぞれのコピーの定まった 2 点を,そのコピーに対応する 2 点とそれぞれ同一視する.これを可算回くり返すことで求める空間を作ることができる.
正則でその上の実数値連続関数がすべて定数であるような空間だけでなく,第 2 可算でその上の実数値連続関数がすべて定数であるような空間も存在する.可算個の点からなる第 1 可算連結 Hausdorff 空間がそのようなものになる.理由は各々考えられたい.具体例としては Counterexamples~ の 60,61 などが挙げられる.連結 Hausdorff 可算空間については次のブログ記事が参考になろう.
正則第 2 可算ならば距離化可能で,従ってその上には豊富に関数が存在するわけだが,そのどちらの条件が欠けても,その上に定数以外の実数値連続関数が存在しないようなものが存在するということが分かる.
因みに可算個の点からなる正則空間は距離化可能か,というとこれは成り立たず,例えば可算離散空間の 1 点コンパクト化を可算個用意してすべての無限遠点を同一視すると,できる空間はその同一視された点において第 1 可算でない.ただし,可算個の点からなる正則空間は必ず 0 次元となる.そう難しくないので試みよ.
◆◆◆◆◆◆◆◆◆◆◆◆◆
「Urysohn の距離化定理とその周辺」は以上です。ありがとうございました。次回以降このブログの更新頻度は落としていきます。疲れるので。