康托尔-伯恩斯坦-施罗德定理

康托尔-伯恩斯坦-施罗德定理编辑

施罗德-伯恩斯坦定理，又称康托尔-伯恩斯坦-施罗德定理是公理化集合论中的一个基本定理，得名于康托尔、费利克斯·伯恩斯坦和施罗德。该定理陈述说：如果在集合 A 和 B 之间存在单射 f : A → B 和 g : B → A，则存在一个双射 h : A → B。从势的角度来看, 这意味着如果 |A| ≤ |B| 并且 |B| ≤ |A|，则 |A| = |B|，即A与B等势。显然，这是在基数排序中非常有用的特征。