AA'对称显然,M*M.
正定
任意的M维非零向量x,有x'AA'x=(A'x)'(A'x)大于零.
rankA=M
注：任意的M维非零向量x,有x'AA'x=(A'x)'(A'x)大于等于零.A'x是N维向量