六、(本题10分)  设 $A$ 为 $n$ 阶实对称阵, 证明: $A$ 有 $n$ 个不同的特征值当且仅当对 $A$ 的任一特征值 $\lambda_0$ 及对应的特征向量 $\alpha$, 矩阵 $\begin{pmatrix} A-\lambda_0I_n & \alpha \\ \alpha' & 0 \\ \end{pmatrix}$ 均非异.

证明  以下分别给出 4 种不同的证明.

证法 1 (实对称阵的正交相似标准型)  由实对称阵的正交相似标准型理论可知, 存在正交阵 $P$, 使得 $P'AP=\mathrm{diag}\{\lambda_1,\lambda_2,\cdots,\lambda_n\}$, 其中 $\lambda_1=\lambda_0$, 正交阵 $P$ 的第 1 列可取为单位特征向量 $\alpha/\|\alpha\|$. 于是 $Pe_1=\alpha/\|\alpha\|$, 即 $P'\alpha=\|\alpha\|e_1=(\|\alpha\|,0,\cdots,0)'$. 考虑如下正交变换: $$\begin{pmatrix} P' & 0 \\ 0 & 1 \\ \end{pmatrix}\begin{pmatrix} A-\lambda_0I_n & \alpha \\ \alpha' & 0 \\ \end{pmatrix}\begin{pmatrix} P & 0 \\ 0 & 1 \\ \end{pmatrix}=\begin{pmatrix} P'(A-\lambda_0I_n)P & P'\alpha \\ \alpha'P & 0 \\ \end{pmatrix}=\begin{pmatrix} 0 & & & & \|\alpha\| \\ & \lambda_2-\lambda_0 & & & \\ & & \ddots & & \\ & & & \lambda_n-\lambda_0 & \\ \|\alpha\| & & & & 0 \\ \end{pmatrix},$$ 最后一个矩阵空白处均为 $0$. 两边取行列式即得 $$\begin{vmatrix} A-\lambda_0I_n & \alpha \\ \alpha' & 0 \\ \end{vmatrix}=-\|\alpha\|^2(\lambda_2-\lambda_0)\cdots(\lambda_n-\lambda_0),$$ 由此即得充要条件.

证法 2 (线性方程组的求解理论)  由线性方程组的求解理论, 我们只要证明: $A$ 有 $n$ 个不同的特征值当且仅当对 $A$ 的任一特征值 $\lambda_0$ 及对应的特征向量 $\alpha$, 齐次线性方程组 $(*)$: $\begin{pmatrix} A-\lambda_0I_n & \alpha \\ \alpha' & 0 \\ \end{pmatrix}\begin{pmatrix} x \\ x_{n+1} \end{pmatrix}=0$ 只有零解即可. 线性方程组 $(*)$ 即为 $(1)\cdots(A-\lambda_0I_n)x+x_{n+1}\alpha=0$, $(2)\cdots\alpha'x=0$. 由 $A$ 的对称性以及 $(A-\lambda_0I_n)\alpha=0$ 可得 $\alpha'(A-\lambda_0I_n)=0$. 在 (1) 式两边同时左乘 $\alpha'$ 可得 $x_{n+1}\alpha'\alpha=0$. 又 $\alpha$ 是非零实列向量, 故 $\alpha'\alpha>0$, 从而 $x_{n+1}=0$. 因此线性方程组 $(*)$ 等价于线性方程组 $(\sharp)$: $(3)\cdots(A-\lambda_0I_n)x=0$, $(4)\cdots\alpha'x=0$, $(5)\cdots x_{n+1}=0$.

必要性  若 $A$ 有 $n$ 个不同的特征值, 则每个特征值对应的特征子空间都是 1 维的. 于是满足 (3) 式的 $x=k\alpha$, 再由 (4) 式可得 $k\alpha'\alpha=0$, 从而 $k=0$, $x=0$. 于是线性方程组 $(*)$ 只有零解.

充分性  若 $A$ 有相同的特征值, 则不妨设 $\lambda_0$ 的特征子空间 $V_0$ 的维数大于等于 2, 从而可在 $V_0$ 中取到特征向量 $\beta$, 使得 $\alpha'\beta=0$. 于是 $\begin{pmatrix} \beta \\ 0 \\ \end{pmatrix}$ 是线性方程组 $(*)$ 的非零解.

证法 3 (矩阵秩的理论)  充分性  设对 $A$ 的任一特征值 $\lambda_0$ 及对应的特征向量 $\alpha$, 矩阵 $\begin{pmatrix} A-\lambda_0I_n & \alpha \\ \alpha' & 0 \\ \end{pmatrix}$ 均非异, 则 $r\begin{pmatrix} A-\lambda_0I_n & \alpha \\ \alpha' & 0 \\ \end{pmatrix}=n+1$. 由矩阵秩的基本不等式 $r(A,B)\leq r(A)+r(B)$ 可知 $r(A)\geq r(A,B)-r(B)$ (行分块的不等式类似), 于是 $r(A-\lambda_0I_n,\alpha)\geq (n+1)-1=n$, $r(A-\lambda_0I_n)\geq n-1$. 因为实对称阵 $A$ 可对角化, 故 $\lambda_0$ 只能是 $A$ 的单特征值, 即 $A$ 有 $n$ 个不同的特征值.

必要性  设实对称阵 $A$ 有 $n$ 个不同的特征值, 则 $r(A-\lambda_0I_n)=n-1$, 再由 $A$ 的属于不同特征值的特征子空间两两正交可知, $\mathbb{R}^n=\mathrm{Ker}(A-\lambda_0I_n)\perp\mathrm{Im}(A-\lambda_0I_n)$. 断言 $r(A-\lambda_0I_n,\alpha)=n$, 否则只能是 $r(A-\lambda_0I_n,\alpha)=r(A-\lambda_0I_n)=n-1$, 由线性方程组的求解理论知, 存在实列向量 $x$, 使得 $\alpha=(A-\lambda_0I_n)x\in\mathrm{Im}(A-\lambda_0I_n)$, 但 $\alpha\in\mathrm{Ker}(A-\lambda_0I_n)$, 故 $\alpha=0$, 这与 $\alpha$ 是特征向量矛盾. 上面的断言告诉我们: $\alpha$ 不是 $A-\lambda_0I_n$ 列向量的线性组合, 对称地, $\alpha'$ 也不是$A-\lambda_0I_n$ 行向量的线性组合, 从而 $r\begin{pmatrix} A-\lambda_0I_n & \alpha \\ \alpha' & 0 \\ \end{pmatrix}=n+1$, 即矩阵 $\begin{pmatrix} A-\lambda_0I_n & \alpha \\ \alpha' & 0 \\ \end{pmatrix}$ 是非异阵.

证法 4 (矩阵乘法)  必要性  若 $A$ 有 $n$ 个不同的特征值, 则每个特征值对应的特征子空间都是 1 维的. 考虑如下矩阵乘法: $$\begin{pmatrix} A-\lambda_0I_n & \alpha \\ \alpha' & 0 \\ \end{pmatrix}\begin{pmatrix} A-\lambda_0I_n & \alpha \\ \alpha' & 0 \\ \end{pmatrix}=\begin{pmatrix} (A-\lambda_0I_n)^2+\alpha\alpha' & 0 \\ 0 & \alpha'\alpha \\ \end{pmatrix}.$$ 显然 $\alpha'\alpha>0$, 采用证法 2 (线性方程组的求解理论) 或证法 3 (矩阵秩的理论) 类似的讨论, 可以证明: 两个半正定阵之和 $(A-\lambda_0I_n)^2+\alpha\alpha'$ 其实是正定阵. 于是上述矩阵也是正定阵, 从而 $\begin{pmatrix} A-\lambda_0I_n & \alpha \\ \alpha' & 0 \\ \end{pmatrix}$ 是非异阵.

充分性  若 $A$ 有相同的特征值, 则不妨设 $\lambda_0$ 的特征子空间 $V_0$ 的维数大于等于 2, 从而可在 $V_0$ 中取到特征向量 $\beta$, 使得 $\alpha'\beta=0$. 于是 $$\begin{pmatrix} A-\lambda_0I_n & \alpha \\ \alpha' & 0 \\ \end{pmatrix}\begin{pmatrix} A-\lambda_0I_n & \beta \\ \beta' & 0 \\ \end{pmatrix}=\begin{pmatrix} (A-\lambda_0I_n)^2 & 0 \\ 0 & 0 \\ \end{pmatrix}$$ 是奇异阵, 从而至少有一个矩阵是奇异阵.  $\Box$

注 1  本题的结论可推广到复正规阵和复特征值的情形, 请读者自行写出相应的结论和证明.

注 2  本题完全做出 (得分在8分以上) 的同学为:

证法 1 (33 人): 赵涵洋, 王捷翔, 皮维特, 顾文颢, 刘道政, 张笑晗, 邹年轶, 谢永乐, 封清, 周烁星, 李哲蔚, 李国豪, 张思哲, 古俊龙, 顾天翊, 刘一川, 刘子超, 黄泽松, 戚雨欣, 刘羽, 叶雨阳, 张昊航, 丁思成, 管闻捷, 张宸宇, 张听海, 王晟灏, 黄诗涵, 刘经宇, 刘天航, 陈柯屿, 王祝斌, 孙浩鑫;

证法 2 (9 人): 周星雨, 杨希, 王曦立, 邬正千, 张俊杰, 陈在远, 陈钦品, 吴彦桥, 赵界清;

证法 3 (1 人): 唐朝亮;

证法 4 (1 人): 何飞旸.

复旦大学2018--2019学年第二学期(18级)高等代数II期末考试第六大题解答的更多相关文章

  1. 复旦大学2015--2016学年第二学期(15级)高等代数II期末考试第六大题解答

    六.(本题10分)  设 $n$ 阶复方阵 $A$ 的特征多项式为 $f(\lambda)$, 复系数多项式 $g(\lambda)$ 满足 $(f(g(\lambda)),g'(\lambda))= ...

  2. 复旦大学2016--2017学年第二学期(16级)高等代数II期末考试第六大题解答

    六.(本题10分)  设 $A$ 为 $n$ 阶半正定实对称阵, $S$ 为 $n$ 阶实反对称阵, 满足 $AS+SA=0$. 证明: $|A+S|>0$ 的充要条件是 $r(A)+r(S)= ...

  3. 复旦大学2017--2018学年第二学期(17级)高等代数II期末考试第六大题解答

    六.(本题10分)   设 $A$ 为 $n$ 阶幂零阵 (即存在正整数 $k$, 使得 $A^k=0$), 证明: $e^A$ 与 $I_n+A$ 相似. 证明  由 $A$ 是幂零阵可知, $A$ ...

  4. 复旦大学2014--2015学年第二学期(14级)高等代数II期末考试第八大题解答

    八.(本题10分)  设 $A,B$ 为 $n$ 阶半正定实对称阵, 求证: $AB$ 可对角化. 分析  证明分成两个步骤: 第一步, 将 $A,B$ 中的某一个简化为合同标准形来考虑问题, 这是矩 ...

  5. 复旦大学2017--2018学年第一学期(17级)高等代数I期末考试第六大题解答

    六.(本题10分)  设 $M_n(K)$ 为数域 $K$ 上的 $n$ 阶方阵全体构成的线性空间, $A,B\in M_n(K)$, $M_n(K)$ 上的线性变换 $\varphi$ 定义为 $\ ...

  6. 复旦大学2018--2019学年第一学期(18级)高等代数I期末考试第七大题解答

    七.(本题10分)  设 $V$ 为 $n$ 维线性空间, $\varphi,\psi$ 是 $V$ 上的线性变换, 满足 $\varphi\psi=\varphi$. 证明: $\mathrm{Ke ...

  7. 复旦大学2015--2016学年第一学期(15级)高等代数I期末考试第八大题解答

    八.(本题10分)  设 $V$ 为数域 $K$ 上的 $n$ 维线性空间, $\varphi$ 为 $V$ 上的线性变换. 子空间 $C(\varphi,\alpha)=L(\alpha,\varp ...

  8. 复旦大学2013--2014学年第一学期(13级)高等代数I期末考试第七大题解答

    七.(本题10分)设 \(A\) 为数域 \(K\) 上的 \(n\) 阶非异阵, 证明: 对任意的对角阵 \(B\in M_n(K)\),  \(A^{-1}BA\) 均为对角阵的充分必要条件是 \ ...

  9. 复旦大学2014--2015学年第一学期(14级)高等代数I期末考试第七大题解答

    七.(本题10分)  设 \(V\) 为数域 \(\mathbb{K}\) 上的 \(n\) 维线性空间, \(S=\{v_1,v_2,\cdots,v_m\}\) 为 \(V\) 中的向量组, 定义 ...

随机推荐

  1. springmvc和mybatis面试题(含答案)

    Spring MVC Framework有这样一些特点: 1.它是基于组件技术的.全部的应用对象,无论控制器和视图,还是业务对象之类的都是java组件.并且和Spring提供的其他基础结构紧密集成. ...

  2. 线程之间灵活传递信号(ManualResetEventSlim )

    当主程序启动时,首先创建ManualResetEventSlim 类的一个实例.然后启动三个线程,等待事件信号通知它们继续执行. /// <summary> /// 创建 ManualRe ...

  3. 我是如何一步步编码完成万仓网ERP系统的(十)产品库设计 6.属性项和类别关联

    https://www.cnblogs.com/smh188/p/11533668.html(我是如何一步步编码完成万仓网ERP系统的(一)系统架构) https://www.cnblogs.com/ ...

  4. MySQL中的存储过程、游标和存储函数

    MySQL中的存储过程首先来看两个问题: 1.什么是存储过程? 存储过程(Stored Procedure)是在数据库系统中,一组为了完成特定功能的SQL语句集,经编译后存储在数据库中,用户通过指定存 ...

  5. 基于vue+springboot+docker网站搭建【五】部署vue前端项目

    部署vue前端项目  一.下载项目到本地   https://github.com/macrozheng/mall-admin-web 二.npm install 三.修改api配置,改为你接下来要部 ...

  6. ObjC: 委托模式

    转自:http://marshal.easymorse.com/tech/objc-%e5%a7%94%e6%89%98%e6%a8%a1%e5%bc%8f 在ObjC中,经常提到委托模式(deleg ...

  7. SQL Server 修改表结构(转载)

    SQL Server 修改表结构 本文链接:https://blog.csdn.net/petezh/article/details/81744374 查看指定表结构 exec sp_help Rep ...

  8. 0x04 Python logger 支持多进程日志按大小分割

    目录 支持多进程日志按大小分割 多进程日志大小分割handler配置实例 支持多进程日志按大小分割 由于python内置模块logging.handlers.RotatingFileHandler是不 ...

  9. Shell 编程 数组

    本篇主要写一些shell脚本数组的使用. 数组定义 数组名=(value0 value1 vlaue2 ...) 数组名=([0]=value [1]=value [2]=vlaue ...) 列表名 ...

  10. 使用Qemu运行Ubuntu文件系统 —— 搭建SVE学习环境(2)

    开发环境 PC:ubuntu18.04 Qemu:4.1 Kernel:Linux-5.2 概述 由于要学习ARM的SVE技术,但是目前还没有支持SVE指令的板子,所以只能用Qemu来模拟,但是发现Q ...