Catalogue Licence
L3 • Analyse Fonctionnelle
Recherche L3

Espaces et inégalités fondamentales

Inégalités de Hölder et Minkowski, complétude de Riesz-Fischer, densité, dualité et comparaison des espaces

Fils Rouges :Fil 8 — Le droit d'intervertir deux limites
Point d'entrée intuitif

Pourquoi une fonction peut-elle être de carré intégrable sans être intégrable, et l'inverse — et pourquoi l'exposant deux joue-t-il un rôle si particulier ?

Idée en une phrase :
Chaque exposant pénalise différemment les grandes valeurs et les queues : les espaces obtenus ne sont donc pas emboîtés, sauf sur un domaine de mesure finie.
Généalogie historique du concept :

Riesz et Fischer démontrent indépendamment en 1907 la complétude de , résultat immédiatement reconnu comme fondamental : il donne un sens rigoureux à la théorie des séries de Fourier, en montrant que toute suite de carré sommable est bien la suite des coefficients d'une fonction. Riesz étend en 1910 aux exposants quelconques et établit la dualité. Ces espaces deviennent le cadre naturel de l'analyse fonctionnelle naissante, puis de la mécanique quantique — où l'espace des états est précisément un .

Pourquoi CETTE définition formelle :

Pourquoi quotienter par les fonctions nulles presque partout ? Parce que sans cela, la norme ne serait qu'une SEMI-norme : une fonction non nulle mais nulle presque partout aurait une norme nulle, et l'axiome de séparation tomberait. Les éléments de ne sont donc pas des fonctions mais des CLASSES de fonctions, ce qui interdit de parler de leur valeur en un point — restriction inconfortable mais inévitable.

Images Mentales & Modèles d'Intuition (3)

Modèle #1

L'exposant règle la sévérité envers les pics : plus il est grand, plus les grandes valeurs sont pénalisées.

Ce qu'elle capture :

Une fonction avec un pic très haut mais étroit peut être dans et hors de ; le carré amplifie le pic au point de rendre l'intégrale divergente.

⚠️ Où l'analogie ment :

L'image ne parle que des pics et oublie les QUEUES. À l'infini, c'est l'inverse : une décroissance lente est mieux tolérée par un grand exposant. C'est pourquoi les inclusions ne valent que sur un domaine de mesure finie.

Modèle #2

Hölder est une balance : ce qu'on retire à un exposant, il faut le rendre à l'autre, la somme des inverses restant égale à un.

Ce qu'elle capture :

La relation n'est pas arbitraire : elle est exactement ce qui rend l'inégalité homogène, donc invariante par changement d'échelle.

⚠️ Où l'analogie ment :

L'image suggère une symétrie complète entre les deux exposants. Or les cas extrêmes et se comportent très différemment : l'espace n'est pas séparable, contrairement aux autres.

Modèle #3

La complétude de signifie qu'aucune limite ne manque : l'espace est fermé sur lui-même.

Ce qu'elle capture :

C'est ce qui échouait pour l'intégrale de Riemann, dont l'espace n'est pas complet : une suite de Cauchy de fonctions Riemann-intégrables peut converger hors de l'espace.

⚠️ Où l'analogie ment :

L'image ne dit pas que la convergence en norme n'entraîne PAS la convergence ponctuelle. Une suite peut converger dans sans converger en aucun point — c'est la bosse glissante du module précédent.

Les Pièges Conceptuels Classiques

1
est inclus dans .

Correction :

Faux sur un domaine de mesure infinie. La fonction est de carré intégrable sur sans être intégrable : sa décroissance en suffit après élévation au carré, pas avant. Sur un domaine de MESURE FINIE, l'inclusion vaut bien — par Hölder — et dans ce sens seulement.

2
Les éléments de sont des fonctions.

Correction :

Ce sont des CLASSES d'équivalence de fonctions égales presque partout. On ne peut donc pas parler de la valeur d'un élément de en un point donné : cette notion n'a aucun sens. C'est une gêne réelle en théorie des équations aux dérivées partielles, où l'on doit définir des traces par des théorèmes spécifiques.

3
La convergence dans entraîne la convergence presque partout.

Correction :

Faux : la bosse glissante converge en norme sans converger en aucun point. On peut seulement en EXTRAIRE une sous-suite convergeant presque partout. Réciproquement, la convergence presque partout n'entraîne pas la convergence en norme, faute de domination.

4
Tous les se ressemblent.

Correction :

L'exposant est le SEUL pour lequel la norme provient d'un produit scalaire : c'est ce qui donne à sa structure hilbertienne, avec projections orthogonales et bases. Par ailleurs n'est pas séparable, et n'est pas le dual d'un espace . Les cas extrêmes sont irréguliers.

Glossaire des Notations Mathématiques

norme p de f

mesure de taille pénalisant différemment pics et queues selon $p$

ou

exposant conjugué

vérifie $\frac1p+\frac1q=1$ ; c'est ce qui rend Hölder homogène

p.p.

presque partout

les éléments de $L^{p}$ sont des CLASSES : aucune valeur ponctuelle n'a de sens