
Functional analysis is the study of vector spaces and operators, often involving infinite-dimensional spaces and averaging processes.L'analyse fonctionnelle est une branche des mathématiques où les fonctions sont considérées comme des points dans des espaces de dimension infinie (par exemple, hilbertiens et banachiques). Dans ces espaces, des analogues de la distance (norme) et de l'angle (produit scalaire) sont définis, et les opérateurs linéaires (applications transformant certaines fonctions en d'autres) jouent le rôle des matrices de l'algèbre linéaire. L'idée centrale est l'étude des propriétés des opérateurs et de leurs spectres (généralisation des valeurs propres).
Les racines de l'analyse fonctionnelle se trouvent dans les travaux de Volterra, Fredholm et Hilbert sur les équations intégrales à la fin du XIXe siècle. Stefan Banach a apporté une contribution décisive en systématisant dans les années 1920 la théorie des espaces normés (espaces de Banach) et en démontrant des théorèmes fondamentaux. John von Neumann a introduit dans les années 1930 le concept d'espace de Hilbert pour une formulation rigoureuse de la mécanique quantique. Le développement s'est poursuivi dans les travaux de Gelfand, Naimark, Pontriaguine et d'autres.
L'analyse fonctionnelle étudie la structure des espaces de dimension infinie en introduisant des topologies (notion de proximité) et des opérations algébriques. De même qu'en dimension finie les opérateurs linéaires sont représentés par des matrices, en analyse fonctionnelle les opérateurs sur les fonctions peuvent être intégraux, différentiels ou plus généraux. Le théorème spectral (pour les opérateurs auto-adjoints dans un espace de Hilbert) affirme que l'opérateur peut être diagonalisé dans une base appropriée, ce qui signifie une décomposition en fonctions propres. L'équation de Schrödinger de la mécanique quantique se voit naturellement comme un problème aux valeurs propres pour l'opérateur hamiltonien dans l'espace de Hilbert des états.
Mécanique quantique : les états des particules sont décrits par des vecteurs d'espaces fonctionnels. Compression d'images : reconstruction d'une image à partir de quelques mesures.
La mécanique quantique a été formulée mathématiquement dans le langage de l'analyse fonctionnelle : l'état d'une particule est un vecteur dans un espace de Hilbert, et les grandeurs physiques sont des opérateurs.












