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.[1]


DefiniçãoEditar

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:[1]

 

O traço de  , é então, definido como:[1]

 

Esta série é absolutamente convergente pois:

 

PropriedadesEditar

Referências

  1. a b c d João Carlos Alves Barata. «37». Curso de Física-Matemática (PDF). [S.l.: s.n.]