不交并

维基百科,自由的百科全书
跳转至: 导航搜索

不交并集合论的概念,指对两两交集空集集合并集运算。而将某个集合表示为它的一系列子集的不交并,称为集合的分拆(或集合的拆分)。

定义与记法[编辑]

I为一个指标集,\{A_i ; \; i \in I\}是一个集合族,则

\bigcup_{i \in I} A_i

是不交并当且仅当对于I中任意的两个相异指标ij,都有

A_i \cap A_j = \varnothing.[1]:1

为了强调\bigcup_{i \in I} A_i,数学作品记叙时会将其中的圆底并集符号改为方底,记作:

\bigsqcup_{i \in I} A_i

有时可以见到如下记法

\sum_{i\in I}A_i

表示一个集合族的不交并,或者A + B表示两个集合的不交并。这个记法本意是暗示不交并的基数是该集合族中所有集合的基数之

例子[编辑]

设集合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_3A_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}

任意集合族的不交并[编辑]

集合族能拥有不交并的充要条件是它们之间两两交集为空集。对于一般的集合族,由于其中的某些集合之间可能有交集不是空集的情况,因此无法拥有不交并集。然而数学研究中,有时候需要统一讨论这些集合中所有的元素,而又不希望在使用并集运算的时候将其中重复的元素减为一个。于是有的上下文中会修改通常并集的定义,以达到将任意集合族进行不交并运算的效果。具体做法是将每个集合中的元素都附加一个与集合本身相对应的“标签”,这样,若干个交集不为空集的集合中本来相同的元素因为各自附加了不同的“标签”,就成为了不同的元素[2]:26。使用数学的语言描述,即是:

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}^+,则它们之间两两交集并不为空集。比如说\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 < 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\}

推广[编辑]

范畴论的语言中無交并是集合范畴上积,因此它满足相应的泛性质。这也意味着不交并是笛卡尔积对偶[3]:60

参见[编辑]

参考来源[编辑]

  1. ^ E. Artin. Geometric Algebra. John Wiley & Sons. 2011. ISBN 978-1-118-16454-9. 
  2. ^ Leland Wilkinson, D. Wills, D. Rope, A. Norton, R. Dubbs. The Grammar of Graphics. Springer. 2006. ISBN 978-0-387-28695-2. 
  3. ^ Lang Serge. Algebra. Springer. 2005. ISBN 978-2-10-007980-3.