具有“稳定群为正规子群的变换群”的流形的性质

本文讨论了具有“稳定群为正规子群的变换群”的流形的性质,得到以下主要结果。定理1.3:设 G 是 X 上元的连续变换群。如果 f:GxX→X 是连续的开映射.且在 x_0∈X处的稳定群为单位元群,则可以在 X 中定义运算,使之成为与 G 同构的拓朴群.推论2.2:Lie 群只能是自身上的简单可迁群。本文所引用的概念及定理均参考[1]。