论文部分内容阅读
列紧性是距离空间中一个很重要的概念。其定义为: 一个距离空间E叫做列紧的,假如它满足下列条件('Borel—Lebesgue axiom'): 如对E的每一下开集合复盖(“开复盖”)(u.)λ∈L.存在一个有限子族(U_λ)λ∈H(H∈L且H是有限集)也复盖E。在著名法国数学家狄多涅所著“现代分析基础”(Foundations of Modern AnalYsis,J.DIEUDONNE。原文为法文版,有英译本。本文论证可引用的定理,概念均来自英译本)