文献あり

本編

Mathpediaテキスト,位相空間論

327

位相空間

位相空間の定義の詳細については，位相空間を参照されたい。

位相空間の定義

位相空間とは、集合 $X$ とその開集合系と呼ばれる $X$ の部分集合族 $O \subset P (X)$ との組 $(X, O)$ であって、次の公理を満たすものをいう。

(O1) $\emptyset, X \in O$
(O2) $U_{1}, U_{2}, \dots, U_{n} \in O \Rightarrow U_{1} \cap U_{2} \cap \dots \cap U_{n} \in O$
(O3) ${U_{i} | i \in I} \subset O \Rightarrow ⋃_{i \in I} U_{i} \in O$

( 位相空間より引用)

正式には位相空間は $(X, O)$ という組のことであるが、通常は $O$ を暗黙のうちに固定されたものとみなし、位相空間 $(X, O)$ と呼ぶかわりに、簡単に「位相空間 $X$ 」と呼ぶことが多い。開集合系 $O$ の要素を、位相空間 $X$ の開集合という。開集合系 $O$ が与えられているということは、 $X$ の部分集合のうちどれが開集合であり、どれが開集合でないかが定まっているということに他ならない。

( 位相空間より引用)

閉集合の定義

位相空間 $X$ の部分集合 $F$ が閉集合であるとは、集合 $X - F$ が $X$ の開集合であることをいう。

閉集合の有限和

位相空間 $X$ の有限個の閉集合 $F_{1}, \dots, F_{n}$ について、 $F_{1} \cup \dots \cup F_{n}$ は $X$ の閉集合である。

$X - (F_{1} \cup \dots \cup F_{n}) = (X - F_{1}) \cap \dots \cap (X - F_{n})$ であるため、位相空間の定義より命題は示される。

閉集合の交叉

位相空間 $X$ の閉集合の族 $F$ について、 $⋂_{F \in F} F$ は閉集合である。

$X - ⋂_{F \in F} F = ⋃_{F \in F} (X - F)$ である。このとき、 $X - F$ は $X$ の開集合であるため、 $⋃_{F \in F} (X - F)$ は $X$ の開集合である。よって、 $⋂_{F \in F} F$ は閉集合である。

閉包・内部

位相空間 $X$ の部分集合 $A$ について、 $A$ の閉包とは、 $A$ を含む最小の閉集合のことである。また、 $A$ の内部とは、 $A$ に含まれる最大の開集合のことである。

閉包の定義

位相空間 $X$ とその部分集合 $A$ について、以下の性質を満たす $\overset{―}{A}$ を ( $X$ における) $A$ の閉包という。

$\overset{―}{A}$ は閉集合
$A \subset \overset{―}{A}$
$A$ を含むような任意の閉集合 $B$ に対し、 $\overset{―}{A} \subset B$

閉包の一意存在性

位相空間 $X$ とその部分集合 $A$ について、 $A$ の閉包は唯一つ存在する。

$F$ を $A$ を含む $X$ の閉集合全体の集合とする。このとき、 $A \subset X$ であるため、 $X \in F$ が成り立つ。よって $F$ は空でない。従って $⋂_{F \in F} F \subset X$ は存在する。( $F$ が空集合でないことを確かめる議論は必要である。) このとき、 $\overset{―}{A} = ⋂_{F \in F} F$ とおくと、任意の $F \in F$ について $A \subset F$ であるため、 $A \subset \overset{―}{A}$ が成り立つ。次に、 $\overset{―}{A}$ は閉集合の交叉であるため閉集合である。

さらに、任意の $A \subset B$ を満たす閉集合 $B$ について、 $B \in F$ が成り立つため、 $\overset{―}{A} \subset B$ が成り立つ。よって $\overset{―}{A}$ は $A$ の閉包である。任意の $A$ の閉包 $A^{'}$ について、 $\overset{―}{A}$ は $A \subset \overset{―}{A}$ を満たす閉集合であるため、 $A^{'} \subset \overset{―}{A}$ が成り立つ。逆に、 $A^{'}$ は $A \subset A^{'}$ を満たす閉集合であるため、 $\overset{―}{A} \subset A^{'}$ が成り立つ。よって $A^{'} = \overset{―}{A}$ である。したがって $A$ の閉包は $\overset{―}{A}$ のみである。

以下、 $A$ の閉包について、 $\overset{―}{A}$ と表記する。しかし、どの位相空間で閉包を取っているか明らかでない場合は、 ${Cl}_{X} (A)$ と表記する。

内部の定義

位相空間 $X$ とその部分集合 $A$ について、以下の性質を満たす $A^{\circ}$ を ( $X$ における) $A$ の内部という。

$A^{\circ}$ は開集合
$A^{\circ} \subset A$
任意の開集合 $U \subset A$ に対し、 $U \subset A^{\circ}$

内部の一意存在性

位相空間 $X$ とその部分集合 $A$ について、 $A$ の内部は唯一つ存在する。

命題 3 により、 $X - A$ の閉包 $\overset{―}{X - A}$ は存在する。このとき、 $A^{\circ} = X - \overset{―}{X - A}$ とおくと、 $A^{\circ}$ は開集合であり、また $X - A \subset \overset{―}{X - A}$ より $A^{\circ} \subset A$ が成り立つ。

また、 $U \subset A$ なる開集合 $U$ について、 $X - A \subset X - U$ が成り立つ。 $X - U$ は閉集合であるため、 $\overset{―}{X - A} \subset X - U$ が成り立つ。よって、 $U \subset A^{\circ}$ である。以上により、 $A^{\circ}$ は $A$ の内部である。

内部の唯一性については、命題 3 と同様の議論によって示される。

以下、 $A$ の内部について、 $A^{\circ}$ と表記する。しかし、どの位相空間で内部を取っているか明らかでない場合は、 ${Int}_{X} (A)$ と表記する。

閉包・内部の関係

位相空間 $X$ とその部分集合 $A$ について、以下が成り立つ。

$A^{\circ} = X - \overset{―}{X - A}$
$\overset{―}{A} = X - (X - A)^{\circ}$

命題 4 の証明より、 $A^{\circ} = X - \overset{―}{X - A}$ が示される。残る式も同様に示される。

閉集合の閉包・開集合の内部

位相空間 $X$ の閉集合 $F$ と開集合 $U$ について、以下が成り立つ。

$\overset{―}{F} = F$
$U^{\circ} = U$

定義より $F$ は $F$ の閉包である。同様に $U$ は $U$ の内部である。

閉包・内部の単調性

位相空間 $X$ の部分集合 $A \subset B$ について、以下が成り立つ。

$\overset{―}{A} \subset \overset{―}{B}$
$A^{\circ} \subset B^{\circ}$

$A \subset B \subset \overset{―}{B}$ より、 $\overset{―}{A} \subset \overset{―}{B}$ が成り立つ。また、同様に $A^{\circ} \subset A \subset B$ より、 $A^{\circ} \subset B^{\circ}$ が成り立つ。

$A$ の閉包 $\overset{―}{A}$ について、 $\overset{―}{A}$ に属する点の特徴付けを与える。

閉包の特徴付け

位相空間 $X$ とその部分集合 $A$ について、以下は同値である。

$x \in \overset{―}{A}$
$x \in U$ なる任意の開集合 $U$ について、 $A \cap U$ は空でない

$\Rightarrow$ 2. を示す。 $x \in U$ なる開集合であって $A \cap U = \emptyset$ なるものが存在するならば、 $A \subset X - U$ より、 $\overset{―}{A} \subset X - U$ が成り立つ。よって $x \notin \overset{―}{A}$ が成り立つ。
$\Rightarrow$ 1. を示す。 $x \notin \overset{―}{A}$ ならば、 $x \in X - \overset{―}{A}$ が成り立つ。このとき、 $X - \overset{―}{A}$ は $X$ の開集合であり、 $A \cap (X - \overset{―}{A}) = \emptyset$ である。

閉包を取る操作と集合の有限和について、以下のような関係が存在する。

閉包と有限和の関係

位相空間 $X$ とその有限個の部分集合 $A_{1}, \dots, A_{n}$ について、 $\overset{―}{A_{1} \cup \dots \cup A_{n}} = \overset{―}{A_{1}} \cup \dots \cup \overset{―}{A_{n}}$ が成り立つ。

命題 7 より、 $\overset{―}{A_{i}} \subset \overset{―}{A_{1} \cup \dots \cup A_{n}}$ が成り立つため、 $\overset{―}{A_{1}} \cup \dots \cup \overset{―}{A_{n}} \subset \overset{―}{A_{1} \cup \dots \cup A_{n}}$ が言える。また、 $A_{i} \subset \overset{―}{A_{i}}$ より、 $A_{1} \cup \dots \cup A_{n} \subset \overset{―}{A_{1}} \cup \dots \cup \overset{―}{A_{n}}$ が成り立つ。ここで、 $\overset{―}{A_{1}} \cup \dots \cup \overset{―}{A_{n}}$ は閉集合の有限和であるため閉集合である。このことにより、 $\overset{―}{A_{1} \cup \dots \cup A_{n}} \subset \overset{―}{A_{1}} \cup \dots \cup \overset{―}{A_{n}}$ が成り立つ。以上により $\overset{―}{A_{1} \cup \dots \cup A_{n}} = \overset{―}{A_{1}} \cup \dots \cup \overset{―}{A_{n}}$ が示される。

近傍

近傍の定義

位相空間 $X$ の点 $x \in X$ について、 $N \subset X$ が $x$ の近傍であるとは、 $x \in U \subset N$ なる開集合 $U$ が存在することをいう。

開近傍の定義

位相空間 $X$ の点 $x \in X$ について、 $U \subset X$ が $x$ の開近傍であるとは、開集合 $U$ であって $x \in U$ が成り立つことをいう。

部分空間・部分位相

部分空間・部分位相の定義

位相空間 $X$ とその部分集合 $Y$ について、集合 $Y$ に以下の方法で定まる位相を部分位相という。

$V \subset Y$ が開集合 $\Leftrightarrow$ ある $X$ の開集合 $U$ が存在し、 $V = Y \cap U$

また $X$ の部分集合 $Y$ に対して、 $X$ の部分空間 $Y$ とは、上記の方法で $Y$ に位相を入れた位相空間のことを指す。

開部分空間・閉部分空間

位相空間 $X$ の開部分空間とは、 $X$ の開集合に部分空間としての位相を入れたものである。また $X$ の閉部分空間とは、 $X$ の閉集合に部分空間としての位相を入れたものである。

部分空間の閉集合

位相空間 $X$ の部分空間 $Y$ について、 $G \subset Y$ が $Y$ の閉集合であることは、ある $X$ の閉集合 $F$ が存在して $G = Y \cap F$ が成り立つことと同値である。

$G \subset Y$ が $Y$ の閉集合であることは $Y - G \subset Y$ が $Y$ の開集合であることと同値である。これはある $X$ の開集合 $U$ によって $Y - G = Y \cap U$ が成り立つことと同値である。これは $G = Y \cap (X - U)$ が成り立つことと同値である。これはある $X$ の閉集合 $F$ が存在して $G = Y \cap F$ が成り立つことと同値である。

開部分空間の開集合

位相空間 $X$ の開部分集合 $U$ について、 $U^{'} \subset U$ が $U$ の開集合であることと $X$ の開部分集合であることは同値である。

$U^{'} \subset U$ なる $X$ の開集合について、 $U^{'} \cap U = U^{'}$ であるため、 $U^{'}$ は $U$ の開集合である。逆に、 $U^{'}$ が $U$ の開集合であるなら、ある $X$ の開集合 $V$ について $U^{'} = U \cap V$ が成り立つが、このとき $U^{'}$ は $X$ の開集合である。

閉部分集合の閉集合

位相空間 $X$ の閉部分集合 $F$ について、 $F^{'} \subset F$ が $F$ の閉集合であることと $X$ の閉部分集合であることは同値である。

命題 10 を用いることで、命題 11 と同様の議論に帰着できる。

商空間・商位相

商空間・商位相の定義

位相空間 $X$ と集合 $Y$ とその間の集合の全射 $f : X \to Y$ が存在するとき、 $Y$ に以下の方法で定まる位相を $f$ による商位相という。

$V \subset Y$ は開集合 $\Leftrightarrow$ $f^{- 1} (V)$ は $X$ の開集合

またこのとき、商位相をもった位相空間 $Y$ を $X$ の $f$ による商空間という。

商空間の普遍性

位相空間 $X$ , $Z$ と $X$ の $h : X \to Y$ による商空間 $Y$ について、連続写像 $f : X \to Z$ が以下を満たすとする。

ある集合の写像 $g : Y \to Z$ が存在して $f = g \circ h$ が成り立つ

このとき、 $f = g \circ h$ が成り立つような $g$ はただひとつ存在してこれは連続写像である。

$g$ の唯一性は $h$ の全射性より明らかである。 $Z$ の開集合 $U$ に対して、 $f^{- 1} (U)$ は $f$ の連続性より開集合であることが言える。このとき $f^{- 1} (U) = h^{- 1} (g^{- 1} (U))$ が成り立つが、 $Y$ の位相の定め方より、 $g^{- 1} (U)$ は $Y$ の開集合である。よって $g$ は連続である。

連続写像

連続写像の定義

位相空間 $X$ , $Y$ について、連続写像 $f : X \to Y$ とは、写像 $f : X \to Y$ であって、任意の $Y$ の開集合 $V$ について、 $f^{- 1} (V)$ が $X$ の開集合となるもののことである。
( 連続写像より引用)

連続写像の合成

位相空間 $X$ , $Y$ , $Z$ と連続写像 $f : X \to Y$ , $g : Y \to Z$ について、(集合の写像としての)合成 $g \circ f : X \to Z$ は連続写像である。

$Z$ の任意の開集合 $W$ について、 $g^{- 1} (W)$ は $Y$ の開集合である。このとき $(g \circ f)^{- 1} (W) = f^{- 1} (g^{- 1} (W))$ は $X$ の開集合である。よって $g \circ f$ は連続写像である。

恒等写像の連続性

位相空間 $X$ について、恒等写像 ${id}_{X} : X \to X$ は連続である。

集合 $U$ について、 ${id}_{X}^{- 1} (U) = U$ が成り立つ。

同相写像の定義

位相空間の連続写像 $f : X \to Y$ が同相写像であるとは、連続写像 $g : Y \to X$ であって $g \circ f = {id}_{X}$ かつ $f \circ g = {id}_{Y}$ なるものが存在することをいう。

同相写像と恒等写像との相異

同相写像 $f : X \to Y$ が存在したとき、「 $X$ と $Y$ を同一視する」という表現を用いることがあるが、 $X$ と $Y$ は一般に異なる対象であることに注意されたい。

開写像・閉写像の定義

位相空間の連続写像 $f : X \to Y$ が開写像であるとは、 $X$ の任意の開集合 $U$ について $f (U)$ が開集合となることをいう。また、 $f$ が閉写像であるとは、 $X$ の任意の閉集合 $F$ について $f (F)$ が閉集合となることをいう。

埋め込みの定義

位相空間の連続写像 $f : X \to Y$ が埋め込みであるとは、 $f (X) \subset Y$ に部分位相を入れたものについて値域を $f (X)$ に制限した写像 $X \to f (X)$ が同相写像であることをいう。

開基・基本近傍系

開基の定義

位相空間 $(X, O)$ とその開集合の族 $U$ について、 $U$ が $X$ の開基（あるいは、 $O$ の開基）であるとは、任意の開集合 $V$ と $x \in V$ について、 $x \in U \subset V$ を満たす $U \in U$ が存在することをいう。

基本近傍系の定義

位相空間 $X$ と点 $x \in X$ を含むような $X$ の開集合の族 $U$ について、 $U$ が $X$ の点 $x$ についての基本近傍系であるとは、任意の開集合 $x \in V$ について、 $x \in U \subset V$ を満たす $U \in U$ が存在することをいう。

有限交叉に閉じる部分集合族と位相)

集合 $X$ と集合族 $A \subset P (X)$ について、 $A$ が以下の性質を満たすとする。

$A, B \in A$ ならば $A \cap B \in A$

このとき、 $A$ を開基とする $X$ の位相が一意に存在する。

まず、命題のような位相が存在すれば一意的であることを示す。位相 $O_{1}$ , $O_{2}$ がともに $A$ を開基とする位相であったとしよう。 $U \in O_{1}$ とすると、 $A$ が $O_{1}$ の開基であることから、各 $x \in U$ に対して $A_{x} \in A$ で $x \in A_{x} \subset U$ となるものが選べる。すると、 $U = ⋃_{x \in U} A_{x}$ であるが、 $A$ は $O_{2}$ の開基であるので、各 $x \in U$ に対して $A_{x} \in O_{2}$ であり、よって $U \in O_{2}$ である。したがって、 $O_{1} \subset O_{2}$ である。同様に、 $O_{2} \subset O_{1}$ であるので、 $O_{1} = O_{2}$ である。

次に、命題のような位相が存在することを示す。 $A$ のいくつかの要素の和集合で表される集合全体の族を $O$ とする。このとき、 $O$ が $X$ 上の位相の定義を満たすことを示そう。

$O$ の要素の有限個の開集合の交叉が再び開集合となることを示せばよい(それ以外の公理については簡単に示される)。そのためには、 $O$ の二個の要素 $U$ , $V$ に対して $U \cap V \in O$ を示せば十分である。 $U$ , $V$ は、ある集合族 $B, C \subset A$ に対して、 $U = ⋃_{B \in B} B$ , $V = ⋃_{C \in C} C$ と表すことができる。すると、 $U \cap V = ⋃_{B \in B, C \in C} B \cap C$ が成り立つ。このとき仮定より $B \cap C \in A$ であるため、 $U \cap V \in O$ である。

$A$ は位相 $O$ の開基となる。実際、任意の $V \in O$ は $A$ の要素の和集合であるため、各 $x \in V$ について $A \in A$ で $x \in A \subset V$ となるものが存在する。また、 $O$ の定め方より $A$ の任意の要素は $O$ に属する。

和空間・積空間

和空間の定義

位相空間の族 ${X_{i} | i \in Λ}$ について、和空間 $⨁_{i \in Λ} X_{i}$ とは、直和集合 $\underset{i \in Λ}{∐} X_{i}$ 上に以下で位相を定めたものをいう。

$U \subset \underset{i \in Λ}{∐} X_{i}$ が開集合 $\Leftrightarrow$ 任意の $i \in Λ$ について $U \cap X_{i}$ は $X_{i}$ の開集合

和空間の普遍性

以下が成り立つ。

$a \in Λ$ について、自然な写像 $s_{a} : X_{i} \to ⨁_{i \in Λ} X_{a}$ は連続写像である
任意の連続写像の組 $f_{i} : X_{i} \to Y$ について、連続写像 $F : ⨁_{i \in Λ} X_{i} \to Y$ であって、 $F \circ s_{i} = f_{i}$ が成り立つものがただひとつ存在する

位相の定め方により、明らかに $s_{a}$ は連続写像である。連続写像の組 $f_{i}$ について、集合の写像 $F : ⨁_{i \in Λ} X_{i} \to Y$ であって、 $F \circ s_{i} = f_{i}$ が成り立つものがただひとつ存在する。以下この写像 $F$ が連続であることを確かめる。

$Y$ の開集合 $V$ について、すべての $i \in Λ$ について $f_{i}^{- 1} (V)$ は $X_{i}$ の開集合である。 $f_{i}^{- 1} (V) = s_{i}^{- 1} (F^{- 1} (V))$ であるため、位相の定め方により、 $F^{- 1} (V)$ は $⨁_{i \in Λ} X_{i}$ の開集合である。よって $F$ は連続である。

積空間の定義

位相空間の族 ${X_{i} | i \in Λ}$ について、積空間 $\prod_{i \in Λ} X_{i}$ とは、直積集合 $\prod_{i \in Λ} X_{i}$ 上に以下で位相を定めたものをいう。

添字集合 $Λ$ の有限部分集合 $Λ^{'}$ と $j \in Λ^{'}$ ごとに定めた $X_{j}$ の開集合 $U_{j}$ について、 $\prod_{j \in Λ^{'}} U_{j} \times \prod_{i \in Λ - Λ^{'}} X_{i}$ として表すことのできる $\prod_{i \in Λ} X_{i}$ の部分集合の族を $A$ とおく。ここで $A$ は有限交叉を取る操作について閉じているため、 $A$ を開基に持つ位相がただひとつ存在する。この位相を集合 $\prod_{i \in Λ} X_{i}$ に入れる。

$A$ に含まれる開集合のことを、命題 18 において基本開集合と呼ぶ。

積空間の普遍性

以下が成り立つ。

$a \in Λ$ について、自然な写像 $p_{a} : \prod_{i \in Λ} X_{i} \to X_{a}$ は連続写像である
任意の連続写像の組 $f_{i} : Y \to X_{i}$ について、連続写像 $F : Y \to \prod_{i \in Λ} X_{i}$ であって、 $p_{i} \circ F = f_{i}$ が成り立つものがただひとつ存在する

$a \in Λ$ と $X_{a}$ の開集合 $U_{a}$ について、 $p_{a}^{- 1} (U_{a}) = U_{a} \times \prod_{i \in Λ - {a}} X_{i}$ が成り立つ。位相の定め方より、これは $\prod_{i \in Λ}$ の開集合であるため、 $p_{a}$ は連続である。連続写像の組 $f_{i}$ について、集合の写像 $F : Y \to \prod_{i \in Λ} X_{i}$ であって、 $p_{i} \circ F = f_{i}$ が成り立つものがただひとつ存在する。以下この写像 $F$ が連続であることを確かめる。

$\prod_{i \in Λ} X_{i}$ の開集合は、基本開集合の合併である。基本開集合の $F$ による逆像が開集合であれば、 $F$ は連続であることが示される。基本開集合 $V = \prod_{j \in Λ^{'}} U_{j} \times \prod_{i \in Λ - Λ^{'}} X_{i}$ について、 $F^{- 1} (V) = ⋂_{j \in Λ^{'}} f_{j}^{- 1} (U_{j})$ が成り立つ。よって $F^{- 1} (V)$ は開集合である。

分離公理

分離公理を参照されたい。

T_{0}

性の定義

位相空間 $X$ が $T_{0}$ であるとは、任意の異なる二点 $x, y \in X$ について、ある開集合 $U$ が存在して、「 $x \in U$ かつ $y \notin U$ 」または「 $y \in U$ かつ $x \notin U$ 」が成り立つようにできることをいう。

T_{1}

性の定義

位相空間 $X$ が $T_{1}$ であるとは、任意の異なる二点 $x, y \in X$ について、ある開集合 $U$ が存在して、 $x \in U$ かつ $y \notin U$ とできることをいう。

T_{2}

性の定義

位相空間 $X$ が $T_{2}$ であるとは、任意の異なる二点 $x, y \in X$ について、ある開集合 $U, V$ が存在して、 $x \in U$ かつ $y \in V$ かつ $U \cap V = \emptyset$ とできることをいう。 $T_{2}$ 空間のことを、ハウスドルフ空間ともいう。

T_{3}

性の定義

位相空間 $X$ が $T_{3}$ であるとは、任意の点 $x \in X$ と閉集合 $x \notin F \subset X$ について、ある開集合 $U, V$ が存在して、 $x \in U$ かつ $F \subset V$ かつ $U \cap V = \emptyset$ とできることをいう。

正則性の定義

位相空間 $X$ が正則であるとは、 $T_{1}$ かつ $T_{3}$ であることをいう。

T_{4}

性の定義

位相空間 $X$ が $T_{4}$ であるとは、任意の閉集合 $F, G \subset X$ であって $F \cap G = \emptyset$ であるものについて、ある開集合 $U, V$ が存在して、 $F \subset U$ かつ $G \subset V$ かつ $U \cap V = \emptyset$ とできることをいう。

正規性の定義

位相空間 $X$ が正規であるとは、 $T_{1}$ かつ $T_{4}$ であることをいう。

分離公理の強弱

「正規 $\Rightarrow$ 正則 $\Rightarrow$ $T_{2}$ $\Rightarrow$ $T_{1}$ $\Rightarrow$ $T_{0}$ 」が成り立つ。

定義より、「 $T_{2}$ $\Rightarrow$ $T_{1}$ $\Rightarrow$ $T_{0}$ 」が成り立つ。

次に、「正規 $\Rightarrow$ $T_{2}$ 」を示す。そのために以下の補題を示す。

$X$ が $T_{1}$ 空間であるためには、任意の $x \in X$ に対して ${x}$ が閉集合であることが必要十分である。

補題の証明：まず、必要性を示す。 $X$ を $T_{1}$ 空間とし、 $x \in X$ とする。各 $y \in X - {x}$ に対して、 $y \in U_{y}$ かつ $x \notin U_{y}$ を満たすような開集合 $U_{y}$ が選べる。すると $⋃_{y \in X - {x}} U_{y} = X - {x}$ であるから、 $X - {x}$ は開集合の和集合として表され、よって $X - {x}$ は開集合となるから ${x}$ は閉集合である。次に、十分性を示す。任意の $x \in X$ に対して ${x}$ が閉集合であるとする。 $x, y \in X$ を異なる点とすると、 ${y}$ は閉集合であるから、 $U = X - {y}$ は開集合であり、 $x \in U$ および $y \notin U$ を満たす。よって、 $X$ は $T_{1}$ 空間である。

以下、「正則 $\Rightarrow$ $T_{2}$ 」を示す。 $X$ を正則空間とする。異なる点 $x, y \in X$ に対して、 ${y}$ は閉集合であるため、 $X$ の $T_{3}$ 性より、 $U \cap V = \emptyset$ なる開集合であって $x \in U$ かつ $y \in V$ が成り立つものが取れる。よって $X$ は $T_{2}$ 空間である。

「正規 $\Rightarrow$ 正則」を示す。正則空間は $T_{1}$ 空間であるので、一点集合は閉集合である。したがって、正規性は正則性を導く。

コンパクト空間

コンパクト空間を参照されたい。

開被覆

位相空間 $X$ の開集合からなる族 $U = {U_{i} | i \in I}$ が開被覆であるとは、 $U$ の要素すべての和集合が $X$ に一致することをいう。
すなわち、 $X = ⋃_{i \in I} U_{i}$ が成り立つことをいう。

コンパクト空間

位相空間 $X$ がコンパクトであるとは、以下の性質を満たすことを指していう。

$X$ の任意の開被覆 $U$ について、 $U$ の有限部分集合 $V$ が存在して、 $V$ が $X$ の開被覆となる。

参考文献

[1]

Ryszard Engelking, General Topology

投稿日：2022年12月3日

この本を高評価した人

高評価したユーザはいません

この本に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

数学市民

2028

Mathpediaの運営を行っております。

他の人のコメント

コメントはありません。

読み込み中

数学市民

速習コース「位相空間論の基礎事項」

現在のページ

本編

位相空間
閉包・内部
近傍
部分空間・部分位相
商空間・商位相
連続写像
開基・基本近傍系
和空間・積空間
分離公理
コンパクト空間
参考文献

前のページへ

3 / 3

次のページへ

前ページへ