In mathematics, aweak trace class operator is acompact operator on aseparableHilbert spaceH withsingular values the same order as theharmonic sequence.When the dimension ofH is infinite, the ideal of weak trace-class operators is strictly larger than the ideal oftrace class operators, and has fundamentally different properties. The usualoperator trace on the trace-class operators does not extend to the weak trace class. Instead the ideal of weak trace-class operators admits an infinite number of linearly independent quasi-continuous traces, and it is the smallest two-sided ideal for which all traces on it aresingular traces.
Weak trace-class operators feature in thenoncommutative geometry of French mathematicianAlain Connes.
Acompact operatorA on an infinite dimensionalseparableHilbert spaceH isweak trace class if μ(n,A) = O(n−1), where μ(A) is the sequence ofsingular values. In mathematical notation the two-sidedideal of all weak trace-class operators is denoted,
where are the compact operators.[clarification needed] The term weak trace-class, or weak-L1, is used because the operator ideal corresponds, in J. W. Calkin'scorrespondence between two-sided ideals of bounded linear operators and rearrangement invariant sequence spaces, to theweak-l1 sequence space.