非交和
テンプレート:Refimprove 集合論において集合の族の直和 (ちょくわ、テンプレート:Lang-en-short) あるいは非交和（ひこうわ、テンプレート:Lang-en-short）は、以下の緊密に関連した二種類の概念を指して用いられる。
- 識別された和：通常の合併の操作を少し改変して、合併に属する元がもともとどの集合に入っていたか識別することができるようにしたもの。
- 交わりを持たない和：その族に属する部分集合のどの二つも互いに素であるときの、通常の合併。
前者は識別のための補助的な添字を付与することで各集合は互いに素となるから後者の意味での直和でもあり、前者のことも非交和と呼ぶ場合もある。これらをともに「直和」と呼ぶのは直積の双対であることを示すもので、圏論の言葉で言えば集合の圏における圏論的直和（これは同型を除いて一意に定まる）の普遍性を上記の二つはともに満たす。
本項においては主に前者について扱い、それを非交和と呼称する。後者については和集合#定義を参照のこと。
定義
テンプレート:Math を テンプレート:Mvar で添え字づけられた集合族とする。この族の非交和は集合
である。非交和の元は順序対 テンプレート:Math である。ここで テンプレート:Mvar はどの テンプレート:Math から元 テンプレート:Mvar が来たかを指し示す補助的な添字として働く。
集合 テンプレート:Math の各々は自然に集合
に同型である。この同型を通して、テンプレート:Math は自然に非交和に埋め込まれていると考えることができる。 テンプレート:Math に対して、集合 テンプレート:Math と テンプレート:Math とは集合 テンプレート:Math と テンプレート:Math とが互いに素でないときでさえ互いに素である。
性質
- 固定された集合 テンプレート:Mvar の テンプレート:Mvar で添字付けられた反復的非交和 テンプレート:Math は テンプレート:Mvar と テンプレート:Mvar との直積である。特に、位数（濃度）について テンプレート:Math。
- 一般に、テンプレート:仮リンクは非交和の濃度で与えられる: テンプレート:Math.
- 非交和は集合の圏における余積としての普遍性を満たす。即ち、テンプレート:Math を テンプレート:Math で定めると、任意の集合 テンプレート:Mvar と写像の族 テンプレート:Math に対し、テンプレート:Math を満たすテンプレート:Math が一意的に存在する。
- 集合族 テンプレート:Math がどのふたつも互いに素、すなわち テンプレート:Math ならば テンプレート:Math を満たすとき、自然な同型 テンプレート:Math が存在する。
記法に関する注意
集合の濃度の和に関する事実を示唆して、集合 テンプレート:Math の非交和を テンプレート:Math で[1]、あるいは集合の族の非交和を テンプレート:Math で表すことがある（これは乗法の記号を用いる集合族の直積と対照的な記法になっている。また、この記法に則れば、テンプレート:Math と和をとる操作と濃度をとる操作が可換であるかのように書ける）。ときどき テンプレート:Math[2] あるいは テンプレート:Math とも書かれる。
非交和が余積を表すという圏論的側面が、しばしば の代わりに を非交和の記号として用いる理由を説明する。
多くの目的にとって補助的な添字の付け方に深い意味は無く、表記の簡素化のための濫用において、添字づけられた族は単純に集合の集まりとして扱うことができる。このとき、非交和の定義で用いる（各集合 テンプレート:Mvar の元と添字との対からなる集合）テンプレート:Mvar を意図する表現として 「テンプレート:Mvar のコピー」と言う。またこのとき と書くことがある。
例
集合 テンプレート:Math と テンプレート:Math の非交和 テンプレート:Math あるいは テンプレート:Math[3] は
を用いて、
のように計算される。