In mathematics, a trace class operator is a compact operator for which a trace may be defined, such that the trace is finite and independent of the choice of basis. Trace class operators are essentially the same as nuclear operators, though many authors reserve the term "trace class operator" for the special case of nuclear operators on Hilbert spaces, and reserve "nuclear operator" for usage in more general Banach spaces.
Contents

Definition 1

Properties 2

Lidskii's theorem 2.1

Relationship between some classes of operators 2.2

Trace class as the dual of compact operators 2.3

As the predual of bounded operators 2.4

Notes 3

References 4
Definition
Mimicking the definition for matrices, a bounded linear operator A over a separable Hilbert space H is said to be in the trace class if for some (and hence all) orthonormal bases {e_{k}}_{k} of H the sum of positive terms

\A\_1= {\rm Tr}A:=\sum_k \langle (A^*A)^{1/2} \, e_k, e_k \rangle
is finite. In this case, the sum

{\rm Tr} A:=\sum_k \langle A e_k, e_k \rangle
is absolutely convergent and is independent of the choice of the orthonormal basis. This value is called the trace of A. When H is finitedimensional, every operator is trace class and this definition of trace of A coincides with the definition of the trace of a matrix.
By extension, if A is a nonnegative selfadjoint operator, we can also define the trace of A as an extended real number by the possibly divergent sum

\sum_{k} \langle A e_k, e_k \rangle.
Properties
1.

If A is a nonnegative selfadjoint, A is trace class if and only if Tr(A) < ∞. Therefore a self adjoint operator A is trace class if and only if its positive part A^{+} and negative part A^{−} are both trace class. (The positive and negative parts of a self adjoint operator are obtained via the continuous functional calculus.)

2.

The trace is a linear functional over the space of trace class operators, i.e.

\operatorname{Tr}(aA+bB)=a\,\operatorname{Tr}(A)+b\,\operatorname{Tr}(B).
The bilinear map

\langle A, B \rangle = \operatorname{Tr}(A^* B)
is an inner product on the trace class; the corresponding norm is called the Hilbert–Schmidt norm. The completion of the trace class operators in the Hilbert–Schmidt norm are called the Hilbert–Schmidt operators.

3.

If A is bounded and B is trace class, AB and BA are also trace class and ^{[1]}

\AB\_1=\operatorname{Tr}(AB)\le \A\\B\_1,\qquad \BA\_1=\operatorname{Tr}(BA)\le \A\\B\_1
and furthermore, under the same hypothesis,

\operatorname{Tr}(AB)=\operatorname{Tr}(BA)
The last assertion also holds under the weaker hypothesis that A and B are Hilbert Schmidt.

4.

If A is trace class, then one can define the Fredholm determinant of 1+A

{\rm det} (I+A):=\prod_{n\ge 1}[1+\lambda_n(A)]
where \{\lambda_n(A)\}_n is the spectrum of A. The trace class condition on A guarantees that the infinite product is finite: indeed

{\rm det} (I+A)\le e^{\A\_1}.
It also implies that {\rm det} (I+A)\neq 0 if and only if (I+A) is invertible.

Lidskii's theorem
Let A be a trace class operator in a separable Hilbert space H, and let \{\lambda_n(A)\}_{n=1}^N, N\leq \infty be the eigenvalues of A. Let us assume that \lambda_n(A) are enumerated with algebraic multiplicities taken into account (i.e. if the algebraic multiplicity of \lambda is k then \lambda is repeated k times in the list \lambda_1(A),\lambda_2(A),\dots). Lidskii's theorem (named after Victor Borisovich Lidskii) states that

\sum_{n=1}^N \lambda_n(A)=\operatorname{Tr}(A).
Note that the series in the left hand side converges absolutely due to Weyl's inequality

\sum_{n=1}^N \lambda_n(A)\leq \sum_{m=1}^M s_m(A)
between the eigenvalues \{\lambda_n(A)\}_{n=1}^N and the singular values \{s_m(A)\}_{m=1}^M of a compact operator A. See e.g.^{[2]}
Relationship between some classes of operators
One can view certain classes of bounded operators as noncommutative analogue of classical sequence spaces, with traceclass operators as the noncommutative analogue of the sequence space l^{1}(N).
Indeed, it is possible to apply the spectral theorem to show that every normal traceclass operator on a separable Hilbert space can be realized in a certain way as an l^{1} sequence, with respect to some choice of a pair of Hilbert bases. In the same vein, the bounded operators are noncommutative versions of l^{∞}(N), the compact operators that of c_{0} (the sequences convergent to 0), Hilbert–Schmidt operators correspond to l^{2}(N), and finiterank operators the sequences that have only finitely many nonzero terms. To some extent, the relationships between these classes of operators are similar to the relationships between their commutative counterparts.
Recall that every compact operator T on a Hilbert space takes the following canonical form

\forall h \in H, \; T h = \sum _{i = 1} \alpha_i \langle h, v_i\rangle u_i \quad \mbox{where} \quad \alpha_i \geq 0 \quad \mbox{and} \quad \alpha_i \rightarrow 0
for some orthonormal bases {u_{i}} and {v_{i}}. Making the above heuristic comments more precise, we have that T is trace class if the series ∑_{i} α_{i} is convergent, T is Hilbert–Schmidt if ∑_{i} α_{i}^{2} is convergent, and T is finite rank if the sequence {α_{i}} has only finitely many nonzero terms.
The above description allows one to obtain easily some facts that relate these classes of operators. For example, the following inclusions hold and they are all proper when H is infinite dimensional: {finite rank} ⊂ {trace class} ⊂ {Hilbert–Schmidt} ⊂ {compact}.
The traceclass operators are given the trace norm T_{1} = Tr [ (T*T)^{½} ] = ∑_{i} α_{i}. The norm corresponding to the Hilbert–Schmidt inner product is T_{2} = (Tr T*T)^{½} = (∑_{i}α_{i}^{2})^{½}. Also, the usual operator norm is T = sup_{i}(α_{i}). By classical inequalities regarding sequences,

\T\ \leq \T\_2 \leq \T\_1 ,
for appropriate T.
It is also clear that finiterank operators are dense in both traceclass and Hilbert–Schmidt in their respective norms.
Trace class as the dual of compact operators
The dual space of c_{0} is l^{1}(N). Similarly, we have that the dual of compact operators, denoted by K(H)*, is the traceclass operators, denoted by C_{1}. The argument, which we now sketch, is reminiscent of that for the corresponding sequence spaces. Let f ∈ K(H)*, we identify f with the operator T_{f} defined by

\langle T_f x, y \rangle = f(S_{x,y}),
where S_{x,y} is the rankone operator given by

S_{x,y}(h) = \langle h, y \rangle x.
This identification works because the finiterank operators are normdense in K(H). In the event that T_{f} is a positive operator, for any orthonormal basis u_{i}, one has

\sum_i \langle T_f u_i, u_i \rangle = f(I) \leq \f\,
where I is the identity operator

I = \sum_i \langle \cdot, u_i \rangle u_i .
But this means T_{f} is traceclass. An appeal to polar decomposition extend this to the general case where T_{f} need not be positive.
A limiting argument via finiterank operators shows that T_{f} _{1} =  f . Thus K(H)* is isometrically isomorphic to C_{1}.
As the predual of bounded operators
Recall that the dual of l^{1}(N) is l^{∞}(N). In the present context, the dual of traceclass operators C_{1} is the bounded operators B(H). More precisely, the set C_{1} is a twosided ideal in B(H). So given any operator T in B(H), we may define a continuous linear functional φ_{T} on C_1 by φ_{T}(A)=Tr(AT). This correspondence between bounded linear operators and elements φ_{T} of the dual space of C_1 is an isometric isomorphism. It follows that B(H) is the dual space of C_1. This can be used to define the weak* topology on B(H).
Notes

^ M. Reed and B. Simon Functional Analysis, Exercises 27, 28 page 218

^ Simon, B. (2005) Trace ideals and their applications, Second Edition, Amer. Math. Soc.
References

Dixmier, J. (1969). Les Algebres d'Operateurs dans l'Espace Hilbertien. GauthierVillars.
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.