Linear Algebra Done Right 3E【第五章定理】

第五章 本征值、本征向量、不变子空间

本系列读书笔记仅摘录《Linear Algebra Done Right》中文版（原书第三版）部分定理结论，便于自学翻阅，相关证明有空再补充~

5.6 本征值的等价条件

$设V是有限维的,T\in \mathcal{L}(V)且\lambda \in F.$

$则以下条件等价：$

$(a)\lambda 是T的本征值$

$(b)T-\lambda I不是单的$

$(c)T-\lambda I不是满的$

$(d)T-\lambda I不是可逆的$
  \space  

5.10 线性无关的本征向量

$设T\in \mathcal{L}(V).设{\lambda }_1,\cdot \cdot \cdot ,{\lambda }_m是T的互不相同的本征值，$

$并设v_1,\cdot \cdot \cdot ,v_m是相应的本征向量$

$则v_1,\cdot \cdot \cdot ,v_m是线性无关的.$
  \space  

5.13 本征值的个数

$设V是有限维的，则V上的每个算子最多有dimV个互不相同的本征值.$
  \space  

5.21 复向量空间上的算子都有本征值

$有限维非零复向量空间上的每个算子都有本征值.$
  \space  

5.26 上三角矩阵的条件

$设T\in \mathcal{L}(V),且v_1,\cdot \cdot \cdot ,v_n是V的基.则以下条件等价:$

$(a)T关于v_1,\cdot \cdot \cdot ,v_n的矩阵是上三角的$

$(b)对每个j=1,\cdot \cdot \cdot ,n有T{v}_j\in span(v_1,\cdot \cdot \cdot ,v_j)$

$(c)对每个j=1,\cdot \cdot \cdot ,n有span(v_1,\cdot \cdot \cdot ,v_j)在T下不变$
  \space  

5.27 在C上，每个算子均有上三角矩阵

$设V是有限维复向量空间,T\in \mathcal{L}(V).$

$则T关于V的某个基有上三角矩阵.$
  \space  

5.30 由上三角矩阵确定可逆性

$设T\in \mathcal{L}(V)关于V的某个基有上三角矩阵.$

$则T是可逆的当且仅当这个上三角矩阵对角线上的元素都不是0.$
  \space  

5.32 从上三角矩阵确定本征值

$设T\in \mathcal{L}(V)关于V的某个基有上三角矩阵.$

$则T的本征值恰为这个上三角矩阵对角线上的元素.$
  \space  

5.38 本征空间之和是直和

$设V是有限维的，T\in \mathcal{L}(V).$

$设{\lambda }_1,\cdot \cdot \cdot ,{\lambda }_m是T的互异的本征值.$

$则E({\lambda }_1,T)+\cdot \cdot \cdot +E({\lambda }_m,T)是直和.$

$此外，dimE({\lambda }_1,T)+\cdot \cdot \cdot +dimE({\lambda }_m,T)⩽dimV.$
  \space  

5.41 可对角化的等价条件

$设V是有限维的，T\in \mathcal{L}(V).$

$用{\lambda }_1,\cdot \cdot \cdot ,{\lambda }_m表示T的所有互异的本征值.$

$则下列条件等价：$

$(a)T可对角化$

$(b)V有由T的本征向量构成的基$

$(c)V有在T下不变的一维子空间U_1,\cdot \cdot \cdot ,U_n使得V=U_1\oplus \cdot \cdot \cdot \oplus U_n$

$(d)V=E({\lambda }_1,T)\oplus \cdot \cdot \cdot \oplus E({\lambda }_m,T)$

$(e)dimV=dimE({\lambda }_1,T)+\cdot \cdot \cdot +dimE({\lambda }_m,T)$
  \space  

5.44 本征值足够多则可对角化

$若T\in \mathcal{L}(V)有dimV个互异的本征值，则T可对角化.$