Espace L∞

En mathématiques, l'espace Modèle:Math est un des espaces classiques de l'analyse fonctionnelle. Il est constitué de fonctions mesurables bornées, modulo la relation d'égalité presque partout. Il s'agit d'un espace de Banach qui vient s'ajouter à la famille des [[espace Lp|espaces Modèle:Math]] de fonctions mesurables dont la puissance p-ième est intégrable. C'est même une algèbre de von Neumann commutative.

Définition

Borne supérieure essentielle

Soit un espace mesuré $(X,𝒜,\mu )$ et Modèle:Math une fonction sur X à valeurs réelles. Un réel Modèle:Math est appelé un presque majorant de Modèle:Math si Modèle:Math pour presque tout élément Modèle:Math de X, autrement dit : si l'ensemble

$\{x\in X\mid f(x)>a\}$

est négligeable, c'est-à-dire inclus dans un ensemble de mesure nulle.

Si Modèle:Math admet des presque majorants, on peut définir sa borne supérieure essentielle comme le plus petit d'entre eux.

On peut définir de façon analogue la notion de borne inférieure essentielle et, bien sûr, pour une fonction bornée, les bornes et bornes essentielles sont reliées par

$\inf f\le \inf \mathrm{e}\mathrm{s}\mathrm{s}f\le \sup \mathrm{e}\mathrm{s}\mathrm{s}f\le \sup f.$

Fonctions essentiellement bornées

La fonction Modèle:Math est dite essentiellement bornée lorsque la fonction $x\mapsto |f(x)|$ possède un presque majorant. On note alors

$\Vert f{\Vert }_{\mathrm{\infty }}=\sup \mathrm{e}\mathrm{s}\mathrm{s}|f|$

ce qui constitue une semi-norme sur l'espace vectoriel des fonctions essentiellement bornées.

L'espace Modèle:Math est l'espace quotient de l'espace des fonctions mesurables essentiellement bornées (ou simplement : des fonctions mesurables bornées) par le sous-espace de celles qui sont nulles presque partout. Il est muni de la [[Semi-norme#Norme et espace quotient|norme ║ ║Modèle:Ind obtenue par passage au quotient]].