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

简介: 11. $M_n$ 上的范数 $\sen{\cdot}$ 称为是对称的, 若 $$\bex \sen{ABC}\leq \sen{A}_\infty\sen{C}_\infty \sen{B},\quad \forall\ A,B,C\in M_n.

11. $M_n$ 上的范数 $\sen{\cdot}$ 称为是对称的, 若 $$\bex \sen{ABC}\leq \sen{A}_\infty\sen{C}_\infty \sen{B},\quad \forall\ A,B,C\in M_n. \eex$$ 证明: $\sen{\cdot}$ 对称当且仅当 $\sen{\cdot}$ 是酉不变的.

 

 

 

证明: $\ra$: 对酉阵 $U,V$, $$\beex \bea \sen{UAV}&\leq \sen{U}_\infty \sen{V}_\infty \sen{A}=\sen{A};\\ \sen{A}&=\sen{U^*(UAV)V^*} \leq \sen{U^*}_\infty \sen{V^*}_\infty \sen{UAV} =\sen{UAV}. \eea \eeex$$ 故 $$\bex \sen{UAV}=\sen{A},\quad \forall\ A\in M_n. \eex$$ $\la$: 为证 $$\bex \sen{ABC}\leq \sen{\sen{A}_\infty \sen{C}_\infty B}, \eex$$ 由 Fan 支配定理 (定理 4.24), 仅须证明 $$\bex s(ABC)\prec_w s(\sen{A}_\infty \sen{C}_\infty B), \eex$$ 而这可由 $$\beex \bea s_j(ABC)&\leq s_1(A)s_j(BC)\quad\sex{\mbox{推论 4.3}}\\ &\leq s_1(A)s_j(B)s_1(C)\quad\sex{\mbox{推论 4.3}}\\ &=\sen{A}_\infty\sen{C}_\infty s_j(B)\quad\sex{s_1(A)=\sen{A}_\infty}\\ &=s_j(\sen{A}_\infty \sen{C}_\infty B) \eea \eeex$$ 立即推出.

目录
相关文章
[詹兴致矩阵论习题参考解答]习题6.13
13. (Sinkhorn) 设 $A$ 是一个方的正矩阵, 则存在对角元素为正数的两个对角矩阵 $D_1$ 和 $D_2$ 使得 $D_1AD_2$ 为双随机矩阵 (doubly stochastic matrix).
599 0
[詹兴致矩阵论习题参考解答]习题7.1
1. (Maybee) 设 $A$ 是一个树符号模式. 证明:   (1). 若 $A$ 的每个简单 $2$-圈都是正的, 则对于任何 $B\in Q(A)$, 存在可逆的实对角矩阵 $D$ 使得 $D^{-1}AD$ 为对称矩阵.
646 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$.
705 0
|
Perl
[詹兴致矩阵论习题参考解答]习题6.9
9. (Hopf) 将 $n$ 阶正矩阵 $A=(a_{ij})$ 的特征值按模从大到小排列为 $$\bex \rho(A)>|\lm_2|\geq \cdot \geq |\lm_n|, \eex$$ 并记 $$\bex \al=\max\sed{a_{ij};1\leq i,j\leq n}, \quad \beta=\min \max\sed{a_{ij};1\leq i,j\leq n}.
532 0
[詹兴致矩阵论习题参考解答]习题6.4
4. 设 $A$ 是个不可约非负方阵, $0\leq t\leq 1$, 则 $$\bex \rho[tA+(1-t)A^T]\geq \rho(A). \eex$$       证明:   (1).
557 0
|
资源调度
[詹兴致矩阵论习题参考解答]习题6.1
1. 怎样的非负矩阵可逆并且其逆也非负?       解答: 设 $A\geq0$ 可逆, 且其逆 $A^{-1}=B\geq 0$. 则 $$\bex I_n=AB=BA. \eex$$ 对 $A$ 的第 $i$ ($1\leq i\leq n$) 列, 由 $A$ 可逆知 $$\bex \exists\ j,\st a_{ij}>0.
521 0
|
资源调度
[詹兴致矩阵论习题参考解答]习题6.8
8. 设 $A$ 是个不可约奇异 $M$-矩阵, 则存在正向量 $x$ 满足 $Ax=0$.       证明: 由 $A$ 为 $M$-矩阵知 $$\bex A=cI-B,\quad c\geq \rho(B),\quad B\geq 0.
627 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$ 只有有限多个.
554 0
[詹兴致矩阵论习题参考解答]习题4.9
9. 设 $\sen{\cdot}$ 是 $M_n$ 上的酉不变范数, 则 $\sen{\cdot}$ 是次可乘当且仅当 $$\bex \sen{\diag(1,0,\cdots,0)}\geq 1. \eex$$       证明: $\ra$: 若 $\sen{\cdot}$ 次可乘, ...
588 0
|
Perl
[詹兴致矩阵论习题参考解答]习题4.3
3. $G\in M_n$ 称为一个秩 $k$ 部分等距矩阵, 若 $$\bex s_1(G)=\cdots=s_k(G)=1,\quad s_{k+1}(G)=\cdots=s_n(G)=0. \eex$$ 证明对 $X\in M_n$, $$\bex \sum_{j=1}^k s_j(X) =\...
686 0