马丁公理
外观
在数学的集合论中,马丁公理(Martin's axiom)是一个由唐纳德·A·马丁和罗伯特·M·梭罗维引进的[1]公理,这公理独立于惯常的、带有选择公理的策梅洛-弗兰克尔集合论(ZFC)。这公理在连续统假设成立的状况下成立,但也与否定连续统假设的ZFC公理系统相容。
用较不正式的讲法,马丁公理讲的是任何小于连续统的基数,其行为会与大体类似。这公理背后的想法可借由研究罗修娃-西葛斯基引理的证明得知;而这是用以控制特定力迫论证的其中一个原则。
陈述
[编辑]给定任意的基数,我们可以定义一个如下的陈述,并将这陈述给记做:
由于这是一个使得不成立的ZFC定理之故,因此马丁公理可表述如下:
马丁公理(MA):对于任意的,成立
在这情况(应用可数链条件)下,一个反链是的子集,且这子集使得的任意两个元素不兼容(若在偏序中存在一个低于两者的共通元素,则说两个元素是兼容的),而这与树等情况下的反链是不同的。
为真,而这即是罗修娃-西葛斯基引理。
为假:是一个紧致豪斯多夫空间,因此是个可分空间并满足可数链条件。这集合没有孤立点,因此其中的点是无处稠密的;但这集合是这么多的点的联集。(也可参见下述的与等价的条件)
与等价的陈述
[编辑]以下陈述与等价:
- 若是一个满足可数链条件的紧致豪斯多夫空间,那不会是个或更少的无处稠密集的联集。
- 若是一个上升的、满足可数链条件的偏序集,而是的余有限子集的集族,且,则存在一个向上的集合使得会见所有的元素。
- 若是一个满足可数链条件的非零布尔代数而是的子集的集族,且,那就存在一个布尔同态,使得对于任意中的而言,要不有一个,使得,要不有个有个上界,使得
结果
[编辑]马丁公理在组合数学、数学分析跟拓朴学上有许多有其他有趣的结果:
- 在波兰空间上的无原子σ-有限博雷尔测度中,个或更少的零测集依旧是零测集;不仅如此,实数集的个或更少的勒贝格测度为零的子集的联集,其勒贝格测度为零。
- 对于一个紧致豪斯多夫空间而言,若,则这空间是序列紧致的,也就是说这空间中的每个序列都有一个收敛子序列。
- 在上,没有任何非主要的超滤子的基本基数会小于。
- 等价地,对于任意的,有,此处的是的特征,因此。
- 蕴含说满足可数链条件的拓朴空间的乘积依旧满足可数链条件,而这结果又蕴含说苏斯林线不存在。
- 若马丁公理成立,而连续统假设不成立,那就表示存在有非自由的怀特海群(Whitehead group);细拉用这结果证明说怀特海问题独立于ZFC。
后续发展
[编辑]参考资料
[编辑]- ^ 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.
|