对称差

✍ dations ◷ 2025-04-04 11:16:10 #抽象代数,集合论基本概念,二元运算

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

集合 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 } )表示:

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

相关

  • 藏缅语族藏缅语族是分布于中国西南部、印度东北部、尼泊尔、巴基斯坦、不丹、缅甸、泰国、越南等地的一组语言。根据民族语网站2009年的资料,藏缅语族共包含有435种语言,其中主要的语
  • 利维·姆瓦纳瓦萨利维·帕特里克·姆瓦纳瓦萨(英文Levy Patrick Mwanawasa,1948年9月3日-2008年8月19日),赞比亚总统(2002—2008),2002年1月首次当选。姆瓦纳瓦萨出生于穆富利拉,在赞比亚大学获得法律
  • 约瑟夫·高斯瓦夫斯基约瑟夫·高斯瓦夫斯基, 波兰语:Józef Jan Gosławski (1908年4月24日出生于卢布林附近的Polanówka,1963年1月23日于华沙辞世),波兰雕塑家、勋章设计艺术家。高斯瓦夫斯基参与设
  • 三重先啬宫坐标:25°03′02″N 121°28′34″E / 25.050496°N 121.475982°E / 25.050496; 121.475982先啬宫,是位于台湾新北市三重区二重埔五谷里的神农庙,庙身被列为新北市文化资产,拥
  • 麦克·温特伯顿迈克尔·温特伯顿(1961年3月29日-)是一名英国籍电影制作人。在转去做故事片前他最开始于英国电视制作。他的三部作品《欢迎来到萨拉热窝》,《仙境》,和《24小时狂欢派对》被提名
  • 朱燮元朱燮元像,取自清代修《浙江山阴朱氏宗谱》朱燮元(1566年10月26日-1638年5月7日),原名懋赏,字懋和,号恒岳,一号石芝,行明二十一,浙江山阴县(今属绍兴市)人,明朝政治、军事人物。万历二十年
  • 小松宫小松宫,是明治时代初期由伏见宫邦家亲王第八子彰仁亲王创设的宫家。彰仁亲王去世后,由北白川宫能久亲王王子小松辉久臣籍降下,以小松侯爵家名义继承及祭祀宫家。彰仁亲王在弘化
  • 崔德志崔德志(1927年6月3日-),笔名马非,男,黑龙江青冈人,中国剧作家,中国戏剧家协会理事,第六、七届全国人大代表。
  • 明智传鬼明智传鬼(日语:明智伝鬼)(1940年9月11日- 2005年7月17日),是一名绳师,出生于日本东京都。从1970年代开始进行活动,包括从事AV和SM展览相关的工作。
  • 文浩文浩(1927年-1994年),原名赛·文都素,男,蒙古族,内蒙古土默特左旗人,中国雕塑家、博物馆学家,曾任中国美术家协会理事。