Definition:Proper Group Action

From ProofWiki
Jump to navigation Jump to search

Definition

Let $G$ be a topological group.

Let $X$ be a topological space.


A group action $\phi: G \times X \to X$ is called proper if and only if $\phi$ is a proper mapping.


Here $G\times X$ is equipped with the product topology.


Also see