Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have a compact selfadjoint operator $T$ on a separable Hilbert space. For some fixed orthonormal basis, the operator's diagonal is in $\ell^1(\mathbb{N})$.

Can we conclude that $T$ is trace class?

share|improve this question
    
By diagonal, do you mean $\langle Te_n,e_n\rangle$, where $\{e_n\}$ is the fixed orthonormal basis? –  Davide Giraudo Jul 24 '12 at 21:55
    
May be I'm mistaken somwhere, but what is wrong with the following proof. Since $T$ is self adjoint and compact we can say that $T(x)=\sum_n\lambda_n\langle x,e_n\rangle e_n$. So $|\mathrm{Tr}(T)|=|\sum_n\langle T e_n,e_n\rangle|=|\sum_n\lambda_n|\leq\Vert\lambda\Vert_1<\infty$ –  userNaN Jul 24 '12 at 21:57
1  
@Davide: yes, including the sum you didn't type. –  Martin Argerami Jul 24 '12 at 22:01
1  
@Norbert: you are assumming that $T$ is diagonal in the given basis, which is not the case. –  Martin Argerami Jul 24 '12 at 22:02

1 Answer 1

up vote 10 down vote accepted

No, we cannot conclude that the operator is trace class.

For example, let a Hilbert space have orthonormal basis $e_1,f_2,e_2,f_2,e_3,f_3,\ldots$, and $T$ interchanges $e_i,f_i$, while multiplying both by a positive real $\lambda_i$. That is, in these coordinates, the matrix of $T$ is a list of diagonal blocks, with the $i$-th diagonal block being anti-diagonal $\lambda_i,\lambda_i$.

For $\lambda_i\rightarrow 0$, the operator is compact, almost from the definition.

All the diagonal entries are $0$.

The operator is self-adjoint because the matrix is symmetric real.

However, the operator is not trace class unless $\sum_i |\lambda_i|<\infty$, which easily fails for many sequences of positive reals $\lambda_i\rightarrow 0$.

Edit: It is noteworthy that the analogous characterization (I pointedly don't say "definition") of "Hilbert-Schmidt" does not depend on choice of basis. Thus, "defining" trace-class as composition of two Hilbert-Schmidt operators is sometimes usefully more intrinsic, less basis/coordinate-dependent.

share|improve this answer
    
Nice example. Thanks! –  Martin Argerami Jul 25 '12 at 1:45
    
@Martin: You probably know this, but just in case: If your operator happens to be positive (not only self-adjoint), then your desired conclusion does hold, i.e. the trace is summable independently of the orthonormal basis, see Corollary 3.4.4 on page 117 of Pedersen's Analysis Now. –  t.b. Jul 25 '12 at 2:19
1  
Yes, I have wished so hard for my operator to be positive... –  Martin Argerami Jul 25 '12 at 2:21

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.