凹函數係函數一種。如果一個實值函數 f 對於區間入面任意兩個唔相等嘅x同y,以及[0,1]入面任意嘅t,都滿足:
噉呢個函數f喺某區間(或者某個向量空間入面嘅凸集)上面就算係凹嘅。
假設某函數f:R→R,喺x同y之間嘅每一點z,圖上面嘅點(z, f(z) )都會喺用點(x, f(x) )同(y, f(y) )連埋一齊嘅直線上面。