Groups of uniform homeomorphisms of covering spaces (Q482862)

A metric covering projection \(\pi:(X,d)\to(Y,\rho)\) is a covering projection between metric spaces in which the local homeomorphisms are isometries, the fibres are uniformly discrete and for all \(x,x'\in X\) we have \(\rho(\pi(x),\pi(x'))\leq d(x,x')\). A local deformation lemma for uniform embeddings in a metric covering space over a compact manifold is given. From this local contractibility of the group of uniform homeomorphisms of such a metric covering space is deduced as is the contractibility of the identity component of the group of uniform homeomorphisms of \(\mathbb R^n\).