On a Hilbert space, a trace-class operator is a compact operator whose singular values are summable; such operators admit a well-defined trace equal to the sum of diagonal entries in any orthonormal basis and a well-defined determinant (Fredholm determinant) in some contexts.

Principle

Trace-class operators form an ideal of compact operators characterized by summability of singular values; this summability makes the trace basis-independent and continuous under the trace norm.

Demonstration

A finite-rank operator is trace-class because only finitely many singular values are nonzero; for an integral operator with sufficiently regular kernel on a compact domain, the operator may be trace-class and its trace equals the integral of the kernel on the diagonal when that expression makes sense.

Misapplication

Using the trace formula indiscriminately for operators that are not trace-class leads to divergent or basis-dependent sums; treating Hilbert–Schmidt operators as trace-class without checking summability is incorrect.

Consequence

Trace-class status guarantees a well-defined, basis-independent trace and permits cyclicity properties for traces of operator products; it enables compact perturbation theory with controlled spectral shifts.

Reversal

A compact operator that is not trace-class (e.g., with non-summable singular values) lacks a finite trace and may exhibit slower spectral decay; conversely, finite-rank operators trivially satisfy trace-class criteria.

Boundary

This concept is defined for operators on Hilbert spaces and relies on singular-value decomposition; on general Banach spaces there is no single canonical trace-class notion without extra structure.

Semantic Tension

Trace-class versus Hilbert–Schmidt: both are ideals among compact operators, but Hilbert–Schmidt requires square-summability of singular values while trace-class requires summability — the latter is stronger and yields a trace.

Synthesis

A trace-class operator is a compact operator with summable singular values, providing a canonical, basis-independent trace and forming a two-sided ideal in the algebra of bounded operators.