若一个拓朴空间子集合贝尔性质,或是一个几乎开集,就表示这集合与开集之间的差为一个贫乏集英语meager set;换句话说,若存在一个开集合使得为贫乏集(此处的对称差),那么就说贝尔性质[1]

定义

编辑

若一个拓朴空间 子集合 是一个有贝尔性质几乎开集,那就表示存在一个 使得 为贫乏集,此处的 对称差;此外[1] 限制意义下的贝尔性质的话,就表示说对于任意 的子集合 而言,  的交集 相对于 有贝尔性质。[2]

性质

编辑

有贝尔性质的集合构成集族为一个σ-代数,也就是说,几乎开集的补集也是几乎开集,且任何可数多个几乎开集的联集交集也是几乎开集;[1]此外,由于空集合本身是贫乏集,因此所有的开集都是几乎开集之故,因此所有的博雷尔集都是几乎开集。

若一个波兰空间的子集合有贝尔性质,那么与其对应的巴拿赫-马祖尔游戏英语Banach–Mazur game决定的英语Determinacy。此命题的逆命题一般不成立,然而若一个适当点类英语adequate pointclass 中的所有游戏都是决定的,那 中的每个集合都有贝尔性质,也就是说根据由足够大的基数推导而出的射影决定性英语Axiom of projective determinacy,波兰空间中所有的射影集英语projective set都有贝尔性质。[3]

利用选择公理,可知一些实数的子集不具贝尔性质,一个没有贝尔性质的实数子集的具体的例子是维塔利集合[4]实际上选择公理就已足以证明这点:根据布尔素理想定理自然数集合上存在有一个非主理想超滤子,而每一个有如此性质的超滤子,都可在以二进制表示实数的状况下,用以导出一个没有贝尔性质的实数集。[5]

参见

编辑

参考资料

编辑
  1. ^ 1.0 1.1 1.2 Oxtoby, John C., 4. The Property of Baire, Measure and Category, Graduate Texts in Mathematics 2 2nd, Springer-Verlag: 19–21, 1980, ISBN 978-0-387-90508-2 .
  2. ^ Kuratowski, Kazimierz, Topology. Vol. 1, Academic Press and Polish Scientific Publishers, 1966 .
  3. ^ Becker, Howard; Kechris, Alexander S., The descriptive set theory of Polish group actions, London Mathematical Society Lecture Note Series 232, Cambridge University Press, Cambridge: 69, 1996, ISBN 0-521-57605-9, MR 1425877, doi:10.1017/CBO9780511735264 .
  4. ^ Oxtoby (1980), p. 22.
  5. ^ Blass, Andreas, Ultrafilters and set theory, Ultrafilters across mathematics, Contemporary Mathematics 530, Providence, RI: American Mathematical Society: 49–71, 2010, MR 2757533, doi:10.1090/conm/530/10440 ,可见第64页的说明。

外部链接

编辑