If $A$ is a contraction, show that $$\bex A^*(I-AA^*)^{1/2}=(I-A^*A)^{1/2}A^*. \eex$$ Use this to show that if $A$ is a contraction on $\scrH$, then the operators $$\bex U=\sex{\ba{cc} A&(I-AA^*)^{1/2}\\ (I-A^*A)^{1/2}&-A^* \ea}, \eex$$ $$\bex V=\sex{\ba{cc} A&-(I-AA^*)^{1/2}\\ (I-A^*A)^{1/2}&A^* \ea} \eex$$ are unitary operators on $\scrH\oplus \scrH$.

Solution.

(1). By the singular value decomposition, there exist unitaries $W,Q$ such that $$\bex A=WSQ^*,\quad S=\diag(s_1,\cdots,s_n),\quad s_i\geq 0, \eex$$ and hence $$\bex A^*=QSW^*. \eex$$ Consequently, $$\beex \ba{rlrl} AA^*&=WS^2W^*,&A^*A&=QS^2Q^*,\\ I-AA^*&=W(I-S^2)W^*,&I-A^*A&=Q(I-S^2)Q^*,\\ (I-AA^*)^{1/2}&=W\vLm W^*,& (I-A^*A^{1/2}&=Q\vLm Q^*, \ea \eeex$$ where $$\bex \vLm=\diag\sex{\sqrt{1-s_1^2},\cdots,\sqrt{1-s_n^2}}. \eex$$ Thus, $$\beex \bea A^*(I-AA^*)^{1/2}&=QS\vLm W^*\\ &=Q\diag\sex{s_1\sqrt{1-s_1^2},\cdots, s_n\sqrt{1-s_n^2}}W^*\\ &=Q\vLm S W^*\\ &=(I-A^*A)^{1/2} A^*. \eea \eeex$$

(2). As noticed in (1), $A$ is a contraction is equivalent to say that $A^*$ is a contraction. Direction computations with $$\bex A^*(I-AA^*)^{1/2}=(I-A^*A)^{1/2}A^*,\quad A(I-A^*A)^{1/2}=(I-AA^*)^{1/2}A \eex$$ yields the fact that $U,V$ are unitary.

[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.3.6的更多相关文章

  1. [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 ...

  2. [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 ...

  3. [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$ ...

  4. [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 ...

  5. [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 ...

  6. [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 ...

  7. [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 ...

  8. [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$$ c ...

  9. [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 ...

  10. [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 ...

随机推荐

  1. Linux C程序的编译过程

    Linux C程序的编译过程 学习一门语言程序,本人觉得还是得学习它的编译规则,现在,通过小例子小结下自己对C编译的认识. /*test.c     了解C程序的编译*/ #include <s ...

  2. maven3.1安装及配置

    1.首先下载maven3,并安装 2.环境变量配置与JAVA_HOME的配置一样 3.打开MyEclipse preferences>>Maven4MyEclipse>>Mav ...

  3. vc编程时说“Cannot open include file: 'unistd.h': No such file or directory”

    本文专自http://blog.csdn.net/mangobar/article/details/6314700 unistd.h是unix standard header之意,因此,Linux下开 ...

  4. Automotive Security的一些资料和心得(1):Security Engineering

    陆续更新一些最近在Automotive Security方面的资料和心得. 1. Overview 1.1. Software Engineering Process PLC-Phases: Intr ...

  5. CSRF防范策略研究

    目录 0x1:检查网页的来源 0x2:检查内置的隐藏变量 0x3:用POST不用GET 检查网页的来源应该怎么做呢?首先我们应该检查$_SERVER[“HTTP_REFERER”]的值与来源网页的网址 ...

  6. 极客范:如何使用 Cloud Insight 来监控闭路电视?

    最近新上线支持 Windows 系统及其组件 监控功能的 Cloud Insight,在系统监控领域基本囊括了对所有主流和部分非主流平台的支持.但是这还不够,Cloud Insight 可不仅仅是一个 ...

  7. 10 things you should know about NoSQL databases

    For a quarter of a century, the relational database (RDBMS) has been the dominant model for database ...

  8. 在WIN32 DLL中使用MFC

    最近用WIN32 DLL,为了方便要用到MFC的一些库,又不想转工程,就网上找了很多方法,发现没有详细的介绍,有的也行不通,现在成功在WIN32 DLL中使用了MFC,记录一下以防以后用到忘记 一.修 ...

  9. android 官方教程中文版

    感谢这些默默奉献的人 :) https://github.com/kesenhoo/android-training-course-in-chinese http://hukai.me/android ...

  10. *[topcoder]JumpFurther

    http://community.topcoder.com/stat?c=problem_statement&pm=12300&rd=15699 题意:有一个无限长的阶梯,i从1到N, ...