对合

✍ dations ◷ 2025-04-02 09:55:06 #函数,抽象代数

在数学中,对合(英语:involution)或对合函数,是逆函数等于自身的函数,就是说

对合是双射。

恒等映射是一个对合的平凡例子。数学中更常见的有趣对合例子包括算术中的乘以 −1 和取倒数,集合论中的补集,和复共轭。

其他例子包括圆反演、ROT13变换,和 Beaufort 多字母表密码.

三维欧几里得空间中对合的简单例子是对一个平面的反射。做两次反射就回到了起点。

这个变换是仿射对合的特殊情况。

在线性代数中,对合是线性算子 使得 T 2 = I {\displaystyle T^{2}=I} ,使得 ≠ 且2 = ,其中是单位元。这个定义原来与以上的定义没有任何不同,因为群的元素总是从一个集合到它本身的双射,也就是说,“群”的意思是“置换群”。到了19世纪末,群的定义变得更加广泛,相应地,对合也变得更加广泛。由一个对合通过复合函数生成的双射群,与循环群2同构。

一个置换是对合,当且仅当它可以写成一个或多个不重合的对换的乘积。

群的对合对群的结构有很大影响。对合的研究在有限单群分类中是十分有用的。

在布尔代数中补运算是对合。因此在经典逻辑中的否定满足“双重否定律”: ¬¬ 等价于 。

一般在非经典逻辑中,满足双重否定律的的否定叫做对合性的。在代数语义中,这样的否定被实现为在逻辑真值的代数上对合。有对合性否定的逻辑的例子有 Kleene 和 Bochvar 的三值逻辑、Łukasiewicz 多值逻辑、模糊逻辑 IMTL 等。对合性否定有时作为额外的连结词而增加到有非对合性否定的逻辑中;比如形式模糊逻辑。

否定的对合性是逻辑和对应的代数簇的重要特征性质。例如,对合性否定从Heyting代数中特征化出了布尔代数。相应的,经典布尔逻辑可印发自直觉逻辑加上双重否定律。

在有 = 0, 1, 2, … 个元素的集合上对合的数目给出自递推关系:

这个序列的前几项是 1, 1, 2, 4, 10, 26, 76, 232 (OEIS中的数列A000085)。

相关

  • 创伤后压力心理障碍症创伤后压力综合征(Post-traumatic stress disorder,简称PTSD,又称创伤后遗症)是指人在经历过情感、战争、交通事故等创伤事件后产生的精神疾病。其症状包括会出现不愉快的想法、
  • 灰林鸮灰林鸮(学名:Strix aluco)是林鸮属的一种中型猫头鹰,普遍分布在欧亚大陆的林地。下身淡色及有深色的条纹,上身呈褐色或灰色,已知11个亚种中有几种不同的色型。一般会在树孔中筑巢,
  • 刘易斯·芒福德刘易斯·芒福德(英语:Lewis Mumford,1895年10月19日-1990年1月26日),美国历史学家,科学哲学家,著名文学评论家。以其对城市和城市建筑的研究闻名,是个兴趣广泛的作家。芒福德深受苏格
  • 糖皮质类固醇可抑制性醛固酮症糖皮质类固醇可抑制性醛固酮增多症(glucocorticoid remediable aldosteronism,GRA),又名地塞米松可抑制性醛固酮增多症(dexamethasone-suppressible hyperaldosteronism,DSH)或ACTH
  • 紫外紫外线(英语:Ultraviolet,简称为UV),为波长在10nm至400nm之间的电磁波,波长比可见光短,但比X射线长。太阳光中含有部分的紫外线,电弧、水银灯、黑光灯也会发出紫外线。虽然紫外线不
  • 伊都立伊都立(满语:ᡳᡩᡠᡵᡳ,穆麟德:Iduri;?-1753年),伊尔根觉罗氏,满洲正黄旗人,历任刑部侍郎、山西、江西巡抚等职。伊都立为大学士伊桑阿之子,自举人任内务府员外郎,历刑部侍郎,巡抚山西。
  • 陈情 (嘉靖进士)陈情(1484年-1544年),号龙岗,河南洛阳人,明朝政治人物。其先祖授大同护卫指挥佥事,又调南阳卫。曾祖陈镛自南阳调河南卫,遂为河南洛阳人。镛生源,源生栾。栾为陈情父。前母杜氏,母傅氏
  • 涂天相 涂天相(1668年-1740年),字夑庵,号存斋,一号迂叟。湖北孝感人。康熙七年(1668年)出生,康熙四十一年(1702年)壬午科举人,康熙四十二年(1703年)癸未科进士。康熙五十年(1711年)出任辛卯科乡试
  • 卢森堡市历史博物馆卢森堡市历史博物馆(卢森堡语:Lëtzebuerg City Museum)是位于卢森堡首都卢森堡市的一座历史博物馆。博物馆成立于1996年6月22日。除了周一之外,博物馆每天上午10点至下午6点对
  • 沈仕沈仕(1488年-1565年),字懋学,又字子登,号青门山人,浙江杭州府仁和县人。明朝散曲作家。尤工南曲,以清丽尖新之笔,写男女冶荡之情,开曲中香奁体一派。跟随者皆曰“效青门体”,画亦有名,冯