Operador de clase de traza

operador compacto para el que se puede definir una traza finita
(Redirigido desde «Operadores de clase de traza»)

En matemáticas, un operador de clase traza o un operador de traza finita es un operador compacto para el cual la traza está definida (en ese caso la traza es un número finito y no depende de la base elegida).

La clase de operadores de traza finita coincide esencialmente con la de los operadores nucleares, aunque muchos autores reservan el término "operador de clase traza" para el caso particular de operadores nucleasres definidos en un espacio de Hilbert y usan el nombre de operador nuclear para el caso más general de un espacio de Banach.

Definición

editar

Parafraseando la definición de la traza para matrices, un operador lineal acotado A definido sobre un espacio de Hilbert separable H se llama de clase traza o de traza finita si para alguna base ortonormal {ek}k de H la suma de términos positivos:

 

es finita. En ese caso la suma:

 

es absolutamente convergente y es independiente de la elección de la base ortonormal. Este valor se denomina traza de A. Cuando H es de dimensión finita, entonces, cualquier operador definido sobre él es acotado y es de traza finita (resultando en ese caso la traza coincidente con la traza de una matriz que represente al operador en una base dada).

Por extensión, si A es un operador autoadjunto y no negativo, se puede definir la traza de A como el número real extendido dado por la suma, posiblemente divergente:

 

Propiedades

editar
1. Si A es un operador autoadjunto no negativo, A es de clase traza si y solo si tr(A) < ∞. Por tanto un operador autoadjunto A es de clase traza si y solo si su parte positiva A+ y su parte negativa A son ambos de clase traza. (Las partes positiva y negativa de un operador autoadjunto se obtienen mediante cálculo funcional.)
2. La traz es un funcional lineal sobre el espacio de los operadores de clase traza, es decir,

 

La aplicación bilineal:

 

es un producto escalar sobre la clase traza; la norma asociada se llama norma de Hilbert-Schmidt. La compleción de los operadoes de clase traza en la norma de Hilbert-Schmidt está formada por los operadores de Hilbert-Schmidt.

3. Si   es acotado y   es de clase traza,   y   son de clase traza y

 

además, bajo los mismos supuestos,

 

4. Si   es de clase traza, entonces se puede definir el determinante de   mediante:

 

para   los elementos del espectro de  ; la condición de clase traza sobre   garantiza que el producto infinito es igual a un número finito, de hecho:

 

eso también garantiza que   si y sólo si   admite inversa

Teorema de Lidskii

editar

Sea   un operador de clase traza definido en espacio de Hilbert separable   y sea     el conjunto de autovalores de  . Asúmase que   se enumeran contabilizando multiplicidades algebraicas, entonces el teorema de Lidskii (llamado así por Victor Borisovich Lidskii) afirma que:

 

Nótese que la serie a la izquierda es absolutamente convergente debido a la desigualdad de Weyl:

 

entre los autovalores

 

y el valor singular:

 

de un operador compacto  . Véase por ejemplo Simon (2005).[1]

Relación entre algunas clases de operadores

editar

Uno puede obtener ciertas clases de operadores acotados como el análogo no conmutativo de un espacio de sucesiones clásico. En este caso los operadores de clase traza son el análogo no conmutativo de los espacios  . De hecho, aplicando el teorema espectral, todo operador normal de clase traza sobre un espacio de Hilbert separable se puede realizar como una sucesión en  . De la misma manera:

  • Los operadores acotados son el análogo no conmuativo de  .
  • Los operadores compactos son el análogo no comutativo de   (sucesiones que convergen a cero).
  • Los operadores de Hilbert-Schmidt se corresponden con  .
  • Los operadorde de rango finito se corresponden con  .

Hasta cierto punto las relaciones entre las diferentes clases de operadores son similares a las relaciones existentes entre sus contrapartes conmutativas.

Téngase en cuenta que todo operador compacto T definido en un espacio de Hilbert puede escribirse como:

 

para dos bases ortonormales {ui} y {vi}, formalizando lo anterior de manera más precisa:

  • T es de clase de traza si la serie sumada   es convergente.
  • T es del tipo Hilbert-Schmidt si   es convergente.
  • T es de rango finito si   sólo tiene un número finito de sumandos diferentes de cero.

La caracterización anterior permite establecer fácilmente algunos hechos que relacionan esas clases de operadores. Por ejemplo, se tiene la siguiente cadena de inclusiones (si el espacio de Hilbert es de dimensión infinita son inclusiones propias): {rango finito} ⊂ {clase de traza} ⊂ {tipo Hilbert-Schmidt} ⊂ {compacto}.

Los operadores de clase de traza forman un espacio vectorial normado con la norma:

 

Los operadores de Hilbert-Schmidt admiten la norma vectorial:

 

Los operadores acotados admiten también la norma:

 

Estas tres normas satisfacen la siguiente cadena de desigualdades:

 

Para un operador de clase de traza.

Otro hecho interesante es que los operadores de rango finito constituyen un subconjunto denso tanto en el conjunto de operadores de Hilbert-Schmidt como en el conjunto de los operadores de clase traza (con topología definida por las normas anteriores).

La clase de traza como dual topológico

editar

El espacio dual topológico del espacio vectorial de sucesiones de números reales convergentes   es el espacio de sucesiones tales que la serie asociada es absolutamente convergente  . De manera similar el espacio dual de los operadores compactos   sobre un espacio de Hibert   coincide con el espacio vectorial de los operadores de clase traza. El argumento, que esbozamos a continuación es reminiscente del correspondiente argumento de espacios vectoriales de sucesiones. Sea   y se asocia a f con el operador Tf definido por:

 

donde Sx,y es el operador de rango 1 dado por:

 

Esta identificación funciona porque los operadores de rango finito forman un conjunto denso en  . En el caso de que Tf sea un operador positivo, se tiene para cualquier base ortonormal ui, one has

 

donde I es el operador identidad:

 

Aunque esto implica que Tf es de clase de traza. Además puede probarse mediante un argumento basado en operadores de rango finito que   y, por tanto, que   es isométrico a C1.


Referencias

editar
  1. Simon, B. (2005) Trace ideals and their applications, Second Edition, Amer. Math. Soc.

Bibliografía

editar
  • Dixmier, J. (1969). Les Algebres d'Operateurs dans l'Espace Hilbertien. Gauthier-Villars.