ヘッセ行列
また、任意の点 "x" ∈ "O" でヘッセ行列 ∇2"f"("x") が正定値であることは関数 "f" が "O" 上で狭義凸関数であるための十分条件を与える。