任意の行列Aに対して、行列A∗Aは必ず半正定値であり、かつrank(A)=rank(A∗A)が成り立つ。
对任意矩阵A{\displaystyleA}，A*A必然是半正定的，并有rank(A{\displaystyleA})=rank（A*A，两者的秩相等）。