[詹兴致矩阵论习题参考解答]习题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) =\max\sed{|\tr(XG)|; G\mbox{ 是个秩 }k\mbox{ 部分等距矩阵, }G\in M_n}. \eex$$ 再用这个表达式证明定理 4.9.

证明: (1). 设 $X$ 有奇异值分解 $$\bex X=U\diag(s_1,\cdots,s_n)V, \eex$$ 其中 $U,V$ 均为酉阵. 取 $$\bex G=V^*\diag(\underbrace{1,\cdots,1}_{k\mbox{ 个}},0,\cdots,0)U^*, \eex$$ 则 $G$ 一个秩 $k$ 部分等距矩阵, 且 $$\beex \bea |\tr(XG)| &=|\tr (U\diag(s_1,\cdots,s_k,0,\cdots,0)U^*|\\ &=|\tr(\diag(s_1,\cdots,s_k,0,\cdots,0))|\\ &=\sum_{j=1}^k s_j(X). \eea \eeex$$ (2). 对任一秩 $k$ 部分等距矩阵 $G$, $$\beex \bea |\tr(XG)|&\leq \sum_{j=1}^n s_j(XG)\quad\sex{\mbox{推论 4.11}}\\ &\leq \sum_{j=1}^n s_j(X)s_1(G)\quad\sex{\mbox{定理 4.3}}\\ &=\sum_{j=1}^n s_j(X). \eea \eeex$$ (3). 证明定理 4.9 如下. 对 $1\leq k\leq n$, $$\beex \bea \sum_{i=1}^k s_i(A+B) &=\sum_{i=1}^k \max\sed{ |\tr((A+B)G)|; G\mbox{ 是个秩 }k\mbox{ 部分等距矩阵, }G\in M_n }\\ &\leq \sum_{i=1}^k \max\sed{ |\tr(AG)|; G\mbox{ 是个秩 }k\mbox{ 部分等距矩阵, }G\in M_n }\\ &\quad+ \sum_{i=1}^k \max\sed{ |\tr(BG)|; G\mbox{ 是个秩 }k\mbox{ 部分等距矩阵, }G\in M_n }\\ &=\sum_{i=1}^k s_i(A) +\sum_{i=1}^k s_i(B)\\ &=\sum_{i=1}^k [s_i(A)+s_i(B)]. \eea \eeex$$

时间： 2024-11-05 12:35:15

[詹兴致矩阵论习题参考解答]习题4.3的相关文章

[詹兴致矩阵论习题参考解答]习题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$$ 下的最小最大值. 这个我已经注意到了, 不过叫我去做, 可能还是做不出来, 或者说做不全. 努力哦, 有了想法必须要去实现, 不然梦想终归

[詹兴致矩阵论习题参考解答]习题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}. \eex$$ 则 $$\bex \frac{|\lm_2|}{\rho(A)}\leq \frac

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

6. 举例说明: 存在那样的实方阵 $A$, $A$ 的零元素的个数大于 $A$ 的 Jordan 标准形的零元素的个数. 解答: 想法就是利用第 5 节的 Jordan 标准形的组合刻画. 既然非对角元的零元素的个数 Jordan 标准形最多. 我们只能让 $A$ 的对角元尽量地多为零, 但其特征值尽量少地为零. 一个例子即为: $$\bex A=\sex{\ba{cccc} 0&-1&&\\ 1&0&1&\\ &0&-1\\ &&

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

15. 设 $S_n[a,b]$ 表示所有元素属于给定的区间 $[a,b]$ 的 $n$ 阶实对称矩阵的集合. 对于 $j=1,n$ 确定 $$\bex \max\sed{\lm_j(A);\ A\in S_n[a,b]}\mbox{ 和 } \min\sed{\lm_j(A);\ A\in S_n[a,b]}, \eex$$ 以及分别取到最大值和最小值的矩阵. 解答: 对 $0\neq x\in\bbR^n$, $$\beex \bea &\quad x^TAx\\ &=x^TP^T (

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

14. 如果映射 $f:M_n\to M_n$ 按某个固定的模式将 $M_n$ 中的每个矩阵的元素重排, 则称 $f$ 为一个置换算子. 怎样的置换算子保持矩阵的特征值不变? 保持秩不变? 解答: 置换算子 $f$ 保持矩阵的特征值不变当且仅当存在置换矩阵 $P$, 使得 $$\bex f(A)=PAP^T,\quad \forall\ A\in M_n; \eex$$ 或 $$\bex f(A)=PA^TP^T,\quad \forall\ A\in M_n. \eex$$ 置换算子 $f$

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

9. 记 $\dps{m=\sex{n\atop k}}$. 复合矩阵映射 $C_k(\cdot): M_n\to M_m$ 是单射吗? 是满射吗? 解答: 当 $k=1$ 时, $C_k(A)$ 就是 $A$ 的每个元素. 故 $C_k$ 是单射也是满射. 当 $k\geq 2$ 时, 一般地, $C_k$ 不是单射, 比如 $$\bex \sex{\ba{cccc} 1&0&\cdots&0\\ 0&0&\cdots&0\\ \vdots&\vd

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

8. 设 $k\leq m\leq n$. 怎样的矩阵 $A\in M_{m,n}$ 的每条对角线恰好含有 $k$ 个零元素? 解答: 由定理 2.5 (K\"onig), $A$ 的每条对角线都含有 $k$ 个零元素 $\lra$ $A$ 有一个 $r\times s$ 的零子矩阵, $r+s=n+k$; $A$ 有一条对角线含有 $k+1$ 个零元素 $\lra$ $A$ 的任一 $r\times s$ 阶子矩阵非零, $r+s=n+k+1$. 于是 $A$ 的每条对角线恰含有 $k$ 个零

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

1. 对于怎样的 $A\in M_m$, $B\in M_n$, $A\otimes B=I$? 解答:     写出     $$\bex     A\otimes B=\sex{\ba{ccc}     a_{11}B&\cdots&a_{1n}B\\     \vdots&\ddots&\vdots\\     a_{n1}B&\cdots&a_{nn}B     \ea}.     \eex$$     要使 $A\otimes B=I$, 当且仅当

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

3. 设 $\lm$ 是一个复数. 证明: 存在非负方阵 $A$ 使得 $\lm$ 是 $A$ 的一个特征值. 证明: (1). 首先 $A$ 的阶数须 $\geq 3$. 当 $n=1$ 时, 非负方阵的特征值为非负实数. 当 $n=2$ 时, 由 $$\beex \bea |\lm I-A|&=\lm^2 -(a_{11}+a_{22})\lm +a_{11}a_{22}-a_{21}a_{12}\\ &=\sez{\lm-\frac{a_{11}+a_{22}}{2}}^2 +a_{

[詹兴致矩阵论习题参考解答]习题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. \eex$$ 又由 $$\bex a_{ij}b_{jk}\leq \sum_{l=1}^n a_{il}b_{lk}=\delta_{ik} \eex$$ 知 $$\b