不交集

數學裡,若兩個集合沒有共同的元素,稱為不交(disjoint)。例如不交集(disjoint sets)。

兩個互不相交的集合(disjoint sets)。

解釋

從定義說,兩個集合為不交,若其交集空集,即[1]

此一定義可推廣至集族上。若然一個集族裡的任意兩個相異集合均為不交,則稱之為兩兩不交

形式上,設索引集,且對內的任一元素,設為一集合。然後為兩兩不交,當對任何於內的,有

舉例來說,便為兩兩不交。若為兩兩不交,則中各集合的交集為空集:

相反則不必為真:內各集合的交集為空集,但非兩兩不交。事實上,其內的集合甚至沒有兩個是不交集。

集合划分是由一群兩兩不交的非空集合組成的集族。

参考文献

  1. Halmos, P. R., , Undergraduate Texts in Mathematics, Springer: 15, 1960 [2014-01-24], ISBN 9780387900926, (原始内容存档于2017-03-15).

另見

  • 幾乎不交集
  • 不交併
  • 不交集資料結構
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.