策梅洛柯尼希定理，柯尼希(Konig, D.)於1905年最先發現了這個定理.1908年，策梅洛(Zermelo , E. F. F.)又獨立地得到了這一結果.定理中當每個rcm=l,}lm=2, }M}=a時，得a< 20.故該定理是康托爾定理的推廣.也可以證明該定理與選擇公理等價.
基本介紹
- 中文名：策梅洛柯尼希定理
- 外文名：Zermelo-Konig theorem
策梅洛一柯尼希定理(Zermelo-Konig theorem )比較基數和與基數積的大小的一個基本不等式.該定理斷言:若對每個mEM，基數rc二與幾二滿足rcm <}m，
則
策梅洛柯尼希定理
柯尼希(Konig, D.)於1905年最先發現了這個定理.1908年，策梅洛(Zermelo , E. F. F.)又獨立地得到了這一結果.定理中當每個rcm=l,}lm=2, }M}=a時，得a< 20.故該定理是康托爾定理的推廣.也可以證明該定理與選擇公理等價.
