不交并

在集合论，一组集合的不交并指的是一种修改过的并集运算，除了普通的并集，还标记了元素的来源。不交并还有另一个意义，指的是两两不交的集合的并集。

定义与记法

设$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，标签并集）