查看“︁对称差”︁的源代码

{{NoteTA
|G1 = Math
}}
[[File:Venn0110.svg|thumb|<math>A \operatorname{\triangle} B</math>的[[文氏圖]]。對稱差標為紅色。]]
[[数学]]上，两个[[集合 (数学)|集合]]的'''对称差'''是只属于其中一个集合，而不属于另一个集合的元素组成的集合。
[[集合论]]中的这个运算相当于[[布尔逻辑]]中的[[异或]]运算。

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

== 定义 ==
对称差是集合间的运算，两个集合<math>A</math>和<math>B</math>，其对称差<math>A \operatorname{\triangle} B</math>有几种等价的定义方式：
# <math>A \operatorname{\triangle} B = (A - B) \cup (B - A)</math>
# <math>A \operatorname{\triangle} B = (A \cup B) - (A \cap B)</math>

== 性质 ==
对称差运算的主要性质包括：
;[[交换律]]
:<math>A \operatorname{\triangle} B = B \operatorname{\triangle} A</math>
;[[结合律]]
:<math>(A \operatorname{\triangle} B) \operatorname{\triangle} C = A \operatorname{\triangle} (B \operatorname{\triangle} C)</math>
;[[单位元]]
:<math>\varnothing \operatorname{\triangle} A = A</math>（空集是单位元）
;[[逆元]]
:<math>A \operatorname{\triangle} A = \varnothing</math>
;[[分配律]]
:<math>A \cap (B \operatorname{\triangle} C) = (A \cap B) \operatorname{\triangle} (A \cap C)</math>
:注意：
::<math>A \operatorname{\triangle} (B \cap C) \neq (A \operatorname{\triangle} B) \cap (A \operatorname{\triangle} C)</math>
::<math>A \cup (B \operatorname{\triangle} C) \neq (A \cup B) \operatorname{\triangle} (A \cup C)</math>
::<math>A \operatorname{\triangle} (B \cup C) \neq (A \operatorname{\triangle} B) \cup (A \operatorname{\triangle} C)</math>

=== [[布尔环]] ===
以对称差作为加法，交集为乘法，任何集合<math>X</math>的幂集<math>\mathcal{P}(X)</math>构成一个布尔环，并可以诱导一个同构的[[布尔代数]]。

综上可得，采用对称差运算，任意集合<math>X</math>的[[幂集]]是[[阿贝尔群]]。由于该群中所有元素都是其自身的负元，这个群实际上是[[有限域|二元域]]<math>Z_{2}</math>上的[[向量空间]]。若<math>X</math>有限，则以其为元素的[[单元素集合]]构成这个向量空间的[[基 (線性代數)|基]]，那么向量空间的[[维数]]等于<math>X</math>的元素个数。这种构造方法用于[[图论]]，可定义图的[[圈空间]]。

对称差满足的恒等式有：

:<math>A \operatorname{\triangle} \varnothing = A</math>
:<math>A \operatorname{\triangle} A = \varnothing</math>
:<math>A \operatorname{\triangle} B = B \operatorname{\triangle} A</math>
:<math>(A \operatorname{\triangle} B) \operatorname{\triangle} C = A \operatorname{\triangle} (B \operatorname{\triangle} C)</math>
:<math>A \operatorname{\triangle} B = A \operatorname{\triangle} C \Rightarrow B = C</math>

== 与逻辑和布尔代数的关系 ==
或者用异或运算（<math>\oplus</math>）表示：
:<math>A \operatorname{\triangle} B = \{x \mid (x \in A) \oplus (x \in B)\}</math>

对称差可以在任意[[布尔代数]]中定义，写作：
:<math>x \operatorname{\triangle} y = (x \lor y) \land \neg (x \land y) = (x \land \neg y) \lor (y \land \neg x)</math>

== 参考 ==
* [[朴素集合论]]
* [[并集]]
* [[交集]]
* [[补集]]
* [[不交并]]

[[Category:抽象代数|D]]
[[Category:集合論基本概念|D]]
[[Category:二元運算|D]]

{{集合论}}