Proper actions and proper invariant metrics
arXiv:math/0702322 · doi:10.1112/jlms/jdq091
Abstract
We show that if a (locally compact) group acts properly on a locally compact -compact space then there is a family of -invariant proper continuous finite-valued pseudometrics which induces the topology of . If is furthermore metrizable then acts properly on if and only if there exists a -invariant proper compatible metric on .
The paper has been completely rewritten and differs essentially from "Constructing invariant Heine-Borel metrics for proper G-spaces". The main result extended to the more general case when is a topological group which acts properly on a locally compact -compact Hausdorff space . Note that there is a gap in the proof of Theorem 2.4 of the old version