矩阵可对角化的条件

第二节第二节 矩阵可对角化的条件矩阵可对角化的条件 定义定义 1 如果矩阵 能与对角矩阵相似 则称可对角化 例例 1 1 设 则有 即 从 而可对角化 定理定理 1 阶矩阵可对角化的充分必要条件是有个线性无关的特征向量 证明 证明 必要性 如果可对角化 则存在可逆矩阵 使得 将按列分块得 从而有 因此有 所以是的属于特征值的特征向量 又由可 逆 知线性无关 故有个线性无关的特征向量 充分性 设是的个线性无关的特征向量 它们对应的特征值依次为 则有 令 则是一个可 逆矩阵且有 因此有 即 也就是矩阵可对 角化 注注 若 则 对按列分块 得 于是有 即 从而 可见 对角矩阵的元素就是矩阵的特征值 可逆矩阵就是由的线性无关的特征向量所构成 的 并且特征向量的顺序依赖于对角矩阵 定理定理 2 矩阵 的属于不同特征值的特征向量是线性无关的 证明 证明 设是的个互不相同的特征值 是的属于特征值的特 征向量 现对作数学归纳法证明线性无关 当时 由于特征向量不为零 因此定理成立 假设的个互不相同的特征值对应的个特征向量是线性无关的 设 是的个互不相同的特征值 是的属于特征值的特征向量 又设 1 成立 则有 又将 1 式两边同乘得 从而有 由归纳假设得 再由两两互不相同可得 将其代入 1 式得 因此有 从而 线性无关 推论推论 1 若 阶矩阵有个互不相同的特征值 则可对角化 且 定理定理 3 设是阶矩阵的个互异特征值 对应于的线性无关的特 征向量为 则由所有这些特征向量 共 个 构成的向量组是线性无关的 证明 证明 设 记 则有 且或是的属于特征值 的特征 向量 若存在某个 则由属于不同特征值的特征向量线性无关知 矛盾 因此有 又由已知得 因此向量组 线性无关 定理定理 4 设是阶矩阵的一个重特征值 对应于的特征向量线性无关的最大 个数为 则 即齐次线性方程组的基础解系所含向量个数不超过 特征值的重数 证明 证明 用反证法 由于是的属于特征值的特征向量当且仅当是齐次线性方 程组的非零解 因此对应于的特征向量线性无关的最大个数与齐次线 性方程组的基础解系所含向量个数相等 设是齐次线性方 程组的一个基础解系 且假设 则有 现 将扩充为一个维线性无关向量组 其中 未必是的特征向量 但有是一个维向量 从而 可由向量组线性表示 即 因而有 2 其中有 个 令 并将 2 式右端矩阵分块表示 则有 由相似 矩阵有相同的特征多项式 得的特征多项式为 其中是的次多项式 从而至少是的重特征值 与是重特征值矛盾 所以 定理定理 5 阶矩阵可对角化的充分必要条件是 的每个特征值对应的特征向量线性 无关的最大个数等于该特征值的重数 即的每个特征值对应的齐次线性方程组 的基础解系所含向量个数等于该特征值的重数 也即的每个特征子空间 的维数等于该特征值的重数 证明 证明 设 其中两两不同 且有 充分性 由于对应于的特征向量有个线性无关 又个特征值互异 因此有个线 性无关的特征向量 故可对角化 必要性 反证法 设有一个特征值所对应的线性无关的特征向量的最大个数的 重数 则的线性无关的特征向量个数小于 故不能与对角矩阵相似 例例 2 设 求的特征值和特征向量 并判断是否可对角化 解 解 由得的特征值为 二重 特征值 当时 由 即 得基础解系为 从而的属于特征值的特征向量为 为任 意非零常数 当时 由 即 得基础解系为 从而的属于特征值的特征向量为 为 任意非零常数 由于的特征值 对应的齐次线性方程组的基础解系所含向量个数小于特征值的重数 故 不可对角化 例例 3 巳知 判断能否对角化 若能对角化 求可逆矩阵 使得为对角阵 解 解 由得的特征值为 二重特征值 当时 由 即 得基础解系为 从而的属于特征值的特征向量为 为任 意非零常数 当时 由 即 得基础解系为及 从而的属于特征值的特征向 量为 为任意不全为零的常数 由于的每个特征值对应的齐次线性方程组的基础解系所含向量个数等于特征值的重数 故可对角化 令 则 例例 4 设 是阶矩阵 判断是否可对角化 解 解 设的特征方程的两个根为 则 故有两个 不同的特征值 从而可对角化 例例 5 设实对称矩阵 问是否可对角化 若可对角化 求 矩阵 使得为对角阵 并求 为正整数 解 解 由得的特征值为 三重特征值 当时 由 即 得基础解系为 从而的属于特征值的特征向量为 为任 意非零常数 当时 由 即 得基础解系为 从而的属于特征 值的特征向量为 为任意不全为零的常数 由于的每个特征值对应的齐次线性方程组的基础解系所含向量个数等于特征值的重 数 故可对角化 令 则 从而 且 例例 6 设 阶矩阵满足 称为幂等矩阵 证明 的特征值只能为 或 并且可对角化 证明 证明 设是的属于特征值的特征向量 则 由 得 所以幂等矩阵的特征值只能为或 设秩 当秩时 故可对角化且 当秩 时 可逆 由得 故可对角化且 现设 当特征 值时 其特征矩阵的秩为 这是因为由 所以 又 因而 从而有 再由可得 对应于的线性无关的特征向量的最大个数为 设的属于特征值的