Operador de clase de traza

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

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:

\|A\|_{1}= {\rm tr}\ |A|:=\sum_{k} \langle (A^*A)^{1/2} \, e_k, e_k \rangle

es finita. En ese caso la suma:

{\rm tr}\ A:=\sum_{k} \langle A e_k, e_k \rangle

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, posiblemene divergente:

\sum_{k} \langle A e_k, e_k \rangle.

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 postiva 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 calse traza, es decir,

\operatorname{tr}(aA+bB)=a\,\operatorname{tr}(A)+b\,\operatorname{tr}(B).

La aplicación bilineal:

 \langle A, B \rangle = \operatorname{tr}(A^* B)

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 A es acotado y B es de clase traza, AB y BA son de clase traza y

 \|AB\|_1=\operatorname{tr}(|AB|)\le \|A\|\|B\|_1,\qquad \|BA\|_1=\operatorname{tr}(|BA|)\le \|A\|\|B\|_1

además, bajo los mismos supuestos,

 \operatorname{tr}(AB)=\operatorname{tr}(BA)

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

 {\rm det} (I+A):=\prod_{n\ge 1}[1+\lambda_n(A)]

para \{\lambda_n(A)\}_n los elementos del espectro de A; la condición de clase traza sobre A garantiza que el producto infinito es igual a un número finito, de hecho:

 {\rm det} (I+A)\le e^{\|A\|_1};

eso también garantiza que  {\rm det} (I+A)\neq 0 si y sólo si  (I+A) admite inversa

Teorema de Lidskii[editar]

Sea A un operador de clase traza definido en espacio de Hilbert separable H y sea \{\lambda_n(A)\}_{n=1}^N, N\leq \infty el conjunto de autovalores de A. Asúmase que \lambda_n(A) se enumeran contabilizando multiplicidades algebraicas, entonces el teorema de Lidskii (llamado así por Victor Borisovich Lidskii) afirma que:

\sum_{n=1}^N \lambda_n(A)=\operatorname{tr}(A).

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

\sum_{n=1}^N |\lambda_n(A)|\leq \sum_{m=1}^M s_m(A)

entre los autovalores

\{\lambda_n(A)\}_{n=1}^N

y el valor singular:

\{s_m(A)\}_{m=1}^M

de un operador compacto A. 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 de los espacios \ell^1(\mathbb{R}). 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 \ell^1. De la misma manera:

  • Los operadores acotados son el análogo no conmuativo de \ell^\infty(\mathbb{R}).
  • Los operadores compactos son el análogo no comutativo de c_0(\R) (sucesiones que convergen a cero).
  • Los operadores de Hilbert-Schmidt se corresponden con \ell^2(\mathbb{R}).
  • Los operadorde de rango finito se corresponden con \ell_0(\mathbb{R}).

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

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

\forall h \in H, \; T h =  \sum _{i = 1} \alpha_i \langle h, v_i\rangle u_i \quad \mbox{where} \quad \alpha_i \geq 0 \quad \mbox{and} \quad \alpha_i \rightarrow 0

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 \scriptstyle \sum_i \alpha_i es convergente.
  • T es del tipo Hilbert-Schmidt si \scriptstyle \sum_i \alpha_i^2 es convergente.
  • T es de rango finito si \scriptstyle \sum_i \alpha_i^2 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:

\|T\|_1 = \mathrm{tr}[(T\circ T)^{1/2}] = \sum_i \alpha_i

Los operadores de Hilbert-Schmidt admiten la norma vectorial:

\|T\|_2 = (\mathrm{tr}[T\circ T])^{1/2} = \left(\sum_i \alpha_i^2\right)^{1/2}

Los operadores acotados admiten también la norma:

\|T\|_\infty = \sup_i \alpha_i

Estas tres normas satisfacen la siguiente cadena de desigualdades:

\|T\|_\infty \leq \|T\|_2 \leq \|T\|_1

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 c_0(\R) es el espacio de sucesiones tales que la serie asociada es absolutamente convergente \ell^1(\R). De manera similar el el espacio dual de los operadores compactos K(\mathcal{H})^* sobre un espacio de Hibert \mathcal{H} 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 f\in K(\mathcal{H})^* y se asocia a f con el operador Tf definido por:

\langle T_f x, y \rangle = f(S_{x,y})

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

S_{x,y}(h) = \langle h, y \rangle x.

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

\sum_i \langle T_f u_i, u_i \rangle = f(I) \leq \|f\|,

donde I es el operador identidad:

I = \sum_i \langle \cdot, u_i \rangle u_i .

Aunque esto implica que Tf es de clase de traza. Además puede probarse mediante un argumento basado en operadores de rango finito que \scriptstyle \|T_f \|_1 = \|f\| y, por tanto, que K(\mathcal{H})^* 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.