FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups 
 ProfileProfile   PreferencesPreferences   Log in to check your private messagesLog in to check your private messages   Log inLog in 
Forum index » Science and Technology » Math
origin-fixing isometry
Post new topic   Reply to topic Page 1 of 1 [3 Posts] View previous topic :: View next topic
Author Message
Ulysse from CH
science forum beginner


Joined: 30 May 2006
Posts: 16

PostPosted: Fri Jul 21, 2006 12:44 pm    Post subject: Re: origin-fixing isometry Reply with quote

On Sat, 15 Jul 2006 22:56:39 -0700, William Elliot
<marsh@hevanet.remove.com> wrote:

Quote:
On Sat, 15 Jul 2006, Sean McIlroy wrote:
is an isometry necessarily linear if the origin is a fixed point? why?
No, you might have an obnoxious metric space that's not a linear space or
a metric space that forgot to include certificate of origin.

OK, but Sean probably had the case in mind, where the metric space

is a normed linear space or even an ordinary euclidian vector space
(isomorphic to |R^n with its standard positive definite
symmetric bilinear form - the scalar product s:
( (x_1, ... , x_n) , (y_1, ... , y_n) ) |-> x_1*y_1 + ... + x_n*y_n,
which leads to the usual "L_2" norm defined by ||x|| = sqrt(s(x,x)) ).

At least in this special case, the answer to the question is Yes.
This can be proven along the following lines:

By definition the distance d(x,y) = ||y-x|| and so ||x|| = d(0,x).
This shows that an isometric with 0 fixed keeps norms unchanged.
Also ||y-x|| = ||y'-x'|| if x',y' are the images of x,y; taking
squares gives s(y-x,y-x) = s(y'-x',y'-x'); this, the special cases
s(y,y) = s(y',y') , s(x,x) = s(x',x') and bilinearity of s show that
s(x,y) = s(x',y'). Therefore the images of the vectors in
a orthonormal basis have the same property. To conclude
that the isometry is the unique linear map sending a given
orthonormal basis to the corresponding basis (which is of
course an isometry) it is enough to prove that if an isometry
fixes an orthonormal basis, then it is the identity: this follows
from the shown invariance of s by an isometry and the fact
that the components of a vector in an orthonormal basis are
the scalar products of this vector and the vectors of the basis.
Back to top
William Elliot
science forum Guru


Joined: 24 Mar 2005
Posts: 1906

PostPosted: Sun Jul 16, 2006 5:56 am    Post subject: Re: origin-fixing isometry Reply with quote

On Sat, 15 Jul 2006, Sean McIlroy wrote:

Quote:
is an isometry necessarily linear if the origin is a fixed point? why?

No, you might have an obnoxious metric space that's not a linear space or

a metric space that forgot to include certificate of origin.
Back to top
Sean McIlroy
science forum beginner


Joined: 05 May 2005
Posts: 24

PostPosted: Sat Jul 15, 2006 6:39 pm    Post subject: origin-fixing isometry Reply with quote

hi all

is an isometry necessarily linear if the origin is a fixed point? why?

peace,
stm
Back to top
Google

Back to top
Display posts from previous:   
Post new topic   Reply to topic Page 1 of 1 [3 Posts] View previous topic :: View next topic
The time now is Mon Dec 18, 2017 2:50 pm | All times are GMT
Forum index » Science and Technology » Math
Jump to:  

Similar Topics
Topic Author Forum Replies Last Post
No new posts Origin of the Universe as Interpreted by Model mechanics kenseto Relativity 0 Mon Jun 26, 2006 2:17 pm
No new posts fixing a burglar alarm gjedwards@gmail.com Math 9 Sun May 21, 2006 12:43 am
No new posts infinite discrete isometry groups with no translations Edwin Clark Research 3 Sat May 13, 2006 6:53 pm
No new posts Gauge fixing question Lionel Brits Research 1 Thu Apr 27, 2006 9:19 pm
No new posts The Origin of Einstein's Predictions Pentcho Valev Relativity 3 Wed Apr 19, 2006 8:18 am

Copyright © 2004-2005 DeniX Solutions SRL
Other DeniX Solutions sites: Electronics forum |  Medicine forum |  Unix/Linux blog |  Unix/Linux documentation |  Unix/Linux forums  |  send newsletters
 


Powered by phpBB © 2001, 2005 phpBB Group
[ Time: 0.0185s ][ Queries: 20 (0.0038s) ][ GZIP on - Debug on ]