正交补与极小化问题

目录

1 正交补

UV的子集,则U的正交补(记为U)是由V中与U的每个向量都正交的那些向量组成的集合:

U={vV: uU,v,u=0}

UR3中的直线,则U是垂直于U且包含原点的平面。若UR3中的平面,则U是垂直于U且包含原点的直线。

  1. UV的子集,则UV的子空间。
  2. {0}=V
  3. V={0}
  4. UV的子集,则UU={0}
  5. UW均为V的子集且UW,则WU
  1. UV的子集,则对每个uU均有0,u=0,于是0U. 设v,wU,若uU,则:v+w,u=v,u+w,u=0
    因此v+wU,所以在加法下U是封闭的。

类似的对于vU,有λv,u=λv,u=0这说明U在标量乘法下是封闭的。

所以UV的子空间。

  1. vV, 均有:v,0=0 ,所以{0}=V
  2. 假设vV,则v,v=0,则v=0,所以V=0
  3. 假设vUU,则有v,v=0,则v=0,所以UU={0}
  4. U,W均为V的子集,则对于vW,说明对于 uW,都有v,u=0,这表明对于每个uU,都有v,u=0,所以vU,所以有WU

U,W均为V的子空间,并且V中的每个元素都可以唯一的写成U中的一个向量与W中的一个向量的和,则VUW的直和,记为V=UW

UV的有限维子空间,则V=UU

首先证明: V=U+U

假设vV,并设e1,,emU的规范正交基,则:

v=v,e1e1++v,ememu+vv,e1e1v,ememw

显然uU,因为e1,,emU的一个规范正交基,所以对每个j=1,,m均有:

w,ej=v,ejv,ej=0

所以w正交于span(e1,,em)中的每个向量。也就是说wU,于是v=u+w其中uU,wU 另外因为UU={0},所以V=UU

V是有限维的且UV的子空间,则dimU=dimVdimU

UV的有限维子空间,则U=(U)

首先证明U(U)。设uU,则对每个vU,均有v,u=0.因为 u正交与U中的向量,所以u(U)

然后我证明另一个方向。设v(U)。设v(U)v=u+w,其中uU,且wU,从而vu=wU。因为v(U)u(U),所以vu(U),所以vuU(U)。这表明vu与自身正交。从而vu=0,即v=u,于是vU,因此(U)U

UV的有限维子空间。定义VU上的正交投影为如下算子PUL(V):对vV,将其写成v=u+w,其中uU,wU,则PUv=u

直和分解V=UU表明每个vV可唯一的写成v=u+w,其中uUwU,于是PUv定义合理。

xVx0U=span(x),证明对每个xV均有:

PUv=v,xx2x

已知 vV都可以写为:

v=v,xx2x+(vv,xx2x)

上式第一项和第二项是互相垂直的。第一项属于span(x),第二项正交与x,从而第二项属于U。所以PUv等于上式右端第一项。

接下来给出几条正交投影PU的性质: 设UV的有限维子空间且vV,则:

  1. PUL(V)
  2.  u,PUu=u
  3.  wU,PUw=0
  4. rangePU=U
  5. nullPU=U
  6. vPUvU
  7. (PU)2=PU
  8. (PU)vv
  9. U的每个规范正交基e1,,en均有PUv=v,e1e1++v,emem

为了证明PUV上的线性映射,设v1,v2V,设:

v1=u1+w1,v2=u2+w2

其中u1,u2U,w1,w2U,则PUv1=u1,PUv2=u2,从而: v1+v2=u1+u2+w1+w2

其中u1+u2U,且w1+w2U,所以PU(v1+v2)=u1+u2=PUv1+PUv2 类似的有,设λF,若v=u+w,其中uUwU,则λv=λu+λw,其中λuU,λwU,于是PU(λv)=λu=λPUv,因此PUVV的线性映射。

uU,则u=u+0,则其中uU,0U,所以PUu=u

wU,则w=0+w,则其中0U,wU,所以PUw=0

PU的定义可知range(PU)U。由上面第二步可知UrangePU,于是rangePU=U

因为UnullPU。另外, vnullPuv=0+v,其中0U,vU,因此nullPUU

v=u+w,其中uU,且wU,则: vPUv=vu=wU

v=u+w,其中uU,且wU,则:

(PU)2v=PU(PUv)=PUu=u=PUv

所以P2U=PU

v=u+w,其中uU,且wU,则: PUv2=u2u2+w2=v2

2 极小化问题

经常会遇到这样的问题:给定V的子空间U和点vV,求点uU使得vu最小。通过正交投影可以完美解决这个问题。

UV的最小子空间,vV,且uU,则:

vPUvvu

当且仅当PUv=u时等号成立。

我们有:

vPUv2vPUv2+PUvu2=vPUv+PUvu2=vu2

上式的第一个不等号成立是因为PUvu2是一个非负实数,第二个等号成立是因为勾股定理,第三个等式成立是简单的消元计算。把上式两端开平方即可。

上式的证明表明PUvU中离v最近的点。之前我们又有PUv=v,e1e1++v,em,其中e1,,emU的规范正交基。