トポロジカルスペース(空間)のサブセット(部分集合)のクロージャー(閉包)の定義
話題
About: トポロジカルスペース(空間)
この記事の目次
開始コンテキスト
- 読者は、トポロジカルスペース(空間)の定義を知っている。
- 読者は、クローズドセット(閉集合)の定義を知っている。
ターゲットコンテキスト
- 読者は、トポロジカルスペース(空間)のサブセット(部分集合)のクロージャー(閉包)の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 定義
任意のトポロジカルスペース(空間)\(T\)、任意のサブセット(部分集合)\(S \subseteq T\)に対して、\(S\)を包含する全てのクローズドセット(閉集合)たちのインターセクション(共通集合)が\(S\)のクロージャー(閉包)であり、しばしば、\(\overline{S}\)と表記される