对称差
对称差
数学上，两个集合的对称差是只属于其中一个集合，而不属于另一个集合的元素组成的集合。
集合论中的这个运算相当于布尔逻辑中的异或运算。
集合formula_1和formula_2的对称差通常表示为formula_3，对称差的符号在有些图论书籍中也使用formula_4符号来表示。例如：集合formula_5和formula_6的对称差为formula_7。所有学生的集合和所有女性的集合的对称差为所有男性学生和所有女性非学生组成的集合。
定义.
对称差是集合间的运算，两个集合formula_1和formula_2，其对称差formula_3有几种等价的定义方式：
性质.
对称差运算的主要性质包括：
formula_13
formula_14
formula_15（空集是单位元）
formula_16
formula_17
注意：
formula_18
formula_19
formula_20
布尔环.
以对称差作为加法，交集为乘法，任何集合formula_21的幂集formula_22构成一个布尔环，并可以诱导一个同构的布尔代数。
综上可得，采用对称差运算，任意集合formula_21的幂集是阿贝尔群。由于该群中所有元素都是其自身的负元，这个群实际上是二元域formula_24上的向量空间。若formula_21有限，则以其为元素的单元素集合构成这个向量空间的基，那么向量空间的维数等于formula_21的元素个数。这种构造方法用于图论，可定义图的圈空间。
对称差满足的恒等式有：
formula_27
formula_16
formula_13
formula_14
formula_31
与逻辑和布尔代数的关系.
或者用异或运算（formula_4）表示：
formula_33
对称差可以在任意布尔代数中定义，写作：
formula_34
本站由爱斯园团队开发维护，感谢那些提出宝贵意见和打赏的网友，没有你们的支持，网站不可能发展到今天，
继往开来，善终如始，我们将继续砥砺前行。
Copyright ©2014 iissy.com, All Rights Reserved.