习题 7, § 4

令 $G$ 为在局部紧凑空间 $X$ 上连续运行的 Hausdorff 群，并假设 (i) 对于 $X$ 的每个紧凑子集 $K$，限制到映射的 $G \times K$ $(s, x) \to s.x$是$G \times K$到$X$的闭映射； (ii) 对于每个$x \in X$，$s \to s.x$ 是$G$ 到$X$ 的真映射。证明 $G$ 在 $X$ (应用命题 12) 上正确运行。