直和 (位相空間論)
(非交和位相 から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/05/07 07:26 UTC 版)
ナビゲーションに移動 検索に移動![]() | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(2009年10月) |
位相空間論および関連した数学の分野において、位相空間の族の非交和(ひこうわ、英: disjoint union)または直和(ちょくわ、英: direct sum)とは、台集合の非交和(集合の直和)に非交和位相 (disjoint union topology) と呼ばれる自然な位相を入れることによって形成される位相空間を言う。乱暴な言い方をすれば、2つ以上の空間をそれぞれ個々の空間と見なすと同時に、すべて一緒にした一つの空間としても考えるということである。
非交和空間は積空間の構成の圏論的双対となるため、余積 (coproduct) とも呼ばれる。そのほかにも、自由合併 (free union)、自由和 (free sum)、位相和 (topological sum) などの呼び名もある。
定義
これは非交和が位相空間の圏における余積であることを示している。上の普遍性質から、写像 f: X → Y が連続であるためには、任意の i ∈ I に対して fi = f ∘ φi が連続であることが必要十分であることが従う。
連続であるだけでなく自然な入射 φi: Xi → X は開写像かつ閉写像である。ゆえに、入射が位相的埋め込みとなることから、各 Xi は自然に X の部分空間と見なすことができる。
例
各 Xi が固定された空間 A に同相であれば、非交和 X は I に離散位相を与えて A × I と同相になる。