EN
In [12] Petrunin proves that a compact metric space X admits an intrinsic isometry into En if and only if X is a pro-Euclidean space of rank at most n, meaning that X can be written as a “nice” inverse limit of polyhedra. He also shows that either case implies that X has covering dimension at most n. The purpose of this paper is to extend these results to include both embeddings and spaces which are proper instead of compact. The main result of this paper is that any pro-Euclidean space of rank at most n is proper and admits an intrinsic isometric embedding into E2n+1. Since every n-dimensional Riemannian manifold is a pro-Euclidean space of rank at most n, this result is a partial generalization of (the C0 version of) the famous Nash isometric embedding theorem from [10].