非交和
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/03/12 07:55 UTC 版)
![]() | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。(2010年5月) |
集合論において集合の族の直和 (ちょくわ、英: direct sum) あるいは非交和(ひこうわ、英: disjoint union、discriminated union)は、以下の緊密に関連した二種類の概念を指して用いられる。
- 識別された和:通常の合併の操作を少し改変して、合併に属する元がもともとどの集合に入っていたか識別することができるようにしたもの。
- 交わりを持たない和:その族に属する部分集合のどの二つも互いに素であるときの、通常の合併。
前者は識別のための補助的な添字を付与することで各集合は互いに素となるから後者の意味での直和でもあり、前者のことも非交和と呼ぶ場合もある。これらをともに「直和」と呼ぶのは直積の双対であることを示すもので、圏論の言葉で言えば集合の圏における圏論的直和(これは同型を除いて一意に定まる)の普遍性を上記の二つはともに満たす。
本項においては主に前者について扱い、それを非交和と呼称する。後者については和集合#定義を参照のこと。
定義
{Ai | i ∈ I} を I で添え字づけられた集合族とする。この族の非交和は集合
- 非交和のページへのリンク