[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.2.8
For any matrix $A$ the series $$\bex \exp A=I+A+\frac{A^2}{2!}+\cdots+\frac{A^n}{n!}+\cdots \eex$$ converges. This is called the exponential of $A$. The matrix $A$ is always invertible and $$\bex (\exp A)^{-1}=\exp(-A). \eex$$ Conversely, every invertible matrix can be expressed as the exponential of some matrix. Every unitary matrix can be expressed as the exponential of a skew-Hermitian matrix.
Solution.
(1). $$\bex \exp A=\sum_{n=0}^\infty \frac{A^n}{n!} \eex$$ follows from the fact that $$\bex \sum_{n=0}^\infty \frac{\sen{A}^2}{n!}=\exp \sen{A}<\infty \eex$$ and the completeness of $\M(n)$.
(2). By taking limits in $$\beex \bea &\quad\sex{\sum_{k=0}^n\frac{A^k}{k!}} \cdot \sex{\sum_{l=0}^n \frac{B^l}{l!}}\quad\sex{AB=BA}\\ &=\sum_{k,l=0}^n \frac{A^kB^l}{k!l!}\\ &=\sum_{s=0}^{2n} \frac{1}{s!}\sum_{k+l=s}\frac{s!}{k!(s-k)!}A^kB^{s-k}\\ &=\sum_{s=0}^{2n}\frac{1}{s!}(A+B)^s, \eea \eeex$$ we have $$\bex \exp(A)\cdot \exp (B)=\exp(A+B). \eex$$ Taking $B=-A$, we see readily that $$\bex \exp(A)\cdot \exp(-A)=I. \eex$$
(3). For invertible matrix $A$, by theJordan canonical decomposition, there exists an unitary $U$ such that $$\bex A=U\diag(J_1,\cdots,J_s)U^*, \eex$$ with the diagonals $\lm_i$ of $J_i$ is not equal to zero. We only need to show that $J_i$ is the exponential of some matrix. In fact, set $\mu_i\in\bbC$ satisfy $e^{\mu_i}=\lm_i$ and $$\bex \vLm_i=\diag(\mu_i,\cdots,\mu_i), \eex$$ then its exponential $$\bex \exp \vLm_i=\diag(\lm_i,\cdots,\lm_i) \eex$$ has the same eigenvalues of $J_i$. Hence, they are similar, and there exists some invertible matrix $P_i$ such that $$\bex J_i=P_i^{-1}\exp \vLm_i P_i=\exp [P_i^{-1}\vLm_iP_i]. \eex$$
(4). For $U\in \U(n)$, $$\bex U=\exp B\ra I=U^*U=\exp (B^*)\cdot \exp (B)=\exp(B^*+B)\ra B^*=-B. \eex$$
[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.2.8的更多相关文章
- [Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.4.1
Let $x,y,z$ be linearly independent vectors in $\scrH$. Find a necessary and sufficient condition th ...
- [Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.3.7
For every matrix $A$, the matrix $$\bex \sex{\ba{cc} I&A\\ 0&I \ea} \eex$$ is invertible and ...
- [Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.5.10
Every $k\times k$ positive matrix $A=(a_{ij})$ can be realised as a Gram matrix, i.e., vectors $x_j$ ...
- [Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.5.5
Show that the inner product $$\bex \sef{x_1\vee \cdots \vee x_k,y_1\vee \cdots\vee y_k} \eex$$ is eq ...
- [Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.5.1
Show that the inner product $$\bex \sef{x_1\wedge \cdots \wedge x_k,y_1\wedge \cdots\wedge y_k} \eex ...
- [Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.4.6
Let $A$ and $B$ be two matrices (not necessarily of the same size). Relative to the lexicographicall ...
- [Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.4.4
(1). There is a natural isomorphism between the spaces $\scrH\otimes \scrH^*$ and $\scrL(\scrH,\scrK ...
- [Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.2.7
The set of all invertible matrices is a dense open subset of the set of all $n\times n$ matrices. Th ...
- [Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.2.6
If $\sen{A}<1$, then $I-A$ is invertible, and $$\bex (I-A)^{-1}=I+A+A^2+\cdots, \eex$$ aa converg ...
随机推荐
- 前端跨域之html5 XMLHttpRequest Level2
前端代码 var xhr=new XMLHttpRequest(); xhr.open('POST','http://127.0.0.1:8081/ceshi',true); xhr.onreadys ...
- IOS调用相机相册
#import "SendViewController.h" //只能打开,没有加载图片的代码,老代码,供参考 #import <MobileCoreServices/UT ...
- NSUserDefault 的使用(好东东,留着)
1.NSUserDefault的使用: 作用:NSUserDefaults类提供了一个与默认系统进行交互的编程接口.NSUserDefaults对象是用来保存,恢复应用程序相关的偏好设置,配置数据等等 ...
- 原生JS的对象常用操作总结
前端时间写了篇怎么判断js对象相等的文章,一直在期待大神给点消息,无奈一直杳无音讯,还是自己写个函数来进行判断,下面总结一些常用的对象操作的方法. 咋们来个先抑后扬的方式,先放出几个基本的 ...
- Delphi XE5 android toast
unit Android.JNI.Toast; // Java bridge class imported by hand by Brian Long (http://blong.com) inter ...
- 解决eclipse复制粘贴js代码卡死的问题
鸣谢:http://blog.csdn.net/zhangzikui/article/details/24805935 ---------------------------------------- ...
- Comet、SSE、Web Socket
来自<javascript高级程序设计 第三版:作者Nicholas C. Zakas>的学习笔记(十一) Comet Comet是一种更加高级的Ajax技术("服务器推送&qu ...
- Aimp3的播放列表 按评分排序 落雨
如图,添加评分选项,并保存,就可以在下图的选项里找到此选项,并按评分排序 效果图如下:还可以倒置,迅速使评分高的音乐排在播放列表的前面位置!! 转自百度知道: http://zhidao.baidu. ...
- python参考手册--第2章词汇和语法约定
1.续行符\ 三引号.().{}.[]中的内容不需要续行符 2.空格缩进 优选空格作为缩进,不要用tab,这是因为不同操作系统下tab对应的空格不一样,而python是通过严格的空格来控制语句块的. ...
- 学点PYTHON基础的东东--数据结构,算法,设计模式---访问者模式
说实话,感觉不是特别多,可能没遇到过多场面, 所以对应用场景没感觉吧. 反正,各种模式就是把类的实例传来传去,久而久之,产生了一些规律...:) # 轮子,引擎, 车身这些定义好了都不需要变动 cla ...