Classe tracial

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ção

Seja ${\displaystyle H\,}$ um espaço de Hilbert separável e ${\displaystyle \{e_{k}\}_{k=1}^{\infty }\,}$ uma família ortonormal densa em ${\displaystyle H\,}$. Um operador ${\displaystyle A:H\to H\,}$ é dito ser de classe tracial se a série converge:[1]

${\displaystyle \sum _{k=1}^{\infty }\|Ae_{k}\|\,}$

O traço de ${\displaystyle A\,}$, é então, definido como:[1]

${\displaystyle {\hbox{tr}}(A)=\sum _{k=1}^{\infty }\langle Ae_{k},e_{k}\rangle \,}$

Esta série é absolutamente convergente pois:

${\displaystyle \left|\langle Ae_{k},e_{k}\rangle \right|\leq \|Ae_{k}\|\cdot \|e_{k}\|=\|Ae_{k}\|\,}$

Propriedades

• Todo operador classe tracial é também um operador compacto.
• O traço independe da escolha da base.[1]

Referências

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