函数的凹(concave)凸(convex)性是比较重要的概念。你有没有在读书时,突然发现自己脑海中认定的凹函数被书上说成是凸的,然后自我怀疑,哪里错了呢?
其实不一定是你的错,因为不同书的术语不太一样。
我们注意凸的字形是中间高,两边低;凹的字形中间低,两边高。
如图所示,这种中间高,两边低的函数图像,和凸的字形表现的高低分布相符,我们称它为上凸(convex upward)函数,或下凹(concave downward)函数。
做垂直于x轴的直线,想象下方或上方有一实体,对于相反的一侧为凸出或凹陷,可以帮助理解记忆。上凸就是下方的实体凸出到了上方的空间,这也等价于下方的实体是一个凸集。
(凸集的定义是集合上任何两点连线段仍属该集。这里只说与字形表现的高低相符,因为严格讲,凸字填实心也不是凸集,如下左图所示,红线在凸字外,补全如下右图所示才是凸集,称为其凸包。
)
而反过来的情况,自然就是上凹(concave upward)函数,或者下凸(convex downward) 函数了。上方的实体(相当于epigraph)是凸集。
与凹凸字形表现的高低相符的,是上凹上凸。
然而在英文中,convex downward的函数简为convex,相对地,concave downward函数简为concave。
中文书的处理不太统一,有的是把上凸称作凸,有的是把下凸称作凸,后者更与国际接轨一些。
建议,为了避免混淆,不要直说凹凸,要指明是上凹下凸还是上凸下凹。
至于国际上为什么按downward的来,可能是为了函数为凸与其epigraph是凸集一致,但是用一个与epigraph相反的概念似乎也没什么本质上的不可行。大概只是一种习惯,或者说,路径依赖。
此外,凹函数也有用concave downwards, concave down, convex upwards, convex cap or upper convex等的说法。凸函数类似,不再赘述。