Opérateur de Fredholm
En mathématiques, l'opérateur de Fredholm est un concept d'analyse fonctionnelle qui porte le nom du mathématicien suédois Ivar Fredholm (1866-1927). Il s'agit d'un opérateur borné L entre deux espaces de Banach X et Y ayant un noyau de dimension finie et une image de codimension finie. On peut alors définir l'indice de l'opérateur comme
Sous ces hypothèses, l'espace image de L est fermé (il admet même un supplémentaire topologique).
Propriétés des opérateurs de Fredholm
[modifier | modifier le code]- Stabilité de l'indice
L'ensemble des opérateurs de Fredholm entre deux espaces de Banach X et Y constitue un ouvert de l'espace des opérateurs bornés muni de la norme d'opérateur. Plus précisément, ajouter à un opérateur de Fredholm L donné un opérateur de norme suffisamment petite redonne un opérateur de Fredholm de même indice.
Ajouter à un opérateur de Fredholm un opérateur compact redonne également un opérateur de Fredholm de même indice.
- Composition
La composition de deux opérateurs de Fredholm donne un opérateur de Fredholm, d'indice égal à la somme des deux composants.
- Inversion
Tout opérateur de Fredholm est inversible modulo des opérateurs de rangs finis.
- Transposition
L'opérateur transposé d'un opérateur de Fredholm de X dans Y est un opérateur de Fredholm de Y' dans X', d'indice opposé.
Références
[modifier | modifier le code]Haïm Brezis, Analyse fonctionnelle : théorie et applications [détail des éditions]
Articles connexes
[modifier | modifier le code]- Théorème d'Atkinson
- Alternative de Fredholm, théorèmes de Fredholm
- Algèbre de Calkin
- Théorème de l'indice