
#1
May1608, 04:29 PM

P: 31

Hi there,
Can anyone give me an hint/idea of how to prove HilbertSchmidt operators are compact? More specifically, if X is a seperable Hilbert space and T:X>X is a linear operator such that there exists an orthonormal basis [latex](e_{n})[/latex] such that [latex]\sum_{n} T(e_{n})^{2}<\infty[/latex] then show that T is compact. It looks like an easy exercise given that both definitions are given in terms of sequences but I'm being quite stupid so I'm having trouble. Thanks for any help. 



#2
May1608, 06:32 PM

Sci Advisor
HW Helper
P: 2,020

There is more than one way you can do this; perhaps the easiest is to show that T is a limit of finite ranks. Can you think of suitable ones?




#3
May1608, 06:47 PM

P: 31

Thanks for the help  sounds good. Obviously I'd have to show they converge in operator norm. Trying your hint now!




#4
May1608, 06:59 PM

P: 31

Hilbert Schmidt Operators
Done it  thanks so much for the hint :)
I have my functional analysis exam next Saturday (after complex analysis and manifolds on Monday and Friday) so I might post a few more questions some time if I have more trouble. Enjoy your weekend. 



#5
May1608, 07:00 PM

Sci Advisor
HW Helper
P: 2,020

Good luck!




#6
May2008, 09:42 AM

P: 31

Thanks!
Could anyone give me a hint as to how to prove the HilbertSchmidt norm, [latex]T_{HS}=(\sum_{n\geq 1}Te_{n}^{2})^{1/2}[/latex] is independent of the choice of orthonormal basis. I've tried taking another orthonormal basis [latex]w_{n}[/latex], writing [latex]e_{n}=\sum_{k=1}^{\infty}(w_{k},e_{n})w_{k}[/latex] so that [latex]Te_{n}=\sum_{k=1}^{\infty}(w_{k},e_{n})Tw_{k}[/latex] and considering [latex]Te_{n}^2[/latex] but only got that this is less than or equal to [latex]\sum_{k=1}^{\infty}Tw_{k}^2[/latex] which is obviously not helpful. Clearly I've applied too many inequalities (triangle inequality and cauchyschwarz). Anyone have a better approach? Thanks for any help. 



#7
May2008, 03:50 PM

Sci Advisor
HW Helper
Thanks
P: 25,175

The HilbertSchmidt norm can be written as sqrt(trace(A.A*)) (where * is hermitian conjugate). Does that help you to prove it's basis independent?




#8
May2208, 08:15 AM

Sci Advisor
HW Helper
P: 2,020

I don't think this will solve the problem fully, because the usual definition of "trace" for an arbitrary operator on a (separable) Hilbert space will call out an o.n. bases and thus we're going to have to prove that this new value is independent of this choice of basis, see here. [GSpeight: consider this an extra exercise!]
Alternatively, we can modify post #6 slightly: instead of writing [tex]e_{n}=\sum_{k=1}^{\infty}(e_{n},w_{k})w_{k},[/tex] write [tex]Te_{n}=\sum_{k=1}^{\infty}(Te_{n},w_{k})w_{k}.[/tex] Try to see if you can take it from here. No inequalities will be needed. 



#9
May2208, 09:05 AM

Sci Advisor
HW Helper
Thanks
P: 25,175





#10
May2208, 12:04 PM

P: 31

Sorry for the slow reply. I've been busy revising a different topic and haven't really encountered the generalisation of trace to operators on Hilbert spaces.
Firstly sorry if my order of writing terms in the inner product was confusing  for some reason my lecturer prefers the inner product to be linear in the second argument (even though the first time I met inner product spaces and the usual seems to be linear in the first argument). If we have [latex]Te_{n}=\sum_{k=1}^{\infty}(Te_{n},e_{k})w_{k}[/latex] then clearly it follows that [latex]Te_{n}^{2}=\sum_{k=1}^{\infty}(Te_{n},w_{k})^{2}[/latex] but even with adding up all the terms and interchanging the order of summation I don't see where factors [latex]Tw_{n}^2[/latex] come from, unless we assume the operator is self adjoint or something. Thanks for the help so far to both of you. 



#11
May2208, 02:09 PM

Sci Advisor
HW Helper
Thanks
P: 25,175

Think about the properties of the linear transformation that connects the e and w bases. Did you try thinking of it as a trace?



Register to reply 
Related Discussions  
Composite Hilbert Spaces and Operators  Quantum Physics  5  
schmidt orthogonalization  Advanced Physics Homework  1  
Operators on Hilbert Spaces  Calculus & Beyond Homework  42  
loi de Schmidt  General Physics  4  
Linear Operators on Hilbert Spaces  Introductory Physics Homework  15 