对称差

$A\mathrm{△}B$的文氏圖。對稱差標為紅色。

数学上，两个集合的对称差是只属于其中一个集合，而不属于另一个集合的元素组成的集合。 集合论中的这个运算相当于布尔逻辑中的异或运算。

集合$A$和$B$的对称差通常表示为$A\mathrm{△}B$，对称差的符号在有些图论书籍中也使用$\oplus$符号来表示。例如：集合$\{1,2,3\}$和$\{3,4\}$的对称差为$\{1,2,4\}$。所有学生的集合和所有女性的集合的对称差为所有男性学生和所有女性非学生组成的集合。

定义

对称差是集合间的运算，两个集合$A$和$B$，其对称差$A\mathrm{△}B$有几种等价的定义方式：

1. $A\mathrm{△}B=(A-B)\cup (B-A)$
2. $A\mathrm{△}B=(A\cup B)-(A\cap B)$

性质

对称差运算的主要性质包括：

交换律

$A\mathrm{△}B=B\mathrm{△}A$

结合律

$(A\mathrm{△}B)\mathrm{△}C=A\mathrm{△}(B\mathrm{△}C)$

单位元

$\varnothing \mathrm{△}A=A$（空集是单位元）

逆元

$A\mathrm{△}A=\varnothing$

分配律

$A\cap (B\mathrm{△}C)=(A\cap B)\mathrm{△}(A\cap C)$

注意：

$A\mathrm{△}(B\cap C)\ne (A\mathrm{△}B)\cap (A\mathrm{△}C)$

$A\cup (B\mathrm{△}C)\ne (A\cup B)\mathrm{△}(A\cup C)$

$A\mathrm{△}(B\cup C)\ne (A\mathrm{△}B)\cup (A\mathrm{△}C)$

布尔环

以对称差作为加法，交集为乘法，任何集合$X$的幂集$𝒫(X)$构成一个布尔环，并可以诱导一个同构的布尔代数。

综上可得，采用对称差运算，任意集合$X$的幂集是阿贝尔群。由于该群中所有元素都是其自身的负元，这个群实际上是二元域$Z_2$上的向量空间。若$X$有限，则以其为元素的单元素集合构成这个向量空间的基，那么向量空间的维数等于$X$的元素个数。这种构造方法用于图论，可定义图的圈空间。

对称差满足的恒等式有：

$A\mathrm{△}\varnothing =A$

$A\mathrm{△}A=\varnothing$

$A\mathrm{△}B=B\mathrm{△}A$

$(A\mathrm{△}B)\mathrm{△}C=A\mathrm{△}(B\mathrm{△}C)$

$A\mathrm{△}B=A\mathrm{△}C\Rightarrow B=C$

与逻辑和布尔代数的关系

或者用异或运算（$\oplus$）表示：

$A\mathrm{△}B=\{x\mid (x\in A)\oplus (x\in B)\}$

对称差可以在任意布尔代数中定义，写作：

$x\mathrm{△}y=(x\vee y)\wedge \mathrm{\neg }(x\wedge y)=(x\wedge \mathrm{\neg }y)\vee (y\wedge \mathrm{\neg }x)$

参考

• 朴素集合论
• 并集
• 交集
• 补集
• 不交并