定符号二次形式
数学において実ベクトル空間 V 上で定義された二次形式 Q が定符号(ていふごう、英: definite)であるとは、V の任意の非零ベクトルに対して Q が同じ符号をもつことを言う。定符号二次形式は、至る所正となるか、または至る所負となるかに従ってさらに、正の定符号(positive definite; 正値、正定値)または負の定符号(negative definite; 負値、負定値)に分けられる。
半定符号 (semidefinite) 二次形式も、至る所「正」および「負」としていたところを、至る所「負でない」および「正でない」に置き換えて、それぞれ半正定値(positive semi-definite; 正半定値)と半負定値(negative semi-definite; 負半定値)と定義される。正の値も負の値も取るような二次形式は不定符号 (indefinite; 不定値) であると言う。
より一般に、二次形式の定符号性を順序体上のベクトル空間において考えることもできる。