跳至內容

差集

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書

集合論和數學的其他分支中,存在差集的兩種定義:相對差集(差集)和絕對差集(補集)。

相對差集

差集

集合,則中的相對差集(簡稱差集)是由所有屬於但不屬於的元素組成的集合。

中的差集記為

形式上:

例如:

  • 實數集合,有理數集合,則無理數集合。

下列命題給出一些差集同併集交集等集合論運算相關的一些常用性質。

命題1:若是集合,則下列等式恆成立:

絕對差集

補集

若給定全集,則中的差集稱為絕對差集(又稱為補集),記為,即:

(注意:根據ISO與中華人民共和國國家標準中子集的補集記作。)

例如,若全集為自然數集合,則奇數集合的補集為偶數集合。

下列命題給出一些補集同併集和交集等集合論運算相關的一些重要性質。

命題2:若是全集的子集,則下列恆等式成立:

德摩根定律
補集律:
對合
差集和補集的關係:

上述表明,若的非空子集,則的一個分割

補集的符號

補集的符號在Unicode中為數學運算符區段中的「∁」(Unicode:U+2201)。

參考文獻

參見