# Local isometry of complete Riemannian manifolds is covering map

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Suppose $M$ and $N$ are complete Riemannian manifolds, and $f:M \to N$ is a local isometry. Then, $f$ is a covering map. In particular, if $N$ is simply connected, then $f$ is an isometry.