開集合系の基底について復習する。 $(X, {\cal O}_X)$ を位相空間とする。 ${\cal U} \subset {\cal O}_X$ とする。 ${\cal U}$は${\cal O}_X$の基底である $:\Leftrightarrow$ ${\cal O}_X \equ \Set{ \bigcup {\cal V} }{ {\cal V} \subset {\cal U} }$ $\…

まず、本定理の証明に必要な命題を述べておく。 $\left( X, {\cal O}_X \right)$ を位相空間とする。 $x \in X$ とする。 ${\mathbb V}(x)$ を $x$ の近傍系とする。 ${\mathbb V}^*(x)$ を $x$ の基本近傍系とする。 $\all A \subset X \;\parenth{ x \in \…

位相空間$\left( X,{\cal O}_X \right)$に対し、 ${\cal C}_X :\equiv \Set{ A \subset X }{ X \backslash A \in {\cal O}_X }$ と置く。 $\left( X,{\mathcal O}_X \right)$を位相空間とする。 $A \subset X$ とする。 以下は同値である： $A$はCompact $\a…