向量或者矩阵范数为什么要满足正定性?