4.5 Trace class operators
In the previous section, we introduced HS operators that provide an important subset of the compact operators. Another such subset is the trace class or nuclear operators that we examine in this section.
Let be any bounded linear operator on some Hilbert space . By Theorem 3.4.3, we can define the square root of as a bounded, nonnegative, self-adjoint operator such that .
An argument ...