不变子空间亦称稳定子空间,与线性变换有关的一种子空间。设σ是数域P上线性空间V的线性变换,W是V的子空间,若对W中的任意一个向量α,σ(α)也属于W,则称W是σ的不变子空间或称σ子空间。σ的值域与核以及σ的
特征子空间等都是σ的不变子空间,有限维的复线性空间的所有的线性变换都有一维不变子空间,有限维实线性空间的线性变换都有一维或二维不变子空间,特别地,奇数维的实线性空间的每一个线性变换都有一维的不变子空间。
设 是
数域P上
线性空间V的
线性变换,W是V的
子空间,若W中的
向量在 下的象仍在W中,即 ,均有 ,则称W为 的不变子空间,也可简称 -子空间。
设 , ,W是 的不变子空间,取W的基 ,将其扩充为V的一组基 ,则 在此基下的矩阵为 ,且左上角的k阶块 就是 在W的基 下的矩阵;反之,若 在基 下的矩阵为 ,则 是 的不变子空间。
V能分解成若干个 一子空间的直和 的
充分必要条件是V中存在一组基 ,其中 为 的一组基,使得 在此基下的矩阵为
准对角矩阵 ,其中 是 在基 下的矩阵。