习题 14, § 4

a) 令 G 为在拓扑空间 X 上连续运行的拓扑群，并令 $x_0$ 为 X 的点，使得$s.x_0 = x_0$ 对于所有 $s \in G$。对于$x_0$的每个邻域V和G的每个准紧子集K，证明集合$\bigcap_{s \in K} s.V$是$x_0$的邻域。

b) 从a)推导出，如果G是e的局部紧致群、V邻域，K是G的紧致子集，则集合$\bigcap_{s \in K} sVs^{-1}$是e的邻域。