MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

3 edited title

# When is a Riemannian manifold isometricallyimbeddableinanopensubsetof a complete one?

2 clarification; deleted 12 characters in body

Is there an analog of "completion" for Riemannian manifolds--more accurately, under

Under what conditions can a Riemannian manifold be embedded isometrically as a submanifold of a complete one , especially of the same dimension? (I guess "completion" may not be the right word if density doesn't necesarily occur.) There should some kinds of necessary conditions. For instance, any ball in $M$ (considered as a metric space) must be totally bounded. Is this sufficient?

I am curious because it seems that many theorems are stated and proved only for the complete case, and I was wondering how to what extent they could be generalized using a completion tool (if it existed).

Also, is there any kind of uniqueness (there is for $C^{\omega}$ manifolds--implied by the Myers-Rinow theorem)?

1

# When is a Riemannian manifold isometrically imbeddable in a complete one?

Is there an analog of "completion" for Riemannian manifolds--more accurately, under what conditions can a Riemannian manifold be embedded isometrically as a submanifold of a complete one, especially of the same dimension? (I guess "completion" may not be the right word if density doesn't necesarily occur.) There should some kinds of necessary conditions. For instance, any ball in $M$ (considered as a metric space) must be totally bounded. Is this sufficient?

I am curious because it seems that many theorems are stated and proved only for the complete case, and I was wondering how to what extent they could be generalized using a completion tool (if it existed).

Also, is there any kind of uniqueness (there is for $C^{\omega}$ manifolds--implied by the Myers-Rinow theorem)?