Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 24 vistas

    Compact Operators

    Cargado por

    Luis Adrián López Cervantes
    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.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Compact Operators

    Cargado por

    Luis Adrián López Cervantes
    24 vistas2 páginas
    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.

    Descripción original:

    Teo operador

    Título original

    compact_operators

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    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.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    24 vistas2 páginas

    Compact Operators

    Cargado por

    Luis Adrián López Cervantes
    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.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    Está en la página 1de 2

    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