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

简介: 8. 证明任何一个复方阵都酉相似于某个对角元素全部相等的矩阵.     证明: (1). 先证每个迹为零的矩阵都酉相似于对角元素全为零的矩阵. 对阶 n 作数学归纳法. 当 n=1 时, 结论自明.

8. 证明任何一个复方阵都酉相似于某个对角元素全部相等的矩阵.

 

 

证明: (1). 先证每个迹为零的矩阵都酉相似于对角元素全为零的矩阵. 对阶 n 作数学归纳法. 当 n=1 时, 结论自明. 假设结论对阶 n1 时都成立, 则当阶为 n 时, \bexA=(aij),\trA=a11++ann=0.\eex

\bee i,\staii=0,\eee
\bexeiAei=0,ei=(0,,1i,,0)T.\eex
ei 扩充为 \bbCn 的一组基 \bexei,\al2,,\aln,\eex
\bex A(e_i,\al_2,\cdots,\al_n)=(e_i,\al_2,\cdots,\al_n) \sex{\ba{cc} 0&*\\ *&B \ea}. \eex
按照归纳假设, 存在 n1 阶酉矩阵 V 使得 \bex V^{-1}BV=\sex{\ba{ccc} 0&&*\\ &\ddots&\\ *&&0 \ea}. \eex
\bex U=(e_i,\al_2,\cdots,\al_n)\sex{\ba{cc} 1&0\\ 0&V \ea}, \eex
U 为酉矩阵, 且 \bex U^{-1}AU=\sex{\ba{cc} 0&*\\ *&0 \ea}. \eex
(???) 不成立, 则 \bex jk,\stajj<0<akk.\eex
\bexf(t)=[(1t)ej+tek]TA[(1t)ej+tek],\eex
f(t) 为连续函数, f(0)=ajj<0<akk=f(1). 由介值定理, \bex t0(0,1),\stf(t0)=0.\eex
注意到 \bex\sen(1t)ej+tek22=(1t)2+t2>0,\eex
而可将 (1t)ej+tek 单位化后再扩充为 \bbCn 的一组基, 如此回到 (???) 的情形.

 

(2). 再证题目. 一般的, \bexA=aI+C,a=1n\trA,\trC=0.\eex

由 (1), 存在酉矩阵 U, 使得 \bex U^{-1}CU=\sex{\ba{ccc} 0&&*\\ &\ddots&\\ *&&0 \ea}\ra U^{-1}AU=aI+\sex{\ba{ccc} 0&&*\\ &\ddots&\\ *&&0 \ea}=\sex{\ba{ccc} a&&*\\ &\ddots&\\ *&&a \ea}. \eex

目录
打赏
0
0
0
0
15
分享
相关文章
[詹兴致矩阵论习题参考解答]习题7.6
6. 举例说明: 存在那样的实方阵 A, A 的零元素的个数大于 A 的 Jordan 标准形的零元素的个数.       解答: 想法就是利用第 5 节的 Jordan 标准形的组合刻画.
668 0
[詹兴致矩阵论习题参考解答]习题6.12
12. 设 A 是个 n 阶振荡矩阵, 则 An1 是全面正矩阵.       证明: 我相信可以利用定理 6.27 (Wielandt) 或者其证明思路, 但是目前还没有做出来.
597 0
[詹兴致矩阵论习题参考解答]习题7.3
3. 一个 n 阶符号模式方阵 A 称为谱任意模式, 如果每个首一的 n 次实多项式都是 Q(A) 中某个矩阵的特征多项式. 研究谱任意模式.       证明: Open problems.
546 0
[詹兴致矩阵论习题参考解答]习题7.2
2. 证明引理 7.13.       证明: 用反证法. 若对任一置换阵 P, PA 的对角元都至少有一个为零, 则 A 的每条对角线至少含有一个零元素. 由 Frobenius-K\"onig 定理, A 有一个 r×s 阶的零子矩阵, r+s=n+1.
659 0
[詹兴致矩阵论习题参考解答]习题6.5
5. (Levinger, 1970) 设 A 是个不可约非负方阵, 则函数 \bexf(t)=ρ[tA+(1t)AT]\eex
[0,1/2] 上递增, 在 [1/2,1] 上递减.
528 0
[詹兴致矩阵论习题参考解答]习题4.5
5. 设 A,BMn, 则 $$\bex s_j(AB)\leq \sen{A}_\infty s_j(B),\quad s_j(AB)\leq \sen{B}_\infty s_j(A),\quad j=1,\cdots,n.
553 0
[詹兴致矩阵论习题参考解答]习题4.12
12. 设 p,q 为正实数, 满足 \dps1p+1q=1, 则对 A,BMn 和酉不变范数有 $$\bex \sen{AB}\leq \sen{|A|^p}^\frac{1}{p} \sen{|B|^q}^\frac{1}{q}.
619 0
[詹兴致矩阵论习题参考解答]习题4.14
14. 设 A,BMn, 则对 Mn 上的任何酉不变范数有 $$\bex \frac{1}{2}\sen{\sex{\ba{cc} A+B&0\\ 0&A+B \ea}}\leq \sen{\sex{\ba{cc} A&0\\ 0&B \ea}} \leq \sen{\sex{\ba{cc} |A|+|B|&0\\ 0&0 \ea}}.
677 0
[詹兴致矩阵论习题参考解答]习题4.9
9. 设 \senMn 上的酉不变范数, 则 \sen 是次可乘当且仅当 \bex\sen\diag(1,0,,0)1.\eex
      证明: \ra: 若 \sen 次可乘, ...
605 0
[詹兴致矩阵论习题参考解答]习题4.3
3. GMn 称为一个秩 k 部分等距矩阵, 若 \bexs1(G)==sk(G)=1,sk+1(G)==sn(G)=0.\eex
证明对 XMn, $$\bex \sum_{j=1}^k s_j(X) =\...
699 0

热门文章

最新文章

AI助理

你好,我是AI助理

可以解答问题、推荐解决方案等