Results 1 to 5 of 5

Math Help - differentiable isometry

  1. #1
    Newbie
    Joined
    Feb 2010
    Posts
    6

    differentiable isometry

    Hello everybody, I am new in the forum, nice to meet you, please help me with this problem.

    Let f\in{C^1(\mathbb{R}^m,\mathbb{R}^m)} such that:  \left\|{f'(x)(v)}\right\|= \left\|{v}\right\| for all x,v\in{\mathbb{R}^m}, i.e. f'(x) is an isometry, for all x\in{\mathbb{R}^m}. Show that  \left\|{f(x)-f(y)}\right\|= \left\|{x-y}\right\|, for all x,y\in{\mathbb{R}^m}. Conclude that there is a\in{}\mathbb{R}^m and a T\in{L(\mathbb{R}^m)} such that f(x)=T(x)+a.

    Thanks
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21
    Quote Originally Posted by miguemate View Post
    Hello everybody, I am new in the forum, nice to meet you, please help me with this problem.

    Let f\in{C^1(\mathbb{R}^m,\mathbb{R}^m)} such that:  \left\|{f'(x)(v)}\right\|= \left\|{v}\right\| for all x,v\in{\mathbb{R}^m}, i.e. f'(x) is an isometry, for all x\in{\mathbb{R}^m}. Show that  \left\|{f(x)-f(y)}\right\|= \left\|{x-y}\right\|, for all x,y\in{\mathbb{R}^m}. Conclude that there is a\in{}\mathbb{R}^m and a T\in{L(\mathbb{R}^m)} such that f(x)=T(x)+a.

    Thanks
    What have you tried?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Feb 2010
    Posts
    6
    Hello Drexel, thanks for your answer, here is my work

    Using Cauchy’s inequality
     \left\|{f'(x)(v)}\right\|\cdot{ \left\|{v}\right\|}\geq{\left<{f'(x)(v),v}\right>}.
    By hypotesis,  \left\|{f'(x)(v)}\right\|= \left\|{v}\right\|, then
     \left\|{v}\right\|^2\geq{\left<{f'(x)(v),v}\right>  } (1)
    Taking h:[0,1]\rightarrow{R} by
    h(t)=\left<{f((1-t)x+ty)-f(x),y-x}\right>,
    I get h'(t)=\left<{f'((1-t)x+ty)(y-x),y-x}\right>.

    By the mean value theorem, there is a c in <0,1> such that
    h(1)-h(0)=h'(c)
    \left<{f(y)-f(x),y-x}\right>=\left<{f'((1-c)x+cy)(y-x),(y-x)}\right>\leq{ \left\|{y-x}\right\|}^2
    This latter using (1)
    Hence
    \left\|{y-x}\right\|^2\geq{\left<{f(y)-f(x),y-x}\right>}.

    That's all, but i do not what else to do

    Hugs
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    Feb 2010
    Posts
    6
    Hello Drexwl, thanks for your answer, here is my work

    Using Cauchy’s inequality
     \left\|{f'(x)(v)}\right\|\cdot{ \left\|{v}\right\|}\geq{\left<{f'(x)(v),v}\right>}.
    By hypotesis,  \left\|{f'(x)(v)}\right\|= \left\|{v}\right\|, then
     \left\|{v}\right\|^2\geq{\left<{f'(x)(v),v}\right>  } (1)
    Taking h:[0,1]\rightarrow{R} by
    h(t)=\left<{f((1-t)x+ty)-f(x),y-x}\right>,
    I get h'(t)=\left<{f'((1-t)x+ty)(y-x),y-x}\right>.

    By the mean value theorem, there is a c in <0,1> such that
    h(1)-h(0)=h'(c)
    \left<{f(y)-f(x),y-x}\right>=\left<{f'((1-c)x+cy)(y-x),(y-x)}\right>\leq{ \left\|{y-x}\right\|}^2
    This latter using (1)
    Hence
    \left\|{y-x}\right\|^2\geq{\left<{f(y)-f(x),y-x}\right>}.

    That's all, but i do not what else to do

    Hugs
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Feb 2010
    Posts
    6
    any idea?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 9
    Last Post: December 17th 2010, 09:13 AM
  2. Replies: 0
    Last Post: October 3rd 2010, 08:03 AM
  3. Sequence of differentiable functions, non-differentiable limit
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: April 3rd 2009, 06:13 AM
  4. differentiable map and local isometry
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: December 21st 2008, 03:49 AM
  5. Isometry
    Posted in the Geometry Forum
    Replies: 6
    Last Post: January 23rd 2007, 06:27 PM

Search Tags


/mathhelpforum @mathhelpforum