ction::::二次型.由以上的第二个等价条件，可以得到二次型形式下正定矩阵的等价条件：用formula_10代表formula_11或formula_12，设formula_13是formula_10上的一个向量空间。一个埃尔米特型：是一个双线性映射，使得"B"（"x", "y"）总是"B"（"y", "x"）的共轭。这样的一个映射"B"是正定的当且仅当对formula_13中所有的非零向量"x"，都有"B"("x", "x") > 0。
负定、半定及不定矩阵.与正定矩阵