不交併

在集合論，一組集合的不交併指的是一種修改過的併集運算，除了普通的併集，還標記了元素的來源。不交併還有另一個意義，指的是兩兩不交的集合的併集。

定義與記法

設$I$為一個指標集，$\{A_{i};\;i\in I\}$是一個集合族，則

$\bigcup _{i\in I}A_{i}$

是不交併當且僅當對於I中任意的兩個相異指標i和j，都有

$A_{i}\cap A_{j}=\varnothing$

為了強調$\bigcup _{i\in I}A_{i}$，數學作品記敘時會將其中的圓底併集符號改為方底，記作：

$\bigsqcup _{i\in I}A_{i}$

有時可以見到如下記法

$\sum _{i\in I}A_{i}$

表示一個集合族的不交併，或者A + B表示兩個集合的不交併。這個記法本意是暗示不交併的基數是該集合族中所有集合的基數之和。

在另一個定義下，若{A_i : i ∈ I}是一個集合族，不交併定義為

$\bigsqcup _{i\in I}A_{i}=\bigcup _{i\in I}\{(x,i):x\in A_{i}\}.$

不交併的元素是有序對 (x, i)。此處 i標記著 x 的來源是哪個 A_i。

例子

設集合$A_{1}=\{1,2,3\}$，$A_{2}=\{4,5,6\}$，$A_{3}=\{7,8,9\}$，$A_{4}=\{1,3,5\}$，$A_{5}=\{2,4,6\}$，則$A_{1}\cup A_{2}\cup A_{3}$與$A_{4}\cup A_{5}$是不交併，而$A_{1}\cup A_{3}\cup A_{5}$則不是不交併，因為$A_{1}\cap A_{5}=\{2\}$不是空集。

設指標集為整數集$\mathbb {Z}$，定義集合族：$\forall i\in \mathbb {Z} ,\;R_{i}=[i,i+1)$。則所有的$R_{i}$的併集是不交併，結果是實數集合$\mathbb {R}$。

任意集合族的不交併

集合族能擁有不交併的充要條件是它們之間兩兩交集為空集。對於一般的集合族，由於其中的某些集合之間可能有交集不是空集的情況，因此無法擁有不交併集。然而數學研究中，有時候需要統一討論這些集合中所有的元素，而又不希望在使用併集運算的時候將其中重複的元素減為一個。於是有的上下文中會修改通常併集的定義，以達到將任意集合族進行不交併運算的效果。具體做法是將每個集合中的元素都附加一個與集合本身相對應的「標籤」，這樣，若干個交集不為空集的集合中本來相同的元素因為各自附加了不同的「標籤」，就成為了不同的元素。使用數學的語言描述，即是：

設$I$為一個指標集，$\{A_{i};\;i\in I\}$是一個集合族，則首先定義：

$\forall i\in I,A_{i}^{*}=\{(i,x);\;x\in A_{i}\}$

這樣，新的集合族$\{A_{i}^{*};\;i\in I\}$中的每個$A_{i}^{*}$中的元素都和$A_{i}$元素一一對應。然而如果原來有某個元素x是某些集合的共有元素，例如$\exists J\subset I,\;\;J\neq \varnothing$，使得$\forall j\in J,\;x\in A_{j}$，那麼在新的集合族中，這些集合中的x分別變成了$(j,x),\;\;j\in J$，不再是同一個元素了。因此，新的集合族中，任兩個集合的交集必然是空集。這樣，併集：

$\bigcup _{i\in I}A_{i}^{*}$

就成為了不交併。

例子

設指標集為正整數集$\mathbb {Z} ^{+}$。定義集合$A_{i}=\{{\frac {k}{2^{i}}};\;k\in \mathbb {Z} ,\;0<k<2^{i}\},\;\;\forall i\in \mathbb {Z} ^{+}$，則它們之間兩兩交集並不為空集。比如說${\frac {3}{4}}={\frac {3}{2^{2}}}$屬於$A_{2}$，但也屬於$A_{3}$，因為${\frac {3}{4}}={\frac {6}{2^{3}}}$。定義

$A_{1}^{*}=\{(1,x);\;x\in A_{1}\}=\{(1,{\frac {1}{2}})\}$

$A_{2}^{*}=\{(2,x);\;x\in A_{2}\}=\{(2,{\frac {1}{4}}),(2,{\frac {1}{2}}),(2,{\frac {3}{4}})\}$

$A_{3}^{*}=\{(3,x);\;x\in A_{3}\}=\{(3,{\frac {1}{8}}),(3,{\frac {1}{4}}),(3,{\frac {3}{8}}),(3,{\frac {1}{2}}),(3,{\frac {5}{8}}),(3,{\frac {3}{4}}),(3,{\frac {7}{8}})\}$等

則其中任兩個元素都不相同，於是任兩個集合交集為空集。所以不交併為：

$\bigsqcup _{i\in \mathbb {Z} ^{+}}A_{i}^{*}=\{(i,{\frac {j}{2^{i}}});\;\;(i,j)\in \mathbb {Z} ^{+}\times \mathbb {Z} ^{+},j<2^{i}\}$

在不至於混淆的情況下，也被直接記作：

$\bigsqcup _{i\in \mathbb {Z} ^{+}}A_{i}=\{(i,{\frac {j}{2^{i}}});\;\;(i,j)\in \mathbb {Z} ^{+}\times \mathbb {Z} ^{+},j<2^{i}\}$或$\bigcup _{i\in \mathbb {Z} ^{+}}^{*}A_{i}=\{(i,{\frac {j}{2^{i}}});\;\;(i,j)\in \mathbb {Z} ^{+}\times \mathbb {Z} ^{+},j<2^{i}\}$

推廣

在範疇論的語言中無交併是集合範疇的余積，因此它滿足相應的泛性質。這也意味着不交併是笛卡爾積的對偶。

參見

• 余積
• 不交併 (拓撲)
• 標籤聯合（tagged union，標籤併集）