Branche des mathématiques qui étudie des espaces vectoriels munis d'une topologie (généralement des espaces normés, des espaces de Banach ou des espaces de Hilbert) et les opérateurs linéaires continus entre eux, en mettant l'accent sur les phénomènes en dimension infinie et les propriétés spectrales.

Principe

Caractériser la structure algébrique et topologique des espaces et des opérateurs pour déduire des comportements (continuité, bornitude, compacité, spectre) qui ne se déduisent pas de l'intuition finie-dimensionnelle.

Démonstration

Étude de l'opérateur de décalage sur l'espace l^2 : c'est un opérateur linéaire et borné mais dont le spectre est le disque unité fermé, illustrant des phénomènes spectraux propres aux dimensions infinies et absents pour des matrices de taille finie.

Mauvaise application

Appliquer directement l'intuition de l'algèbre linéaire finie-dimensionnelle (par exemple supposer que tout opérateur linéaire possède une base d'autovecteurs) conduit à des conclusions fausses : beaucoup d'opérateurs bornés sur des espaces de Hilbert infinis n'ont pas d'autovecteurs ou présentent un spectre continu.

Conséquence

Bien appliquée, l'analyse fonctionnelle fournit des outils (normes, dualité, critères de compacité, décomposition spectrale, calcul fonctionnel) pour résoudre des EDP, représenter des fonctionnelles linéaires et analyser la stabilité de familles d'opérateurs.

Inversion

Considérer les problèmes uniquement par l'algèbre ou l'algèbre linéaire finie-dimensionnelle inverse l'intuition : les opérateurs sont traités comme des matrices à spectre discret, masquant des phénomènes comme le spectre continu et la non-compacité.

Limite

Concerne les espaces vectoriels topologiques linéaires et les applications linéaires continues ; exclut les questions purement algébriques sans topologie et l'algèbre linéaire finie-dimensionnelle sauf comme intuition. L'analyse fonctionnelle non linéaire et la théorie des opérateurs purement mesurée nécessitent des cadres supplémentaires.

Tension sémantique

Conflit avec « théorie des opérateurs » (accent sur des opérateurs et leurs spectres) et « théorie des espaces de Banach » (structure des espaces) ; l'analyse fonctionnelle est plus large et unit ces perspectives, mais les praticiens peuvent privilégier l'une ou l'autre.

Synthèse

L'analyse fonctionnelle unit topologie et algèbre linéaire en dimension infinie : ajouter une topologie aux espaces vectoriels permet de contrôler analytiquement la continuité et le spectre des opérateurs, étendant l'algèbre linéaire finie-dimensionnelle pour résoudre des questions sur les EDP, la dynamique et l'approximation.