对合

✍ dations ◷ 2025-04-04 20:43:45 #函数,抽象代数

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

相关

  • X射线吸收光谱X光吸收光谱(X-ray absorption spectroscopy,缩写:XAS)是目前广泛应用于取得气态、分子、及凝体(例如,固体)中,目标原子之区域(原子尺度)结构资讯及电子状态的一种技术。X光吸收光谱可
  • 咖啡属见内文咖啡属(学名:Coffea)是龙胆目茜草科的一属,原产于非洲,有许多变种。每一变种都同特定的气候条件和海拔高度有关。野生咖啡树是常绿灌木,高3米至3.5米,分支上有白色小花,具有茉
  • 曹莘亚曹莘亚(1985年10月15日-),艺名亚亚,毕业于敦化国小、敦化国中、内湖高中和国立台湾师范大学人类发展与家庭系。因参加《le tea girls》选拔赛,荣获第一名的佳绩后出道,并成为Channe
  • 伊萨亚斯·阿费沃基伊萨亚斯·阿费沃基(提格利尼亚语:ኢሳይያስ ኣፈወርቂ,1946年2月2日-)是厄立特里亚的开国元首暨独裁者、厄立特里亚总统、人民民主与正义阵线中央委员会主席。1991年5月,阿费沃
  • 努西武卢河坐标:19°55′41.552″S 48°30′6.566″E / 19.92820889°S 48.50182389°E / -19.92820889; 48.50182389努西武卢河(马达加斯加语:Nosivolo),是一条位于马达加斯加东部的河流,为
  • 组件图在统一建模语言中,组件图(Component Diagram)(或译:元件图)表示组件是如何互相组织以构建更大的组件或是软件系统的。他们被用来标示任意复杂系统的结构。组件是封装了可执行特定
  • 段刘愚段刘愚(1998年7月24日-),是一名中国足球运动员,现效力中国足球超级联赛球队山东鲁能泰山,司职边锋、中场。2015年1月19日,深圳市罗湖区翠园中学16岁的高二学生段刘愚,加盟山东鲁能泰
  • 外观数列外观数列(Look-and-say sequence)第项描述了第-1项的数字分布。它以1开始:如果从 0 至 9 中的任选一个数字生成这个数列,那么可以确定会保留在每一项的最后一位,如果不是1的话,那
  • 阪本孝男阪本孝男(日语:阪本 孝男/さかもと たかお ,1958年12月19日-),群马县出身,日本男子跳高运动员。他曾参加1984年夏季奥运会跳高比赛,还曾获得1978年亚洲运动会男子跳高冠军。
  • 南迈阿密站南迈阿密站(英语:South Miami station)是美国佛罗里达州迈阿密-戴德县南迈阿密的一座迈阿密地铁车站,由迈阿密-戴德公共交通局(MDT)运营管理。车站具体位置位于南迪克西公路(英语:So