对称差

✍ dations ◷ 2025-10-22 07:23:21 #抽象代数,集合论基本概念,二元运算

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

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

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

相关

  • 共济失调毛细血管扩张症共济失调微血管扩张症候群是一种小脑运动失调疾病,常于3-6岁发病,并会有免疫不全、微血管扩张,以及容易发生癌症,对辐射的抗性亦有所下降。其发生率为1/40000至100000。遗传方面
  • 同济大学医学院2000年,原上海铁道大学与同济大学合并。成立新的同济大学医学院,重建医科。于是,中国出现了两个使用“同济”品牌的医学院,上海的同济大学医学院和武汉的华中科技大学同济医学院
  • 核糖体DNA核糖体DNA(Ribosomal DNA,rDNA)是一种DNA序列,该序列用于rRNA编码。核糖体是蛋白质和rRNA分子的组合,翻译mRNA分子以产生蛋白质的组件。如该图所示,真核生物的rDNA包括一个单元段,
  • 长子西征长子西征,又称蒙古第二次西征、蒙古侵略欧洲(英语:Mongol invasion of Europe),是蒙古帝国继成吉思汗西征花剌子模后的第二次大规模的西征。1235年开始至约1242年,历时约8年,因由各
  • 立方根如果一个数 x {\displaystyle x} 的立方等于 a {\displaystyle a} ,那么这个数 x
  • 巴卡亭III巴卡亭III(Baccatin III),又名巴卡廷III、浆果赤霉素III,是一种可用作合成紫杉烷类药物的原料的二萜类化合物(英语:Diterpene)。巴卡亭III能从红豆杉的枝条与树叶中分离取得。2000
  • 罗兰·德鄯 罗兰·德鄯(Roland Deschain)是斯蒂芬·金所写的奇幻小说《黑暗塔》的主角,他登场于《黑暗塔I 枪侠》,是一名来自基列地的枪侠。斯蒂芬·德鄯和嘉珀丽之子。为白
  • 东仙坡镇东仙坡镇,是中华人民共和国河北省保定市涿州市下辖的一个乡镇级行政单位,与北京市房山区琉璃河地区相邻。东仙坡镇下辖以下地区:东仙坡村、王家坟村、中胡良村、上胡良村、西仙
  • Intel Extreme GraphicsIntel Extreme Graphics是Intel的整合型显示核心,于2002年5月推出。当时,Intel发布了Pentium 4 533MHz外频版本,和支援该款处理器的芯片组,i845G和i845E。当中的i845G就是整合了
  • 张乃璜张乃璜(1914年-1938年),上海市嘉定区马陆镇人。1937年“七·七”事变后,前往延安,进入抗日军政大学学习,期间加入了中国共产党。后被派往出晋、察,冀抗日根据地,参加抗日战争,担任八