※ 引述《MaaLong (奋发上进??)》之铭言： : A可以对角化 : iff : 几何重根数=代数重根数 : 怎证明... : 上课老师证一半 而且到後面就有地方看不懂 : 书上忽略证明... : 有神人有检一些的证明吗 k1 k2 km Let det(λI-A)=(λ-λ ) (λ-λ ) ...(λ-λ ) 1 2 m λj are distinct, k1 +...+ km = n //特徵多项式 "=>": A is diagonalizable => 存在 X n*n invitable matrix such that ┌ ┐ │ λ I │ │ 1 k1 │ │ 0 │ │ λ I │ │ 2 k2 │ │ │ │ . │ -1 │ │ X AX= │ . │ │ │ │ . │ =>令为D │ │ │ 0 λ I │ │ m km │ │ │ └ ┘ ┌ // │ λ1 =>λ1 k1个 ┐ │ λ1 │ │ . │ │ . =>λ2 k2个 │ │ . │ │ λ2 │ │ λ2 │ │ . │ │ . │ │ . │ │ λm │ └ ┘ Note that λj 的代数重数 = kj for j=1...m A 跟 D 相似 => dim ker(A-λjI)= dim ker(D-λjI) λj的几何重数= dim ker ┌ ┐ │ (λ1-λj)I │ │ k1 │ │ 0 │ │ (λ2-λj)I │ │ k2 │ │ . │ │ . │ │ . │ │ (λj-λj)I │ │ kj │ │ . │ │ . │ │ 0 . │ │ (λm-λj)I │ │ km │ └ ┘ = kj = λj的几何重数 // 第j个刚好消掉，因此少了kj个pivot =>代数重数=几何重数 # "<=": dim ker(A-λJi)=kj j j j Let {v , v , ... ,v } be a basis for ker(A-λjI) 1 2 kj //注意：此处j不是次方，而是上标(老师这样用那我就跟着用) 1 1 1 2 m n Check {v , v , ... , v , v , ... , v } is a basis for R 1 2 k1 1 km n //定理：矩阵可对角化 <==> 其所有特徵向量可构成 R 的基底 下一步需要一个辅助定义(Lemma)，我列出来直接用 Lemma：If λ1...λm are distinct eigenvalues of A , yj 属於 ker(A-λjI) , then if y + y +...+ y = 0 => y = 0 for j = 1...m 1 2 m j # 1 1 1 1 2 2 m m c v +...+ c v + c v +...+ c v = 0 1 1 k1 k1 1 1 km km j j j j Let y = c v +...+ c v j 1 1 kj kj => yj 属於 ker(A-λjI) and y1+y2+...+ym = 0 => y1 = y2 = ... = ym = 0 (∵λj 都不同) j j j j j j => y = c v +...+ c v = 0 and v ... v is a basis j 1 1 kj kj 1 kj j j => c = ... = c = 0 1 kj n 又 k1 + k2 + ... + km = n = dim R 1 1 1 2 m n => {v , v , ... , v , v , ... , v } is a basis for R 1 2 k1 1 km j v 属於 ker(A-λjI) => A is diagonalizable i # └─> eigenvector 写起来有点长，但是观念不难 可能写得不是很完善，还请麻烦其他高手来补充 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.115.219.89