馬丁公理
在數學的集合論中,馬丁公理(Martin's axiom)是一個由唐纳德·A·馬丁和羅伯特·M·梭羅維引進的[1]公理,這公理獨立於慣常的、帶有選擇公理的策梅洛-弗蘭克爾集合論(ZFC)。這公理在連續統假設成立的狀況下成立,但也與否定連續統假設的ZFC公理系統相容。
用較不正式的講法,馬丁公理講的是任何小於連續統的基數,其行為會與大體類似。這公理背後的想法可藉由研究羅修娃-西葛斯基引理的證明得知;而這是用以控制特定力迫論證的其中一個原則。
陳述编辑
給定任意的基數 ,我們可以定義一個如下的陳述,並將這陳述給記做 :
對於任意滿足可數鏈條件的偏序 及任意 的稠密集的集族 而言,若 ,則存在一個 上的濾子 ,使得對於任意的 而言, 非空。
由於這是一個使得 不成立的ZFC定理之故,因此馬丁公理可表述如下:
馬丁公理(MA):對於任意的 , 成立
在這情況(應用可數鏈條件)下,一個反鏈 是 的子集,且這子集使得 的任意兩個元素不兼容(若在偏序中存在一個低於兩者的共通元素,則說兩個元素是兼容的),而這與樹等情況下的反鏈是不同的。
為真,而這即是羅修娃-西葛斯基引理。
為假: 是一個緊緻豪斯多夫空間,因此是個可分空間並滿足可數鏈條件。這集合沒有孤立點,因此其中的點是無處稠密的;但這集合是 這麼多的點的聯集。(也可參見下述的與 等價的條件)
與等價的陳述编辑
以下陳述與 等價:
結果编辑
後續發展编辑
參考資料编辑
- ^ Martin, Donald A.; Solovay, Robert M. Internal Cohen extensions. Ann. Math. Logic. 1970, 2 (2): 143–178. MR 0270904. doi:10.1016/0003-4843(70)90009-4 .
- ^ Davis, Sheldon W. Topology. McGraw Hill. 2005: 29. ISBN 0-07-291006-2.
延伸閱讀编辑
- Fremlin, David H. Consequences of Martin's axiom. Cambridge tracts in mathematics, no. 84. Cambridge: Cambridge University Press. 1984. ISBN 0-521-25091-9.
- Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer. ISBN 3-540-44085-2.
- Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9.
🔥 Top keywords: Baike: 首页Special:搜索胖猫跳江事件背着善宰跑九龍城寨之圍城逆天奇案2璩静淚之女王歌手2024Energy (組合)新生 (网络剧)习近平匈牙利邊佑錫劉俊謙 (香港)金智媛神耆小子塞尔维亚金秀賢 (男演員)母亲节猩球崛起:王國誕生九龍寨城馴鹿寶貝家族榮耀之繼承者Seventeen (組合)六四事件不夠善良的我們张维为楊佩潔TripleS支配物种庆余年郭葦昀洪若潭命案金惠奫2024年英雄联盟季中邀请赛春色寄情人BABYMONSTER笑看風雲乘風2024排球少年!!角色列表破墓徐巧芯中华人民共和国中華民國打天下2WIND BREAKER—防風少年—习明泽排球少年!!彭丽媛磁暴ILLIT贾斯汀·比伯逆天奇案BOYNEXTDOOR猿人爭霸戰:猩凶革命張書偉我的婆婆怎麼那麼可愛我獨自升級怪獸8號謝坤達IVE (組合)與鳳行關於我轉生變成史萊姆這檔事角色列表黃道十二宮福建號航空母艦虽然不是英雄葉乃文五月天張員瑛草榴社区張文傑2024年花蓮地震极光香緹·摩爾迷宮飯呂家愷搜查班長1958日本劉德華海莉·鮑德溫蕭景鴻越位 (足球)葬送的芙莉蓮周處除三害 (電影)毛泽东願榮光歸香港林峯周雨彤伍允龍羅毓儀香港Baike: 分類索引沒有秘密猩球崛起:終極決戰角質層唐振剛柯佳嬿文化大革命