枝分かれした直線メモ
幾何学をやる時に、大抵Hausdorffが仮定されている。
それは、Hausdorff空間が良い性質を多く持っているからで、また、僕達が想像する空間のほとんどは、Hausdorffだから、仮定として強すぎないからだと思う。
多様体の定義にもHausdorffの仮定が入っており、これ(と第2可算公理)のお陰で1の分割ができるし、Riemann計量が取れる。
また特筆すべきこととして、Hausdorff空間では、全てのコンパクト部分集合が閉集合になる。
この性質はよく使いすぎて、うっかり非Hausdorff空間に適用してしまって痛い目に遭うことも度々。
しかし、non-Hausdorff空間だったら何故ダメなのか調べようと思っても、そもそもnon-Hausdorff空間の例を知らなければ、どうしようもない。
2点以上の集合に密着位相を入れると、これは勿論Hausdorffではないが、そんなもん自明すぎて、反例として挙げるだけならばともかく、実験のためには何の役にも立たない。
cofinite-topologyや、密着位相との直積などもnon-Hausdorffの例だが、こちらは式の上以外では扱いにくいので、ちょっとやだ。
そこで、とっても簡単な例とその性質をメモしてみた。
位相がcoherentとかの概念を使うので、次の記事に目を通しておくと良いかも。
こひーれんとトポロジー その1 coherentの定義 - junologyの日記
こひーれんとトポロジー その2 coherentな位相の強弱 - junologyの日記
「枝分かれ」した直線(the branching line)
定義
とし、を次で定める。
にとcoherentな位相を入れたものを、枝分かれした直線という。
図にすると次のような感じ。
位相の入れ方は文章で書くとわかりにくいけれど、要は、緑と赤の線、および緑と青の線をつないで、それぞれ一つの直線と思いましょう、ということ。
あるいは、圏論の知識があれば、枝分かれした直線とは、次の図式をcocartesian squareにするような、同士のfiber sumのこと。
ただし、上の定義と、このfiber sumとしての定義では、左右が反対になる。
こうして定義したものが、反例になっていることを確かめる。
命題
枝分かれした直線はHausdorffでない。
(証明)
実際、を分離するような、互いに素な開集合の組は存在しない。
をそれぞれの開近傍とすると、への位相の定め方から、はともに上開であり、またなので0を含む。
従って、十分小さなをとれば、であるようにでき、この時、
(証明終)
色々な反例の構成に使う
枝分かれした直線は様々な反例に使える。
まずは、多様体の定義にHausdorffが必要な例として。
命題
枝分かれした直線について、入射は開埋め込み(embedding)。
特に、は局所Euclid。
(証明)
についてのみ示す。
定義から、が単射であることは明らか。
さらに、任意のの開集合に対して、
(∴i_1は単射)
なので、は開写像。
よって、は単射連続開写像なので、開埋め込みである。
またこれにより、はと同相な開集合によるの被覆である。
よって、は局所Euclid。
(証明終)
次に以外とやりがちなミス。
が位相空間の部分集合の時、が開や閉だったら、も開や閉である。
ではがコンパクトの時には、やもコンパクトになるか?
実は、は確かにコンパクトになるが、はコンパクトにならない。
つい開や閉からの勝手な類推でコンパクトとしてしまいそうになる。
命題
を枝分かれした直線、を入射とする。
はともにコンパクトだが、それらの共通部分はコンパクトでない。
(証明)
連続写像によるコンパクト集合の像はコンパクトであるという事実より、前半が従う。
一方、
なので、これはコンパクトでない。
(証明終)
簡単に示せるけれど、がHausdorffだったら、コンパクト集合に対して、もコンパクト。
だから、この反例もがnon-Hausdorffであることが関係している。
最後に、局所同相な全射と被覆写像は違うんだよ、という話。
Lie群の講義で、多様体の間の局所同相な全射と被覆写像を区別していなかった。
しかし、一般の位相空間ではこんなことをしてはいけない。
被覆写像の定義は、値域の各点にある近傍が取れ、その逆像の各連結成分への制限が同相写像であるような全射のことであった。
定義から、被覆写像は局所同相な全射であるが、逆は成立しない。
(証明)
を入射とすると、
は開埋め込みだったので、よって、は局所同相である。
の任意の連結な近傍を取る。
すると、は連結である。
ところが、なので、は同相写像でない。
(証明終)
が局所同相全射の時、にHausdorffの仮定を入れればが被覆写像になるかどうかは知らない。
ちょっと考えてみて、ダメだったら調べてみよう。