Thread: differentiable map and local isometry

hi dear mathhelpform's citizens ı have a question,ı want to ask you;

prove;
if the differential of a differentiable map F preserves,orthonormal basis then F is a(local) isometry.
thanks for your helps.

Originally Posted by sah_mat

hi dear mathhelpform's citizens ı have a question,ı want to ask you;

prove;
if the differential of a differentiable map F preserves,orthonormal basis then F is a(local) isometry.
thanks for your helps.

Why did you put parentheses on "local"? It is true with or without, but it is much easier with the parentheses, and you would have been given a hint to do the global version, so I guess what you need is the local version and that's what I'll be writing about.
I'll need an additional hypothesis: is continuously differentiable. Did you forget it?


Note that if is a linear map, " preserves orthornormal bases" implies for every , (one says that is orthogonal). This implies .

Suppose is defined on an open convex set . By the previous remark, we have for every . As a consequence, for any , the mean-value theorem gives .

In order to get the reverse inequality, prove that, at any point, has locally an inverse function (by the inverse function theorem), notice that this inverse function satisfies the same hypothesis as and procede like above to find if are in a (possibly small) open convex set where is invertible. And this is it.

thanks laurent,god save you! ı know the isometry of f hold the local isometry but my teacher wants everything in order anyway ı appreciate u ı can handle on this from here thanks again.