对合

✍ dations ◷ 2025-04-26 11:54:54 #函数,抽象代数

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

相关

  • 滞产滞产是指分娩的整个过程超过24小时。滞产分为二种,一种是临产潜伏期超过八小时,另一种是临产活跃期超过12小时。滞产的原因可能是子宫收缩不良、胎儿特别大或是其胎位异常、或
  • 医疗服务品质5年间罹患大肠癌之存活率5年间罹患乳癌之存活率5年间罹患子宫颈癌之存活率每100件住院30天之病例中心肌梗塞死亡率每100件住院30天之病例中出血性中风死亡率每100件住院30天
  • 2019冠状病毒病圣马力诺疫情2019冠状病毒病圣马力诺疫情,介绍在2019冠状病毒病疫情中,在圣马力诺发生的情况。2019冠状病毒病于2020年2月波及圣马力诺。 截至2020年3月31日,圣马力诺全国33344人中有236例
  • 三多三多(蒙古语:Сандо;1871年-1941年),钟木依氏,汉姓张,字六桥,蒙古族,蒙古正白旗人,浙江杭州驻防旗人。清末民初文人、书画家、政治人物。三多于清朝同治十年(1871年)五月廿二日在杭州
  • 理查德·戴德金理查德·戴德金(Julius Wilhelm Richard Dedekind)(1831年10月6日-1916年2月12日),德国数学家。戴德金是高斯的学生,一生都以学术为主。他和狄利克雷、黎曼都是好朋友。
  • 蟠龙蟠龙是中国神话里的水龙,被认为居住在东方的湖中。与蛟龙一样,和雨与水有很深厚的关系,但顶多只有保证所在的泉水不枯竭。因为蟠无法飞行,而且没有长角,所以亦有蟠龙是雌性蛟龙之
  • 朱偰朱偰(1907年4月15日-1968年7月15日),字伯商,浙江海盐人,经济学家、文物保护专家。朱偰幼承家学,1923年入北京大学预科,1925年入北京大学本科学政治,1929年入德国柏林大学,1932年获经济
  • 木村氏木村氏,日语训读音为いしかわし,是日本的一个氏族、苗字。占全日本总人口姓氏排名第17位。
  • 金泰均金泰均(韩语:김태균,1960年6月17日(一说为1974年)-),又译金逵珉,是一名出生于朝鲜的导演,现居于韩国,并专门制作关于脱北者的电影。金泰均出生于朝鲜南部地区黄海北道,其父为军人。1995
  • 百发百中!《百发百中!》(日语:カイチュー!;直译为皆中!)是日本漫画家林佑树创作的漫画作品。于《周刊YOUNG JUMP》2009年51号开始至2010年20号期间连载,2010年4月22日后于《周刊YOUNG JUMP》