具体定义：https://en.wikipedia.org/wiki/Positive-definite_matrix
矩阵半正定: positive semidefinite
原文：https://www.cnblogs.com/wzdLY/p/9823251.html
