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