六、(本题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. Jmeter参数化之数据库读取数据

    以读取mysql数据库为例 1.下载一个mysql驱动包,最好去mysql官网下载 下载网址:https://dev.mysql.com/downloads/connector/j/ Select O ...

  2. 【spring boot】【redis】spring boot 集成redis的发布订阅机制

    一.简单介绍 1.redis的发布订阅功能,很简单. 消息发布者和消息订阅者互相不认得,也不关心对方有谁. 消息发布者,将消息发送给频道(channel). 然后是由 频道(channel)将消息发送 ...

  3. vb Replace 实现

    今天改一个VB程序时发现程序自带的replace 函数不知什么原因竟然不好用了 所以就自己写了一个玩玩 记录一下 'XGZ '替换字符 Private Function Replace1(ByVal ...

  4. Jupyter Notebook 打开方法

    直接在文件资源管理器的地址栏中输入Jupyter notebook ,即可打开当前目录下的Jupyter.比之前右键打开power shell更方便

  5. LIBRARY_PATH和LD_LIBRARY_PATH

    LIBRARY_PATH是编译时指定的路径. LD_LIBRARY_PATH是运行时指定的动态链接库所在目录. 在运行一个可执行文件之前,可以通过ldd a.exe命令查看a.exe所依赖的动态链接库 ...

  6. 分布式session的解决方案

    1.Nginx的ip_hash,对应tomcat的session,由tomcat保存 缺点:一旦tomcat单点挂机,session消失 2.session在tomcat之间复制, 缺点:保存全局se ...

  7. 【数据库】数据库入门(四): SQL查询 - SELETE的进阶使用

    集合操作常用的集合操作主要有三种:UNION(联合集).INTERSECT(交叉集).EXCEPT(求差集).以上三种集合的操作都是直接作用在两个或者多个 SQL 查询语句之间,将所有的元组按照特定的 ...

  8. windows10 docker安装使用

    一.安装部署 1.下载安装 https://hub.docker.com/editions/community/docker-ce-desktop-windows 需要注册完后,才可以下载.点击安装 ...

  9. Windows 系统常用命令

    /** 环境变量配置 * sysdm.cpl */ /** 系统服务管理 * sservices.msc */ /** 远程服务器连接 * mstsc */ /** doc命令窗口 * doc */

  10. Linux操作系统安全-加密和安全扫盲篇

    Linux操作系统安全-加密和安全 作者:尹正杰 版权声明:原创作品,谢绝转载!否则将追究法律责任. 一.墨菲定律 墨菲定律: 一种心理学效应,是由爱德华·墨菲(Edward A. Murphy)提出 ...