对合

✍ dations ◷ 2025-09-16 08:53:33 #函数,抽象代数

在数学中,对合(英语: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)。

相关

  • 子宫主韧带子宫主韧带(英语:cardinal ligament, Mackenrodt's ligament lateral cervical ligament, transverse cervical ligament)是一个子宫的主要韧带。它位于子宫阔韧带(英语:broad li
  • 艾克朗大学艾克朗大学(英文:University of Akron), 是一所位于美国俄亥俄州的公立大学。俄亥俄州第四大的学校。这所大学设立于公元1870年,当时是与Universalist教会有密切关系的小型学院。
  • 外寄生物感染外寄生物感染是指主要由外寄生物引起的寄生虫病。外寄生物即暂时或永久寄生于宿主体表的寄生物。例如:治疗外寄生物感染常使用杀外寄生虫药(英语:ectoparasiticide),以杀死外寄生
  • 2017年9月逝世人物列表2017年9月逝世人物列表,是用于汇总2017年9月期间逝世人物的列表。
  • JiffyJiffy 是一个非正式术语,表示不具体的非常短暂的时间段,如“我一会儿就回来”。首次使用于1785年,词源不明,有迹象表明是来自描述闪电的thieves' cant(英语:thieves' cant).最早的
  • 杨-米尔斯理论杨-米尔斯理论是一种基于SU(N)群的规范场论,在数学和物理学中有很重要的应用。例如,粒子物理学的标准模型是一种杨米论,有 G = U (
  • 李宇梁李宇梁是澳门剧作家﹐曾居加拿大,现为澳门文化艺术总监。李宇梁的作品主要为剧本,作品有《倒数十八的男孩》、《红颜未老》(澳门2006年艺术节公演作品)。
  • 尼古拉斯·罗法兰尼尼古拉斯·罗法兰尼(Nicolas Loufrani,1971年12月17日-)出生于法国塞纳河畔的讷伊市,是Smiley Company公司的CEO。该公司在100多个国家拥有笑脸表情(Smiley)和名称的商标和版权。19
  • 第23届中国电影金鸡奖第23届中国电影金鸡奖是中国电影家协会为表彰2003年度杰出华语片颁发的奖项。颁奖典礼于2003年11月2日在中国浙江省嘉兴市的嘉兴大剧院举行。通过中央电视台综艺频道(CCTV-3)
  • 谢尔盖·梁赞斯基谢尔盖·尼古拉耶维奇·梁赞斯基(俄语:Серге́й Никола́евич Ряза́нский,转写:Sergey Nikolayevich Ryazansky;1974年11月13日-)是俄罗斯已退役宇航员