对合

✍ dations ◷ 2025-09-10 03:41:37 #函数,抽象代数

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

相关

  • 东海东海,亦称东中国海、中国东海,是指长江出海口以南、欧亚大陆以东的大片海域,为太平洋西部的陆缘海之一。南接台湾海峡,北临黄海以长江口北侧与韩国济州岛的连线为界,东临太平洋,以
  • 真兽下纲见内文真兽下纲(学名:Eutheria)是一个包含胎盘类哺乳动物的演化支。此名称是由汤玛斯·亨利·赫胥黎在1880年所推荐使用,在他的定义下,真兽类包含的范围比胎盘类(Placentalia)更广
  • 鉨的同位素 鉨的同位素备注:画上#号的数据代表没有经过实验的证明,只是理论推测而已,而用括号括起来的代表数据不确定性。
  • 2019年湖南卫视电视剧、节目列表本列表列出2019年由湖南卫视首播的戏剧节目(仅限晚间时段首轮上星播出的戏剧节目)和综艺节目。2019年的节目将在湖南卫视和湖南卫视高清频道同步播出。而在新媒体方面,芒果TV会
  • 阮文清阮文清(越南语:Nguyễn Văn Thinh;1888年-1946年11月10日),又译作“阮文厅”,是越南政治人物。1888年,阮文清出生于南圻的一个地主家庭,拥有法国国籍。阮文清从小接受西方教育。1907
  • 麻生太吉麻生太吉(1857年8月26日-1933年12月8日),日本煤矿业者、企业家、政治家。筑丰麻生家族兴起的始祖。第92代内阁总理大臣麻生太郎的曾祖父。历任麻生商店社长、石炭矿业连合会会长
  • 大花假虎刺大花假虎刺(学名:)为夹竹桃科假虎刺属的植物。分布在南非以及中国大陆的广东以及美国佛罗里达州南部等地,美国加利福尼亚州南部也有普遍种植,又名卡利撒、美国樱桃。
  • 侑莉权侑莉(권유리/權俞利 ,1989年12月5日-),艺名为侑莉(韩语:유리,英语:Yuri),韩国女艺人,为SM娱乐旗下女子组合少女时代成员之一。侑莉在2001年获得第一届SM娱乐青少年最佳选拔赛的“最佳
  • Xbox游戏工作室Xbox游戏工作室(英语:Xbox Game Studios),原名微软工作室(Microsoft Studios)、微软游戏工作室(Microsoft Game Studios)和微软游戏(Microsoft Games),是微软的全资子公司,负责Windows、
  • 有顶天家族《有顶天家族》(日语:有頂天家族),是森见登美彦写的小说,由幻冬舍在2007年9月25日发行。同名电视动画分别曾在2013年7月与2017年4月播出。2015年2月26日,发行续篇《有顶天家族 第