BX=0只有零解,那么对于所有的非零列向量X,都有BX≠0
所以X'B'=(BX)'≠0
由于(BX)'是1xn行矩阵,
BX是nx1列矩阵
所以,对于任意的非零矩阵x,满足
X'[B'B]X>0
所以
B'B是正定矩阵
要证等价,再逆着推回去就行了
BX=0只有零解,那么对于所有的非零列向量X,都有BX≠0
所以X'B'=(BX)'≠0
由于(BX)'是1xn行矩阵,
BX是nx1列矩阵
所以,对于任意的非零矩阵x,满足
X'[B'B]X>0
所以
B'B是正定矩阵
要证等价,再逆着推回去就行了