文献引用
复制
组合数学中最常见的证明方法。组合证明打破以往代数证明的方式,通过双射工具形象给出问题的组合解释。因此,又被称为双射证明,是计数组合学中常见的一种证明方法。它在有限群理论、表示论、交换代数、代数几何以及代数拓扑学中有很重要的应用。具体来说,就是把待证明的问题或者等式两端记为集合和集合
,分别给集合
和集合
一个合理的组合解释,通过一个一一映射证明集合
和集合
元素个数相等,进而解决问题。