高等代数 具有度量的线性空间(第10章)3 正交补,正交投影,正交变换,对称变换

一.正交补与正交投影(10.3)
1.正交补
(1)概念:
在这里插入图片描述

注意: S S S本身不一定是线性空间/实内积空间 V V V的1个子空间,但 S ⊥ S^⊥ S一定是线性空间/实内积空间 V V V的1个子空间

(2)性质:
在这里插入图片描述

定理1:设 U U U是实内积空间 V V V的1个有限维非零子空间,则 V = U ⊕ U ⊥ V=U\oplus U^⊥ V=UU
在这里插入图片描述
推论1:若 V V V是欧几里得空间, U U U V V V的1个非平凡子空间,则从定理1得 V = U ⊕ U ⊥ V=U\oplus U^⊥ V=UU,于是 U U U的1个标准正交基与 U ⊥ U^⊥ U的1个标准正交基合起来是 V V V的1个标准正交基

2.正交投影
(1)概念:
在这里插入图片描述
(2)判定:
在这里插入图片描述
在这里插入图片描述

定理2:设 U U U是实内积空间 V V V的1个子空间,且 V = U ⊕ U ⊥ V=U\oplus U^⊥ V=UU,则对于 α ∈ V , α 1 ∈ U α∈V,α_1∈U αV,α1U α α α U U U上的正交投影的充要条件是: d ( α , α 1 ) ≤ d ( α , γ )   ( ∀ γ ∈ U ) ( 4 ) d(α,α_1)≤d(α,γ)\,(∀γ∈U)\qquad(4) d(α,α1)d(α,γ)(γU)(4)
在这里插入图片描述

3.最佳逼近元
(1)概念:
在这里插入图片描述
(2)逼近无限维实内积空间中的向量:
在这里插入图片描述
(3)通过最佳逼近元定义无限维子空间上的正交投影:
在这里插入图片描述
4.最小二乘解:
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述二.正交变换(10.4)
1.正交变换的概念:
在这里插入图片描述
在这里插入图片描述

注:限定 Ꭿ Ꭿ 为满射是为了保证 Ꭿ Ꭿ V V V为无限维时也可逆,而 Ꭿ Ꭿ 为单射可被推出,故无需说明

2.正交变换的性质
(1)关于度量的性质:

命题1:若 Ꭿ Ꭿ 是实内积空间 V V V上的正交变换,则 Ꭿ Ꭿ 保持向量的长度不变, Ꭿ Ꭿ V V V上的线性变换, Ꭿ Ꭿ 是单射
在这里插入图片描述

性质1:正交变换 Ꭿ Ꭿ 保持2个非零向量的夹角不变
在这里插入图片描述

性质2:正交变换 Ꭿ Ꭿ 保持向量的正交性不变,即 α ⊥ β ⇔ Ꭿ α ⊥ Ꭿ β α⊥β⇔Ꭿα⊥Ꭿβ αβαβ
在这里插入图片描述

性质3:正交变换 Ꭿ Ꭿ 保持向量间的距离不变
在这里插入图片描述

(2)关于判定的性质:

命题2:实内积空间 V V V上的1个变换 Ꭿ Ꭿ 是正交变换当且仅当 Ꭿ Ꭿ V V V到自身的1个保距同构
在这里插入图片描述
推论1:实内积空间 V V V上的正交变换 Ꭿ Ꭿ 是可逆变换,并且其逆变换 Ꭿ − 1 Ꭿ^{-1} 1也是 V V V上的正交变换

命题3: n n n维欧几里得空间 V V V上的变换 Ꭿ Ꭿ 如果保持向量的内积不变,则 Ꭿ Ꭿ 是正交变换
在这里插入图片描述

命题5: n n n维欧几里得空间 V V V上的线性变换 Ꭿ Ꭿ 是正交变换
  ⇔ Ꭿ \quad\,⇔Ꭿ V V V的标准正交基映成标准正交基
  ⇔ Ꭿ \quad\,⇔Ꭿ V V V的标准正交基下的矩阵 A A A是正交矩阵
在这里插入图片描述
在这里插入图片描述

(3)关于运算的性质:

命题4:实内积空间 V V V上2个正交变换的乘积还是正交变换
在这里插入图片描述

(4)其他性质:
在这里插入图片描述

命题6:设 Ꭿ Ꭿ 是实内积空间 V V V上的1个正交变换,如果 Ꭿ Ꭿ 有特征值,那么 Ꭿ Ꭿ 的特征值必为 ± 1 ±1 ±1
在这里插入图片描述

3.反射
(1)超平面:
在这里插入图片描述
(2)反射的概念:
在这里插入图片描述
(3)反射的性质:

命题7: n n n维欧几里得空间 V V V中,关于超平面 ⟨ η ⟩ ⊥ \langle η\rangle^⊥ η的反射是第2类的正交变换
在这里插入图片描述

4.正交补的性质:

命题8:设 Ꭿ Ꭿ 是实内积空间 V V V上的1个正交变换, W W W Ꭿ Ꭿ 的1个有限维不变子空间,则 W ⊥ W^⊥ W也是 Ꭿ Ꭿ 的不变子空间
在这里插入图片描述

5.正交变换的矩阵的最简形式:

定理3:设 Ꭿ Ꭿ n n n维欧几里得空间 V V V上的1个正交变换,则 ∃ V ∃V V的1个标准正交基,使得 Ꭿ Ꭿ 在这个基下的矩阵具有如下形式: d i a g { λ 1 . . . λ r , [ cos ⁡ θ 1 − sin ⁡ θ 1 sin ⁡ θ 1 cos ⁡ θ 1 ] . . . [ cos ⁡ θ m − sin ⁡ θ m sin ⁡ θ m cos ⁡ θ m ] } ( 3 ) diag\{λ_1...λ_r,\left[\begin{matrix}\cosθ_1&-\sinθ_1\\\sinθ_1&\cosθ_1\end{matrix}\right]...\left[\begin{matrix}\cosθ_m&-\sinθ_m\\\sinθ_m&\cosθ_m\end{matrix}\right]\}\qquad(3) diag{λ1...λr,[cosθ1sinθ1sinθ1cosθ1]...[cosθmsinθmsinθmcosθm]}(3)
其中 λ i = ± 1   ( i = 1 , 2... r ) , 0 ≤ r ≤ n , 0 < θ j < π   ( j = 1 , 2... m ) , 0 ≤ m ≤ n 2 λ_i=±1\,(i=1,2...r),0≤r≤n,0<θ_j<\pi\,(j=1,2...m),0≤m≤\frac{n}{2} λi=±1(i=1,2...r),0rn,0<θj<π(j=1,2...m),0m2n
在这里插入图片描述
在这里插入图片描述
推论1: n n n级正交矩阵一定正交相似于形如 ( 3 ) (3) (3)式的分块对角矩阵

三.对称变换(10.4)
1.概念:
在这里插入图片描述
2.性质:

命题9:实内积空间 V V V上的对称变换一定是线性变换
在这里插入图片描述

命题10:设 Ꭿ Ꭿ 是实内积空间 V V V上的1个对称变换,如果 W W W Ꭿ Ꭿ 的不变子空间,那么 W ⊥ W^⊥ W也是 Ꭿ Ꭿ 的不变子空间
在这里插入图片描述

3.判定:

命题11: n n n维欧几里得空间 V V V上的线性变换 Ꭿ Ꭿ 是对称变换当且仅当 Ꭿ Ꭿ V V V的任意1个标准正交基下的矩阵是对称矩阵
在这里插入图片描述

4.对称变换的矩阵的最简形式:

定理4:设 Ꭿ Ꭿ n n n维欧几里得空间 V V V上的1个对称变换,则 V V V中存在1个标准正交基,使得 Ꭿ Ꭿ 在这个基下的矩阵 A A A为对角矩阵
在这里插入图片描述

  • 5
    点赞
  • 27
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值