A note on closed isometric embeddings

A famous theorem due to Nash assures that every Riemannian manifold can be embedded isometrically into some Euclidean space E n . An interesting question is whether for a complete manifold M we can find a closed isometric embedding. This note gives the affirmative answer to this question asked to the author by Paolo Piccione.