跳至內容

對稱差

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書
文氏圖。對稱差標為紅色。

數學上,兩個集合對稱差是只屬於其中一個集合,而不屬於另一個集合的元素組成的集合。 集合論中的這個運算相當於布林運算中的異或運算。

集合的對稱差通常表示為,對稱差的符號在有些圖論書籍中也使用符號來表示。例如:集合的對稱差為。所有學生的集合和所有女性的集合的對稱差為所有男性學生和所有女性非學生組成的集合。

定義

[編輯]

對稱差是集合間的運算,兩個集合,其對稱差有幾種等價的定義方式:

性質

[編輯]

對稱差運算的主要性質包括:

交換律
結合律
單位元素
(空集是單位元素)
反元素
分配律
注意:

以對稱差作為加法,交集為乘法,任何集合的冪集構成一個布林環,並可以誘導一個同構的布林代數

綜上可得,採用對稱差運算,任意集合冪集阿貝爾群。由於該群中所有元素都是其自身的負元,這個群實際上是二元域上的向量空間。若有限,則以其為元素的單元素集合構成這個向量空間的,那麼向量空間的維數等於的元素個數。這種構造方法用於圖論,可定義圖的圈空間

對稱差滿足的恆等式有:

與邏輯和布林代數的關係

[編輯]

或者用異或運算()表示:

對稱差可以在任意布林代數中定義,寫作:

參考

[編輯]