Operador Compacto
Definición
Operador lineal entre espacios vectoriales topológicos (a menudo normados o de Banach) que envía conjuntos acotados a conjuntos relativamente compactos; equivalente a que la imagen de toda sucesión acotada tiene una subsucesión convergente en el espacio objetivo.