53wiki @ ウィキ

53wiki @ ウィキ

53wiki @ ウィキ

位相空間

位相空間
開集合系
分離公理
- (第1〜第4)分離公理
- Tychonoffの分離公理

位相空間

位相空間の定義にはいくつか公理があるがそれらは全て同値である。

開集合系による定義
閉集合系による定義
近傍系による定義
開核作用素による定義
閉包作用素による定義

開集合系

Xの開集合の族 $\mathcal{O}$ (位相)が与えられて以下の条件を満たすとき、これの元を開集合とよび、Xを位相空間とよぶ。

$X, \phi \in \mathcal{O}$
$O_1,O_2 \in \mathcal{O} \Rightarrow O_1 \cap O_2 \in \mathcal{O}$
$\bigcup_{\lambda \in \Lambda} O_\lambda \in \mathcal{O}$

なお、 $\Lambda$ は任意の添字集合である。

分離公理

位相空間は分離公理によって種類分けをすることができる。
分離公理には以下のようなものがある。

(第1〜第4)分離公理

$T_1$ (フレシェ空間): 異なる２点に対し、どちらか片方のみを含むような開集合が存在する
$T_2$ (ハウスドルフ空間): 異なる２点に対し、それぞれを含み互いに交わらない開集合が存在する
$T_3$ : 閉集合とそれに含まれない点に対し、それぞれを含み互いに交わらない開集合が存在する
$T_4$ : 互いに交わらない２つの閉集合に対し、それぞれを含み互いに交わらない開集合が存在する

$T_2$ は $T_1$ よりも強い。
$T_{3 \frac{1}{2}}$ は $T_3$ よりも強い。

Tychonoffの分離公理

$T_{3 \frac{1}{2}}$ : 閉集合とそれに含まれない点に対し、これらを分離する連続函数が存在する

$T_1$ , $T_3$ を満たす空間を正則と呼ぶ。
$T_1$ , $T_{3 \frac{1}{2}}$ を満たす空間を完全正則と呼ぶ(完全正則ならば正則)。
$T_1$ , $T_4$ を満たす空間を正規と呼ぶ( $T_1$ を $T_2$ としても同値)。

タグ：

位相空間

+ タグ編集

「位相空間」をウィキ内検索

最終更新：2013年03月06日 03:42