康托尔-伯恩斯坦-施罗德定理
维基百科,自由的 encyclopedia
施罗德-伯恩斯坦定理(英语:Schröder–Bernstein theorem),又称康托尔-伯恩斯坦-施罗德定理(Cantor-Bernstein-Schroeder theorem)是集合论中的一个基本定理,得名于康托尔、伯恩斯坦和施罗德。该定理陈述说:如果在集合 A 和 B 之间存在单射 f : A → B 和 g : B → A,则存在一个双射 h : A → B。从势的角度来看, 这意味着如果 |A| ≤ |B| 并且 |B| ≤ |A|,则 |A| = |B|,即A与B等势。显然,这是在基数排序中非常有用的特征。