## [Ínfimo Esencial](/es/node/62555) Definición 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 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 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 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 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 Inversión El ínfimo puntual no ignora conjuntos nulos y suele ser ≤ ínfimo esencial si existen picos negativos en conjuntos nulos. ## Límite 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 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 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.