在数学中,特别是在集合论和测度论领域,Bernstein集的概念是分析不可测集的一个经典例子。郝诚在其研究论文《Bernstein集的不可测性及其他性质》中探讨了Bernstein集的构造,并证明了它们的不可测性,以及它们不具备Baire性质和完备集性质。以下是对这些概念及其在文章中提及性质的详细说明:
关于Bernstein集的概念,其构造基于选择公理(Axiom of Choice),即在任何无限集合中可以无重复地选出一个元素序列。Bernstein集被定义为实数集上的一个子集,它既不是第一类集合(即Borel集)也不是第二类集合(即补集是第一类的集合)。在集合论中,Bernstein集通过以下方式构造:取一个不可数的基数为基数的集合的笛卡尔积,从中去掉一个可数的笛卡尔积,剩下的集合即为Bernstein集。
接下来,关于不可测集的概念,它指在给定的测度定义下,无法为该集合分配一个明确的测度(例如,无法确定其长度、面积或体积)。根据文章,任何通过可数次并集、交集或补集运算得到的集合,其结果都是可测集,如果该运算始于一个可数的闭集、开集或零集族。然而,存在不可测集,如分析学集(即可以表示为Borel集连续像的集合)总是可测的,但已经证明了存在一种情况,即存在一个非可测集,它是某个分析学集补集的连续像,并且这一假设与集合论的公理是一致的,前提是这些公理自身是一致的。不过,尚未找到符合这种表示的真实不可测集的例子。
文章提到的Baire性质是拓扑学中的一个概念,用以描述某些拓扑空间中集合的结构特性。一个集合具有Baire性质,是指它不能被表示为一个无处稠密集和一个稠密集的并集。无处稠密集是指在任何开集中都有该集合的元素,但又不是稠密的。而稠密集是指其闭包在全空间中的集合。Bernstein集不具备Baire性质,意味着它不能被看作是无处稠密集与稠密集的并集。
此外,文章还提到了完备集性质,这个概念与集合的完备性有关。一个完备集,通常指的是一个不包含孤立点的完全有界闭集。在实数线上的完备集是包含所有极限点的闭集。Bernstein集不具有完备集性质,暗示了它们在包含极限点和闭包操作上的特殊性质。
文章的结构分为三部分。第二部分着重介绍测度和范畴的概念,并给出一些基本属性。对于熟悉测度性和Baire性质概念的读者来说,可以直接跳到第三部分,那里将展示本文的主要定理及其证明。文章中还提到了一个关于测度性和Baire性质对偶性的更详细讨论的参考文献。
郝诚在其文章中通过构造特定的Bernstein集,说明了这些集合的不可测性以及它们缺乏Baire性质和完备集性质。这是在测度论和集合论研究中的一个重要结果,为理解不可测集和相关集合性质提供了重要信息。