Opérateur compact

Un article de Wikipédia, l'encyclopédie libre.

Cet article est une ébauche concernant l'analyse.

Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

Cet article ou cette section doit être recyclé.

Une réorganisation et une clarification du contenu est nécessaire. Discutez des points à améliorer en page de discussion.

En analyse, un opérateur compact (ou application compacte ou encore opérateur complètement continu) est une application linéaire A entre deux espaces vectoriels topologiques localement convexes X et Y envoyant les parties bornées de X sur les parties relativement compactes de Y. Les applications compactes généralisent les applications linéaires continues de rang fini, qui en sont des cas particuliers. L'étude relève de l'analyse fonctionnelle à proprement parler.

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 la limite d'opérateurs de rang fini. Cette dernière propriété n'est pas vérifiée dans certains espaces de Banach.

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 font apparaître un opérateur à noyau dont la compacité tient à des propriétés d'équicontinuité. À travers ce probléme est apparu 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.

Sommaire

1 Définition
2 Exemples
3 Spectre des opérateurs compacts
4 Voir aussi
- 4.1 Articles connexes
- 4.2 Bibliographie

[modifier] Définition

Dans un espace vectoriel topologique localement convexe séparé (evtlcs) X, une partie de V est dite bornée lorsqu'elle est incluse dans k.V pour tout voisinage V de 0 avec k suffisamment grand. Un opérateur T de X dans Y est dit compact lorsque toute partie bornée de X est envoyée sur une partie compacte de Y.

La somme de deux opérateurs compacts ou le produit d'un opérateur compact par un scalaire est encore un opérateur compact. L'ensemble K(X,Y) des opérateurs compacts de X dans Y forme donc un sous-espace vectoriel réel de $L (X, Y)$ . En outre, le composé d'un opérateur borné et d'un opérateur compact est un opérateur compact. En particulier, K(X)=K(X,X) es un idéal bilatère de $L (X)$ . Il est possible d'introduire la structure quotient $L (X) / K (X)$ , appelée algèbre de Calkin.

Si la topologie de X est définie par une norme, les parties bornées de X sont exactement celles incluses dans une boule. Sous cette condition, un opérateur T est compact ssi la boule unité de X soit envoyée sur une partie relativement compacte de Y. De manière équivalente, on demande à ce que, pour toute suite bornée x_n de X, la suite T'x_n admette une valeur d'adhérence.

[modifier] Exemples

[modifier] Opérateurs de rang fini

[modifier] Opérateurs à noyau

[modifier] Opérateurs compacts dans les espaces de Hilbert

[modifier] Spectre des opérateurs compacts

Comme précédemment, on considère un opérateur compact L, endomorphisme de l'espace de Banach X sur le corps des complexes. Le spectre de L est lui-même compact, au plus dénombrable, et ne comportant aucun point d'accumulation, à l'exception éventuelle de 0. Il s'agit donc

soit d'un ensemble fini contenant 0 ;
soit d'un ensemble infini contenant 0. Dans ce cas les éléments du spectre autres que 0 peuvent être ordonnés en une suite vérifiant

et de limite nulle.

Notamment, pour un réel $δ > 0$ donné, il n'y a qu'un nombre fini d'éléments $λ$ appartenant au spectre et de module supérieur à $δ$ .

Les complexes $\lambda \neq 0$ appartenant au spectre jouissent de propriétés communes car l'opérateur $L - λI$ est alors de Fredholm, d'indice 0. Notamment les éléments $λ$ du spectre autres que 0 sont tous des valeurs propres, c'est-à-dire que $L - λI$ est non injectif. Et la dimension du noyau $L - λI$ est finie, égale à la codimension de l'image.