Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am confused by the term "Isometric Embedding". To my knowledge, this refers to a distance preserving map from a space to another (a mapping $f:(E,d_1) \to (F,d_2)$ such that $d_2(f(x_1), f(x_2)) = d_1(x_1, x_2) )$. But I have the following problem :

On one side, I see papers saying that an isometric embedding of a sphere (with its geodesic distance) to an euclidean space cannot exist; e.g., see The Sphere is not Flat by P. L. Robinson.

On the other side, I see the Nash embedding theorem which says that any surface can be embedded into $R^n$ for some $n$.

What didn't I understand ?

Thanks!

share|improve this question

2 Answers 2

up vote 6 down vote accepted

The Nash embedding theorem uses a different $d_2$. When you have a submanifold of a Riemann manifold there's an induced Riemann metric, which comes from the inner product on all the tangent spaces of the ambient manifold. Call this metric $d_3$. In the Nash embedding theorem, in your statement above, replace $(F,d_2)$ with $(f(E), d_3)$. That's the kind of isometric embedding this theorem refers to.

share|improve this answer
    
thanks for the answer! It took me some time to understand it, but with the help of Henning's answer (which I thus upvoted), I think I got it... thank you both! –  WhitAngl Dec 1 '11 at 22:11
    
I am still a little confused. So when Nash talks about isometric embedding, Does he really mean that 2 points on a Riemannian manifold $M$ of dimension $m$, separated a (geodesic) distance $D$ before the embedding, will be now separated the same distance $D$ on $\mathbb{R}^n$, but following a straight line? Thanks Braco –  user66877 Mar 15 '13 at 14:06
    
@Braco: no, not at all. If a manifold is in Euclidean space it has a preferred Riemann metric (coming from the Euclidean metric). That induces a preferred path-metric (the infimum of the lengths of all paths between points). Nash's theorem refers to an abstract Riemann manifold embedding in Euclidean space so that the two path metrics (the one from the abstract Riemann metric and the one induced from Euclidean space) agree. –  Ryan Budney Mar 15 '13 at 18:45

The usual 2-sphere exists naturally in $\mathbb R^3$, and in general the usual definition of $S^n$ is as a particular subset of $\mathbb R^{n+1}$ with the induced metric. In that case, the identity map is a locally metric-preserving embedding into $\mathbb R^2$, but it doesn't preserve the global distance. To wit, two diametrically opposed points have distance $2$ in $\mathbb R^3$ but distance $\pi$ along geodesics in the sphere itself.

Thus, the natural embedding works as an isometry when we view the two spaces as Riemannian manifolds, but not when we consider them directly as metric spaces. It appears that both kinds of maps can be called "isometric embeddings", but nonetheless they are different concepts.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.