几个ω_μ-度量化定理

本文给出几个ω_μ度量化定理。其中定理1是关于线性分层空间的ω_μ-度量化,线性分层空间是由 Vaughan 于1972年引入的,定理1给出了此空间类可 ω_μ-度量化的必充条件。定理1的推论是1]中主要结果的推广。至于定理2,则是从另外一个角度,利用满足某些性质的非开集族来刻划 ω_μ-度量。本文所讨论的都是ω_μ-可加拓扑空间,而且是 T_3 的。ω_μ-表示规划的初始序数,(?)μ-表示ω_μ-的势,即(?)μ=|ω_μ|.定义1 拓扑空间 X 是ω_μ-可加的,若对开集族{G_α:α∈A},当|A|<(?)μ时,∩G_α