トポロジカルコネクテッド(連結された)コンポーネントの定義
話題
About: トポロジカルスペース(空間)
この記事の目次
開始コンテキスト
- 読者は、2ポイントたちのトポロジカルコネクテッド性の定義を知っている。
- 読者は、2ポイントたちのトポロジカルコネクテッド(連結された)性はイクイバレンス(同値)リレーション(関係)であるという命題を認めている。
ターゲットコンテキスト
- 読者は、トポロジカルコネクテッド(連結された)コンポーネントの定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ(実体)たち:
\( T\): \(\in \{\text{ 全てのトポロジカルスペース(空間)たち }\}\)
\( R\): \(= T \text{ 上における } 2 \text{ ポイントたちのトポロジカルコネクテッド性 }\)
\( T / R\): \(= \text{ 当該イクイバレンス(同値)クラスたちセット(集合) }\)
\(*C\): \(\in T / R\)
//
コンディションたち:
//
2: 注
\(R\)はあるイクイバレンスリレーション(同値関係)である、2ポイントたちのトポロジカルコネクテッド(連結された)性はイクイバレンス(同値)リレーション(関係)であるという命題によって、から、当該定義は妥当である。