En matemáticas, y particularmente en análisis de convexidad, la envolvente convexa inferior de una función con valores reales definida en un espacio vectorial se define punto a punto como el supremo de todas las funciones convexas que se encuentran bajo esa función, es decir,
La envolvente convexa inferior coincide con la función biconjugada de , pero puede diferir de la biconjugada cuando esta definición se extiende a funciones cuyos dominios no son todo el espacio vectorial o cuyos valores son reales extendidos, es decir, permitiendo . En tales casos, se tienen las desigualdades
Véase también Envolvente convexa Envolvente inferior
Referencias
Categoría:Análisis convexo