Scribd
Cargar
57 vistas2 páginas

Compact Operators

El documento describe los operadores compactos en un espacio de Hilbert separable de dimensión infinita. Define operadores de rango finito y compactos, y presenta criterios para determinar si un operador es compacto, como que la imagen de la bola unitaria sea precompacta o que no contenga subespacios cerrados de dimensión infinita. Finalmente, explica que el conjunto de operadores compactos es el mínimo ideal cerrado bilateral en el espacio y puede aproximarse por la clausura de los operadores de rango finito.

Cargado por

Luis Adrián López Cervantes
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
57 vistas2 páginas

Compact Operators

El documento describe los operadores compactos en un espacio de Hilbert separable de dimensión infinita. Define operadores de rango finito y compactos, y presenta criterios para determinar si un operador es compacto, como que la imagen de la bola unitaria sea precompacta o que no contenga subespacios cerrados de dimensión infinita. Finalmente, explica que el conjunto de operadores compactos es el mínimo ideal cerrado bilateral en el espacio y puede aproximarse por la clausura de los operadores de rango finito.

Cargado por

Luis Adrián López Cervantes
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Operadores compactos en un espacio de Hilbert

(sin demostraciones)
Suponemos que H es un espacio de Hilbert separable de dimensión infinita.

Operadores de rango finito

Definición (operadores de rango finito). El rango del operador A ∈ B(H) se define


como la dimensión del imagen A(H). Un operador A se llama un operador de rango finito
si la dimensión de su imagen A(H) es finita. El conjunto de todos los operadores de rango
finito se denota con FR(H).
1. Lema. Si A ∈ FR(H), entonces A∗ ∈ FR(H).
2. Teorema. FR(H) es el minimal ideal bilateral en H. Además FR(H) es autoadjunto.

Espacios métricos precompactos

Definición (espacio precompacto). Un espacio métrico es precompacto si su comple-


tación es un espacio compacto.
Observación (subconjunto precompacto). Un subconjunto de un espacio métrico
completo es precompacto ⇐⇒ su clausura es compacta.
Definición (espacio totalmente acotado). El espacio métrico (X, d) es totalmente
acotado ⇐⇒ para cada ε > 0 existe una ε-red finita F en X, i.e. un conjunto finito
F ⊂ X tal que
∀x ∈ X dist(x, F ) < ε.

Criterio de compacidad para espacios métricos. El espacio métrico es precompacto


⇐⇒ es totalmente acotado.

Operadores compactos: alrededor de definiciones

Notación (bola unitaria cerrada). B1 := {x ∈ H : kxk 6 1}.


Definición (operadores compactos). Un operador A ∈ B(H) es compacto, si el con-
junto A(B1 ) es precompacto. El conjunto de todos los operadores compactos denotemos
con C(H).
3. Observación. En la definición de operadores compactos es suficiente decir que A es
lineal. La condición que A es acotado se deduce de la condición que A(B1 ) es precompacto.

página 1 de 2
4. Lema. Denotemos con Tw la topologı́a débil en H. Sea A ∈ B(H). Entonces A es
continuo de (H, Tw ) a (H, Tw ).
5. Lema. Si A ∈ B(H), entonces A(B1 ) es cerrado en H.
6. Proposición. Si A ∈ C(H), entonces A(B1 ) es compacto.
7. Proposición. Si A ∈ C(H), entonces A(X) es un conjunto precompacto para cualquier
X acotado.

Criterios de compacidad

8. Teorema (criterio de compacidad en términos de redes). Un operador A ∈


B(H) es compacto si y solo si para cada red acotada {fi }i∈J en H que converge débilmente
a un vector g, la red {Afi }i∈J converge al vector Ag en norma.
9. Lema. La bola unitaria B1 no es conjunto compacto en H (aquı́ es importante que H
es de dimensión infinita).
10. Teorema (criterio de compacidad en términos de subespacios de la imagen).
Un operador A ∈ B(H) es compacto si y solo si A(H) no contiene ningún subespacio
cerrado de dimensión infinita.

Ideal de los operadores compactos

11. Teorema (aproximación de los operadores compactos con los operadores


de rango finito). El conjunto C(H) es la cerradura de FR(H) en B(H).
12. C(H) es el minimal ideal cerrado bilateral en H. Además C(H) es autoadjunto.
13. C(H) es el único ideal cerrado bilateral en H (aquı́ es importante que H es separable).

página 2 de 2

También podría gustarte