[線性代數] 課本P-6-37頁

引理6-7
(1) 證明：K(μ)為(T-λI)^i - 不變子空間 for i=1,2,...
以下是書中的證明：
首先證明K(μ)為(T-λI)-不變子空間,即(T-λI)(K(μ))
given an v 屬於 K(μ)
存在 p 屬於 N, 使得 (T-λI)^p (v)=0
(T-μI)^p ( (T-λI) (v) ) = (T-λI) (T-μI)^p (v)

為什麼矩陣可以交換相乘呢？