 Forum index » Science and Technology » Math
Author Message
Sean McIlroy
science forum beginner

Joined: 05 May 2005
Posts: 24 Posted: Sat Jul 15, 2006 6:39 pm    Post subject: origin-fixing isometry hi all

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

peace,
stm William Elliot
science forum Guru

Joined: 24 Mar 2005
Posts: 1906 Posted: Sun Jul 16, 2006 5:56 am    Post subject: Re: origin-fixing isometry 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. Ulysse from CH
science forum beginner

Joined: 30 May 2006
Posts: 16 Posted: Fri Jul 21, 2006 12:44 pm    Post subject: Re: origin-fixing isometry 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.  Display posts from previous: All Posts1 Day7 Days2 Weeks1 Month3 Months6 Months1 Year Oldest FirstNewest First
 The time now is Wed Mar 20, 2019 3:15 pm | All times are GMT Forum index » Science and Technology » Math
 Jump to: Select a forum-------------------Forum index|___Science and Technology    |___Math    |   |___Research    |   |___num-analysis    |   |___Symbolic    |   |___Combinatorics    |   |___Probability    |   |   |___Prediction    |   |       |   |___Undergraduate    |   |___Recreational    |       |___Physics    |   |___Research    |   |___New Theories    |   |___Acoustics    |   |___Electromagnetics    |   |___Strings    |   |___Particle    |   |___Fusion    |   |___Relativity    |       |___Chem    |   |___Analytical    |   |___Electrochem    |   |   |___Battery    |   |       |   |___Coatings    |       |___Engineering        |___Control        |___Mechanics        |___Chemical

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