行列の定値性
対称(エルミート)行列 A が正定値なら det(A) > 0 (行列式がすべての固有値の積であることから直ちに従う)
幾つかの文献では、複素行列 M が正定値であることを、任意の非零複素ベクトル z に対して Re(zMz) > 0 で定義しているものがある。ただし、Re(c) は複素数 c の実部。この弱い条件での定義は非エルミートな複素行列の一部(これには [ 1 1 − 1 1 ] {\displaystyle \left[{\begin{smallmatrix}1&1\\-1&1\end{smallmatrix}}\right]} のような一部の非対称実行列も含む)も満たす。
実際にこの定義の下では、実行列が正定値であるための必要十分条件は任意の非零実ベクトル z に対して zMz > 0 となることであって、必ずしも M の対称性は要求しない。
一般に、任意の非零複素ベクトル z に対して Re(zMz) > 0 となるための必要十分条件は、M のエルミート成分 (M + M)/2 が狭い意味での正定値となることである。同様に、任意の非零実ベクトル x に対して xMx > 0 となるための必要十分条件は、M の対称成分 (M + M)/2 が狭い意味での正定値となることである。
まとめると、実の場合と複素の場合とを分ける特徴は、複素ヒルベルト空間上の有界な正作用素はエルミートあるいは自己随伴でなければならないということである。この一般の主張は極化恒等式を用いて説明できる。このことは実の場合にはもはや正しくない。