数学上，一个从某个线性空间formula_1到自身的线性变换的不变子空间是formula_3的一个子空间formula_4使得formula_5包含于formula_4。formula_7的一个不变子空间也称为是 formula_7－不变的。若formula_4为formula_7－不变，我们限制formula_7到formula_4上得到一个新的线性变换不变子空间的存在使得对于formula_7的研究变得更为简单。当然formula_1本身，和子空间formula_16，是每个线性算子fo