高等代数 具有度量的线性空间(第10章)4 酉空间,酉变换,埃尔米特变换,正规变换

一.酉空间(10.5)
1.复线性空间上的内积

(1)概念:

(2)共轭线性:

2.酉空间(复内积空间)的概念:

3.酉空间的度量
(1)长度:

(2)夹角:

定理1(柯西-布尼亚科夫斯基-施瓦茨不等式,Cauchy-Buniakowsky-Schwarz Inequality):在酉空间$V$中,对于任意向量$\alpha ,\beta$,有$$|(\alpha ,\beta )|\le |\alpha ||\beta |(7)$$等号成立当且仅当$\alpha ,\beta$线性相关

(3)正交:

(4)其他相关结论:

把复数$z$的实部记为$Rez$,虚部记为$Imz$

推论1(三角形不等式):在酉空间$V$中,有$$|\alpha +\beta |\le |\alpha |+|\beta |(\forall \alpha ,\beta \in V)(11)$$

推论2(勾股定理):在酉空间$V$中,若$\alpha \perp \beta$,则$$|\alpha +\beta {|}^2=|\alpha {|}^2+|\beta {|}^2(12)$$

用数学归纳法可以把勾股定理推广为:如果${\alpha }_1,{\alpha }_2...{\alpha }_s$两两正交,那么$$|{\alpha }_1+{\alpha }_2+...+{\alpha }_s{|}^2=|{\alpha }_1{|}^2+|{\alpha }_2{|}^2+...+|{\alpha }_s{|}^2(13)$$

推论3:在酉空间$V$中,对$\alpha ,\beta \in V$,规定$$d(\alpha ,\beta ):=|\alpha -\beta |$$则$d$是1个距离,从而酉空间$V$对该距离成为1个度量空间

4.有限维酉空间中的标准正交基

命题1:在酉空间$V$中,由两两相加的非零向量组成的集合是线性无关的

推论1:在$n$维酉空间$V$中,两两相加的非零向量的个数不超过$n$

(1)正交规范集:

(2)正交基:

定理2:$n$维酉空间$V$一定有标准正交基

(3)Gram矩阵:


(4)标准正交基的应用:

计算内积:

计算向量的坐标:

(5)酉矩阵:

定理3:设${\eta }_1,{\eta }_2...{\eta }_n$是$n$维酉空间$V$上的1个标准正交基,向量组${\beta }_1,{\beta }_2...{\beta }_n$满足$$({\beta }_1,{\beta }_2...{\beta }_n)=({\eta }_1,{\eta }_2...{\eta }_n)P(21)$$则${\beta }_1,{\beta }_2...{\beta }_n$是$V$的1个标准正交基当且仅当$P$是酉矩阵

5.酉空间的同构
(1)概念:


(2)判定:

定理4:2个有限维酉空间同构的充要条件是它们的维数相同


推论1:设$V$是$n$维酉空间,则$V$上的线性变换$\sigma$是保距同构当且仅当$\sigma$把$V$的标准正交基映成标准正交基

定理6:设$V,V^{\prime }$都是酉空间,如果存在$V$到$V^{\prime }$的1个那么满射$\sigma$保持向量的内积不变,那么$\sigma$是$V$到$V^{\prime }$的1个保距同构,从而$V$与$V^{\prime }$同构

推论1:设$V,V^{\prime }$都是$n$维酉空间,如果存在$V$到$V^{\prime }$的1个映射$\sigma$保持向量的内积不变,那么$\sigma$是$V$到$V^{\prime }$的1个保距同构,从而$V$与$V^{\prime }$同构

(3)性质:

定理5:设$V,V^{\prime }$都是酉空间,如果存在$V$到$V^{\prime }$的1个映射$\sigma$保持向量的内积不变,那么
$(1)\sigma$保持向量的长度不变
$(2)\sigma$是$V$到$V^{\prime }$的1个线性映射
$(3)\sigma$是单射

6.酉空间中的正交补与正交投影(10.5)
(1)正交补:

定理7:设$U$是酉空间$V$的1个有限维非零子空间,则$$V=U\oplus U^{\perp }(22)$$

(2)正交投影:

定理8:设$U$是酉空间$V$的1个子空间,且$V=U\oplus U^{\perp }$,则对$\alpha \in V,{\alpha }_1\in U$是$\alpha$在$U$上的正交投影当且仅当$$d(\alpha ,{\alpha }_1)\le d(\alpha ,\gamma )(\forall \gamma \in U)$$

(3)最佳逼近元:

若$U$为有限维子空间,则由定理7得$V=U\oplus U^{\perp }$,于是$V$中任一向量$\alpha$在$U$上有正交投影${\alpha }_1=\sum _{i=1}^m(\alpha ,{\eta }_i){\eta }_i$,其中${\eta }_1...{\eta }_m$是$U$的1个标准正交基,从而根据定理8得,$V$中任一向量$\alpha$在$U$上的最佳逼近元存在且唯一,它就是$\alpha$在$U$上的正交投影${\alpha }_1$

二.酉变换与埃尔米特变换(10.5)
1.酉变换
(1)概念:

(2)性质:

命题2:酉空间$V$上的酉变换一定是线性变换,并且是单射,从而是可逆的

命题4:酉空间$V$上2个酉变换的乘积还是酉变换,酉变换的逆变换仍是酉变换

定理9:设$Ꭿ$是$n$维酉空间$V$上的1个酉变换,则$V$中存在1个标准正交基,使得$Ꭿ$在此基下的矩阵是对角矩阵

推论1:$n$级酉矩阵一定酉相似于1个对角矩阵

(3)判定:

命题3:酉空间$V$上的1个变换$Ꭿ$是酉变换当且仅当$Ꭿ$是$V$到自身的1个保距同构

命题5:$n$维酉空间$V$到自身的1个映射$Ꭿ$如果保持向量的内积不变,那么$Ꭿ$是酉变换

命题6:$n$维酉空间$V$上的线性变换$Ꭿ$是酉变换
$\iff Ꭿ$把$V$的标准正交基映成标准正交基
$\iff Ꭿ$在$V$的标准正交基下的矩阵是酉矩阵

(4)特征值:

命题7:$n$维酉空间$V$上的酉变换$Ꭿ$的特征值的模等于1

即酉变换的特征值均在单位圆上

(5)不变子空间:

命题8:设$Ꭿ$是酉空间$V$上的1个酉变换,若$W$是$V$的1个有限维子空间.且$W$是$Ꭿ$的1个不变子空间,则$W^{\perp }$也是$Ꭿ$的不变子空间

2.埃尔米特变换(Hermite Transformation)
(1)概念:

(2)性质:

命题9:酉空间$V$上的埃尔米特变换$Ꭿ$一定是线性变换

定理10:设$Ꭿ$是$n$维酉空间$V$上的1个埃尔米特变换,则$V$中存在1个标准正交基,使得$Ꭿ$在此基下的矩阵是实对角矩阵

推论1:$n$级埃尔米特矩阵一定酉相似于1个实对角矩阵

(3)判定:

命题10:$n$维酉空间$V$上的线性变换$Ꭿ$是埃尔米特变换当且仅当$Ꭿ$在$V$的任意1个标准正交基下的矩阵$A$满足$$A^{\ast }=A(27)$$满足(27)式的$n$级复矩阵$A$称为埃尔米特矩阵(Hermite Matrix)或自伴矩阵

(4)特征值:

命题11:酉空间$V$上的埃尔米特变换$Ꭿ$如果有特征值,那么其特征值是实数

(5)不变子空间:

命题12:设$Ꭿ$是酉空间$V$上的1个埃尔米特变换,若$W$是$V$的1个有限维子空间.且$W$是$Ꭿ$的1个不变子空间,则$W^{\perp }$也是$Ꭿ$的不变子空间

三.线性变换的伴随变换
1.概念:

2.唯一性:

定理11:对于$n$维复(实)内积空间$V$上的任一线性变换$Ꭿ$,都存在唯一的1个伴随变换${Ꭿ}^{\ast }$

3.矩阵表示:

定理12:设$Ꭿ$是$n$维复(实)内积空间$V$上的1个线性变换,如果$Ꭿ$在$V$的1个标准正交基${\eta }_1,{\eta }_2...{\eta }_n$下的矩阵为$A$,那么${Ꭿ}^{\ast }$在该标准正交基下的矩阵为$A^{\ast }$

4.性质:

定理13:设$V$是复(实)内积空间,$Ꭿ,\mathcal{B}$是$V$上的线性变换,$k\in C($或$R)$.如果$Ꭿ,\mathcal{B}$都有伴随变换,那么$Ꭿ+\mathcal{B},kᎯ,Ꭿ\mathcal{B},{Ꭿ}^{\ast }$都有伴随变换,且$$\begin{gathered} (Ꭿ+\mathcal{B}{)}^{\ast }={Ꭿ}^{\ast }+{\mathcal{B}}^{\ast } \\ (kᎯ{)}^{\ast }=\bar{k}{Ꭿ}^{\ast } \\ (Ꭿ\mathcal{B}{)}^{\ast }={\mathcal{B}}^{\ast }{Ꭿ}^{\ast } \\ ({Ꭿ}^{\ast }{)}^{\ast }=Ꭿ \end{gathered}$$进一步,如果$Ꭿ$可逆且${Ꭿ}^{-1}$也有伴随变换,那么${Ꭿ}^{\ast }$也可逆,且$({Ꭿ}^{\ast }{)}^{-1}=({Ꭿ}^{-1}{)}^{\ast }$

四.正规变换
1.概念:

2.正规变换与对角矩阵的关系

(1)准备工作:

引理1:设$Ꭿ$是复(实)内积空间$V$上的正规变换,则对$\forall \alpha \in V$,有$$|Ꭿ\alpha |=|{Ꭿ}^{\ast }\alpha |(45)$$

引理2:设$Ꭿ$是复(实)内积空间$V$上的正规变换,$c\in C($或$R)$,则$c\mathcal{I}-Ꭿ$也是$V$上的正规变换

定理14:设$Ꭿ$是复(实)内积空间$V$上的正规变换,则${\lambda }_1$是$Ꭿ$的1个特征值当且仅当$\overline{{\lambda }_1}$是${Ꭿ}^{\ast }$的1个特征值;$\xi$是$Ꭿ$的属于特征值${\lambda }_1$的1个特征向量当且仅当是$\xi$是${Ꭿ}^{\ast }$的属于特征值$\overline{{\lambda }_1}$的1个特征向量

定理15:设$Ꭿ$是复(实)内积空间$V$上的任一线性变换,且$Ꭿ$有伴随变换${Ꭿ}^{\ast }$.如果$W$是$Ꭿ$的不变子空间,那么$W^{\perp }$是${Ꭿ}^{\ast }$的不变子空间

(2)充分性:

定理16:设$Ꭿ$是有限维酉空间$V$上的正规变换,则$V$中存在1个标准正交基,使得$Ꭿ$在此基下的矩阵是对角矩阵

(3)正规矩阵与对角矩阵的关系:

定理17:对于复数域上的任一$n$级正规矩阵$A$,存在1个酉矩阵$P$,使得$P^{-1}AP$为对角矩阵

3.酉矩阵,埃尔米特矩阵与对角矩阵的关系

(2)酉矩阵与对角矩阵的关系:

定理18:任一$n$级酉矩阵$A$一定酉相似于1个对角矩阵 d i a g   { e i θ 1 , e i θ 2 . . . e i θ n } ( 47 ) diag\,\{e^{iθ_1},e^{iθ_2}...e^{iθ_n}\}\qquad(47) diag{eiθ1​,eiθ2​...eiθn​}(47)其中$0\le {\theta }_j\le 2\pi (j=1,2...n)$

(2)埃尔米特矩阵与对角矩阵的关系:

定理19:任一$n$级埃尔米特矩阵都酉相似于1个实对角矩阵

五.埃尔米特型
1.埃尔米特型
(1)概念:

(2)性质:

定理20:对于$n$元埃尔米特型$x^{\ast }Ax$,存在酉替换$x=Py($即$P$是酉矩阵$)$,使得$$x^{\ast }Ax={\lambda }_1{y}_1\overline{y_1}+{\lambda }_2{y}_2\overline{y_2}+...+{\lambda }_n{y}_n\overline{y_n}(55)$$其中${\lambda }_1,{\lambda }_2...{\lambda }_n\in R$是$A$的全部特征值

2.正定埃尔米特型
(1)概念:

(2)判定:

定理21:设$A$是$n$级埃尔米特矩阵,则下列命题等价:
$①A$是正定埃尔米特矩阵
$②$对任意$n$级可逆复矩阵$B$,有$B^{\ast }AB$是正定埃尔米特矩阵
$③A$的特征值全部大于0
$④$存在$n$级可逆复矩阵$C$,使得$C^{\ast }AC=I$
$⑤A=Q^{\ast }Q$,其中$Q$是$n$级可逆复矩阵
$⑥A$的所有顺序主子式全部大于0
$A$的所有主子式全部大于0