拓扑陀螺群商空间上的弱可数公理

本文主要证明，若 $H$ 是强拓扑陀螺群 $G$ 的闭强子陀螺群且 $H$ 是中性的，则 (1) $G/H$ 是 biradial 的当且仅当 $G/H$ 是 nested 的；(2) $G/H$ 可度量化当且仅当 $G/H$ 是具有可数伪特征的 biradial 空间；(3) 在给定 $G/H$ 具有 Baire 性质的条件下，$G/H$ 可度量化当且仅当 $G/H$ 具有可数 $cn$-特征。