Théorèmes

Théorème Spectral pour les Opérateurs Compacts Contexte : De la Diagonalisation à la Décomposition Spectrale En algèbre linéaire, un résultat fondamental stipule que toute matrice symétrique (ou hermitienne) $A$ peut être diagonalisée : il existe une base de vecteurs propres orthogonaux. Dans cette base, l’action de $A$ se résume à une multiplication par les valeurs…

Théorème de Banach-Alaoglu Contexte : Dualité et Topologies Faibles Pour aborder ce théorème, il faut se placer dans le cadre de l’analyse fonctionnelle. Espace de Banach : Un espace vectoriel normé qui est complet pour la distance induite par sa norme. Espace Dual : L’espace dual $E’$ d’un espace normé $E$ est l’espace de toutes…

Théorème de Stone-Weierstrass Contexte : Densité et Approximation Le point de départ est le théorème d’approximation de Weierstrass (1885), qui affirme que toute fonction continue sur un segment $[a, b]$ peut être approchée uniformément d’aussi près que l’on veut par une fonction polynomiale. On dit que l’ensemble des polynômes est dense dans l’espace des fonctions…

Théorème du Point Fixe de Banach Contexte : Points Fixes et Contractions Ce théorème donne des conditions suffisantes pour garantir l’existence et l’unicité d’un point fixe pour une certaine fonction. Un point fixe d’une fonction $T$ est un point $x^*$ tel que $T(x^*) = x^*$. Le point est « fixé » par l’application. Un espace métrique complet…

Théorème de Hahn-Banach Contexte : Le Problème du Prolongement La question fondamentale à laquelle répond le théorème de Hahn-Banach est la suivante : Étant donné une application linéaire (une « fonctionnelle ») définie sur un petit morceau d’un grand espace (un sous-espace vectoriel), peut-on la « prolonger » en une application linéaire sur l’espace tout entier, tout en conservant…

Inégalité de Hölder Contexte : Espaces Lp L’inégalité de Hölder est un outil central dans l’étude des espaces Lp. Pour un espace mesuré $(X, \mathcal{A}, \mu)$ et un réel $p \ge 1$, l’espace $L^p(X)$ est l’ensemble des fonctions mesurables $f$ telles que l’intégrale de $|f|^p$ est finie. Le théorème fait intervenir des exposants conjugués. Deux…

Théorème du Graphe Fermé Contexte : Continuité et Graphe d’une Application Pour une application (ou opérateur) $T: X \to Y$, son graphe est un sous-ensemble de l’espace produit $X \times Y$ défini par : $$ \text{Graph}(T) = \{ (x, T(x)) \in X \times Y \mid x \in X \} $$ Une propriété de base de…

Théorème de Banach-Steinhaus Contexte : Familles d’Opérateurs Linéaires Ce théorème s’intéresse au comportement d’une collection (potentiellement infinie) d’applications linéaires continues, appelées opérateurs, entre deux espaces vectoriels normés. Un espace de Banach est un espace vectoriel normé qui est complet (toute suite de Cauchy converge). C’est une condition technique cruciale pour le théorème. Soit $\mathcal{F} =…

Inégalité de Minkowski Contexte : Les Espaces $L^p$ et l’Inégalité Triangulaire L’inégalité de Minkowski est la généralisation de l’inégalité triangulaire aux espaces vectoriels normés, et plus spécifiquement aux espaces $L^p$. L’inégalité triangulaire classique pour les nombres complexes nous dit que $|x+y| \le |x| + |y|$. Pour les vecteurs dans $\mathbb{R}^n$, elle dit que la longueur…

Théorèmes de Picard Contexte : Singularités Essentielles En analyse complexe, les singularités isolées d’une fonction holomorphe $f$ sont classées en trois types : Singularité Apparente (ou Éliminable) : La fonction peut être prolongée par continuité en ce point. Pôle : Le module de la fonction, $|f(z)|$, tend vers l’infini lorsque $z$ s’approche de la singularité….