Example image of eyePlorer eyePlorer map for 'Trace class': Compact operator Mathematics Trace (linear algebra) Banach space Hilbert space Nuclear operator Bounded operator Orthonormal basis Separable space Absolute convergence If and only if Continuous functional calculus Hilbert–Schmidt operator Inner product space Sequence space Spectral theorem Compact operator on Hilbert space Finite rank operator Operator norm Polar decomposition Ideal (ring theory) Continuous function (topology) Linear functional Dual space Isomorphism Ultraweak topology Density matrix Dixmier trace Predual Schatten norm Fredholm determinant Harish-Chandra character Noncommutative integral Noncommutative residue Composition operator Entanglement witness Functional determinant Schatten class operator KMS state Weak operator topology Nuclear space Fredholm kernel Weyl quantization Covariance Separable states Quantum operation Mercer's theorem Expectation value (quantum mechanics) Trace Commutation theorem