对称差集是集合论中的一种二元运算，它把两个集合对应为由恰属于二者之一的元素组成的新集合，通常记作 A △ B。对称差也等于两个集合的并集去掉它们的交集，在逻辑上对应异或运算。它满足交换律与结合律，任一集合与自身的对称差为空集，因此集合的幂集在对称差下构成阿贝尔群，并与交集一起构成布尔环，是集合代数、图论和编码理论中常用的基础运算[1][2][3]。
定义
对称差把两个集合 A 与 B 对应为一个新集合，其中的元素要么属于 A、要么属于 B，但不会同时属于两者[1][2]。它也可以由两个差集拼成，即 $A \triangle B = (A \setminus B) \cup (B \setminus A)$，也就是先从 A 中取走属于 B 的元素、再从 B 中取走属于 A 的元素，最后把两部分合在一起[4][5][6]。从隶属关系看，一个元素落在对称差里，等价于“它属于 A”与“它属于 B”这两个判断恰好只有一个成立[6]。
对称差还有一种写法：先求两个集合的并集，再减去它们的交集，即 $A \triangle B = (A \cup B) \setminus (A \cap B)$[1][3][6]。例如 {1, 2, 3} 与 {3, 4} 的对称差是 {1, 2, 4}，元素 3 因为同时出现在两个集合中而被排除[1][5]。这个运算常记作 △ 或 ⊕，英文名称为 symmetric difference，也有人称其为析取并或布尔和[3][2][7]。
原理
对称差满足交换律 $A \triangle B = B \triangle A$ 与结合律 $(A \triangle B) \triangle C = A \triangle (B \triangle C)$，因此把多个集合依次作对称差时，先后次序和加括号的方式都不影响结果[1][2][7]。空集在运算中相当于零：任何集合与空集作对称差都还是它自己[1][7]。反过来，任何集合与自身作对称差都得到空集[1][2]。
以对称差为加法、以交集为乘法，一个集合 X 的所有子集组成一个布尔环，其中空集是加法零元[1][3][2]。在这个环里每个元素都是自身的加法逆元，于是 X 的幂集在对称差下构成一个阿贝尔群[1][2][7]。当 X 为有限集时，这个群可以看成二元域上的向量空间，X 的各单元子集构成一组基，空间的维数等于 X 中元素的个数[1][3]。
对称差与逻辑中的异或相互对应：若用特征函数表示集合，元素在 A △ B 中的取值等于它在 A 与 B 中取值的异或[2][6]。据此，两个集合的对称差也可以借助成员表逐行算出[8]。此外，交集对对称差满足分配律，即 $A \cap (B \triangle C) = (A \cap B) \triangle (A \cap C)$[1][3]。
发展历程
对称差至迟在 20 世纪中期已经进入标准集合论教材。1960 年出版的《朴素集合论》(Naive Set Theory) 把两个集合的对称差作为基本运算给出，称之为布尔和(Boolean sum)，记作 A + B，并列出其交换律与结合律[7]。布尔和的名称把这一集合运算与布尔代数中的加法联系起来[1]。
此后对称差被用来刻画更抽象的结构。在代数图论中，把图的边集当作集合、把对称差当作加法，图的全部欧拉子图构成二元域上的向量空间，称为圈空间[9]。圈空间的维数可以用顶点数、边数与连通分支数算出，等于边数减去顶点数再加上连通分支数，这个数也叫圈秩或零化度[9][10]。
应用
在图论中，圈空间的加法与线性组合都取对称差，两个欧拉子图的对称差仍然是欧拉子图[9]。取图的一棵生成树，逐条把不属于树的边加入，每条这样的边与树中连接其两端点的路径合成一个基本圈，这些圈互不相关，任何一个欧拉子图都可以写成若干个基本圈的对称差[9][10]。
在纠错编码领域，图码把顶点集相同的图当作码字，两个图之间的距离用它们边集对称差所含的边数来衡量，码的设计目标是让任意两个码字之间的这种距离不低于给定值[11][12]。在分布式集合同步中，两端各自持有的元素集合可以只围绕对称差中的元素交换信息，从而完成数据的一致化[13]。
在模糊承诺等密钥方案里，两个集合之间的距离直接取对称差的元素个数，称为集合差度量[14]。由于该度量只统计元素是否相同，比较时通常把参与比较的集合限制为同样大小[14]。
局限
对称差只记录一个元素是否属于集合，不记录元素出现的次数与排列顺序；同一个集合与自身作对称差会变成空集，因此在以对称差为加法的线性组合里，某个集合被取用两次会互相抵消，与完全不用它没有区别[7][2]。这意味着它适合描述集合之间的差异，却不能直接表示元素的重数差别[1]。
当运算对象是图这类带有额外结构的对象时，对称差需要附加前提。两个图只有在顶点集完全相同、差别仅在于边集时，才能对它们的边集作对称差并得到一个新图[12]。在度量应用中，集合差度量只关心两个集合中有多少元素不同，不区分元素彼此差别的程度，所以比较规模不一的对象时往往要把范围限制在同一大小的子集上[14]。
以对称差为加法构造的圈空间建立在只有两个元素的域上，其系数只有 0 和 1 两种取值，因而无法直接表示同一条边出现多次的情形；若需要整数重数，必须把系数所在的环换成一般环，才能得到系数在环中的圈空间[9]。此外，圈空间与割空间虽然互为正交补，仍存在一些图含有同时属于两个空间的非空子图，这一情形与图的生成森林数目的奇偶性有关[9]。
参见
参考资料
- [科普中国]-对称差 . kepuchina.cn [引用日期2026-09-29]
- epfl.ch 上的网页 . epfl.ch [引用日期2026-09-29]
- 对称差 . baidu.com [引用日期2026-09-29]
- symmetric difference . oxfordreference.com [引用日期2026-09-29]
- symmetric set difference . nist.gov [引用日期2026-09-29]
- Ch2(PDF) . ed.ac.uk [引用日期2026-09-29]
- Text-only - Naive set theory, . | HathiTrust Digital Library . hathitrust.org [引用日期2026-09-29]
- Symmetric Difference - Chapters and Articles . sciencedirect.com [引用日期2026-09-29]
- Cycle space | encyclopedia article by TheFreeDictionary . thefreedictionary.com [引用日期2026-09-29]
- Cycle basis . wikipedia.org [引用日期2026-09-29]
- Error-Correcting Graph Codes . dagstuhl.de [引用日期2026-09-29]
- Connectivity graph-codes - RESEARCH ARTICLE . wiley.com [引用日期2026-09-29]
- arxiv.org 上的网页 . arxiv.org [引用日期2026-09-29]
- 742063_FULLTEXT01(PDF) . ntnu.no [引用日期2026-09-29]
浏览次数：0 次
阅读量：0 次 · 阅读完成量：0 次
最近更新：2026-09-29T11:17:13Z
完成率 = 阅读完成量 ÷ 阅读量，分母是阅读量不是浏览次数 —— 关了 JS 的、秒退的都在浏览次数里、不在阅读量里。 详细口径在后台的「数据统计」页。