在数学中,对合(英語:involution)或对合函数,是(逆函数)等于自身的函数,就是说
![image](https://www.wiki2.zh-cn.nina.az/image/aHR0cHM6Ly93d3cud2lraTIuemgtY24ubmluYS5hei9pbWFnZS9hSFIwY0hNNkx5OTFjR3h2WVdRdWQybHJhVzFsWkdsaExtOXlaeTkzYVd0cGNHVmthV0V2WTI5dGJXOXVjeTkwYUhWdFlpODVMems0TDBsdWRtOXNkWFJwYjI0dWMzWm5Mekl5TUhCNExVbHVkbTlzZFhScGIyNHVjM1puTG5CdVp3PT0ucG5n.png)
- f(f(x)) = x 对于所有 f 的定义域中的 x。
一般性质
对合是双射。
恒等映射是一個对合的平凡例子。数学中更常见的有趣對合例子包括算术中的乘以 −1 和取(倒数),集合论中的补集,和(複共軛)。
其他例子包括(圆反演)、(ROT13)变换,和 .
欧几里得几何中的对合
三维欧几里得空间中对合的简单例子是对一个平面的(反射)。做两次反射就回到了起点。
这个变换是的特殊情况。
线性代数中的对合
在线性代数中,对合是线性算子 T 使得 。除了在特征 2的域上,这种算子可对角化为在对角线上有 1 和 -1。如果这个算子是正交的(正交对合),它是正交可对角化的。
对合有关于幂等;如果 2 是可逆的,(在特征不是 2 的领域中),它们是等价的。
环论中的对合
群论中的对合
在群论中,一个群的元素是对合,如果它的(阶)为2;也就是说,对合是一个元素a,使得a ≠ e且a2 = e,其中e是单位元。这个定义原来与以上的定义没有任何不同,因为群的元素总是从一个集合到它本身的双射,也就是说,“群”的意思是“(置换群)”。到了19世纪末,群的定义变得更加广泛,相应地,对合也变得更加广泛。由一个对合通过复合函数生成的双射群,与(循环群)C2同构。
一个置换是对合,当且仅当它可以写成一个或多个不重合的的乘积。
群的对合对群的结构有很大影响。对合的研究在(有限单群分类)中是十分有用的。
数理逻辑中的对合
在布尔代数中补运算是对合。因此在经典逻辑中的否定满足“双重否定律”: ¬¬A 等价于 A。
一般在非经典逻辑中,满足双重否定律的的否定叫做对合性的。在代数语义中,这样的否定被实现为在(逻辑真值)的代数上对合。有对合性否定的逻辑的例子有 Kleene 和 Bochvar 的(三值逻辑)、(Łukasiewicz 多值逻辑)、(模糊逻辑) IMTL 等。对合性否定有时作为额外的连结词而增加到有非对合性否定的逻辑中;比如形式模糊逻辑。
否定的对合性是逻辑和对应的的重要特征性质。例如,对合性否定从(Heyting代数)中特征化出了布尔代数。相应的,经典(布尔逻辑)可印发自(直觉逻辑)加上双重否定律。
对合的总数
在有 n = 0, 1, 2, … 个元素的集合上对合的数目给出自(递推关系):
- a(0) = a(1) = 1;
- a(n) = a(n − 1) + (n − 1) × a(n − 2), 对于 n > 1.
参见
維基百科,wiki,書籍,書籍,圖書館,文章,文章,閱讀,下載,免費下載,免費下載,MP3,視頻,MP4,3GP,JPG,JPG,JPEG,JPEG,GIF,PNG,PNG,圖片,音樂,音樂,音樂,歌曲,電影,電影,書籍,書籍,遊戲,遊戲,遊戲,遊戲,手機,電話,Android,iOS,Apple,手機,三星,iPhone,Xiomi,xiaomi, 小米,Redmi,Honor,Oppo,Nokia,Sonya,MI,個人電腦,網絡,電腦