Hilbert space: Compact operators and the trace theorem - Retherford, J R (1993)