真群作用

如果映射是真映射，则称 拓扑群 在 拓扑空间 上的群作用为真群作用

是真映射，即 紧集的逆像是紧集。

真作用必须在 的所有点上具有紧致的迷向群。