对合

✍ dations ◷ 2025-12-03 21:01:47 #函数,抽象代数

在数学中，对合（英语：involution）或对合函数，是逆函数等于自身的函数，就是说

对合是双射。

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

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

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

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

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

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

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

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

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

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

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

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

相关

不耐寒冷失温症（Hypothermia，源自希腊文“ὑποθερμία”），又称低温症、低体温症。描述当人体核心温度低于35.0 °C（95.0 °F）时的现象。失温症的症状取决于温度，轻度失温可能造成发
泊松比泊松式比（英语：Poisson's ratio），又译泊松比，是材料力学和弹性力学中的名词，定义为材料受拉伸或压缩力时，材料会发生变形，而其横向应变与纵向应变的比率，是一无量纲的物理量。当材料
全炳浩全秉浩（韩语：전병호，1926年3月20日－2014年7月7日），又译全炳浩、全秉镐，朝鲜政治人物，出生于慈江道前川郡。毕业于万景台革命学院，1980年起任劳动党中央委员。1982年8月朝鲜劳动党六届
智一桐智一桐（1932年12月－），出生于北京，中国大陆影视演员。毕业于西北艺术学院戏剧系。曾获第一届中国电影金凤凰奖表演学会奖，第十一届中国电影金凤凰奖特别荣誉奖。
三氧化二铑三氧化二铑，或称氧化铑(III)，是一种无机化合物，化学式为Rh2O3。Rh2O3有两种主要的晶型，一种为六方晶系的刚玉型。它加热至750 °C以上转变为正交结构。多种方法可以制备三氧化
果位果位（梵语：phala），或称圣果、道果（梵语：ariya-phala），即“修行之成就量、证得量的自我段/级位量测检定”，果位并没有实质证书，只有轮回为其验证结果，并非真实位阶、段位、等级（与他人较
健力宝健力宝是一种含碱性电解质运动饮料，为中国大陆著名运动饮料品牌。健力宝在1984年由广东佛山三水酒厂开发，是中国大陆自行生产的首种运动饮料。在第23届洛杉矶奥运会上成为中国
海獭岩海獭岩（俄语：Камни Бобровые；），是位于俄罗斯远东地区白令海科曼多尔群岛的岩礁。它由楚科奇自治区负责管辖。坐标：54°52′33″N 167°26′08″E / 54.87583°N 167.
森下来奈森下来奈（1993年10月14日－）是日本的女性声优，岐阜县出身。隶属于东京俳优生活协同组合。北海道艺术高等学校毕业。2011年进入俳协Voice Actors Studio就读，是该校的39期生。2012
1980-81球季英格兰足总杯1980/81球季英格兰足总杯（英语：FA Cup），是第100届英格兰足总杯，今届赛事的冠军是热刺，他们在决赛以3:2击败曼城，夺得冠军。热刺在第100届足总杯的纪念下，成功夺得冠军。