[線代] 關於線性轉換的特徵多項式與基底無關的證明

看板Math作者 (God of Computer Science)時間3年前 (2022/07/04 19:00), 編輯推噓7(7023)
留言30則, 4人參與, 3年前最新討論串1/1
如題,小弟剛讀完第五章第一節,已經知道它的標準證明,是利用相似矩陣的行列式不變的 事實。 但老實說,我初見此事實,第一眼想到的作法是利用線性轉換的特徵值固定,再搭配特徵值 必為特徵多項式的根的事實去證,但老實說這個方法只有在特徵值皆相異而且數量要跟維度 一樣的時候才適用。我想主要的問題便在於如何把這個方法推廣到重複特徵值或者是數量小 於維度的時候,請問各位板上大大有任何的想法嗎?穴穴大家。 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 125.231.147.167 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1656932414.A.03F.html

07/04 19:09, 3年前 , 1F
T(A)有f(A) = 0
07/04 19:09, 1F

07/04 19:09, 3年前 , 2F
對於一個可逆的基底變換gp(x)=P^-1xP恆有
07/04 19:09, 2F

07/04 19:09, 3年前 , 3F
gp(f(A)) = f(gp(A))
07/04 19:09, 3F

07/04 19:10, 3年前 , 4F
細節類似P^-1A^nP =(P^-1AP)^n
07/04 19:10, 4F

07/04 19:12, 3年前 , 5F
呃....我f和T沒處理好
07/04 19:12, 5F

07/04 19:43, 3年前 , 6F
希望能針對任意線性轉換
07/04 19:43, 6F

07/04 20:59, 3年前 , 7F
不要只用特徵值固定,要用特徵空間固定。
07/04 20:59, 7F

07/04 23:17, 3年前 , 8F
我知道特徵空間,但是那邊的推導確定不會用到這邊的
07/04 23:17, 8F

07/04 23:17, 3年前 , 9F
結論?
07/04 23:17, 9F

07/05 05:53, 3年前 , 10F
你這邊特徵方程式的定義是甚麼?我總覺得你就是要先
07/05 05:53, 10F

07/05 05:54, 3年前 , 11F
能證明在任意基底下會有同樣運算結果才能定義線性
07/05 05:54, 11F

07/05 05:54, 3年前 , 12F
變換的特徵方程式?
07/05 05:54, 12F

07/05 07:18, 3年前 , 13F
他大概想要的是先定義一種basis-dependent的特徵方
07/05 07:18, 13F

07/05 07:18, 3年前 , 14F
程式吧。
07/05 07:18, 14F

07/05 09:47, 3年前 , 15F
先知道固定 T 對每個 basis 都有一個特徵多項式,再
07/05 09:47, 15F

07/05 09:47, 3年前 , 16F
因為 T 的特徵值 (多項式的根) 固定,故多項式也要
07/05 09:47, 16F

07/05 09:48, 3年前 , 17F
固定才可以。然後以上論述只對相異特徵值,數量等於
07/05 09:48, 17F

07/05 09:48, 3年前 , 18F
維度的時候才適用。
07/05 09:48, 18F

07/05 10:42, 3年前 , 19F
要得到你想要的結論,你得要找出特徵方程式有重根
07/05 10:42, 19F

07/05 10:43, 3年前 , 20F
會怎麼反應在 T 的特徵值表現上
07/05 10:43, 20F

07/05 13:37, 3年前 , 21F
幹嘛那麼麻煩...
07/05 13:37, 21F

07/05 13:40, 3年前 , 22F
det(T-xI)=det(A^-1(T-xI)A)=det(A^-1TA -xI)
07/05 13:40, 22F

07/05 13:41, 3年前 , 23F
或者由基底變化前後會是similar的,也可以得到
07/05 13:41, 23F

07/05 14:19, 3年前 , 24F
他文章一開始就說了啊 想用相似矩陣的行列式值不變
07/05 14:19, 24F

07/05 14:19, 3年前 , 25F
以外的做法咩XD
07/05 14:19, 25F

07/05 16:10, 3年前 , 26F
我名詞好像用錯了,是invariant subspace。
07/05 16:10, 26F

07/05 20:49, 3年前 , 27F
...
07/05 20:49, 27F

07/06 09:58, 3年前 , 28F
Vulpix 大的方法等我熟悉完 Sec 5.4 之後再回來看,
07/06 09:58, 28F

07/06 09:58, 3年前 , 29F
也謝謝其他位大大的協助囉~
07/06 09:58, 29F

07/06 10:22, 3年前 , 30F
更精確的名詞是 generalized eigenspace。
07/06 10:22, 30F
文章代碼(AID): #1YmiW-0_ (Math)