Processing math: 100%

2019年1月24日木曜日

トポロジー入門演習(第13回)

[場所1E202(月曜日4限)]

HPに行く

今回はハウスドルフ空間について書いておきます。
分離公理というのは、いくつかありますが、この授業ではハウスドルフ空間
を扱います。

ハウスドルフ空間
とは、\forall p,q\in X に対して、ある開集合 U,V が存在して、
p\in U, q\in V かつ U\cap V=\emptyset を満たすときをいう。

p,q\in X に対して、p\in U かつ q\in V かつ U\cap V=\emptyset であるような
U,V が存在することを、p,q が 開集合で分離するといいます。

ハウスドルフ空間の定義は、開基や近傍などの定義と比べてとても
わかりやすいものですね。
分離するの意味もよくわかります。

ハウスドルフ空間の例は距離位相空間です。
(X,d) を距離空間とします。
距離位相空間 (X,\mathcal{O}_d) がハウスドルフ空間であることを
示しましょう。

x,y\in X を異なる2点とします。
このとき、\delta=d(x,y) とすると、条件から\delta>0 が成り立ちます。
B(x,\frac{\delta}{2}), B(y,\frac{\delta}{2})
開集合で、x,y を含みます。
また、
B(x,\frac{\delta}{2})\cap B(y,\frac{\delta}{2})=\emptyset
となります。
もし、\neq \emptyset とすると、
z\in B(x,\frac{\delta}{2})\cap B(y,\frac{\delta}{2})
とする。三角不等式とz\in B(x,\frac{\delta}{2}), z\in  B(y,\frac{\delta}{2})
このとき、\delta>d(x,z)+d(z,y)\ge \delta となり、\delta>\delta は満たされないので、
矛盾します。

よって、
B(x,\frac{\delta}{2})\cap B(y,\frac{\delta}{2})=\emptyset
となります。

よって、距離位相空間はハウスドルフ空間になります。
つまり、ハウスドルフ空間は距離位相空間よりは弱い条件です。
距離位相空間でなくてもハウスドルフ空間となるものがあります。
また、距離空間において1点は閉集合でしたが、ハウスドルフ空間
でも1点集合は閉集合です。

位相空間 (X,\mathcal{O}) がハウスドルフ空間と同値な条件を挙げておきます。
・積空間 X\times X の中の対角集合 \Delta=\{(x,x)|x\in X\} は閉集合である。
\forall x\in X に対して \{x\}=\cap_{V\in \mathcal{N}(x)}\bar{V} を満たす。
ここで、\mathcal{N}(x)x の近傍全体の集合(近傍系)とします。

1つ目の同値関係は簡単に証明できるので、2つ目を示しておきます。
(X,\mathcal{O}) がハウスドルフ空間とします。
このとき、\forall x\in X に対して、\forall y\in X\setminus \{x\}
対して、ある開集合 U,V が存在して、x\in U かつ y\in V かつ U\cap V= \emptyset
を満たします。x\in U\subset V^c であり、V^c は閉集合であるので、
V^cx での閉近傍となります。
というのも、x の近傍とは、x を含む開集合がその
内部に包まれるものをいいますが、x\in U が開集合として V^c に包まれ
ているので、V^cx の閉近傍ということになります。
y\not\in V^c であるので、
y\not\in \cap_{V\in \mathcal{N}(x)}\bar{V} となります。
\cap_{V\in \mathcal{N}(x)}\bar{V} には x 以外の点は含まれないので
\{x\}=\cap_{V\in \mathcal{N}(x)}\bar{V}
を満たします。

逆に、\forall x\in X に対して
\{x\}=\cap_{V\in \mathcal{N}(x)}\bar{V}
を満たすとします。
y\in X\setminus\{x\} とします。
このとき、y\not\in \cap_{V\in \mathcal{N}(x)}\bar{V} です。
よって、ある \bar{V} が存在して、y\not\in \bar{V} を満たします。
\bar{V} は閉近傍である(x\bar{V} の内点である)ので、
ある開集合 U が存在して、x\in U\subset \bar{V} が存在します。
また、(\bar{V})^c は開集合で、条件から、y\in (\bar{V})^c を満たします。

よって、U(\bar{V})^cx,y を分離する開集合なので、
(X,\mathcal{O}) はハウスドルフ空間となります。


以上より、閉近傍全体の共通集合が1点になるようにしなければならないかは
上の証明を見ればわかりますが、
\{x\}=\cap_{V\in \mathcal{N}(x)}V の条件ではどうか?
と思うかもしれません。
この条件はハウスドルフ空間とは同値にはなりません。
ハウスドルフ空間より弱い条件になります。
この条件は、1点が閉集合となる条件( T_1 公理といいます。)と同値となります。
これは自分で証明してみてください。
ちなみに、ハウスドルフ空間は T_2 公理を満たす空間のことです。

T_1 公理は分離公理の一種ですが、以下のように書き直すことができます。

異なる2点 p,q\in X があったときに、
p\in U かつ q\not\in U となる開集合 U が存在し、
p\not\in V かつ q\in V となる開集合 V が存在する。

ハウスドルフ空間とは違うのは、上の U,V は、U\cap V=\emptyset を満たすとは
限らないということです。

0 件のコメント:

コメントを投稿