馬赫羅基數

馬赫羅基數(M ahlo cardinals)與不可達基數聯繫最為密切的一類大基數.若K是弱(或強)不可達基數,且小於K的所有正則基數之集合是K的駐子集,則稱K是弱(或強)馬赫羅基數.通常,馬赫羅基數指強馬赫羅基數.早在1911年至1913年,馬赫羅(Mah1o,P.)就研究了現今稱為弱馬赫羅基數的一類基數.
K為弱(或強)馬赫羅基數的充分必要條件是: 小於K的弱(或強)不可達基數之集合是K的駐子集.由定義知,弱(或強)馬赫羅基數必是弱(或強)不可達基數.但不可達基數不一定是馬赫羅基數.而且,若K是馬赫羅基數,則K必是第K個不可達基數.亦即,若設.f : On-}g是不可達基數類g的排序函式,則馬赫羅基數K是函式f的不動點.f (}c> _ }c. 反之則不對,即若.f ( } > _ }c, }c不一定是馬赫羅基數.而且,滿足.f(}>=}的最小基數一定不是馬赫羅基數.所以在ZFC系統中,要想通過集論運算從不可達基數構造出馬赫羅基數,與從ZFC系統中已有的基數構造出不可達基數同樣是不可能的.

相關詞條

熱門詞條

聯絡我們