Para una función medible f en un espacio medible, el supremo esencial es el menor número real ampliado M tal que f(x) ≤ M para casi todo x (es decir, salvo un conjunto de medida cero). Ignora los valores excepcionales en conjuntos nulos y proporciona una cota superior válida casi por todas partes en lugar de un máximo puntual.

Principio

Orden casi en todas partes: las cotas se consideran salvo conjuntos de medida cero. El supremo esencial selecciona el menor real ampliado que domina la función fuera de los conjuntos despreciables.

Demostración

Sea f igual a 0 en todas partes salvo en un punto donde toma el valor 100. En un espacio de medida estándar donde los单tonos tienen medida cero, el supremo esencial de f es 0, porque la punta está en un conjunto nulo; en cambio, el supremo puntual sería 100.

Aplicación incorrecta

Confundir el supremo esencial con el supremo puntual y aprovechar picos aislados en conjuntos de medida cero para alegar cotas a.e. grandes; o aplicar el concepto a funciones no medibles sin definir una medida externa.

Consecuencia

Proporciona una noción robusta de acotación casi por todas partes que controla normas L^∞, permite desigualdades a.e. y es estable bajo modificaciones en conjuntos nulos.

Inversión

El supremo clásico (puntual) no ignora conjuntos nulos y por tanto puede ser mayor que el supremo esencial cuando existen picos excepcionales.

Límite

Definido solo para funciones medibles en un espacio con medida especificada; es un número real ampliado (posiblemente ±∞). No se aplica a nociones puramente topológicas de supremo ni a casos no medibles.

Tensión semántica

Tensión entre supremo esencial y supremo puntual: uno es insensible a conjuntos nulos y el otro sensible a cada punto, generando ambigüedad si no se especifica el contexto medible.

Síntesis

El supremo esencial es la mínima cota superior real ampliada válida casi por todas partes: una noción de supremo adaptada a la medida que descarta excepciones despreciables.