Em matemática, sobretudo na análise funcional, os operadores classe tracial são uma família de operadores compactos para os quais é possível definir um traço.
Definição Seja um espaço de Hilbert separável e uma família ortonormal densa em . Um operador é dito ser de classe tracial se a série converge:
O traço de , é então, definido como:
Esta série é absolutamente convergente pois:
Propriedades Todo operador classe tracial é também um operador compacto. O traço independe da escolha da base.
Categoria:Análise funcional