Skip to content

Cayley-Hamilton

  • Cayley-Hamilton ๅฎš็†: ็Ÿฉ้˜ต็š„็‰นๅพๅคš้กนๅผๆ˜ฏๅฎƒ็š„ไธ€ไธช้›ถๅŒ–ๅคš้กนๅผ

  • ่ฎพ \(A\) ๆ˜ฏ \(n\) ้˜ถๅฏ้€†็Ÿฉ้˜ต,ๅˆ™ๅญ˜ๅœจ \(n-1\) ๆฌกๅคš้กนๅผ \(g(x),s.t. A^{-1} = g(A)\), ๅญ˜ๅœจ \(n-1\) ๆฌกๅคš้กนๅผ \(h(x),s.t. A^* = h(A)\)

  • ไปค \(f(\lambda) = \lambda^n + a_1\lambda^{n-1} + \cdots + a_{n-1}\lambda + a_n\) ๆ˜ฏ \(A\) ็š„็‰นๅพๅคš้กนๅผ, ็”ฑ \(a_n = (-1)^n\det A\neq 0\) ,ๅพ—ๅˆฐ \(A^{-1} = -\frac{1}{a_n} (A^{n-1} + a_1 A^{n-1} + \cdots + a_{n-1} I_n)\)

  • ๅฝ“ \(A\) ๅฏ้€†็š„ๆ—ถๅ€™,ๅฆ‚ไธŠๆœ‰ \(A^* = (-1)^{n-1}(A^{n-1} + a_1 A^{n-1} + \cdots + a_{n-1} I_n)\)

    • ๅฝ“ \(A\) ๅฅ‡ๅผ‚,ๅ–ไธ€ๅˆ— \(\{t_k\}\in Q,s.t.t_k\to 0\) ๅˆ™

    • \[(t_kI+A)^* = f_{t_k}(\lambda) = (-1)^{n-1}( (A+t_kI)^{n-1} + a_1 (A+t_kI)^{n-1} + \cdots + a_{n-1} I_n)\]
    • ไปค \(k\to\infty\) ,ๅˆฉ็”จๅคš้กนๅผ็š„่ฟž็ปญๆ€งๅฐฑๅพ—ๅˆฐไบ† \(A^* = h(A)\)

  • \(AX=XB\) ๅž‹ๆ–น็จ‹็š„่งฃ

  • ่ฎพ \(A\) ๆ˜ฏ \(n\) ้˜ถ็Ÿฉ้˜ต, \(B\) ๆ˜ฏ \(m\) ้˜ถ็Ÿฉ้˜ต, ่‹ฅ \(A,B\) ๆฒกๆœ‰็›ธๅŒ็š„็‰นๅพๅ€ผ,ๅˆ™ \(AX=XB\) ๅชๆœ‰้›ถ่งฃ

    • ไปค \(f(\lambda)=|\lambda I-A|,\) ๅˆ™ \(O = f(A)X=Xf(B)\) ๅˆ \(f(B)\neq O\),ๆ‰€ไปฅ \(X=O\)