Trace class Guide, Meaning , Facts, Information and Description
In mathematics, a bounded linear operator A over a Hilbert space H is said to be in the trace class if for some (and hence all) orthonormal bases {ek}k of H the sum of positive termsBy extension, if A is a non-negative self-adjoint operator, we can also define the trace of A as an extended real number by the possibly divergent sum
When H is finite-dimensional, then the trace of A is just the trace of a matrix and the last property stated above is roughly saying that trace is invariant under similarity.
The trace is a linear functional over the space of trace class operators, meaning
For infinite dimensional spaces, the class of Hilbert-Schmidt operators is strictly larger than that of trace class operators. The heuristic is that Hilbert-Schmidt is to trace class as l2(N) is to l1(N).
The set of trace class operators on H is a two-sided ideal in B(H), the set of all bounded linear operators on H. So given any operator T in B(H), we may define a continuous linear functional φT on by φT(A)=Tr(AT). This correspondence between elements φT of the dual space of and bounded linear operators is an isometric isomorphism. It follows that B(H) is the dual space of . This can be used to defined the weak-* topology on B(H).
