Proving or Disproving the Isometry Property with Orthonormal Basis in L(V)

  • Thread starter Thread starter evilpostingmong
  • Start date Start date
Click For Summary

Homework Help Overview

The discussion revolves around the isometry property in linear transformations within the context of an orthonormal basis in a vector space V. The original poster is tasked with proving or disproving whether a linear transformation S is an isometry given that it preserves the length of each basis vector in an orthonormal basis.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • The original poster attempts to reason through the implications of the transformation S preserving the lengths of the basis vectors. Some participants suggest exploring the squared lengths of vectors and linear combinations to further investigate the properties of S. Others raise concerns about the misunderstanding of eigenvalues and eigenvectors in relation to the isometry property.

Discussion Status

The discussion is active, with participants offering various insights and counterexamples to challenge the original poster's assumptions. There is a focus on clarifying misconceptions about isometries and the implications of the transformation on vector lengths.

Contextual Notes

Participants are encouraged to construct counterexamples and question the assumptions underlying the isometry property, particularly regarding the relationship between the transformation of basis vectors and the preservation of vector lengths.

evilpostingmong
Messages
338
Reaction score
0

Homework Statement


Prove or give a counterexample: if S ∈ L(V) and there exists
an orthonormal basis (e1, . . . , en) of V such that llSejll = 1 for
each ej , then S is an isometry.


Homework Equations





The Attempt at a Solution


Can't think of a counterexample. I am assuming that since ej is a member
of an orthonormal basis, llejll HAS to be 1 by definition. And if llSejll=1,
then llSejll=llejll. I mean, considering that llSejll=1 for ALL ej,
all ej have 1 as an eigenvalue. Should I go ahead and do the proof, because
I am having trouble seeing how S is not an isometry given the information I posted
above.
 
Physics news on Phys.org


You could start by proving that every basis vector has the same length after transformation ( Hint: squared length ). And if every vector is a linear combination of these basis vectors, do the same proof has above, with a little more coefficients.
 


||Sej||=||ej||=1 DOES NOT mean 1 is an eigenvalue with ej as an eigenvector. IF ej is an eigenvector of S with eigenvalue 1, THEN ||Sej||=||ej||=1. The converse is emphatically NOT TRUE. You make this mistake A LOT. Stop it! Construct a counterexample in R^2. Quick. DON'T try to prove it. I know you will throw a 'proof' together. That would be a bad thing.
 
Last edited:


I digress, but to clear up any misconceptions I have about isometries,
lets say we have a vector (2, 2). apply T (2x2 matrix of rank 1 with sqrt(8)/2 at
the far upper left corner and 0 everywhere else) to (2, 2) to get (sqrt(8), 0).
(2, 2) is not an eigenvector of T and T(2, 2)=/=1*(2, 2). But llT(2, 2)ll=ll(2, 2)ll.

(sqrt(2), sqrt(-1)) Let T be a 2x2 matrix of rank 1 with sqrt(1/2)at the far upper left corner and 0 everywhere else. T(sqrt(2), sqrt(-1))=(1, 0). Now applying T again we get
(sqrt(1/2), 0). llT^2(sqrt(2), sqrt(-1))ll=sqrt(1/2)=/=1. This shows that llTekll=llekll does not imply that
T is an isometry since all isometries are such that llT^kekll=llekll where k is any number >=1.
 
Last edited:


\left\|(\sqrt{2},i)\right\| = (\sqrt{2},i) \cdot (\sqrt{2},i)^* = 3
 


GPPaille said:
\left\|(\sqrt{2},i)\right\| = (\sqrt{2},i) \cdot (\sqrt{2},i)^* = 3

Oh right. :smile: Ok here's plan B. (sqrt(2/3), sqrt(1/3) ). Now
let T's 2x2 matrix be of rank 1 with sqrt(3/2) at the top left hand corner
and 0 everywhere else. Now T(sqrt(2/3), sqrt(1/3))=(1, 0). Now applying T
again, we get (sqrt(2/3), 0). ll(sqrt(2/3), 0)ll=sqrt(2/3).
 


But you don't have to apply T twice to see that (1,0) do not preserves length. Write it in term of the basis vectors. And you will see that only one basis vector preserves its length.
 

Similar threads

Replies
2
Views
6K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 0 ·
Replies
0
Views
710
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
34
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K