凸包絡

凸包絡（convex envelope）是最佳化論中有某些性質的函式，其定義如下：
定義：設f:S->R 是下半連續函式，其中S是n維空間中的非空凸集，則f(x)在S上的凸包絡 是指滿足如下性質的函式F(x)：
（1） F(x)在S上是凸的；
（2）對於所有的x屬於S，有F(x)小於等於f(x)；
（3）若h(x)是任意一個定義在S上的凸函式，並且對於所有的x屬於S，h(x)小於等於f(x)，則所有的x屬於S，有
h(x)小於等於F(x)。