LA - Trace - Is this an elegant solution or an incorrect one? (Breif glance needed)

  • #1

Homework Statement


Suppose V is an inner product space and [tex]T\in L(V)[/tex]. Prove that if [tex]\left\|T^{*}v\right\|[/tex][tex]\leq[/tex][tex]\left\|Tv\right\|[/tex] then T is Normal.

Sorry for being bothersome; this is the first year I've ever written proofs so I'm a bit sketchy about them.


Homework Equations





The Attempt at a Solution

Define an Inner Product on V [tex]\left\langle Sv, Tv\right\rangle[/tex] = [tex]\ Trace(ST^{*})[/tex].
Then [tex]\left\|T^{*}v\right\|[/tex][tex]\leq[/tex][tex]\left\|Tv\right\| = Trace (TT^{*}) \leq Trace( T^{*}T)[/tex].
However, [tex]\ Trace (TT^{*}) = Trace (T^{*}T)[/tex]. Which implies [tex]\left\|T^{*}v\right\|[/tex] = [tex]\left\|Tv\right\|[/tex], and therefore T is normal

I worked up another solution, which I'm almost sure is correct, but if this one does indeed check out I'd prefer to use it ;p. It just seems wrong to me for some reason; because it implies that basically all linear maps are normal; but I can't place what I did incorrectly.
 
Last edited:

Answers and Replies

  • #2
HallsofIvy
Science Advisor
Homework Helper
41,833
961


Homework Statement


Suppose V is an inner product space and [tex]T\in L(V)[/tex]. Prove that if [tex]\left\|T^{*}v\right\|[/tex][tex]\leq[/tex][tex]\left\|Tv\right\|[/tex] then T is Normal.

Sorry for being bothersome; this is the first year I've ever written proofs so I'm a bit sketchy about them.


Homework Equations





The Attempt at a Solution

Define an Inner Product on V [tex]\left\langle Sv, Tv\right\rangle[/tex] = [tex]\ Trace(ST^{*})[/tex].
That is not an inner product on V, it is an inner product on L(V).

Then [tex]\left\|T^{*}v\right\|[/tex][tex]\leq[/tex][tex]\left\|Tv\right\| = Trace (TT^{*}) \leq Trace( T^{*}T)[/tex].
What justification do you have for [tex]\left\|T^{*}v\right\|\leq\left\|Tv\right\|[/tex]?

However, [tex]\ Trace (TT^{*}) = Trace (T^{*}T)[/tex]. Which implies [tex]\left\|T^{*}v\right\|[/tex] = [tex]\left\|Tv\right\|[/tex], and therefore T is normal

I worked up another solution, which I'm almost sure is correct, but if this one does indeed check out I'd prefer to use it ;p
 
  • #3


We assumed that T*v was less than or equal to Tv; in order to show that T had to be normal.

An inner product on L(V), right. I think that destroys my "proof." Since it doesn't make sense to take the "Trace" of a vector.

I have another breif question; If all the eigenvalues of a particular operator are equal to 0, does that imply the operator is equal to 0? or just Nilpotent? The other proof I worked on shows that TT*-T*T is positive, and since Trace of that operator is 0, It must have all zeros along the diagonal. Then I sort of hand-wavily assumed I could say TT*-T*T = 0, and therefore TT* = T*T and T is a normal operator. Is there any solid justification for that?

EDIT: Nevermind I think I figured it out. T is Positive, so it's also self-adjoint; which means V has a basis of eigenvectors, but since all the eigenvalues are 0, TT*-T*T must be the zero map.

Hurray!
 
Last edited:

Related Threads on LA - Trace - Is this an elegant solution or an incorrect one? (Breif glance needed)

Replies
5
Views
1K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
10
Views
858
Replies
2
Views
930
  • Last Post
Replies
4
Views
2K
Replies
8
Views
826
Replies
2
Views
758
Replies
4
Views
1K
Replies
1
Views
2K
Top