在数学分析, 特别是凸分析与最优化中, 凸函数 f 在扩展实数线上的取值若满足存在 使得
同时对所有 满足
称被称作真凸函数。 这意味着,若凸函数为“真”, 则其有效域非空,值不为 的负函数 为“真凹函数”。
对于Rn 上任意真凸函数, 存在Rn上的 与实数 β, 使得所有 满足
两个真凸函数的和未必保持真与凸的性质。举例来说, 假设集合 上的非空 凸集, 那么特征函数
和 为真凸函数, 但是当 时, 始终等于 .两个真凸函数的卷积下确界为凸函数, 但未必是真凸。
在数学分析, 特别是凸分析与最优化中, 凸函数 f 在扩展实数线上的取值若满足存在 使得
同时对所有 满足
称被称作真凸函数。 这意味着,若凸函数为“真”, 则其有效域非空,值不为 的负函数 为“真凹函数”。
对于Rn 上任意真凸函数, 存在Rn上的 与实数 β, 使得所有 满足
两个真凸函数的和未必保持真与凸的性质。举例来说, 假设集合 上的非空 凸集, 那么特征函数
和 为真凸函数, 但是当 时, 始终等于 .两个真凸函数的卷积下确界为凸函数, 但未必是真凸。