dre)和Werner Fenchel命名。
定义.函数formula_1在扩展的实数轴上取值。它的凸共轭定义为：formula_2这里，formula_3表示实赋范向量空间，formula_4表示formula_3的对偶空间。映射formula_6表示一个二次型，满足：对于formula_4（formula_3）中任意非零元素formula_9，总能在formula_3（对应地，formula_4）中找到一个元素formula_12使得formula_13。Sec