埃尔米特矩阵
对于复系数矩阵，情况可能不太一样。主要看的是怎样扩展"z"*Mz" &gt; 0这一性质。要使"z"*Mz"总为实数，矩阵M必须是埃尔米特矩阵。因此，若"z"*Mz"总是正实数，M必然是正定的埃尔米特矩阵。如果将"z"*Mz" &gt; 0扩展为Re("z"*M"z") &gt; 0，则等价于（M+M*） / 2为正定阵。