对称差

✍ dations ◷ 2025-04-26 12:22:40 #抽象代数,集合论基本概念,二元运算

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

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

对称差是集合间的运算,两个集合 A {\displaystyle A} B {\displaystyle B} ,其对称差 A B {\displaystyle A\operatorname {\triangle } B} 有几种等价的定义方式:

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

以对称差作为加法,交集为乘法,任何集合 X {\displaystyle X} 的幂集 P ( X ) {\displaystyle {\mathcal {P}}(X)} 构成一个布尔环,并可以诱导一个同构的布尔代数。

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

对称差满足的恒等式有:

或者用异或运算( {\displaystyle \oplus } )表示:

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

相关

  • 约翰·丁达尔约翰·廷得耳 FRS(John Tyndall;1820年8月2日-1893年12月4日)是一位19世纪爱尔兰物理学家。1850年代从事反磁性研究而获得了些许科学界的声望,后来以对红外线和空气的研究出名。
  • 帕罗奥多研究中心帕罗奥多研究中心公司(英语:Palo Alto Research Center, Inc.,缩写为PARC),前身为施乐帕罗奥多研究中心(Xerox PARC),曾是施乐公司所成立的最重要的研究机构,它坐落于美国加利福尼亚
  • 2004年全国选举阿都拉·巴达威 国民阵线阿都拉·巴达威 国民阵线2004年马来西亚大选是于2004年3月21日举行的马来西亚国会下议院第11届选举,全国共有12个州同步举行州选举,砂拉越除外。这场
  • 核能发电对环境的冲击核能发电对环境的冲击(The environmental impact of nuclear power)主要来源于核燃料循环、核物质运转以及核事故所带来的影响。日常的健康风险和核分裂发电产生的温室气体都
  • 苏谦益苏谦益(1913年-2007年10月19日),内蒙古托克托县人,中华人民共和国政治人物。担任内蒙古自治区人民委员会副主席。1954年,当选第一届全国人民代表大会代表。
  • 斯普里格蠕虫斯普里格蠕虫(学名:)又名斯普里格水母,是前寒武纪时代埃迪卡拉生物群的一种生物,其形状大致呈两侧对称的蠕虫状,其分类地位还不是很明朗,多数研究者认为它是动物,但也有人认为它属于
  • 胡立德胡立德(英语:David L. Hu;1979年-)是美国乔治亚理工学院的一位流体力学及生物物理学专家,他现时是机械工程与生物学系的副教授,利用高速照相机,透过研究“从动物身上寻找有助于制造
  • 温世仁武侠小说大奖温世仁武侠小说大奖,是已停办的台湾武侠小说征文奖,由明日工作室主办,纪念其创办人温世仁。2005年举办第一届,之后每年一届,至2014年第十届后停办。
  • 高波 (1959年)高波(1959年11月-),江苏溧阳人,中国人民解放军少将,第十三届全国人民代表大会代表。曾任第39军副军长、南海舰队副参谋长,2014年任中国人民解放军总装备部陆军装备科研订购部部长。
  • 绿之日绿之日(日语:みどりの日/みどりのひ ),是日本的公众假期,在每年5月4日庆祝。1989年(平成元年)—2006年(平成18年)曾在每年在4月29日庆祝。1948年,《祝日法》施行,将昭和天皇裕仁寿辰4月