Un operador compacto es un concepto de análisis funcional. Los operadores compactos surgen naturalmente en el estudio de ecuaciones integrales y sus propiedades son similares a las de los operadores en espacios de dimensión finita. Los operadores compactos también suelen denominarse completamente continuos .
Sean espacios de Banach . Se dice que un operador lineal es compacto si asigna cualquier subconjunto acotado a un subconjunto precompacto en .
Existe una definición equivalente utilizando la noción de topología débil : se dice que un operador lineal es compacto si su restricción a la unidad ball in es un mapa continuo con respecto a la topología débil in y la topología norma in . Obviamente, la propiedad de compacidad es más fuerte que la de acotación.
El conjunto de operadores compactos se denota por . Es un subconjunto en el espacio de operadores acotados que actúan de a .
Los ejemplos más significativos de operadores compactos los proporciona la teoría de ecuaciones integrales:
Un operador diagonal correspondiente a una sucesión y que actúa según la regla está acotado si y sólo si la sucesión está acotada, y la compacidad es equivalente a la convergencia de la sucesión a cero.
Un operador invertible es compacto si y solo si es de dimensión finita.
Obviamente, cualquier operador lineal acotado con una imagen de dimensión finita es compacto (este tipo de operadores se denominan de dimensión finita ). Para un operador compacto , donde es un espacio de Hilbert, siempre existe una secuencia de operadores de dimensión finita que converge en la norma. Sin embargo, esto no es cierto para el espacio arbitrario . Se dice que un espacio de Banach tiene la propiedad de aproximación si, para cualquier espacio de Banach, cualquier operador compacto puede aproximarse mediante operadores de dimensión finita. Hay espacios de Banach separables que no tienen la propiedad de aproximación.
De las propiedades básicas de los operadores compactos se sigue inmediatamente que es un subespacio en . Sin embargo, se puede demostrar que este subespacio es cerrado. En el caso de , el espacio de operadores adquiere la estructura de un álgebra (la multiplicación viene dada por la composición de operadores). Entonces es un ideal cerrado de dos colas en .
La propiedad de aproximación para un espacio se puede formular de la siguiente manera: para cualquier espacio de Banach , el espacio es la clausura del espacio de operadores de dimensión finita de a .
Sea un operador compacto. Entonces el operador es un operador Noetheriano de índice 0 (Fredholm). En particular, tenemos la alternativa de Fredholm para : es sobreyectiva si y solo si es inyectiva (la alternativa es que el núcleo no esté vacío o la imagen coincida con todo el espacio). Como consecuencia, inmediatamente obtenemos que todo el espectro distinto de cero de un operador compacto es discreto (los espectros residual y continuo solo pueden contener cero). El cero siempre pertenece al espectro del operador en el caso de dimensión infinita (de lo contrario, el operador invertible sería compacto) y puede no ser un valor propio para el operador .
En el caso de que el operador sea autoadjunto (aquí Hilbert), tenemos adicionalmente el teorema de Hilbert - Schmidt : hay un sistema ortonormal finito o numerable de vectores y una secuencia de números reales distintos de cero (de la misma cardinalidad que el sistema de vectores) , tal que el operador actúa de acuerdo con la regla . Este teorema es una generalización natural de un teorema similar para operadores autoadjuntos en un espacio de dimensión finita. Así, la clase de operadores compactos, desde el punto de vista de las propiedades espectrales, es similar a los operadores en un espacio de dimensión finita.
Sea un operador compacto y sean espacios de Hilbert. Entonces hay un par de sucesiones ortonormales finitas o numerables de la misma cardinalidad en y en y una sucesión de números reales positivos (de la misma cardinalidad) no creciente que converge a cero si es infinita, tal que el operador actúa según la regla . Este hecho se conoce como el teorema de Schmidt (es muy similar en formulación al teorema de Hilbert-Schmidt y, de hecho, el teorema de Schmidt, con ligeras modificaciones para un operador autoadjunto, sirve como prueba para el teorema de Hilbert-Schmidt). teorema). Es fácil demostrar que los números , que se llaman números de Schmidt, están determinados únicamente por el operador.
Si converge para un operador , entonces el operador se llama operador de Hilbert - Schmidt . La norma la introduce la relación y la genera el producto escalar. Si converge , entonces el operador se llama operador nuclear u operador con un rastro . En el espacio de operadores nucleares, la norma la introduce la relación .