對合
线性代数中的对合
在线性代数中,对合是线性算子 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.
参见
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.