不交并
定义与记法
设为一个指标集,是一个集合族,则
是不交并当且仅当对于I中任意的两个相异指标i和j,都有
- [1]:1
为了强调,数学作品记叙时会将其中的圆底并集符号改为方底,记作:
有时可以见到如下记法
表示一个集合族的不交并,或者A + B表示两个集合的不交并。这个记法本意是暗示不交并的基数是该集合族中所有集合的基数之和。
在另一個定義下,若{Ai : i ∈ I}是一個集合族,不交并定義為
不交并的元素是有序對 (x, i)。此處 i標記著 x 的來源是哪個 Ai。
任意集合族的不交并
集合族能拥有不交并的充要条件是它们之间两两交集为空集。对于一般的集合族,由于其中的某些集合之间可能有交集不是空集的情况,因此无法拥有不交并集。然而数学研究中,有时候需要统一讨论这些集合中所有的元素,而又不希望在使用并集运算的时候将其中重复的元素减为一个。于是有的上下文中会修改通常并集的定义,以达到将任意集合族进行不交并运算的效果。具体做法是将每个集合中的元素都附加一个与集合本身相对应的“标签”,这样,若干个交集不为空集的集合中本来相同的元素因为各自附加了不同的“标签”,就成为了不同的元素[2]:26。使用数学的语言描述,即是:
设为一个指标集,是一个集合族,则首先定义:
这样,新的集合族中的每个中的元素都和元素一一对应。然而如果原来有某个元素x是某些集合的共有元素,例如,使得,那么在新的集合族中,这些集合中的x分别变成了,不再是同一个元素了。因此,新的集合族中,任两个集合的交集必然是空集。这样,并集:
就成为了不交并。
例子
设指标集为正整数集。定义集合,则它们之间两两交集并不为空集。比如说属于,但也属于,因为。定义
- 等
则其中任两个元素都不相同,于是任两个集合交集为空集。所以不交并为:
在不至于混淆的情况下,也被直接记作:
- 或
参见
- 余积
- 不交并 (拓扑)
- 标签联合(,标签并集)
参考来源
- E. Artin. . John Wiley & Sons. 2011. ISBN 978-1-118-16454-9.
- Leland Wilkinson, D. Wills, D. Rope, A. Norton, R. Dubbs. . Springer. 2006. ISBN 978-0-387-28695-2.
- Lang Serge. . Springer. 2005. ISBN 978-2-10-007980-3.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.