→ perturb :証明 rank(BA)=rank(A) 即可 12/25 13:26
推 JocularYeh :[1 i] 12/25 21:04
→ perturb :復數域討論這個問題, 轉置應該是共軛轉置 12/25 22:32
→ baoxiaole :抱歉我算一算還是有點卡住..rank(A)包含rank(BA) OK 12/25 22:55
→ baoxiaole :但是另外一邊就證不太出來! 12/25 22:55
→ anikishawn :你可以從ker(A)=ker(AB)下手 12/26 01:41
→ anikishawn :把A看做某個線性轉換從F_n→F_m的左乘矩陣 12/26 01:43
→ anikishawn :n是定義域的維度 12/26 01:45
→ yhliu :設 rank(A)=r, 存在一個 n 階可逆方陣 P 使 AP 前 r 12/26 09:16
→ yhliu :行線性獨立而後 n-r 行均為 0. 12/26 09:17
→ yhliu :rank(A'A)=rank(P'A'AP) 而 P'A'AP 之左上角為 r 階 12/26 09:18
→ yhliu :可逆方陣, 其餘元素皆 0. 故 rank(P'A'AP)=r. 12/26 09:19
→ JocularYeh :consider a vector x in R^n x^t.A^t.A.x !=0 iff 12/26 14:50
→ JocularYeh :A.x!=0 , hence A^t.A.x=0 iff A.x=0 12/26 14:52