ノーマル（正規）トポロジカルスペース（空間）の定義
話題
About: トポロジカルスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、トポロジカルスペース（空間）の定義を知っている。
- 読者は、クローズドセット（閉集合）の定義を知っている。
ターゲットコンテキスト
- 読者は、ノーマル（正規）トポロジカルスペース（空間）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 定義
以下を満たす任意のトポロジカルスペース（空間）\(T\)、つまり、任意のディスジョイント（互いに素）なクローズドセット（閉集合）\(C_1, C_2 \subseteq T\)に対して、以下を満たすディスジョイント（互いに素）なオープンセット（開集合）たち\(U_1, U_2 \subseteq T\)がある、つまり、\(C_1 \subseteq U_1\)および\(C_2 \subseteq U_2\)
