直和 (位相空間論)

位相空間論および関連した数学の分野において、位相空間の族の非交和（ひこうわ、テンプレート:Lang-en-short）または直和（ちょくわ、テンプレート:Lang-en-short）とは、台集合の非交和（集合の直和）に非交和位相 (disjoint union topology) と呼ばれるテンプレート:仮リンクを入れることによって形成される位相空間を言う。乱暴な言い方をすれば、2つ以上の空間をそれぞれ個々の空間と見なすと同時に、すべて一緒にした一つの空間としても考えるということである。

非交和空間は積空間の構成の圏論的双対となるため、余積 (coproduct) とも呼ばれる。そのほかにも、自由合併 (free union)、自由和 (free sum)、位相和 (topological sum) などの呼び名もある。

定義

テンプレート:Mvar で添字付けられた位相空間の族 テンプレート:Math が与えられたとき、それらの台集合たちの非交和 $X:=\coprod _i{X}_i=\{(x_i,i)\mid x_i\in X_i,i\in I\}$ において自然な入射 (canonical injection) ${\phi }_i:X_i\hookrightarrow X;{\phi }_i(x):=(x,i)$ がどの テンプレート:Math に対しても定まることに注意する。

定義 (非交和位相)

テンプレート:Mvar 上の非交和位相 (disjoint union topology) を、上記の自然な入射がすべて連続となる テンプレート:Mvar 上のテンプレート:仮リンク（すなわち関数の族 テンプレート:Math に対するテンプレート:仮リンク）として定義する。

この非交和位相を位相空間の開集合の言葉で陽に書けば、

• テンプレート:Mvar の部分集合 テンプレート:Mvar が非交和位相に関して開であるための必要十分条件は、任意の テンプレート:Math に対して原像 ${\phi }_i^{-1}(U)$ が テンプレート:Mvar の開集合となることである。
• テンプレート:Mvar の部分集合 テンプレート:Mvar が非交和位相に関して テンプレート:Mvar に相対開であるための必要十分条件は、任意の テンプレート:Math に対して テンプレート:Mvar との交わり テンプレート:Math が テンプレート:Mvar に相対開となることである。

などと表せる。

性質

非交和空間 テンプレート:Mvar は自然な入射とともに次の普遍性によって特徴づけることができる:

非交和空間の普遍性

任意の位相空間 テンプレート:Mvar と任意の連続写像の族 テンプレート:Math が与えられれば、図式

非交和の普遍性

を可換にする連続写像 テンプレート:Math がただ一つ存在する。

これは非交和が位相空間の圏における余積であることを示している。上の普遍性質から、写像 テンプレート:Math が連続であるためには、任意の テンプレート:Math に対して テンプレート:Math が連続であることが必要十分であることが従う。

連続であるだけでなく自然な入射 テンプレート:Math は開写像かつ閉写像である。ゆえに、入射が位相的埋め込みとなることから、各 テンプレート:Mvar は自然に テンプレート:Mvar の部分空間と見なすことができる。

例

各 X_i が固定された空間 A に同相であれば、非交和 X は I に離散位相を与えて A × I と同相になる。

位相的性質の保存

• 離散空間からなる任意の族に対し、それらを項とする非交和は離散である
• 分離性
  • T₀ 空間からなるすべての非交和は T₀ である
  • T₁ 空間からなるすべての非交和は T₁ である
  • ハウスドルフ空間からなるすべての非交和はハウスドルフである
• 連結性
  • 2つ以上の空でない位相空間の非交和は不連結である

関連項目

• 積位相: 双対の構成
• 部分空間位相とその双対商位相
• テンプレート:仮リンク: 交わりのある和の場合に対する一般化

外部リンク

• テンプレート:Nlab
• テンプレート:PlanetMath