L'espace vectoriel des classes d'équivalence de fonctions mesurables sur un espace mesuré donné dont la puissance p est intégrable, identifiées à égalité presque partout et muni de la p-norme ||f||_p = (∫ |f|^p)^{1/p} pour 1 ≤ p < ∞ et de la norme du supremum essentiel pour p = ∞.

Principe

L'intégrabilité au sens de la mesure contrôle la taille et la convergence : l'appartenance se lit sur l'intégrabilité de la p-ième puissance d'un représentant, et les fonctions égales presque partout définissent le même élément ; la p-norme organise la topologie et la géométrie.

Démonstration

Sur la droite réelle avec la mesure de Lebesgue, Lp(R) est l'ensemble des fonctions mesurables f telles que ∫_R |f(x)|^p dx < ∞. Pour p = 2, cet espace est un espace de Hilbert avec le produit scalaire ⟨f,g⟩ = ∫ f ḡ.

Mauvaise application

Considérer les valeurs ponctuelles d'un représentant comme canoniques ou supposer que des opérations ponctuelles (comme la multiplication point par point) produisent toujours un élément du même Lp sans vérifier l'intégrabilité ou l'égalité presque partout.

Conséquence

Bien appliqués, les espaces Lp offrent des outils d'analyse fonctionnelle : complétude (espaces de Banach pour 1 ≤ p ≤ ∞), inégalités de Hölder et Minkowski, relations de dualité entre exposants conjugués, et notions claires de convergence en norme et en mesure.

Inversion

Inverser la notion revient à considérer des classes de fonctions définies par une régularité ponctuelle plutôt que par l'intégrabilité (par exemple les fonctions continues ou bornées) : on perd l'identification par égalité presque partout et la topologie gouvernée par l'intégrabilité.

Limite

Défini par rapport à un espace mesuré ; les fonctions non mesurables sont exclues ; l'appartenance dépend de p et de la mesure ; des propriétés comme la réflexivité ou la séparabilité dépendent de p et de l'espace sous-jacent.

Tension sémantique

La tension est entre la vue des éléments comme classes d'équivalence (objets fonctionnels abstraits) et comme représentants concrets (fonctions définies point par point), et entre différentes valeurs de p qui modifient la géométrie et la dualité.

Synthèse

Les espaces Lp sont des espaces de Banach de fonctions mesurables modulo les ensembles de mesure nulle, dont la taille et le comportement de convergence sont gouvernés par une p-norme ; cette combinaison de théorie de la mesure et de topologie normative est fondamentale en analyse.