Difference between revisions of "Linear isometry"

From Maths
Jump to: navigation, search
m
m (Fixed typo)
 
Line 1: Line 1:
 
==Definition==
 
==Definition==
Suppose {{M|U}} and {{M|V}} are [[Norm|normed]] [[Vector space|vector spaces]] with the norm <math>\|\cdot\|_U</math> and </math>\|\cdot\|_V</math> respectively, a linear isometry preserves [[Norm|norms]]
+
Suppose {{M|U}} and {{M|V}} are [[Norm|normed]] [[Vector space|vector spaces]] with the norm <math>\|\cdot\|_U</math> and <math>\|\cdot\|_V</math> respectively, a linear isometry preserves [[Norm|norms]]
  
 
It is a [[Linear map|linear map]] <math>L:U\rightarrow V</math> where <math>\forall x\in U</math> we have <math>\|L(x)\|_V=\|x\|_U</math>
 
It is a [[Linear map|linear map]] <math>L:U\rightarrow V</math> where <math>\forall x\in U</math> we have <math>\|L(x)\|_V=\|x\|_U</math>

Latest revision as of 11:23, 12 May 2015

Definition

Suppose U and V are normed vector spaces with the norm U and V respectively, a linear isometry preserves norms

It is a linear map L:UV where xU we have L(x)V=xU

Notes on definition

This definition implies L is injective.

Proof

Suppose it were not injective but a linear isometry, then we may have have L(a)=L(b) and ab, then L(ab)V=L(a)L(b)V=0 by definition, but as ab we must have abU>0, contradicting that is an isometry.

Thus we can say L:UL(U) is bijective - but as it may not be onto we cannot say more than L is injective. Thus L may not be invertible.

Isometric normed vector spaces

We say that two normed vector spaces are isometric if there is an invertible linear isometry between them.

Pullback norm