凸関数
とは、ある区間で定義された実数値関数 で、区間内の任意の 2 点 と開区間 内の任意の に対して
を満たすものをいう。グラフの膨らむ向きを区別する表現を使うなら、凸関数とは「下に凸な関数」のことである。これはまた、エピグラフ（グラフ上およびグラフの上部の点の集合）が凸集合であるような関数であるともいえる。より一般に、ベクトル空間の凸集合上定義された関数に対しても同様に定義する。
また、狭義凸関数とは、任意の異なる 2 点 と開区間 内の任意の に対して
を満たす関数である（従って、下に凸な関数の事である）。
 が凸関数のとき、 をと呼ぶ。凸関数を「下に凸な関数」、凹関数を「上に凸な関数」と称することもある。