nontrivial T-invariant subspace is also diagonalizable
更新1:
多謝 如果不用最小多項式 用http://bbs.nsysu.edu.tw/txtVersion/boards/math/M.1143774479.A.html 這個方法 我看不懂 It follows that W is spanning by a set S where for any s in S, s is some linear combination of u_j,...,u_f(j) for some j. Note that T(s) = a_j * s ----(2) 為什麼不是u_1到u_n 就是整個V的basis 可以直接限定到u_j,...,u_f(j)