不交并

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

定义与记法
设I为一个指标集，\{A_i ; \; i \in I\}是一个集合族，则
:\bigcup_{i \in I} A_i

是不交并当且仅当对于中任意的两个相异指标和，都有
: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表示两个集合的不交并。这个记法本意是暗示不交并的基数是该集合族中所有集合的基数之和。

在另一個定義下，若{Ai : i ∈ I}是一個集合族，不交并定義為
:\bigsqcup_{i\in I}A_i = \bigcup_{i\in I}\{(x,i) : x \in A_i\}.

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

例子
设集合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 元素一一对应。然而如果原来有某个元素是某些集合的共有元素，例如\exists J \subset I, \; \; J\neq \varnothing，使得\forall j \in J, \; x \in A_j，那么在新的集合族中，这些集合中的分别变成了(j, x) , \; \; j \in J，不再是同一个元素了。因此，新的集合族中，任两个集合的交集必然是空集。这样，并集：
:\bigcup_{i \in I} A_i^*

就成为了不交并。

例子
设指标集为正整数集\mathbb{Z}^+。定义集合A_i = \{ \frac{k}{2^i} ; \; k \in \mathbb{Z} , \; 0 ，则它们之间两两交集并不为空集。比如说\frac34 = \frac{3}{2^2}属于A_2，但也属于A_3，因为\frac34 = \frac{6}{2^3}。定义
:A_1^* = \{(1, x) ; \; x \in A_1\} = \{(1, \frac12) \}
:A_2^* = \{(2, x) ; \; x \in A_2\} = \{(2, \frac14), (2, \frac12), (2, \frac34)\}
:A_3^* = \{(3, x) ; \; x \in A_3\} = \{(3, \frac18), (3, \frac14), (3, \frac38), (3, \frac12), (3, \frac58), (3, \frac34), (3, \frac78)\}等

则其中任两个元素都不相同，于是任两个集合交集为空集。所以不交并为：
:\bigsqcup_{i \in \mathbb{Z}^+} A_i^* = \{(i, \frac{j}{2^i}) ; \; \; (i, j) \in \mathbb{Z}^+ \times \mathbb{Z}^+ , j

在不至于混淆的情况下，也被直接记作：
:\bigsqcup_{i \in \mathbb{Z}^+} A_i = \{(i, \frac{j}{2^i}) ; \; \; (i, j) \in \mathbb{Z}^+ \times \mathbb{Z}^+ , j 或\bigcup_{i \in \mathbb{Z}^+}^* A_i = \{(i, \frac{j}{2^i}) ; \; \; (i, j) \in \mathbb{Z}^+ \times \mathbb{Z}^+ , j

推广
在范畴论的语言中無交併是集合范畴的，因此它满足相应的泛性质。这也意味着不交并是笛卡尔积的对偶。

参见
*
*

• 标签联合（，标签并集）

参考来源