Proper action in steps, with application to density ratios of maximal invariants (Q1059943)

Let G be a locally compact group acting continuously on the left of a locally compact space \({\mathcal X}\). It is assumed that \(G=HK\) where H and K are closed subgroups. It is shown that if K acts properly on \({\mathcal X}\) and H acts properly on \({\mathcal X}/K\), then G acts properly on \({\mathcal X}\). Under a mild additional condition the converse is also true. Several examples are given to show how these results can help decide the properness of composite actions. Proper action can be used to justify the representation of the density ratio of a maximal invariant as a ratio of integrals over the group.