2009-02-08

[線性代數]驗證正定

請問 over C 的實矩陣 可不可以用 主子行列式 來判別是否是 正定?

因為這個定理是說 over R才可用
那over C 的 實矩陣呢?

4 則留言:

線代離散助教(wynne) 提到...

我想是可以的, 改一下書上定理8-32的證明,
若 A=LDL^T, 其中 L 為實矩陣, 則 A=LDL^H
令 y=(L^H)x => (x^H)Ax = (x^H)LD(L^H)x
= [((L^H)x)^H]D(L^H)x
= λ1|y1|^2 + ... + λn|yn|^2 > 0

qq22 提到...

請問你這證明好像是已知λ>0時吧?那跟主子行列式好像有關係嗎?

另外我補充一下
問題沒打好
over C 的實矩陣
是指只有A是實矩陣

所以L是不是 有複矩陣的可能?

線代離散助教(wynne) 提到...

抱歉我打錯了, 我最後一行想打的是
d1|y1|^2 + ... + dn|yn|^2 > 0
其中 d1,...,dn > 0, 這細節書上有證
至於L的話應該可以取到實矩陣, by Lemma 8-6

qq22 提到...

謝謝你的回答