\qquad 本文限于讨论规模 n × n n\times n n×n的方阵 A A A.
\qquad 我们知道方阵也可以看做是一个映射: R n → R n R^n \rightarrow R^n Rn→Rn.而如果一个 R n R^n Rn空间的子空间 T T T满足: ∀ x ∈ T , A x ∈ T \forall x\in T,Ax\in T ∀x∈T,Ax∈T,我们就称T是A的一个不变子空间. 不变子空间是矩阵化简的一个利器.
\qquad 设 R n R^n Rn可以分解 s s s个不变子空间的直和:
R n = W 1 ⊕ W 2 ⊕ ⋯ ⊕ W s R^n=W_1\oplus W_2\oplus \cdots \oplus W_s Rn=W1⊕W2⊕⋯⊕Ws \qquad 而 W i , i = 1 , 2 , ⋯   , s W_i,i=1,2,\cdots,s Wi,i=1,2,⋯,s是不变子空间,不妨设 W i W_i Wi的一组基是 x i 1 , x i 2 , ⋯   , x i r i x_{i1},x_{i2},\cdots,x_{ir_i} xi1,xi2,⋯,xiri,那么就有:
A [ x i