[詹兴致矩阵论习题参考解答]习题1.13
13. (Li-Poon) 证明: 每个实方阵都可以写成 $4$ 个实正交矩阵的线性组合, 即若 $A$ 是个实方阵, 则存在实正交矩阵 $Q_i$ 和实数 $r_i$, $i=1,2,3,4$, 使得 $$\bex A=r_1Q_1+r_2Q_2+r_3Q_3+r_4Q_4. \eex$$
证明: (1). 先证明: $A$ 的谱范数就是 $A$ 的最大奇异值. 事实上, $$\beex \bea \sen{A}_\infty^2 &=\max_{\sen{x}_2=1}\sen{Ax}_2^2\\ &=\max_{\sen{x}_2=1}x^*A^*Ax\\ &=\max_{\sen{x}_2=1}x^*VV^*A^*U^*UAVV^*x\\ &=\max_{\sen{y}_2=1}y^*\diag(s_1^2,\cdots,s_p^2)y\quad\sex{y=V^*x}\\ &=\max_{\sen{y}_2=1}\sum_{i=1}^p s_i^2|y_i|^2\\ &=s_1^2. \eea \eeex$$ (2). 由奇异值分解, 存在酉阵 $U,V$ 使得 $$\bex \frac{1}{\sen{A}_\infty}UAV =\diag(s_1,\cdots,s_n),\quad 1=s_1\geq s_2\geq \cdots\geq s_n\geq 0. \eex$$ 若 $n=2k$, 则正交阵 $$\bex R=\frac{1}{\sqrt{2}}\sex{\ba{cc} -1&1\\ 1&1 \ea} \eex$$ 使得 $$\bex R^T\sex{\ba{cc} s_{2j-1}&0\\ 0&s_{2j} \ea}R=\sex{\ba{cc} b_j&c_j\\ c_j&b_j \ea},\quad 2b_j=s_{2j-1}+s_{2j},\quad 2c_j=s_{2j}-s_{2j-1}. \eex$$ 如此, $$\beex \bea &\quad \diag(R,\cdots,R)^T \diag(s_1,\cdots,s_n) \diag(R,\cdots,R)\\ &=\diag\sex{ \sex{\ba{cc} b_1&c_1\\ c_1&b_1 \ea},\cdots,\sex{\ba{cc} b_k&c_k\\ c_k&b_k \ea}}\\ &=\frac{1}{2} \diag\sex{ \sex{\ba{cc} b_1&\sqrt{1-b_1}\\ -\sqrt{1-b_1}&b_1 \ea},\cdots,\sex{\ba{cc} b_k&\sqrt{1-b_k}\\ -\sqrt{1-b_k}&b_k \ea}}\\ &\quad+\frac{1}{2} \diag\sex{ \sex{\ba{cc} b_1&-\sqrt{1-b_1}\\ \sqrt{1-b_1}&b_1 \ea},\cdots,\sex{\ba{cc} b_k&-\sqrt{1-b_k}\\ \sqrt{1-b_k}&b_k \ea}}\\ &\quad+\frac{1}{2} \diag\sex{ \sex{\ba{cc} \sqrt{1-c_1}&c_1\\ c_1&-\sqrt{1-c_1} \ea},\cdots,\sex{\ba{cc} \sqrt{1-c_k}&c_k\\ c_k&-\sqrt{1-c_k} \ea} }\\ &\quad+\frac{1}{2} \diag\sex{ \sex{\ba{cc} -\sqrt{1-c_1}&c_1\\ c_1&\sqrt{1-c_1} \ea},\cdots,\sex{\ba{cc} -\sqrt{1-c_k}&c_k\\ c_k&\sqrt{1-c_k} \ea} }. \eea \eeex$$ 于是 $$\bex \frac{2}{\sen{A}_\infty}\diag(R,\cdots,R)^T UAV\diag(R,\cdots,R) \eex$$ 是 $4$ 个实正交阵的和, 而有结论. 若 $n=2k+1$, 则由已证, $$\bex \diag(1,R,\cdots,R)^T \diag(1,s_2,\cdots,s_n) \diag(1,R,\cdots,R) \eex$$ 也是 $4$ 个实正交阵的和的一半. 我们也有结论成立.
转载于:https://www.cnblogs.com/zhangzujin/p/4058544.html
[詹兴致矩阵论习题参考解答]习题1.13相关推荐
- [詹兴致矩阵论习题参考解答]习题6.6
6. 设 $A$ 是个非负本原方阵, 则 $$\bex \vlm{k} [\rho(A)^{-1}A]^k =xy^T, \eex$$ 其中 $x$ 和 $y$ 分别是 $A$ 和 $A^T$ 的 P ...
- [詹兴致矩阵论习题参考解答]习题3.6
6. 设 $A,B\in M_n$, $A$ 是正定矩阵, $B$ 是 Hermite 矩阵. 则 $$\bex A+B\mbox{ 正定当且仅当 }\lm_j(A^{-1}B)>-1,\qua ...
- [詹兴致矩阵论习题参考解答]习题7.1
1. (Maybee) 设 $A$ 是一个树符号模式. 证明: (1). 若 $A$ 的每个简单 $2$-圈都是正的, 则对于任何 $B\in Q(A)$, 存在可逆的实对角矩阵 $D$ 使得 $D^ ...
- [詹兴致矩阵论习题参考解答]习题1.3
3. 证明数值半径 $w(\cdot)$ 是 $M_n$ 上的一个范数. 证明: (1). $$\beex \bea w(A)&\geq 0;\\ w(A)=0&\ra x^*Ax=0 ...
- [詹兴致矩阵论习题参考解答]习题3.7
7. 设 $A\in M_n$ 正定, $1\leq k\leq n$. 则 $$\bex \prod_{j=1}^n \lm_j(A)=\max_{U^*U=I_k} \det U^*AU,\qua ...
- [詹兴致矩阵论习题参考解答]习题1.10
10. 矩阵 $A=(a_{ij})\in M_n$ 称为严格对角占优, 如果 $$\bex |a_{ii}|>\sum_{j\neq i}|a_{ij}|,\quad i=1,\cdots,n ...
- [詹兴致矩阵论习题参考解答]习题1.11
11. (Gersgorin 圆盘定理) 用 $\sigma(A)$ 表示 $A=(a_{ij})\in M_n$ 的特征值的集合, 记 $$\bex D_i=\sed{z\in\bbC;\ |z-a ...
- [詹兴致矩阵论习题参考解答]习题4.13
13. (Bhatia-Davis) 设 $A,B,X\in M_n$, 则 $$\bex \sen{AXB^*}\leq \frac{1}{2}\sen{A^*AX+XB^*B} \eex$$ 对任 ...
- [裴礼文数学分析中的典型问题与方法习题参考解答]4.3.13
证明: 如果在 $(-\infty,+\infty)$ 上的连续函数 $f(x)$ 满足 $$\bex \int_x^{x+1}f(x)\rd t=0, \eex$$ 那么 $f(x)$ 是周期函数. ...
最新文章
- centos7samba服务的搭建
- 核逼近(Kernel Approximation)
- python--练习--将字符串转成列表
- Shell脚本使用常见问题说明
- TCP/IP入门(4) --应用层
- LeetCode114. 不同的路径 python实现
- 应用层勾子IAT HOOK(源码)
- 毫秒级百万数据分页存储过程
- 如何在JavaScript中大写字符串的首字母
- Android 功耗(5)----功耗调试
- windows10升级助手_去哪升级显卡驱动最靠谱,千万别用驱动精灵,这些方法才稳...
- Dart 基礎 - 3
- 保持稳定迭代的秘密:基于Spinnaker的全自动渐进式交付
- 从统计显著性到显著性统计
- express框架下载及使用
- android webview 下载事件,Android使用WebView实现文件下载功能
- ROVIO WowWee 路威小车
- 计算机网络上有个红叉没无线,无线网络连接显示红叉不能上网怎么办?
- 安全态势攻防赛事可视化,助力网络安全发展
- Python人脸识别签到考勤系统
热门文章
- php 源文件加密工具PHP Screw
- 人大提出新模型,将Two Stage的Video Paragraph Captioning变成One Stage,性能却没下降...
- 智能化改造!AI技术在传统企业大有可为!
- 灵活、轻便,阿里开源简化GNN应用框架Graph-Learn
- CV Code | 计算机视觉开源周报20191002期
- Kaggle新手银牌:Airbus Ship Detection 卫星图像分割检测
- 重磅!彭博社“机器学习基础”教程视频及讲义下载
- 《知识图谱》2020综述论文,18位作者, 130页pdf,547篇参考文献
- C++ Primer 第五版 第6章 6.1——函数及函数定义及调用阅读笔记
- 特设三场!!快来看看 NVIDIA DLI 深度学习入门课程有没来到你的城市~