拓扑群中群非扩张收缩的存在性与遍历定理

设 $G$ 是一个拓扑群，$C$ 是 $G$ 的一个紧子集。本文定义群非扩张映射，并考虑 $\sc = \{T_{i} : i \in I \}$ 为 $C$ 上的一族群非扩张映射。我们还研究了从 $C$ 到 $\text{Fix}(\sc)$ 的群非扩张收缩 $P_{i}$ 的存在性，使得 $P_{i}T_{i} = T_{i}P_{i} = P_{i}$。