opérateur compact

En mathématiques, et plus précisément en analyse fonctionnelle, un opérateur compact est une application continue entre deux espaces vectoriels topologiques X et Y envoyant les parties bornées de X sur les parties relativement compactes de Y. Les applications linéaires compactes généralisent les applications linéaires continues de rang fini. La théorie est particulièrement intéressante pour les espaces vectoriels normés ou les espaces de Banach. En particulier, dans un espace de Banach, l'ensemble des opérateurs compacts est fermé pour la topologie forte. Mieux, dans un espace de Hilbert, un opérateur compact est limite d'opérateurs bornés de rangs finis. Les premiers opérateurs compacts sont apparus avec les équations intégrales et l'étude des espaces fonctionnels. La résolution formelle d'équations intégrales simples fait apparaître un opérateur à noyau dont la compacité tient à des propriétés d'équicontinuité. À travers ce problème est apparue une autre classe importante d'opérateurs, les opérateurs de Fredholm. La perturbation par des opérateurs compacts préserve la propriété d'être de Fredholm et l'indice de Fredholm : c'est le théorème de stabilité de l'indice.