Pour une fonction mesurable f sur un espace mesuré, le supremum essentiel est le plus petit nombre réel étendu M tel que f(x) ≤ M pour presque tout x (c’est‑à‑dire en dehors d’un ensemble de mesure nulle). Il néglige les valeurs exceptionnelles sur les ensembles nuls et donne donc une borne supérieure valable p.p. plutôt qu’un maximum ponctuel.

Principe

Ordre presque partout : les bornes se considèrent à l’exclusion des ensembles de mesure nulle. Le supremum essentiel sélectionne le plus petit réel étendu qui domine la fonction hors des ensembles négligeables.

Démonstration

Soit f nulle partout sauf en un point où f prend la valeur 100. Sur un espace mesuré standard où les singletons ont mesure nulle, le supremum essentiel de f est 0, car la pointe se situe sur un ensemble nul ; par contraste, le supremum ponctuel vaut 100.

Mauvaise application

Confondre supremum essentiel et supremum ponctuel et utiliser des pics isolés sur des ensembles de mesure nulle pour prétendre à des bornes p.p. élevées ; ou appliquer le supremum essentiel à des fonctions non mesurables sans préciser une mesure extérieure.

Conséquence

Fournit une notion robuste de bornitude p.p. qui contrôle les normes L^∞, permet des inégalités p.p. et est stable par modification sur des ensembles nuls.

Inversion

Le supremum classique (ponctuel) ne néglige pas les ensembles nuls et peut donc dépasser le supremum essentiel quand il existe des pics exceptionnels.

Limite

Défini uniquement pour des fonctions mesurables sur un espace muni d’une mesure; il s’agit d’un nombre réel étendu (éventuellement ±∞). Il ne s’applique pas aux notions purement topologiques de supremum ni aux ensembles non mesurables.

Tension sémantique

Tension entre supremum essentiel et supremum ponctuel : l’un est insensible aux ensembles nuls tandis que l’autre tient compte de chaque point, ce qui prête à ambiguïté si le cadre mesurable n’est pas précisé.

Synthèse

Le supremum essentiel est la plus petite borne supérieure réelle étendue valable presque partout : une notion de borne adaptée à la théorie de la mesure qui ignore les exceptions négligeables.