六、(本题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. VisualHull && association4D 观摩记录

    简单记录一下自己对VisualHull 和 association4D 两个程序的理解,没有别的意思(当然是真的 由于进度还很慢,暂时只是简单记录一下发现的点和踩过的坑,做完再把资料汇总. Visua ...

  2. scrapy Crawl_spider

    命令行输入:scrapy genspider --list 可以看到scrapy给我们提供的爬虫模板: basiccrawlcsvfeedxmlfeed 一般都是用默认模板生成的spider,如果需要 ...

  3. 4-5 Scrapy知识补充

    FormRequest FormRequest类是专门用来处理HTML表单的,同时对隐藏的表单处理也很方便.适合用来完成登录操作. 类原型:class scrapy.http.FormRequest( ...

  4. 【Luogu5348】密码解锁(莫比乌斯反演,数论)

    [Luogu5348]密码解锁(莫比乌斯反演,数论) 题面 洛谷 题解 首先题目给定的限制是\(\sum_{n|i}a[i]=\mu(n)\),然后把这个东西反演一下, 莫比乌斯反演的式子是:\(g( ...

  5. Delphi 10.3.2 社区版的安装

    1.去 https://www.embarcadero.com/cn/products/delphi/starter 下载安装程序 首先你要有一个embarcadero社区账号,国内线路下载有点慢,下 ...

  6. DNS:从零搭建公司内网DNS服务器

    写在前面的话 网上关于 DNS 的文章其实一搜索一大把,但是看别人的文档一般都会有个问题,乱,不讲究,全是 ctrl c + ctrl v,我个人是看不下去的.头皮发麻.所以决定自己来写写这方面的东西 ...

  7. codeforces #578(Div.2)

    codeforces #578(Div.2) A. Hotelier Amugae has a hotel consisting of 1010 rooms. The rooms are number ...

  8. Vue入门篇

    Vue-cli开发环境搭建 1. 安装nodejs 2. 设置缓存文件夹 $ npm config set cache "D:\vueProject\nodejs\node_cache&qu ...

  9. 【学习笔记】PYTHON数据分析与展示(北理工 嵩天)

    0 数据分析之前奏 课程主要内容:常用IDE:本课程主要使用:Anaconda Anaconda:一个集合,包括conda.某版本Python.一批第三方库等 -支持近800个第三方库 -适合科学计算 ...

  10. 不同平台下int类型、指针类型的数据大小

    不同平台下int类型.指针类型的数据大小 对于int类型数据和指针类型数据的大小,是非常基础的问题. 在一个具体的平台上,确定他们最好的办法就是使用sizeof(type)对其进行判断,返回当前数据类 ...