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.

Printable View

- Dec 20th 2008, 01:29 AMsah_matdifferentiable 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. - Dec 21st 2008, 12:49 AMLaurent
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. - Dec 21st 2008, 03:49 AMsah_mat
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.