Classe tracial

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

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[editar | editar código-fonte]

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:

Propriedades[editar | editar código-fonte]

Referências

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