[詹兴致矩阵论习题参考解答]习题3.11

简介: 11. (Ky Fan) 对于 $A\in M_n$, 记 $\Re A=(A+A^*)/2$. 证明: $$\bex \Re \lm(A)\prec \lm(\Re A), \eex$$ 其中 $\lm(A)$ 表示 $A$ 的特征值作成的向量, $\Re\lm(A)$ 表取 $A$ 的特征值的实部所得向量.

11. (Ky Fan) 对于 $A\in M_n$, 记 $\Re A=(A+A^*)/2$. 证明: $$\bex \Re \lm(A)\prec \lm(\Re A), \eex$$ 其中 $\lm(A)$ 表示 $A$ 的特征值作成的向量, $\Re\lm(A)$ 表取 $A$ 的特征值的实部所得向量.

 

 

证明:

 

(1). 先证明对 Hermite 阵 $H$, 若它的特征值为 $$\bex \lm_1\geq \cdots\geq \lm_n, \eex$$ 则 $$\bex \sum_{i=1}^k \lm_i =\max_{\sen{x_i}=1\atop i=1,\cdots,k} \sum_{i=1}^k \sef{Hx_i,x_i}. \eex$$ 事实上, 由 $H$ 为 Hermite 阵知存在酉阵 $U$, 使得 $$\bex U^*HU=\diag(\lm_1,\cdots,\lm_n). \eex$$ 若记 $U=(u_1,\cdots,u_n)$, 则 $$\bex \sum_{i=1}^k \sef{Hu_i,u_i}=\sum_{i=1}^k \lm_i. \eex$$ 另一方面, 对任一适合 $\sen{x_i}=1$ 的向量组 $x_1,\cdots,x_k$, 可设 $$\bex x_i=\sum_{j=1}^n a_{ij}u_j,\quad \sum_{j=1}^n |a_{ij}|^2=1, \eex$$ 而 $$\beex \bea Ax_i&=\sum_{j=1}^n a_{ij}\lm_ju_j,\\ \sef{Ax_i,x_i}&=\sef{ \sum_{j=1}^n a_{ij}\lm_ju_j,\sum_{l=1}^n a_{il}u_l}\\ &=\sum_{j,l=1}^n a_{ij}\bar a_{il}\lm_j\sef{u_j,u_l}\\ &=\sum_{j=1}^n a_{ij}\bar a_{ij} \lm_j\\ &=\sum_{j=1}^n |a_{ij}|^2 \lm_j\\ &=\sum_{j=1}^n |a_{ij}|^2 \lm_k +\sum_{j=1}^n |a_{ij}|^2 (\lm_j-\lm_k)\\ &=\lm_k +\sum_{j=1}^k |a_{ij}|^2 (\lm_j-\lm_k) +\sum_{j=k+1}^n |a_{ij}|^2 (\lm_j-\lm_k)\\ &\leq \lm_k +\sum_{j=1}^k |a_{ij}|^2 (\lm_j-\lm_k),\\ \sum_{i=1}^k \sef{Ax_i,x_i} &\leq k\lm_k +\sum_{i=1}^k \sum_{j=1}^k |a_{ij}|^2(\lm_j-\lm_k)\\ &\leq k\lm_k+\sum_{j=1}^k (\lm_j-\lm_k)\sum_{i=1}^k |a_{ij}|^2\\ &\leq k\lm_k+\sum_{j=1}^k (\lm_j-\lm_k)\\ &=\sum_{j=1}^k \lm_j. \eea \eeex$$

 

(2). 再证题目. 由 $A\in M_n$ 及 Schur 酉三角化定理, 存在酉阵 $V$ 使得 $$\bex V^*AV=\sex{\ba{ccc} \lm_1(A)&&*\\ &\ddots&\\ &&\lm_n(A) \ea}. \eex$$ 记 $V=(v_1,\cdots,v_n)$, 则 $$\bex \sef{Av_i,v_i}=\lm_i(A). \eex$$ 于是对 $1\leq k\leq n$, $$\beex \bea \sum_{i=1}^k \Re \lm_i(A) &=\sum_{i=1}^k \frac{\lm_i(A)+\overline{\lm_i(A)}}{2}\\ &=\sum_{i=1}^k \frac{1}{2}\sef{Av_i,v_i} +\frac{1}{2} \overline{\sef{Av_i,v_i}}\\ &=\sum_{i=1}^k \frac{1}{2}\sef{Av_i,v_i} +\frac{1}{2}\sef{A^*v_i,v_i}\quad\sex{\overline{\sef{Av_i,v_i}} =\sef{v_i,Av_i}=\sef{A^*v_i,v_i}}\\ &=\sum_{i=1}^k \sef{\frac{A+A^*}{2}v_i,v_i}\\ &=\sum_{i=1}^k \sef{\Re A v_i,v_i}\\ &\leq \sum_{i=1}^k \lm_i(\Re A)\quad\sex{\mbox{由 (1)}}. \eea \eeex$$

目录
相关文章
[詹兴致矩阵论习题参考解答]习题7.3
3. 一个 $n$ 阶符号模式方阵 $A$ 称为谱任意模式, 如果每个首一的 $n$ 次实多项式都是 $Q(A)$ 中某个矩阵的特征多项式. 研究谱任意模式.       证明: Open problems.
536 0
|
资源调度 机器学习/深度学习 Perl
[詹兴致矩阵论习题参考解答]习题7.5
5. 元素属于 $\sed{0,*}$ 的矩阵称为零模式矩阵. 设 $A$ 是零模式矩阵, 用 $Q_\bbF(A)$ 记元素属于域 $\bbF$ 的具有零模式 $A$ 的矩阵的集合, 即若 $B\in Q_F(A)$, $B=(b_{ij})$, $A=(a_{ij})$, 则 $b_{ij}=0$ 当且仅当 $a_{ij}=0$.
704 0
[詹兴致矩阵论习题参考解答]习题6.12
12. 设 $A$ 是个 $n$ 阶振荡矩阵, 则 $A^{n-1}$ 是全面正矩阵.       证明: 我相信可以利用定理 6.27 (Wielandt) 或者其证明思路, 但是目前还没有做出来.
584 0
|
资源调度
[詹兴致矩阵论习题参考解答]习题6.7
7. 设 $A$ 是个非负幂零矩阵, 即存在正整数 $p$ 使得 $A^p=0$. 则 $A$ 置换相似于一个上三角矩阵.       证明: 由 $A^p=0$ 知 $\sigma(A)=0$, 而 $\rho(A)=0$.
767 0
[詹兴致矩阵论习题参考解答]习题5.1
1. $A\in M_n$ 称为正交投影矩阵如果 $A$ 是 Hermite 矩阵且幂等: $$\bex A^*=A=A^2. \eex$$ 证明: 若 $A,B\in M_n$ 为正交投影矩阵, 则 $\sen{A-B}_\infty \leq 1$.
710 0
|
资源调度 Perl
[詹兴致矩阵论习题参考解答]习题5.5
5. (Friedland) 给定 $A\in M_n$, $\lm_i\in \bbC$, $i=1,\cdots,n$. 证明: 存在对角矩阵 $D\in M_n$ 使得 $\sigma(A+D)=\sed{\lm_1,\cdots,\lm_n}$, 并且满足上述条件的对角矩阵 $D$ 只有有限多个.
553 0
[詹兴致矩阵论习题参考解答]习题4.1
1. (Fan-Hoffman). 设 $A\in M_n$, 记 $\Re A=(A+A^*)/2$. 则 $$\bex \lm_j(\Re A)\leq s_j(A),\quad j=1,\cdots,n.
516 0
[詹兴致矩阵论习题参考解答]习题4.17
17. (Ando-Zhan) 设 $A,B\in M_n$ 半正定, $\sen{\cdot}$ 是一个酉不变范数, 则 $$\bex \sen{(A+B)^r}\leq \sen{A^r+B^r},\quad (0
812 0
[詹兴致矩阵论习题参考解答]习题4.16
16. (Fan-Hoffman) 设 $A\in M_n$, $A=UP$ 为极分解, $U$ 为酉矩阵, $P$ 为半正定矩阵. 若 $W\in M_n$ 为酉矩阵, 则 $$\bex \sen{A-U}\leq \sen{A-W}\leq \sen{A+U} \eex$$ 对任何酉不变范数成立.
621 0
|
资源调度
[詹兴致矩阵论习题参考解答]习题3.12
12. (Webster) 设 $A=(a_{ij})$ 是有 $k$ 个正元素的 $n$ 阶双随机矩阵. 证明, 存在 $1,2,\cdots,n$ 的一个排列 $\sigma$ 使得 $$\bex \sum_{i=1}^n\frac{1}{a_{i\sigma(i)}}\leq k.
613 0