Para una función medible f, el ínfimo esencial es el mayor número real ampliado m tal que f(x) ≥ m para casi todo x (es decir, salvo un conjunto de medida cero). Proporciona la mayor cota inferior módulo conjuntos nulos.

Principio

Ignorar conjuntos nulos para las cotas inferiores: el ínfimo esencial maximiza la cota inferior que se cumple casi por todas partes, ofreciendo una noción a.e. de valores mínimos.

Demostración

Considérese g que vale 5 en todas partes salvo en un conjunto numerable de medida cero donde toma −100. El ínfimo esencial de g es 5 porque los valores negativos extremos ocurren solo en un conjunto nulo, aunque el ínfimo puntual sea −100.

Aplicación incorrecta

Usar el ínfimo puntual como si fuera el ínfimo esencial y así permitir que huecos despreciables controlen la cota inferior global; o aplicar el concepto sin medibilidad o sin definir la medida.

Consecuencia

Ofrece una noción estable de cotas inferiores casi por todas partes, usada en estimaciones L^p, principios de comparación y en el orden de clases de equivalencia de funciones medibles.

Inversión

El ínfimo puntual no ignora conjuntos nulos y suele ser ≤ ínfimo esencial si existen picos negativos en conjuntos nulos.

Límite

Se aplica únicamente a funciones medibles sobre un espacio con medida especificada; es un número real ampliado y puede ser −∞ o +∞. No captura mínimos topológicos ni comportamiento sobre conjuntos no medibles.

Tensión semántica

Tensión con el ínfimo puntual: el ínfimo esencial enfatiza el comportamiento a.e., el puntual trata cada punto por igual; sin especificar la medida surge ambigüedad.

Síntesis

El ínfimo esencial es el mayor número real ampliado que actúa como cota inferior casi por todas partes: la versión medida‑teórica del ínfimo clásico, robusta frente a perturbaciones en conjuntos nulos.