在集合論,一組集合的互斥聯集指的是一種修改過的聯集運算,除了普通的聯集,還標記了元素的來源。互斥聯集還有另一個意義,指的是兩兩不交的集合的聯集。
定義與記法[編輯]
設
為一個指標集,
是一個集族,則
![{\displaystyle \bigcup _{i\in I}A_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c9d8e423bac559e165f0ef1f2554108dcdb8ea1)
是互斥聯集若且唯若對於I中任意的兩個相異指標i和j,都有
[1]:1
為了強調
,數學作品記敘時會將其中的圓底聯集符號改為方底,記作:
![{\displaystyle \bigsqcup _{i\in I}A_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92de13f4a4668b7358be8588683586170cf22fcc)
有時可以見到如下記法
![{\displaystyle \sum _{i\in I}A_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/772a64af7cbc303ef59e1cb94e0529749fd4f78c)
表示一個集族的互斥聯集,或者A + B表示兩個集合的互斥聯集。這個記法本意是暗示互斥聯集的基數是該集族中所有集合的基數之和。
在另一個定義下,若{Ai : i ∈ I}是一個集族,互斥聯集定義為
![{\displaystyle \bigsqcup _{i\in I}A_{i}=\bigcup _{i\in I}\{(x,i):x\in A_{i}\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a92fb406bdab9cb59691aefabb2242705daf962)
互斥聯集的元素是有序對 (x, i)。此處 i標記著 x 的來源是哪個 Ai。
設集合
,
,
,
,
,則
與
是互斥聯集,而
則不是互斥聯集,因為
不是空集。
設指標集為整數集
,定義集族:
。則所有的
的聯集是互斥聯集,結果是實數集合
。
任意集族的互斥聯集[編輯]
集族能擁有互斥聯集的充要條件是它們之間兩兩交集為空集。對於一般的集族,由於其中的某些集合之間可能有交集不是空集的情況,因此無法擁有互斥聯集集。然而數學研究中,有時候需要統一討論這些集合中所有的元素,而又不希望在使用聯集運算的時候將其中重複的元素減為一個。於是有的上下文中會修改通常聯集的定義,以達到將任意集族進行互斥聯集運算的效果。具體做法是將每個集合中的元素都附加一個與集合本身相對應的「標籤」,這樣,若干個交集不為空集的集合中本來相同的元素因為各自附加了不同的「標籤」,就成為了不同的元素[2]:26。使用數學的語言描述,即是:
設
為一個指標集,
是一個集族,則首先定義:
![{\displaystyle \forall i\in I,A_{i}^{*}=\{(i,x);\;x\in A_{i}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f106c11e7c93d7b2a241e0e1344e1ae042d02af)
這樣,新的集族
中的每個
中的元素都和
元素一一對應。然而如果原來有某個元素x是某些集合的共有元素,例如
,使得
,那麼在新的集族中,這些集合中的x分別變成了
,不再是同一個元素了。因此,新的集族中,任兩個集合的交集必然是空集。這樣,聯集:
![{\displaystyle \bigcup _{i\in I}A_{i}^{*}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18a07913021602cb7698e71120e35dcfc73a1eea)
就成為了互斥聯集。
設指標集為正整數集
。定義集合
,則它們之間兩兩交集並不為空集。比如說
屬於
,但也屬於
,因為
。定義
![{\displaystyle A_{1}^{*}=\{(1,x);\;x\in A_{1}\}=\{(1,{\frac {1}{2}})\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/298e1fedd497f0367ddb95df60f957904cd91d2f)
![{\displaystyle A_{2}^{*}=\{(2,x);\;x\in A_{2}\}=\{(2,{\frac {1}{4}}),(2,{\frac {1}{2}}),(2,{\frac {3}{4}})\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5dba7c666b04c0c9592840bf9d2e4d675800bc9)
等
則其中任兩個元素都不相同,於是任兩個集合交集為空集。所以互斥聯集為:
![{\displaystyle \bigsqcup _{i\in \mathbb {Z} ^{+}}A_{i}^{*}=\{(i,{\frac {j}{2^{i}}});\;\;(i,j)\in \mathbb {Z} ^{+}\times \mathbb {Z} ^{+},j<2^{i}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9182803d8b54e0e31646629f3c5dcb9eb6ce86df)
在不至於混淆的情況下,也被直接記作:
或![{\displaystyle \bigcup _{i\in \mathbb {Z} ^{+}}^{*}A_{i}=\{(i,{\frac {j}{2^{i}}});\;\;(i,j)\in \mathbb {Z} ^{+}\times \mathbb {Z} ^{+},j<2^{i}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/626d42096d1cbb00307df79d689eec9796da1120)
在範疇論的語言中無交併是集合範疇的余積,因此它滿足相應的泛性質。這也意味著互斥聯集是笛卡兒積的對偶。[3]:60
參考來源[編輯]