En un espacio de Hilbert, un operador de clase traza es un operador compacto cuyas valores singulares son sumables; tales operadores admiten una traza bien definida igual a la suma de las entradas diagonales en cualquier base ortonormal y, en ciertos contextos, un determinante (determinante de Fredholm).

Principio

Los operadores de clase traza forman un ideal entre los operadores compactos caracterizado por la sumabilidad de los valores singulares; esta sumabilidad hace que la traza sea independiente de la base y continua para la norma de traza.

Demostración

Un operador de rango finito es de clase traza porque solo tiene un número finito de valores singulares no nulos; para un operador integral con núcleo suficientemente regular en un dominio compacto, el operador puede ser de clase traza y su traza coincide con la integral del núcleo en la diagonal cuando esa expresión tiene sentido.

Aplicación incorrecta

Usar la fórmula de la traza sin comprobar la clase traza conduce a sumas divergentes o dependientes de la base; considerar operadores de Hilbert–Schmidt como de clase traza sin verificar la sumabilidad es incorrecto.

Consecuencia

Ser de clase traza garantiza una traza bien definida e independiente de la base y permite propiedades cíclicas para trazas de productos de operadores; facilita la teoría de perturbaciones compactas con desplazamientos espectrales controlados.

Inversión

Un operador compacto que no es de clase traza (por ejemplo con valores singulares no sumables) carece de traza finita y puede mostrar una decaimiento espectral más lento; en cambio, los operadores de rango finito satisfacen trivialmente la condición de clase traza.

Límite

El concepto se define para operadores en espacios de Hilbert y se apoya en la descomposición en valores singulares; en espacios de Banach generales no existe una noción canónica única de clase traza sin estructura adicional.

Tensión semántica

Clase traza versus Hilbert–Schmidt: ambos son ideales entre los operadores compactos, pero Hilbert–Schmidt exige la cuadrado‑sumabilidad de los valores singulares mientras que la clase traza exige sumabilidad — la segunda es más fuerte y garantiza la traza.

Síntesis

Un operador de clase traza es un operador compacto con valores singulares sumables, que proporciona una traza canónica independiente de la base y forma un ideal bilateral en el álgebra de operadores acotados.