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

简介: 9. 设 $\sen{\cdot}$ 是 $M_n$ 上的酉不变范数, 则 $\sen{\cdot}$ 是次可乘当且仅当 $$\bex \sen{\diag(1,0,\cdots,0)}\geq 1. \eex$$       证明: $\ra$: 若 $\sen{\cdot}$ 次可乘, ...

9. 设 $\sen{\cdot}$ 是 $M_n$ 上的酉不变范数, 则 $\sen{\cdot}$ 是次可乘当且仅当 $$\bex \sen{\diag(1,0,\cdots,0)}\geq 1. \eex$$

 

 

 

证明: $\ra$: 若 $\sen{\cdot}$ 次可乘, 则 $$\beex \bea \sen{\diag(1,0,\cdots,0)} &=\sen{\diag(1,0,\cdots,0)\cdot \diag(1,0,\cdots,0)}\\ &\leq \sen{\diag(1,0,\cdots,0)}\cdot \sen{\diag(1,0,\cdots,0)}. \eea \eeex$$ 由 $$\bex \diag(1,0,\cdots,0)\neq 0\ra \sen{\diag(1,0,\cdots,0)}>0 \eex$$ 即知 $$\bex 1\leq \sen{\diag(1,0,\cdots,0)}. \eex$$ $\la$: 由第 11 题知 $$\bex \sen{ABC}\leq \sen{A}_\infty\sen{C}_\infty\sen{B},\quad\forall\ A,B,C\in M_n. \eex$$ 取 $C=I$ 有 $$\bex \sen{AB}\leq \sen{A}_\infty\sen{B},\quad \forall\ A,B\in M_n. \eex$$ 为证 $\sen{\cdot}$ 是次可乘的, 仅须验证 $$\bee\label{4_9_inf} \sen{A}_\infty\leq \sen{A},\quad \forall\ A\in M_n. \eee$$而 \eqref{4_9_inf} 可验证如下. 对 $A\in M_n$, 由奇异值分解, 存在酉阵 $U,V$ 使得 $$\bex UAV=\diag(s_1,\cdots,s_n). \eex$$ 于是 $$\beex \bea \sen{A}_\infty &=s_1\quad\sex{\mbox{可参考第 1 章第 13 题的证明}}\\ &\leq \sen{s_1\diag(1,0,\cdots,0)}\\ &\leq \sen{\diag(s_1,\cdots,s_n)}\quad\sex{ \sex{s_1,0,\cdots,0}\prec \sex{s_1,\cdots,s_n},\mbox{ 由 Fan 支配原理} }\\ &=\sen{A}. \eea \eeex$$

目录
相关文章
[詹兴致矩阵论习题参考解答]习题7.2
2. 证明引理 7.13.       证明: 用反证法. 若对任一置换阵 $P$, $PA$ 的对角元都至少有一个为零, 则 $A$ 的每条对角线至少含有一个零元素. 由 Frobenius-K\"onig 定理, $A$ 有一个 $r\times s$ 阶的零子矩阵, $r+s=n+1$.
608 0
[詹兴致矩阵论习题参考解答]习题7.3
3. 一个 $n$ 阶符号模式方阵 $A$ 称为谱任意模式, 如果每个首一的 $n$ 次实多项式都是 $Q(A)$ 中某个矩阵的特征多项式. 研究谱任意模式.       证明: Open problems.
523 0
|
资源调度
[詹兴致矩阵论习题参考解答]习题6.10
10. 非本原指标为 $k$ 的 $n$ 阶不可约非负矩阵的正元素的个数可能是哪些数呢?       解答: 只需利用定理 6.28 (Frobenius), 探讨 $$\bex f(x_1,\cdots,x_n)=\sum_{i=1}^n x_ix_{i+1} \eex$$ 在条件 $$\bex x_i>0,\quad\sum_{i=1}^n x_i=n \eex$$ 下的最小最大值.
590 0
|
机器学习/深度学习
[詹兴致矩阵论习题参考解答]习题6.3
3. 设 $\lm$ 是一个复数. 证明: 存在非负方阵 $A$ 使得 $\lm$ 是 $A$ 的一个特征值.       证明:   (1). 首先 $A$ 的阶数须 $\geq 3$. 当 $n=1$ 时, 非负方阵的特征值为非负实数.
676 0
[詹兴致矩阵论习题参考解答]习题6.4
4. 设 $A$ 是个不可约非负方阵, $0\leq t\leq 1$, 则 $$\bex \rho[tA+(1-t)A^T]\geq \rho(A). \eex$$       证明:   (1).
539 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.
507 0
|
资源调度
[詹兴致矩阵论习题参考解答]习题5.3
3. (Bhatia-Davis) 设 $A,B\in M_n$ 为酉矩阵, 则 $$\bex \rd(\sigma(A),\sigma(B))\leq \sen{A-B}_\infty. \eex$$     证明: [见 R.
664 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$ 只有有限多个.
539 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.
501 0
|
资源调度 前端开发 rax
[詹兴致矩阵论习题参考解答]习题4.10
10. 设 $A,B\in M_n$ 并且 $AB$ 为 Hermite 矩阵, 则对任何酉不变范数 $$\bex \sen{AB}\leq \sen{\Re(BA)}. \eex$$       证明: (1).
557 0

热门文章

最新文章