proper group action

Definition

A topological group acting on a manifold is called proper if the map

is proper.

Orbits of a proper action

The orbits of a proper Lie group action on are embedded, closed submanifolds with

(the generating vector fields of at form the tangent space of the orbit).

Proof

Importance

Since the orbits are closed, then the orbit space is Hausdorff space.