凸函式是指一類定義在實線性空間上的函式。
注意:中國大陸數學界某些機構關於函式凹凸性定義和國外的定義是相反的。Convex Function在某些中國大陸的數學書中指凹函式。Concave Function指凸函式。但在中國大陸涉及經濟學的很多書中,凹凸性的提法和其他國家的提法是一致的,也就是和數學教材是反的。舉個例子,同濟大學高等數學教材對函式的凹凸性定義與本條目相反,本條目的凹凸性是指其上方圖是凹集或凸集,而同濟大學高等數學教材則是指其下方圖是凹集或凸集,兩者定義正好相反。
“因為凹下去的函式,它影象的上方所構成的點集是凸集,所以凹下去的函式就被稱為凸函式. 既然凹下去的函式被稱為凸函式,所以凸起來的函式就被稱為凹函數了”
下凸函式又可以稱為
上凸函式就是下凹函式,因為向上凸就是向下凹。
如果定義在某一區間上的一元實函式是連續函式,且對這一區間中的任何兩點X1、X2,當X1<X2時,有不等式:
其中q1、q2為正數,q1+q2=1,這時,我們把函式f(x)叫做凹函式,或叫做下凸函式。
如果把上述條件中的“≥”改成“>”,則叫做嚴格凹函式,或叫做嚴格下凸函式。如果f(x)是凹函式,那麼-f(x)即是凸函式,通常都是把凹函式轉化為凸函式來研究。