Stuck on step in a linear algebra proof

Click For Summary
SUMMARY

The discussion centers on proving that an operator T is normal if and only if ||Tv|| = ||T*v||, as stated in Axler's "Linear Algebra Done Right." The key equivalence involves manipulating inner products, specifically = . The proof requires showing that ||T*v||^2 = ||Tv||^2 leads to the conclusion that T is normal, defined by T*T = TT*. The participants emphasize the importance of understanding operator properties within inner products to facilitate the proof.

PREREQUISITES
  • Understanding of linear operators and their adjoints
  • Familiarity with inner product spaces
  • Knowledge of the properties of normal operators
  • Basic proficiency in mathematical proofs and logic
NEXT STEPS
  • Study the properties of normal operators in linear algebra
  • Learn about inner product spaces and their applications
  • Explore the concept of adjoint operators in detail
  • Practice proving equivalences in linear algebra using inner products
USEFUL FOR

Students of linear algebra, mathematicians focusing on operator theory, and educators teaching advanced mathematics concepts will benefit from this discussion.

ocelotl
Messages
1
Reaction score
0

Homework Statement


Axler's Linear Algebra done right, propositions 7.6 states:
An operator T is normal if and only if ||Tv|| = || T*v||, T* being the adjoint of T.

I've been stuck on the last equivalence in the proof stated here:

<T*Tv,v>=<TT*v> <=> ||Tv||^2=||T*v||^2, with squaring both sides of the second statement proves the theorem.

Homework Equations


The Attempt at a Solution


Basically all my attempts have been stopped by the fact that i can't either get rid of T or T* in the second slot when working backwards or trying to get T or T* back when working through it forwards. Any help would be highly appreciated.
 
Physics news on Phys.org
so i take it you definition of normal is:
T*T = TT*

and the problem you are having is:
Assume ||Tv|| = || T*v||, show T is normal

Now assuming all that is the case you squaring the relation is a simple matter
||T*v||^2 = ||Tv||^2

Then writing in terms of inner products you have
<T*v,T*v> = <Tv,Tv>

now i would use the properties of operators in inner products to ove an operator within the inner product, so both act on a single vector within the inner product
 
Last edited:

Similar threads

  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 7 ·
Replies
7
Views
1K
Replies
8
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K