Opérateur Compact
Définition
Opérateur linéaire entre espaces vectoriels topologiques (souvent normés ou de Banach) qui envoie ensembles bornés sur des ensembles relativement compacts ; équivalemment, l'image de toute suite bornée comporte une sous-suite convergente dans l'espace d'arrivée.