不連結空間を構成
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/10 14:24 UTC 版)
X を任意の位相空間とする。関係 ～ を x ～ y ⇔ y ∈ conn (x) によって定める。（conn (x) は x を含む最大の連結部分集合を表す。）これは明らかに同値関係である。X / ～ に商位相、すなわち、写像 m : x ↦ c o n n ( x ) {\displaystyle m\colon x\mapsto \mathrm {conn} (x)} が連続になる最も細かい位相を与える。少し考えれば X / ～ が完全不連結であることが分かる。さらに次の普遍性が成り立つ。 f : X → Y {\displaystyle f\colon X\to Y} が完全不連結空間への連続写像であれば、一意的な連続写像 f ˘ : ( X / ∼ ) → Y {\displaystyle {\breve {f}}\colon (X/\sim )\rightarrow Y} によって f = f ˘ ∘ m {\displaystyle f={\breve {f}}\circ m} と分解する。
※この「不連結空間を構成」の解説は、「完全不連結空間」の解説の一部です。
「不連結空間を構成」を含む「完全不連結空間」の記事については、「完全不連結空間」の概要を参照ください。
ウィキペディア小見出し辞書の「不連結空間を構成」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- 不連結空間を構成のページへのリンク
