六、(本题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. 转载:string、const char*、 char* 、char[]相互转换

    本文转自:https://blog.csdn.net/rongrongyaofeiqi/article/details/52442169 一:转化总结形式如下: 使用时,要对源格式和目标格式进行初始化 ...

  2. 【1】hexo+github搭建个人博客的过程记录

    前提: 1.新建一个github仓库 2.安装配置Node.js 3.安装配置Git 前提 步骤1.新建一个github仓库 打开github网站,(注册)登录账号,新建一个仓库; 注:仓库名称要求, ...

  3. 『kamp 树形dp』

    kamp Description jz 市的云台山是个很美丽的景区,小 x 暑期到云台山打工,他的任务是开景区的大巴. 云台山景区有 N 个景点,这 N 个景点由 N-1 条道路连接而成,我们保证这 ...

  4. 【转】Visual Studio Code(VS code)你们都在用吗?或许你们需要看一下这篇博文

    写在前面 在前端开发中,有一个非常好用的工具,Visual Studio Code,简称VS code. 都不用我安利VS code,大家就会乖乖的去用,无数个大言不惭的攻城狮,都被VS code比德 ...

  5. ASP.NET Core使用MongoDB数据库

    环境:Asp.Net Core Mvc 2.2,MongoDB 4.09 参考文档:http://mongodb.github.io/mongo-csharp-driver/ http://mongo ...

  6. Go是如何生活在内存条里的【译】

    原文:A visual guide to Go Memory Allocator from scratch (Golang) 当我第一次开始试图了解 Go 的内存分配器时,觉得它真令人抓狂.所有的所有 ...

  7. drf--版本控制

    目录 作用 内置版本控制 局部使用 全局使用 案例 源码分析 作用 因为程序在不停的更新迭代,新版和旧版差别比较大,但此时有些用户没用进行更新,还是访问的旧版,此时就需要进行版本控制,让用户体验更好 ...

  8. git操作:查看分支、删除本地分支和远程分支

    1.查看本地分支:git branch 2.查看远程分支:git branch -r 或 git branch --remote 3.查看本地和远程的所有分支:git branch -a 4.删除本地 ...

  9. javascript中的12种循环遍历方法1

    1:for循环 let arr = [1,2,3]; for(let i =0;i<arr.length;i++){ console.log(i,arr[i]) } //for循环是js中最常用 ...

  10. 网页百度地图api,支持位置偏移

    网页百度地图api,支持位置偏移 需加载 jq <style type="text/css"> #allmap {width:100%; height:100%; bo ...