首先在层双保序算子空间中引进了两种(ω_α,υ_α)-仿紧性,证明了它们都是好的推广.其次,给出了它们的若干刻画与性质,并指出了它们保持若干拓扑不变性质.最后,讨论了(ω_α,υ_α)-仿紧性、(ω_α,υ_α)-分离性以及(ω_α,υ_α)-紧性之间的关系.
In this paper,firstly,concept of α-ω_α-local remote neighborhood is introduced in ω_α-opos.Its main properties are inspected.Secondly,(ω_α,υ_α)-paracompactness which is proved to be "good" extensions is introduced in ω_α-biopos.Thirdly,characteristic properties as well as other properties of(ω_α,υ_α)-paracompactness are discussed.It is proved that(ω_α,υ_α)-paracompactness conserves many topological invariant properties.Finally,relations among(ω_α,υ_α)-paracompactness,(ω_α,υ_α)-separation axioms and(ω_α,υ_α)-compactness are established.