内积空间中的正交性.pdfVIP

2.4内积空间中的正交性

InnerProductSpacesandOrthogonality

在三维空间中，如右图1所示任取一平面口，空间中的每一个矢量□必能分成两个直交的向

量和，其中一个向量□在平面口上，另一个向量□与平面口垂直，即口，口.这种向量的分

形式，在一般的内积空间是否成立？

图2.4.1三维空间向量的分，向量口，其中口

2.4.1正交分

定义2.4.1正交

设□是内积空间，口，如果口，则称□与□正交或垂直，记为□.如果□的子集□中的每

一个向量都与子集□中的每一个向量正交，则称□与□正交，记为□.特别记口，即向量□与

口中的每一个向量垂直

定理2.4.1勾股定理

设口是内积空间，匚］,若口，则□.

证明b+y||2=(.r+x+y)

=(J,x)+(xy)+(yx)+(yy)

=时+网・□

注1：在内积空间中，是否存在口口口？显然由

||x+yf=®%)+(xy)+两+(yy)=IWr+bf+2ReUy)

可知在实内积空间中口成立.

定义2.4.2正交补OrthogonaIpIement

设□是内积空间，口，记口，则称□为子集□的正交补.显然有口，□以及□.

性质2.4.1设口是内积空间，口，则□是□的闭线性子空间.

证明(1)用,是X的线性子空间

口，□,□,有

a（x+By,z）=a（x,z）+f（iy,z）=ax（,z）+0y（,z）=0,

于是口，因此□是□的线性子空间.

2（）是X的闭子空间

设口，且依范数□口，于是口，有

X（o，z）=l（imx“，z）=limx（“，z）=0.

nsnT8

因此口，即□是二I的闭子空间.□

注2：由于完备度量空间中的子空间完备的充要条件是子空间闭，因此在Hilbert空间

中完（备的内积空间），任意子集口的正交补口是完备的子空间，即Hilbert空间的正交补口

也是HiIbert空间.

定义2.4.3正交分

设□是内积空间□的子空间，口，如果存在口，使得ZL则称□为□在□上的正交投影或

正交分.

引理2.4.1设□是内积空间，口是口的线性子空间，口，若存在口，使得口，那么口.

证明令口，若□不垂直于口，则存在口，使得口，显然□.

因为口，有

ay『二仁一他门一依）

2

=||z||-a(y,z)-5(z,y,)+aa(y.,y)

2

=||z||-

a(z,x)-,z)-a(y,,y\)]

特别取口，则可得