万维百科

对称差

文氏图。对称差标为红色。

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

集合的对称差通常表示为,对称差的符号在有些图论书籍中也使用符号来表示。例如:集合的对称差为。所有学生的集合和所有女性的集合的对称差为所有男性学生和所有女性非学生组成的集合。

定义

对称差是集合间的运算,两个集合,其对称差有几种等价的定义方式:

性质

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

交换律
结合律
单位元
(空集是单位元)
逆元
分配律
注意:

布尔环

以对称差作为加法,交集为乘法,任何集合的幂集构成一个布尔环,并可以诱导一个同构的布尔代数

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

对称差满足的恒等式有:

与逻辑和布尔代数的关系

或者用异或运算()表示:

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

参考


本页面最后更新于2021-09-26 08:00,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器