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).
show/hide this revision's text 3 edited title

When is a Riemannian manifold isometrically imbeddable in an open subset of a complete one?

show/hide this revision's text 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)?

show/hide this revision's text 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)?