对合

✍ dations ◷ 2025-10-20 15:03:04 #函数,抽象代数

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

相关

  • 二氧化锇二氧化锇(Osmium dioxide)是锇的氧化物之一,化学式为OsO2。有两种晶型:第一种:分子量222.20,桔棕色晶体。相对密度11.37(21.4℃),加热到500℃时,其中30%转化为四氧化锇。不溶于水
  • 约制实证主义 · 反实证主义(英语:Antipositivism) 结构主义 · 冲突理论 中层理论 · 形式理论 批判理论 人口 · 团体 · 组织(英语:Organizational theory) · 社会化 社会性
  • 群体基因组学群体基因组学 是大规模地比较群体的DNA序列。 群体基因组学是一个跟  群体遗传学 有关的新词。 群体基因组学在整个基因组水平上对基因组进行研究,帮助我们更好的理解基因
  • 范妮·伊姆利《悼 范妮·戈德温》别离时 她的声音轻颤, 殊不知 那缕心弦已断 我竟自顾转身离开, 不曾留意她的婉言 苦难——哦,苦难 广阔世界 无处不在。弗朗西丝·“范妮”·伊姆利(Frances
  • 尼古拉·弗拉梅尔尼古拉·弗拉梅尔(法语:Nicolas Flamel,1330年-1418年3月22日),法国瓦卢瓦王朝炼金术士,对炼金术界的传奇物质─贤者之石的研究使他闻名于世。尼古拉·弗拉梅尔生于法国瓦卢瓦王朝
  • 瓦氏夫人瓦氏夫人(1496年-1555年),本姓岑,归顺直隶州人,土官岑璋之女。她自幼聪明好学,随父攻读,习练武艺,精通兵法。长大成人以后,按照壮族土官时代盛行的“官家与官家婚”以及“婚姻不避同姓
  • 胭脂 (作家)胭脂,女作家、编剧。
  • 宋治民宋治民(1912年-1988年),男,河南固始人,中华人民共和国军事人物,中国人民解放军少将,曾任江苏生产建设兵团副政治委员,浙江省军区顾问。
  • 李丽凤李丽凤(1951年11月9日-2018年11月21日)台湾女演员,曾获第24届金钟奖女演员奖。李丽凤于1971年考入华视训练中心演员训练班第1期,结业后展开演员生涯。她原本被培养演小旦,后来却以
  • 薇薇安·哈格纳薇薇安‧哈格纳(Viviane Hagner,1977-),德国小提琴家。哈格纳生于慕尼黑,成长于柏林,自3岁起便学习钢琴,但后来将学习重心转移至小提琴。12岁时,以小提琴家的身份登上国际舞台,隔年并