Skip to main content
2 of 2
deleted 100 characters in body
Eduardo Longa
  • 2.1k
  • 12
  • 11

Local isometry implies covering map: nonempty boundary case

The following theorem is well known in the literature:

Let $M$ and $N$ be riemannian manifolds and let $f : M \to N$ be a local isometry. If $M$ is complete and $N$ is connected, then $f$ is a covering map.

My question is: does the same theorem hold when we assume that $M$ and $N$ are now riemannian manifolds with boundary?

Eduardo Longa
  • 2.1k
  • 12
  • 11