ヘッセ行列
より一般的に、級関数が凸関数であるための必要十分条件は、凸集合の内部で、ヘッセ行列が半正値であることである。