Hopf-Rinow Theorem for Riemannian Manifolds with Boundary

1.1k Views Asked by At

I am a little rusty on my Riemannian geometry. In addressing a problem in PDE's I came across a situation that I cannot reconcile with the Hopf-Rinow Theorem. If $\Omega \subset \mathbb{R}^n$ is a bounded, open set with smooth boundary, then $\mathbb{R}^n - \Omega$ is a Riemannian manifold with smooth boundary. Since $\mathbb{R}^n - \Omega$ is closed in $\mathbb{R}^n$, it follows that $\mathbb{R}^n - \Omega$ is a complete metric space. However, the Hopf-Rinow Theorem seems to indicate that $\mathbb{R}^n - \Omega$ (endowed with the usual Euclidean metric) is not a complete metric space since not all geodesics $\gamma$ are defined for all time. Am I missing something here? Do the hypotheses of the Hopf-Rinow theorem have to be altered to accommodate manifolds with boundary?

1

There are 1 best solutions below

3
On

Hopf-Rinow concerns, indeed, Riemannian manifolds with no boundary.