贝尔类型定理

贝尔类型定理【贝尔类型定理】贝尔类型定理(Baire category theorem)亦称贝尔範畴定理.关于完备度量空间的一条定理.
若X为完备度量空间,{ A; },为X的一列无处稠密子集,

贝尔类型定理

文章插图
则A的补集X-A在X中是稠密的.它的等价形式为:完备度量空间中一列稠密开子集的交在X中仍是稠密的.这一结论称为贝尔类型定理.贝尔(Baire,R. L.)于1889年对实直线情形给出了证明,豪斯多夫(Hausdorff , F.)于1914年推广到完备度量空间,切赫(Cech,E.)于1937年推广到切赫完备空间的情形.