内积空间中的正交与投影

第3讲 实内积空间内容：1. 实内积空间2. 正交基及正交补与正交投影3. 内积空间的同构4. 正交变换与对称变换在线性空间中，元素（向量）之间的运算仅限于元素（向量）的线性运算．但是，如果以向量作为线性空间的一个模型，则会发现向量的度量(即长度)与向量间的位置关系在线性空间的理论中没有得到反映，而这些性质在许多实际问题中却是很关键的．因此，将在抽象的线性空间中引进内积运算，导出内积空间，并讨论正交变换与正交矩阵及对称变换与对称矩阵．§1 内积空间在解析几何中，向量的长度与夹角等度量性质都可以通过向量的数量积来表示，而向量的数量积具有以下的代数性质：对称性),(),(αββα=；可加性 ),(),(),(γβγαγβα+=+；齐次性R k k k ∈∀=),,(),(βαβα；非负性0),(≥αα，当且仅当0=α时,0),(=αα．以数量积为基础,向量的长度与夹角可表示为： ),(ααα=，βαβαβα⋅>=<),(,cos ．可见数量积的概念蕴涵着长度与夹角的概念，将该概念推广至抽象的线性空间．定义1.1 设V 是实线性空间，若对于V 中任意两个元素（向量）α和β，总能对应唯一的实数，记作),(βα，且满足以下的性质：(1) 对称性 ),(),(αββα=(2) 可加性 ),(),(),(γβγαγβα+=+(3) 齐次性 R k k k ∈∀=),,(),(βαβα(4) 非负性 0),(≥αα，当且仅当0=α时，0),(=αα． 则称该实数是V 中向量α和β的内积．称内积为实数的实线性空间V 为欧几里得(Euclid)空间，简称为欧氏空间．称定义了内积的线性空间为内积空间．例 1.1 在n 维向量空间n R 中,任意两个向量：T n x x x ),,,(21 =α，T n y y y ),,,(21 =β，若规定：βαβαT nk k k n n y x y x y x y x ==+++=∑=12211),( ，则容易验证,这符合内积的定义，是n R 中向量α和β的内积．另外，若规定:∑==nk k k y kx 1),(βα，0>k ，同样可验证，这也是n R 中向量α和β的内积．由此可见，在同一个实线性空间的元素之间，可以定义不同的内积，即内积不是唯一的．从而，同一个实线性空间在不同内积下构成不同的欧氏空间．例 1.2 在[]b a ,上连续的实函数的实线性空间[]b a C ,中，对任意函数[]b a C x g x f ,)(),(∈，定义：⎰=ba dx x g x f g f )()(),(，则可以证明这是[]b a C ,上)(x f 与)(x g 的一种内积．欧氏空间V 中的内积具有如下的性质：(1) V o o ∈∀==ααα,0),(),((2) R k V k k ∈∀∈∀=,,),,(),(βαβαβα(3) V ∈∀+=+γβαγαβαγβα,,),,(),(),((4) ),(),(1111∑∑∑∑=====n j ni j i j i n i n j j j i i y x l k y l x k事实上，由定义1.1有：0),(0),0(),(===αβαβαo ；),(),(),(),(βααβαββαk k k k ===；),(),(),(),(),(),(γαβααγαβαγβγβα+=+=+=+；因此,性质(1)至(3)成立，再结合数学归纳法容易验证性质(4)也成立．定义1.2 设α是欧氏空间V 中的任一元素（向量），则非负实数),(αα称为元素（向量）α的长度或模，记作α．称长度为1的元素（向量）称为单位元素（向量），零元素（向量）的长度为0．由定义1.2易知，元素（向量）的长度具有下列性质： (1) V R k k k ∈∀∈∀⋅=ααα,,(2) 当o ≠α时,,11=αα即αα1是一个单位元素（向量）．通常称此为把非零元素（向量）α单位化．定理1.1 (Cauchy-Schwarz 不等式)． 设βα,是欧氏空间V 中的任意两个元素（向量），则不等式βαβα⋅≤),(，对V ∈∀βα,均成立，并且当且仅当α与β线性相关时，等号成立．证明：当α与β至少有一个是零元素（向量）时，结论显然成立．现在设βα,均为非零元素（向量），则)),(),(,),(),((ββββααββββαα--[]0),(),(),(2≥-=βββααα， 因此有[]),(),(),(2ββααβα≤， 即βαβα⋅≤),(．而且当且仅当ββββαα),(),(=，即α与β线性相关时，等号成立．定义1.3 设x 与y 是欧氏空间V 中的任意两个元素（向量），则称yx y x ),(arccos =θ为x 与y 的夹角，记作,,><y x 即 ),0(,),(arccos ,πθ≤><≤=>=<y x yx y x y x ． 例 1.3 试证明欧氏空间V 中成立三角不等式V y x y x y x ∈∀+≤+,,．证明 因),(2y x y x y x ++=+),(),(2),(y y y x x x ++=，由Schwarz Cauchy -不等式，有 222222)(2),(2y x y y x x y y x x y x +=++≤++=+， 即有 y x y x +≤+ ．§2 正交基及正交补与正交投影1 正交基定义 2.1 设y x ,是欧氏空间V 中的任意两个元素（向量），如果0),(=y x ，则称元素（向量）x 与y 正交，记作.y x ⊥．由定义2.1易知，零元素（向量）与任何元素（向量）均正交．若,o x ≠由于,0),(>x x 所以非零元素（向量）不会与自身正交，即只有零元素（向量）才与自己正交．例 2.1 在2R 中,对于任意两个向量x 与y 的内积，定义：(1)y x y x T =1),(；(2) Ay x y x T =),(，其中⎥⎦⎤⎢⎣⎡=2111A ．由此所得的两个欧氏空间分别记为21R 与22R ，试判断向量T x )1,1(0=与T y )1,1(0-=在21R 与22R 中是否正交？解 由于 011)1,1(),(100=⎪⎪⎭⎫⎝⎛-=y x ；01112111)1,1(),(200≠=⎪⎪⎭⎫ ⎝⎛-⎥⎦⎤⎢⎣⎡=y x ． 故向量x 与y 在21R 中正交,在22R 中不正交．说明：两元素（向量）正交与否由所在空间的内积确定． 此外，在欧氏空间V 中也有勾股定理，即当y x ⊥时,有 222y x y x +=+.可将其推广至多个元素（向量），即当m ααα,,,21 两两正交时，有22221221m m αααααα+++=+++ ．定义2.2 欧氏空间V 中一组非零元素（向量），若两两正交，则称其为一个正交元素（向量）组．定理 2.1 若m ααα,,,21 是欧氏空间V 中一个正交元素（向量）组，则m ααα,,,21 线性无关．证明 设有一组数m k k k ,,,21 ,使o k k k m m =+++ααα 2211，在上式两边分别用),2,1(m i i =α作内积，可得),,2,1(,0),(),(),(21m i k k k i m m i i ==+++αααααα， 由于j i ≠时,0),(=j i αα故可得),,2,1(0),(m i k i i i ==αα，又 0≠i α时, 0),(>i i αα, 从而有),2,1(0m i k i ==，所以m ααα,,,21 线性无关．推论：在n 维欧氏空间中，正交元素（向量）组所含元素（向量）的个数不会超过n 个．定义2.3 在n 维欧氏空间V 中，由n 个元素（向量）构成的正交元素（向量）组称为V 的正交基；由单位元素（向量）组成的正交基叫作标准正交基．定理 2.2 (Schmidt 正交化方法) 设n ααα,,,21 是n 维欧氏空间V 的任意一个基，则总可将其进行适当运算后化为V 的一个正交基，进而将其化为一个标准正交基．证明 因为m ααα,,,21 线性无关，所以),,2,1(0n i i =≠α． 首先, 取11αβ=；其次, 令1111222),(),(ββββααβ-=，则可得两个正交元素（向量）21,ββ；再次, 令222231111333),(),(),(),(ββββαββββααβ--=，则得到三个正交元素（向量）.,,321βββ依此进行下去，一般有),,3,2(),(),(),(),(),(),(111122221111n i i i i i i i i i i =----=----ββββαββββαββββααβ 这样得到V 的一个正交基．再将其单位化，令 ),,2,1(1n i i i i ==ββγ，则可得V 的一组标准正交基n γγγ,,,21 ．例2.1 在4R 中,将基T )0,0,1,1(1=α,T )0,1,0,1(2=α,T )1,0,0,1(3-=α, T )1,1,1,1(4--=α,用Schmidt 正交化方法化为标准正交基．解 先正交化令 ;)0,0,1,1(11T ==αβ ;)0,1,21,21(),(),(1111222T -=-=ββββααβ ;)1,31,31,31(),(),(),(),(222231111333T -=--=ββββαββββααβ T )1,1,1,1(),(),(),(),(),(),(33334222241111444--=---=ββββαββββαββββααβ 再单位化令 T )0,0,21,21(1111==ββγ T)0,62,61,61(1222-==ββγ T )123,121,121,121(1333-==ββγ T )21,21,21,21(1444--==ββγ则 4321,,,γγγγ 就是所要求的标准正交基．例2.2 设n εεε,,,21 是n 维欧氏空间V 的一个标准正交基， n n x x x x εεε+++= 2211，n n y y y y εεε++= 2211，则有),(),(11∑∑===n j j j n i i i y x y x εε∑==n i ii y x 1．在标准正交基下，V 中任意两个元素（向量）的内积等于它们对应坐标的乘积之和．定义2.4 设n εεε,,,21 是n 维欧氏空间V 的一个基，x ，y 在其基下的坐标表示分别为T n x x x x ),,,(21 =，T n y y y y ),,,(21 =，（∑==n i i i x x 1ε，∑==n i i i y y 1ε），则有Gy x y g x y x y x y x T j nj i ij i j j n j i i i n j j j n i i i ====∑∑∑∑======111111),(),(),(εεεε．其中，)(ij g G G =为n 阶方阵，n j i g j i ij ,,2,1,),,( ==εε．称G 为度量矩阵，它为对称可逆矩阵．2 正交补与正交投影定义 2.5 设1W 和2W 是欧氏空间V 的两个子空间，若对任意的21,W y W x ∈∈总有0),(=y x 成立，则称1W 与2W 正交，记作21W W ⊥.若对某个确定的x 及任意的W y ∈，总有0),(=y x 成立，则称x 与W 正交，记作x W ⊥．例 2.3 设{}R y x y x W ∈=,)0,,(1,{}R z z W ∈=),0,0(2 ,则容易得1W 和2W 均为3R 的子空间,且 12W W ⊥．定理2.3 设s W W W ,,,21 是欧氏空间V 的子空间，且两两正交，则s W W W +++ 21是直和．证明 设),,2,1(s i W i i =∈α且 o s =+++ααα 21,分别用iα在上式两边作内积，得0),(=i i αα,即),,2,1(s i oi ==α,即s W W W +++ 21是直和．定义 2.6 设1W 和2W 是欧氏空间V 的两个子空间，若21W W ⊥，且V W W =+21，则称1W 与2W 互为正交补，记作⊥=21W W 或12W W V ⊕=． 定理 2.4 欧氏空间V 的任一个子空间W ，都存在唯一的正交补W ⊥．证明 先证存在性．设m εεε,,,21 是子空间W 的一个标准正交基，则可以扩充为V 的一个标准正交基：n m m εεεεε,,,,,1,21 +，显然：),,(1n m L W εε +⊥=．再证唯一性．设1W 与2W 都是W 的正交补，则1W W V ⊕=，2W W V ⊕=，令任意的o x W x ≠∈,2,则 W x ∉,且W y y x ∈∀=,0),(,所以1W x ∈ ,即12W W ⊂．同理有 21W W ⊂.因此得 12W W =．定理2.4既证明了欧氏空间中任意子空间的正交补是存在且唯一的，又给出了正交补的计算方法．另外，V 中的任一向量x 都可唯一地分解为⊥∈∈+=W z W y z y x ,,．由此可引进正投影的概念．定义2.7 设x 是欧氏空间V 中任意的一个元素（向量），W 是V 的一个子空间，且x 被分解为.,,⊥∈∈+=W z W y z y x ,则称y 元素（向量）为x 元素（向量）在子空间W 上的正投影(又称内投影)．显然W W =⊥⊥)(，故z 为元素（向量）x 在⊥W 上的正投影．例2.4 设 {}R x x W ∈=)0,0,(,则W 是3R 的一个子空间，且它的正交补为{}R z y z y W ∈=⊥,),,0(.若3),,(R c b a ∈=α,α在W 上的正投影为)0,0,(a ,在⊥W 上的正投影为),,0(c b .§3 实内积空间的同构定义3.1 设V 与U 是两个欧氏空间,若存在V 到U 的一个一一对应σ,使(1) U V ∈∈∀+=+)(),(;,),()()(βσασβαβσασβασ(2) U k R k V k k ∈∈∀∈∀=)(;,),()(ασαασασ(3) U V ∈∈∀=)(),(;,),,())(),((βσασβαβαβσασ则称σ为V 到U 的一个同构映射，并称欧氏空间V 与U 同构．同构作为欧氏空间的关系与线性空间的同构相同，因此有：同构的有限维欧氏空间必有相同的维数；任意一个n 维欧氏空间均与n R 同构．此外，欧氏空间的同构还具有以下性质：反身性:任意一个欧氏空间V 均与自己同构；对称性:若V 与V '同构,则V '与V 同构；传递性:若V 与V '同构, V '与V ''同构,则V 与V ''同构．事实上，(1) V 到V 的恒等映射是一个同构映射；(2)设σ是V 到V '的同构映射，记1-σ为σ的逆映射，则对V ∈∀βα,有βαβασσβσασσ+=+=+--))(())()((11))(())((11βσσασσ--+=， ))(())(())((111ασσαασσασσ---===k k k k ，))(),((),()))(()),(((11βσασβαβσσασσ==--，即1-σ是V '到V 的一个同构映射．(3) 传递性的证明留作习题．§4 正交变换与对称变换1 正交变换与正交矩阵定义 4.1 设V 是一个欧氏空间,σ是V 上的线性变换，如果对任意的元素（向量）V ∈βα,,均有),())(),((βαβσασ=成立,则称σ是V 上的一个正交变换．例如，恒等变换是一个正交变换，坐标平面上的旋转变换也是一个正交变换．正交变换可以从以下几个方面来刻画．定理4.1 设σ是欧氏空间V 上的一个线性变换，则下列命题是等价的：(1) σ是一个正交变换；(2) 保持元素（向量）的长度不变,即对任意的V ∈α,有αασ=)(；(3) V 中的任意一个标准正交基在下的象仍是一个标准正交基；(4) 在任一个标准正交基下的矩阵是正交矩阵，即E A A AA T T ==．证明 采用循环证法。

第3讲 实内积空间内容：1. 实内积空间2. 正交基及正交补与正交投影3. 内积空间的同构4. 正交变换与对称变换在线性空间中，元素（向量）之间的运算仅限于元素（向量）的线性运算．但是，如果以向量作为线性空间的一个模型，则会发现向量的度量(即长度)与向量间的位置关系在线性空间的理论中没有得到反映，而这些性质在许多实际问题中却是很关键的．因此，将在抽象的线性空间中引进内积运算，导出内积空间，并讨论正交变换与正交矩阵及对称变换与对称矩阵．§1 内积空间在解析几何中，向量的长度与夹角等度量性质都可以通过向量的数量积来表示，而向量的数量积具有以下的代数性质：对称性),(),(αββα=；可加性 ),(),(),(γβγαγβα+=+；齐次性R k k k ∈∀=),,(),(βαβα；非负性0),(≥αα，当且仅当0=α时,0),(=αα．以数量积为基础,向量的长度与夹角可表示为： ),(ααα=，βαβαβα⋅>=<),(,cos ．可见数量积的概念蕴涵着长度与夹角的概念，将该概念推广至抽象的线性空间．定义1.1 设V 是实线性空间，若对于V 中任意两个元素（向量）α和β，总能对应唯一的实数，记作),(βα，且满足以下的性质：(1) 对称性 ),(),(αββα=(2) 可加性 ),(),(),(γβγαγβα+=+(3) 齐次性 R k k k ∈∀=),,(),(βαβα(4) 非负性 0),(≥αα，当且仅当0=α时，0),(=αα． 则称该实数是V 中向量α和β的内积．称内积为实数的实线性空间V 为欧几里得(Euclid)空间，简称为欧氏空间．称定义了内积的线性空间为内积空间．例 1.1 在n 维向量空间n R 中,任意两个向量：T n x x x ),,,(21 =α，T n y y y ),,,(21 =β，若规定：βαβαT nk k k n n y x y x y x y x ==+++=∑=12211),( ，则容易验证,这符合内积的定义，是n R 中向量α和β的内积．另外，若规定:∑==nk k k y kx 1),(βα，0>k ，同样可验证，这也是n R 中向量α和β的内积．由此可见，在同一个实线性空间的元素之间，可以定义不同的内积，即内积不是唯一的．从而，同一个实线性空间在不同内积下构成不同的欧氏空间．例 1.2 在[]b a ,上连续的实函数的实线性空间[]b a C ,中，对任意函数[]b a C x g x f ,)(),(∈，定义：⎰=ba dx x g x f g f )()(),(，则可以证明这是[]b a C ,上)(x f 与)(x g 的一种内积．欧氏空间V 中的内积具有如下的性质：(1) V o o ∈∀==ααα,0),(),((2) R k V k k ∈∀∈∀=,,),,(),(βαβαβα(3) V ∈∀+=+γβαγαβαγβα,,),,(),(),((4) ),(),(1111∑∑∑∑=====n j ni j i j i n i n j j j i i y x l k y l x k事实上，由定义1.1有：0),(0),0(),(===αβαβαo ；),(),(),(),(βααβαββαk k k k ===；),(),(),(),(),(),(γαβααγαβαγβγβα+=+=+=+；因此,性质(1)至(3)成立，再结合数学归纳法容易验证性质(4)也成立．定义1.2 设α是欧氏空间V 中的任一元素（向量），则非负实数),(αα称为元素（向量）α的长度或模，记作α．称长度为1的元素（向量）称为单位元素（向量），零元素（向量）的长度为0．由定义1.2易知，元素（向量）的长度具有下列性质： (1) V R k k k ∈∀∈∀⋅=ααα,,(2) 当o ≠α时,,11=αα即αα1是一个单位元素（向量）．通常称此为把非零元素（向量）α单位化．定理1.1 (Cauchy-Schwarz 不等式)． 设βα,是欧氏空间V 中的任意两个元素（向量），则不等式βαβα⋅≤),(，对V ∈∀βα,均成立，并且当且仅当α与β线性相关时，等号成立．证明：当α与β至少有一个是零元素（向量）时，结论显然成立．现在设βα,均为非零元素（向量），则)),(),(,),(),((ββββααββββαα--[]0),(),(),(2≥-=βββααα， 因此有[]),(),(),(2ββααβα≤， 即βαβα⋅≤),(．而且当且仅当ββββαα),(),(=，即α与β线性相关时，等号成立．定义1.3 设x 与y 是欧氏空间V 中的任意两个元素（向量），则称yx y x ),(arccos =θ为x 与y 的夹角，记作,,><y x 即 ),0(,),(arccos ,πθ≤><≤=>=<y x yx y x y x ． 例 1.3 试证明欧氏空间V 中成立三角不等式V y x y x y x ∈∀+≤+,,．证明 因),(2y x y x y x ++=+),(),(2),(y y y x x x ++=，由Schwarz Cauchy -不等式，有 222222)(2),(2y x y y x x y y x x y x +=++≤++=+， 即有 y x y x +≤+ ．§2 正交基及正交补与正交投影1 正交基定义 2.1 设y x ,是欧氏空间V 中的任意两个元素（向量），如果0),(=y x ，则称元素（向量）x 与y 正交，记作.y x ⊥．由定义2.1易知，零元素（向量）与任何元素（向量）均正交．若,o x ≠由于,0),(>x x 所以非零元素（向量）不会与自身正交，即只有零元素（向量）才与自己正交．例 2.1 在2R 中,对于任意两个向量x 与y 的内积，定义：(1)y x y x T =1),(；(2) Ay x y x T =),(，其中⎥⎦⎤⎢⎣⎡=2111A ．由此所得的两个欧氏空间分别记为21R 与22R ，试判断向量T x )1,1(0=与T y )1,1(0-=在21R 与22R 中是否正交？解 由于 011)1,1(),(100=⎪⎪⎭⎫⎝⎛-=y x ；01112111)1,1(),(200≠=⎪⎪⎭⎫ ⎝⎛-⎥⎦⎤⎢⎣⎡=y x ． 故向量x 与y 在21R 中正交,在22R 中不正交．说明：两元素（向量）正交与否由所在空间的内积确定． 此外，在欧氏空间V 中也有勾股定理，即当y x ⊥时,有 222y x y x +=+.可将其推广至多个元素（向量），即当m ααα,,,21 两两正交时，有22221221m m αααααα+++=+++ ．定义2.2 欧氏空间V 中一组非零元素（向量），若两两正交，则称其为一个正交元素（向量）组．定理 2.1 若m ααα,,,21 是欧氏空间V 中一个正交元素（向量）组，则m ααα,,,21 线性无关．证明 设有一组数m k k k ,,,21 ,使o k k k m m =+++ααα 2211，在上式两边分别用),2,1(m i i =α作内积，可得),,2,1(,0),(),(),(21m i k k k i m m i i ==+++αααααα， 由于j i ≠时,0),(=j i αα故可得),,2,1(0),(m i k i i i ==αα，又 0≠i α时, 0),(>i i αα, 从而有),2,1(0m i k i ==，所以m ααα,,,21 线性无关．推论：在n 维欧氏空间中，正交元素（向量）组所含元素（向量）的个数不会超过n 个．定义2.3 在n 维欧氏空间V 中，由n 个元素（向量）构成的正交元素（向量）组称为V 的正交基；由单位元素（向量）组成的正交基叫作标准正交基．定理 2.2 (Schmidt 正交化方法) 设n ααα,,,21 是n 维欧氏空间V 的任意一个基，则总可将其进行适当运算后化为V 的一个正交基，进而将其化为一个标准正交基．证明 因为m ααα,,,21 线性无关，所以),,2,1(0n i i =≠α． 首先, 取11αβ=；其次, 令1111222),(),(ββββααβ-=，则可得两个正交元素（向量）21,ββ；再次, 令222231111333),(),(),(),(ββββαββββααβ--=，则得到三个正交元素（向量）.,,321βββ依此进行下去，一般有),,3,2(),(),(),(),(),(),(111122221111n i i i i i i i i i i =----=----ββββαββββαββββααβ 这样得到V 的一个正交基．再将其单位化，令 ),,2,1(1n i i i i ==ββγ，则可得V 的一组标准正交基n γγγ,,,21 ．例2.1 在4R 中,将基T )0,0,1,1(1=α,T )0,1,0,1(2=α,T )1,0,0,1(3-=α, T )1,1,1,1(4--=α,用Schmidt 正交化方法化为标准正交基．解 先正交化令 ;)0,0,1,1(11T ==αβ ;)0,1,21,21(),(),(1111222T -=-=ββββααβ ;)1,31,31,31(),(),(),(),(222231111333T -=--=ββββαββββααβ T )1,1,1,1(),(),(),(),(),(),(33334222241111444--=---=ββββαββββαββββααβ 再单位化令 T )0,0,21,21(1111==ββγ T)0,62,61,61(1222-==ββγ T )123,121,121,121(1333-==ββγ T )21,21,21,21(1444--==ββγ则 4321,,,γγγγ 就是所要求的标准正交基．例2.2 设n εεε,,,21 是n 维欧氏空间V 的一个标准正交基， n n x x x x εεε+++= 2211，n n y y y y εεε++= 2211，则有),(),(11∑∑===n j j j n i i i y x y x εε∑==n i ii y x 1．在标准正交基下，V 中任意两个元素（向量）的内积等于它们对应坐标的乘积之和．定义2.4 设n εεε,,,21 是n 维欧氏空间V 的一个基，x ，y 在其基下的坐标表示分别为T n x x x x ),,,(21 =，T n y y y y ),,,(21 =，（∑==n i i i x x 1ε，∑==n i i i y y 1ε），则有Gy x y g x y x y x y x T j nj i ij i j j n j i i i n j j j n i i i ====∑∑∑∑======111111),(),(),(εεεε．其中，)(ij g G G =为n 阶方阵，n j i g j i ij ,,2,1,),,( ==εε．称G 为度量矩阵，它为对称可逆矩阵．2 正交补与正交投影定义 2.5 设1W 和2W 是欧氏空间V 的两个子空间，若对任意的21,W y W x ∈∈总有0),(=y x 成立，则称1W 与2W 正交，记作21W W ⊥.若对某个确定的x 及任意的W y ∈，总有0),(=y x 成立，则称x 与W 正交，记作x W ⊥．例 2.3 设{}R y x y x W ∈=,)0,,(1,{}R z z W ∈=),0,0(2 ,则容易得1W 和2W 均为3R 的子空间,且 12W W ⊥．定理2.3 设s W W W ,,,21 是欧氏空间V 的子空间，且两两正交，则s W W W +++ 21是直和．证明 设),,2,1(s i W i i =∈α且 o s =+++ααα 21,分别用iα在上式两边作内积，得0),(=i i αα,即),,2,1(s i oi ==α,即s W W W +++ 21是直和．定义 2.6 设1W 和2W 是欧氏空间V 的两个子空间，若21W W ⊥，且V W W =+21，则称1W 与2W 互为正交补，记作⊥=21W W 或12W W V ⊕=． 定理 2.4 欧氏空间V 的任一个子空间W ，都存在唯一的正交补W ⊥．证明 先证存在性．设m εεε,,,21 是子空间W 的一个标准正交基，则可以扩充为V 的一个标准正交基：n m m εεεεε,,,,,1,21 +，显然：),,(1n m L W εε +⊥=．再证唯一性．设1W 与2W 都是W 的正交补，则1W W V ⊕=，2W W V ⊕=，令任意的o x W x ≠∈,2,则 W x ∉,且W y y x ∈∀=,0),(,所以1W x ∈ ,即12W W ⊂．同理有 21W W ⊂.因此得 12W W =．定理2.4既证明了欧氏空间中任意子空间的正交补是存在且唯一的，又给出了正交补的计算方法．另外，V 中的任一向量x 都可唯一地分解为⊥∈∈+=W z W y z y x ,,．由此可引进正投影的概念．定义2.7 设x 是欧氏空间V 中任意的一个元素（向量），W 是V 的一个子空间，且x 被分解为.,,⊥∈∈+=W z W y z y x ,则称y 元素（向量）为x 元素（向量）在子空间W 上的正投影(又称内投影)．显然W W =⊥⊥)(，故z 为元素（向量）x 在⊥W 上的正投影．例2.4 设 {}R x x W ∈=)0,0,(,则W 是3R 的一个子空间，且它的正交补为{}R z y z y W ∈=⊥,),,0(.若3),,(R c b a ∈=α,α在W 上的正投影为)0,0,(a ,在⊥W 上的正投影为),,0(c b .§3 实内积空间的同构定义3.1 设V 与U 是两个欧氏空间,若存在V 到U 的一个一一对应σ,使(1) U V ∈∈∀+=+)(),(;,),()()(βσασβαβσασβασ(2) U k R k V k k ∈∈∀∈∀=)(;,),()(ασαασασ(3) U V ∈∈∀=)(),(;,),,())(),((βσασβαβαβσασ则称σ为V 到U 的一个同构映射，并称欧氏空间V 与U 同构．同构作为欧氏空间的关系与线性空间的同构相同，因此有：同构的有限维欧氏空间必有相同的维数；任意一个n 维欧氏空间均与n R 同构．此外，欧氏空间的同构还具有以下性质：反身性:任意一个欧氏空间V 均与自己同构；对称性:若V 与V '同构,则V '与V 同构；传递性:若V 与V '同构, V '与V ''同构,则V 与V ''同构．事实上，(1) V 到V 的恒等映射是一个同构映射；(2)设σ是V 到V '的同构映射，记1-σ为σ的逆映射，则对V ∈∀βα,有βαβασσβσασσ+=+=+--))(())()((11))(())((11βσσασσ--+=， ))(())(())((111ασσαασσασσ---===k k k k ，))(),((),()))(()),(((11βσασβαβσσασσ==--，即1-σ是V '到V 的一个同构映射．(3) 传递性的证明留作习题．§4 正交变换与对称变换1 正交变换与正交矩阵定义 4.1 设V 是一个欧氏空间,σ是V 上的线性变换，如果对任意的元素（向量）V ∈βα,,均有),())(),((βαβσασ=成立,则称σ是V 上的一个正交变换．例如，恒等变换是一个正交变换，坐标平面上的旋转变换也是一个正交变换．正交变换可以从以下几个方面来刻画．定理4.1 设σ是欧氏空间V 上的一个线性变换，则下列命题是等价的：(1) σ是一个正交变换；(2) 保持元素（向量）的长度不变,即对任意的V ∈α,有αασ=)(；(3) V 中的任意一个标准正交基在下的象仍是一个标准正交基；(4) 在任一个标准正交基下的矩阵是正交矩阵，即E A A AA T T ==．证明 采用循环证法。

泛函分析第4章内积空间第四章介绍的是内积空间，是泛函分析中非常重要的一个概念。

内积空间是在向量空间上赋予了内积运算的结构，它将几何空间的概念引入到向量空间中，从而使得我们能够定义向量的长度、角度等几何概念。

在内积空间中，我们首先需要定义内积的概念。

内积是一个数学结构，它将两个向量映射到一个实数上。

在内积空间中，内积满足一系列性质，如线性性、对称性和正定性等，这些性质保证了内积的合理性和实用性。

比如，线性性保证了内积对于向量的加法和标量乘法是线性的，对称性保证了内积的对换性质。

通过内积，我们能够定义向量的长度和角度。

向量的长度可以通过内积定义一个标准，即向量与自身的内积的平方根。

这个定义与我们熟悉的欧氏几何空间中的向量长度一致。

而向量的角度可以通过内积定义出余弦值，从而表示两个向量之间的夹角。

这个定义使得我们能够对向量的方向进行描述。

内积空间还引入了正交的概念。

在内积空间中，两个向量相互垂直时称为正交。

正交向量在几何空间中有很重要的应用，比如可以作为一组基底，并且正交向量之间的内积为零，这使得我们能够对向量进行分解和投影等操作。

内积空间还引入了内积的连续性概念。

通过内积的连续性，我们可以定义向量的极限、收敛等概念。

这使得内积空间成为了一个完备的空间，即任何一个柯西序列都存在一个极限。

内积空间是泛函分析中非常有用的一个概念。

它不仅能够将几何概念应用到向量空间中，还能够定义向量的长度和角度等概念，从而使得向量空间具有了更强的几何性质。

在泛函分析中，内积空间是研究函数空间、傅里叶变换等问题的基础。

因此，对于内积空间的理解和掌握是非常重要的。

总之，第四章介绍的内积空间是泛函分析中非常重要的一个概念。

它通过引入内积的概念，使得向量空间具有了几何性质，定义了向量的长度、角度等几何概念。

内积空间是泛函分析中非常有用的一个工具，对于研究函数空间、傅里叶变换等问题具有重要的意义。

因此，对于内积空间的理解和掌握是泛函分析学习的重点。

内积空间的正交基与正交投影内积空间是数学中一个重要的概念，它在向量空间中定义了向量之间的内积运算。

在内积空间中，有两个重要的概念：正交基和正交投影。

本文将介绍内积空间的概念，探讨正交基的性质以及正交投影的应用。

一、内积空间的定义和性质内积空间是一个向量空间，其中定义了向量间的内积运算。

一个内积空间必须满足以下条件：1. 正定性：对于任意非零向量x，有内积⟨x, x⟩大于0，并且仅当x 为零向量时等于0。

2. 线性性：对于任意向量x、y和标量a，有内积的线性性质：⟨ax + y, z⟩ = a⟨x, z⟩ + ⟨y, z⟩。

3. 对称性：对于任意向量x和y，有内积的对称性质：⟨x, y⟩ = ⟨y, x⟩。

内积空间的一个重要性质是Cauchy-Schwarz不等式，它表明对于任意向量x和y，有|⟨x, y⟩| ≤ ∥x∥∥y∥，其中∥x∥和∥y∥分别表示向量x和y的范数。

二、正交基的定义和性质在内积空间中，如果一个向量组中的向量两两正交且非零，那么这个向量组称为正交基。

正交基的一个重要性质是，内积空间中的任意向量都可以由正交基线性表示。

假设V是一个n维内积空间，{v_1, v_2, ..., v_n}是V的一个正交基，那么对于任意向量x ∈ V，可以将x表示为线性组合的形式：x =c_1v_1 + c_2v_2 + ... + c_nv_n，其中c_1, c_2, ..., c_n为常数。

三、正交投影的定义和应用正交投影是内积空间中的一个重要应用，它可以将一个向量投影到另一个向量上，得到其在后者上的正交投影。

设V是一个内积空间，W是V的一个子空间，对于任意向量x ∈V，将其正交投影到W上的向量记作Proj_W(x)。

那么Proj_W(x)满足以下两个条件：1. Proj_W(x) ∈ W，即正交投影的结果在子空间W中。

2. 向量x - Proj_W(x)与W上的所有向量正交，即内积⟨x -Proj_W(x), w⟩ = 0，对于任意w ∈ W成立。

欧氏空间内积的性质及应用欧氏空间是指以欧几里德度量为基础的向量空间，其中的向量可以进行加法、数乘和内积运算。

欧氏空间内的内积是一种常见的运算，具有一些重要的性质和应用。

本文将详细介绍欧氏空间内积的性质及其应用。

一、欧氏空间内积的性质：1. 正定性：在欧氏空间中，内积满足正定性，即对于任意非零向量x，有内积⟨x,x⟨>0。

这一性质保证了内积能够给出向量的大小和方向信息，且仅当向量为零向量时，内积为0。

2. 对称性：内积是对称的，即对于任意向量x和y，有⟨x,y⟨=⟨y,x⟨。

这一性质表明内积不依赖于向量的顺序。

3. 线性性：内积具有线性性，即对于任意向量x，y和z，以及任意标量a，有⟨ax+y,z⟨=a⟨x,z⟨+⟨y,z⟨。

这一性质是内积运算的基本性质，使得内积可以方便地与向量的其他运算（如加法、数乘等）结合使用。

4. 正交性：如果两个向量的内积为0，则它们被称为正交向量。

欧氏空间中的正交向量在几何上相互垂直，且具有一些重要的性质，如正交向量的线性无关性。

正交向量在许多应用中起到关键作用，如最小二乘法和信号处理等领域。

5. 柯西-施瓦茨不等式：欧氏空间中的内积满足柯西-施瓦茨不等式，即对于任意向量x和y，有⟨x,y⟨≤∥x∥∥y∥，其中∥x∥和∥y∥分别表示向量x和y的范数。

这一不等式给出了内积和向量范数之间的关系，具有重要的几何意义。

6. 三角不等式：欧氏空间中的内积满足三角不等式，即对于任意向量x和y，有∥x+y∥≤∥x∥+∥y∥，其中∥x∥和∥y∥分别表示向量x和y的范数。

这一不等式给出了向量加法和内积之间的关系，保证了向量范数的一致性。

7. 等距性：欧氏空间中的内积具有等距性，即对于任意向量x和y，有∥x+y∥^2=∥x∥^2+2⟨x,y⟨+∥y∥^2。

这一性质可以被视为勾股定理的推广，将向量加法和内积结合在一起，描述了欧氏空间中的距离关系。

二、欧氏空间内积的应用：1. 几何：欧氏空间的内积可以用于计算向量之间的夹角和距离。

内积空间正交与投影内积空间是线性代数中的一个重要概念，它在理论和应用中都有广泛的应用。

在内积空间中，正交和投影是两个重要的概念和操作。

本文将介绍内积空间中正交和投影的概念，以及它们的性质和应用。

一、内积空间内积空间是一个定义了内积运算的线性空间。

内积是一种将向量对应到一个复数的运算，它满足线性性、对称性、正定性和共轭对称性。

内积运算可以用来衡量向量之间的夹角、长度和相似性。

在内积空间中，我们可以定义向量的正交性。

如果两个向量的内积为零，则称它们是正交的。

内积为零意味着两个向量之间没有共享的部分，它们在空间中相互垂直。

二、正交性的性质正交的向量在内积空间中具有一些重要的性质。

1. 任意向量与零向量正交：对于任意向量v，它与零向量的内积为零，即< v, 0 > = 0。

这是因为零向量不包含任何信息，与任意向量都没有共享的部分。

2. 向量与自身正交：对于任意向量v，它与自身的内积等于它的长度的平方，即< v, v > = ||v||^2。

这是因为内积可以表示向量的长度和夹角，向量与自身夹角为零。

3. 三角不等式：对于任意两个向量v和w，它们的内积的绝对值不超过它们的长度的乘积，即|< v, w > | ≤ ||v|| ||w||。

这个性质表明，内积可以衡量向量之间的相似性和夹角，两个向量之间的内积越大，它们越相似。

三、投影在内积空间中，我们可以利用向量的投影来进行向量的近似表示和问题的简化。

投影可以将一个向量分解成两个正交向量的和，其中一个向量是原向量在另一个向量上的投影，另一个向量是原向量与投影正交的部分。

投影的计算公式为：projv(w) = < w, v > / ||v||^2 * v。

其中，projv(w)表示向量w在向量v上的投影。

投影的应用非常广泛，例如在最小二乘法中，可以利用向量的投影来寻找一个向量在一个子空间上的最佳近似；在图像处理中，可以利用投影来实现图像的压缩和重构。

内积空间中的正交性Inner Product Spaces and Orthogonality在三维空间中，如右图1所示任取一平面M ,空间中的每一个矢量x必能分解成两个直交的向量和，其中一个向量耳在平面M上，另一个向量乙与平面M垂直，即x = x0 + z ,“丄z.这种向量的分解形式，在一般的内积空间是否成立图2.4.1三维空间向量的分解，向量x = x0 + z其中兀丄乙2.4.1正交分解定义2.4.1正交设X是内积空间，x, y&X ,如果(x,刃=0,则称x与y正交或垂直，记为x丄)，•如果X 的子集A 中的每一个向量都与子集B中的每一个向量正交，则称A与B正交，记为A丄3 .特别记X丄A,即向量x与人中的每一个向量垂直.定理2.4.1勾股定理设X是内积空间,X,yex,若兀丄〉，，则卜+y『=|卜『+ |卜『・证明卜+y『=(x+y,x + y)= (x,x) + (x,y) + (y,x) + (y,刃= (x,x)+ (>,>)=II<+II4. □注仁在内积空间中，是否存在卜+y『=||x『 + |卜『=>兀丄y显然由ll-v+yf = (A-, x) + (A-, y) + 059 + (y, y)=卜『+ 卜『+ 2Re(x,y), 可知在实内积空间中卜+〉，『=卜『+||y『n X丄y成立.定义2.4. 2 正交补Orthogonal comp I ement设X是内积空间，MuX,记M丄={x|x丄M,xeX},则称M丄为子集M的正交补.显然有X -={0}, {0}丄=X 以及M丄0 M = {0}.性质2.4.1设X是内积空间，Mu X ,则M-是X的闭线性子空间.证明(1) M丄是X的线性子空间Vx, y e M丄，已 K、g e M ,有(ax+0y, Z)= (ax, z) + (0y, z) = a(A, Z)+0(y, z) = 0 ,于是ax+/3y e M丄，因此M丄是X的线性子空间.(2) M丄是X的闭子空间设{x } U M丄，且依范数A；T兀(n TOO),于是火G M ,有(■'o, Z) = (lim A;,z) = lung, Z)= 0 ."Tao n—►»因此丄，即M-是X的闭子空间.口注2：由于完备度量空间中的子空间完备的充要条件是子空间闭，因此在Hilbert空间中(完备的内积空间)，任意子集M的正交补M丄是完备的子空间，即Hilbert空间的正交补M丄也是Hi Ibert空间.定义2.4.3正交分解设M是内积空间X的子空间，xeX,如果存在丄，使得x=x° + z,则称比为x在M上的正交投影或正交分解.引理2.4.1设X是内积空间，M是X的线性子空间，xeX,若存在yeM ,使得= d(x,M),那么x- y丄M ・证明令z = x-y,若？不垂直于M,则存在e M ,使得(乙片)工0,显然儿工0 .因为VaeK t有=|忖「一a（〉i，Z）-圧（◎ ”）+ a应yj=hl!' 一 &（z，>\）~ a［（”,乙）-压（”,儿）］特别取& =上上2,贝ij可得CviOjh-^if = hlf -叱'刃）=ltf"7^7 -1灿'=ll A->if="少八即知||z-ayj|< J（x,Af）.又由于ay\ e M ,所以II2-a”II = |卜一y一Sill = ||x—（>' + a”）|| >d（x,M）.产生矛盾，故x-y丄M. □定理2.4.1投影定理设M是Hilbert空间H的闭线性子空间，则H中的元素x在M中存在唯一的正交投影, 即Fx 已H、x = x0 + z ,其中丄.（或表示为H = M ®M~'）证明（1）寻找几进行分解.Px 已 H，设d（x y M） = inj｛|卜- >'］｝ = a > 0,则存在｛y n｝ u M ,使得|卜”—x||Td （〃T8）,首先证｛儿｝是M中的基本列，因为\fm,neN有||儿厂儿『=||（几一Q + （x-儿）『=2II 儿~4 + 2 卜-儿『-||（v n - x） - （A-儿）『=2||儿-第+2卜-儿『-彳卜九+儿）-彳因为儿及M是子空间，知*（儿+儿）GM,所以£（儿,+儿）-彳"，于是|卜”,一儿『S2||儿7『+2|卜一儿『—4/ T OQ M T QC）故｛儿｝是旳中的基本列，又因M是闭子空间，即为完备空间，所以｛儿｝是"中的收敛列.不妨设儿T入（“ ->oc）,则有« = ||.V-X0|| = J(A\;W) •令7 = x-A0,因此有X = x o + z t其中A o e A/ ,且根据前面引理知乙eM丄.(2)分解的唯一性.假设还存在z’eM丄使得+ 那么有0 = (x o-x1) + (<-^1) , Z~Z t丄,于是只需0的分解具有唯一性.若0 =丫+疋，y'eM , 丄，则0 = (0$) = (V + z\y1) = (>-\y1) + (鸣V) = ||y,||2可见〉"=0及z' = 0,即0的分解具有唯一性.口例2.4.1证明在内积空间上，x丄，的充要条件是VaeK有卜+巧阻卜||.证明必要性=> 若x丄y,则有(x, y) = 0 > \/aeK有(x,ay) = &(x,y) = 0 ,于是由勾股定理«：||x+ay||= = |M|=+|H|2>H2-充分性U若VaeK有|卜+ ay|| > ||.v|| ,且y工0时，0外+讨-卜『=(x+ ay y x+ ay)-(x,x)=(x, x) + Q(” x) + 讯兀刃 + Q 颈•” y) - (兀X)=o(y, x)+可(巧y)+a(y, y)]特别取于是，(>',y)0<||x + « y||： -||.r||==-沁(y, x) = -< 0"-"""(y,>) ||y||-故(x,y) = O,即x丄y. □2.4. 2标准正交系在三维空间中，任何一向量a可写成a = ①冬+6®，其中5= (1,0,0) , e2 = (0,1,0) , (0,0,1) , q =(羽勺)9a2 =(0灼),a3 = (a.ej ,显然当心丿时9化丄勺，而(弓,弓)=1・可见a = a勺)勺+ (a迢旭+ (a,勺)勺，那么在有限维内积空间中是否具有同样的结论呢定义2.4.4标准正交系设X是内积空间，亿｝是X中的点列，若满足则称仅｝为乂中的标准正交系.例2.4.2在"维内积空间川中，向量组勺= (1,0,•••,()), 6 =(0丄0,・..,0),…，e” =(0,...,0,1),是卅的一个标准正交系.口例2.4.3在尸中,向量勺=(0,...,0丄,0,…,0,. .) (” = 1,2,・..),则｛e”｝是广的一个标准正交n系・□例2.4.4在Z?[-龙虫]中，对于f.g e Z?[-龙，/r],定义内积为则下列三组向量均是芒[-兀刃的标准正交系,仇｝ = ｛匕|耳=cos/*〃= l,2,・・・｝;｛—｝二｛匕卜” =sin/u‘ = l,2,・・・｝;. 1｛q｝ = ｛q，S，4 5 =厉=cos/u；s =sinm‘ = l,2,・・・｝・□注3:如果线性空间上中的点列迢｝的任意有限个元素线性独立，则称亿｝为线性独立系.可验证标准正交系是线性独立系.设g,q：,・..,eQ是标准正交系｛叮的一个有限子集，如果存在％,如…心&K使得那么对于任意的^(1<;<^)k kJ =勺(％，气)=(勺％心)=另(匕勺心)=(Z叽心)=(0,e nf) = °・r-l /-I反过来，任何一个线性独立系经过正交化后为标准正交系.定理2・4・2设｛叮为内积空间X 的标准正交系,0,蛰…他｝ u ｛叮,记M =…，ej 9 k 那么VxeX ,兀0 =艺（兀叫圮,是丫在M 上的正交投影•即兀wM , X = x 0 + z » （A -X 0）丄M • i -i k 证明 显然x 0 e M , Vy e M ,由于存在a^a z e^,a k eK ,使得丫 =乞01仏、于是 j-i k k （x-q,y ） = （x -另（x,q 冷迓qej i-i j-i=a ，Z 叭）（x ，气圮,，Z 叭）/-Ir-1 i-1X k =£爲（x,s ）-£q（yq ）（sc ）=o ・□ j -i i-i 注4：上述定理中的M 为R 维闭子空间，作为内积空间M 与用同构，M 也是完备的子 空间，根据投影定理，x 在M 上的正交投影忑唯一存在.定理2.4.3设｛£｝为内积空间X 中任意的一组线性独立系，则可将｛兀｝用格拉姆-施密 特（Gram-Schmidt ）方法化为标准正交系亿｝,且对任何自然数“，有噱〉，阳wKX n =艺冰匕'€n =艺血X »&-1 1-1同时span ｛e ｛灼,…％｝ = spcu^,兀,…,亠｝ •记M] =$/"/"｛©｝,根据上述定理可将"在A/】上做正交分 解x 2 =（心勺）勺+ v 2,即冬丄勺，v 2 e ,得v 2 = x 2 一 （x“勺）弓•七=（吃，勺）勺+11吋I 勺.记M z = span ｛e^e 2｝,将x 3在上做正交分解“=（坷，勺）勺+（“,勺）勺+岭，则些工0及V 3 e M ；,得v 3 = x 3 -（.Xj,e x ）e^ -（x 3,e 2）e 2 ,可令® =行，从而治A 3是勺,冬,勺的线性组合，e 3是 A P X 2V ¥3的线性组合.ZI-1以此类推，可令叫=£-£（耳,必，且有勺心…41正交，进而令0/-I于是令"计则有脸卜1,6丄勺，且有证明令勺二 则有甌卜1n-1 n-1 nx n =匕+》（£,◎）©=II 气」Is+2L （暫用）勺=•r-i i-i i-i 同时可得e”是丑,兀,…，兀的线性组合.口。

第四章 内积空间在第三章中，我们把n 维Euclid 空间n R 中的向量的模长推广到一般线性空间中去，得到了赋范线性空间的概念。

但在n R 中可以通过两个向量的夹角讨论向量与方向的问题。

这对仅有模长概念的赋范线性空间是做不到的。

我们知道，n R 中向量的夹角是通过向量的内积描述的，因此在本章我们引入了一般的内积空间的概念。

4.1 内积空间的基本概念首先回忆几何空间3R 中向量内积的概念。

设123(,,)x t t t =，123(,,)y s s s R =∈，设x 与y 夹角为ϕ，由解析几何知识可得112233cos t s t s t s x yϕ++=⋅其中， 13221()k k x t ==∑，13221()k k y s ==∑令31,k k k x y t s ==∑，称为x 与y 的内积，不难证明它有如下性质：（1）3,0,,,0;x y x R x x x θ≥∀∈=⇔=且 （2）3,,,,;x y y x x y R =∀∈（3）3121212,,,,,,;x x y x y x y x x y R +=+∀∈ （4）3,,,,,.x y x y R x y R λλλ=∀∈∀∈注：由定义可得x =内积我们可以讨论如向量的直交及投影等重要几何问题。

现在我们引入一般的内积空间的概念。

【定义 4.1】 设X 为数域F 上线性空间，若对任两个元素（向量）x ，y X ∈，有惟一F 中数与之对应，记为,x y ，并且满足如下性质：（1）,0,,,0;x y x X x x x θ≥∀∈=⇔=且（2）,,,,;x y y x x y X =∀∈（3）121212,,,,,,;x x y x y x y x x y X +=+∀∈ （4）,,,,,;x y x y F x y X λλλ=∀∈∀∈则称,x y 为x 与y 的内积，有了内积的线性空间叫做内积空间，当F 为实数域R （或复数域C ），叫X 为实（或复）内积空间。

内积空间的正交补基与正交补投影内积空间是线性代数中的一种重要概念，它在向量空间的研究中具有广泛的应用。

在内积空间中，我们可以通过正交补基和正交补投影来描述向量的性质和空间的关系。

本文将介绍内积空间的概念，正交补基的定义和性质，以及如何利用正交补投影进行向量的分解。

一、内积空间的概念内积空间是指具有内积运算的向量空间。

在这个空间中，我们可以定义两个向量之间的内积，记作⟨x，y⟩，其中x和y为内积空间中的向量。

内积满足以下性质：1. 对称性：⟨x，y⟩ = ⟨y，x⟩2. 线性性：⟨kx，y⟩ = k⟨x，y⟩，⟨x1 + x2，y⟩ = ⟨x1，y⟩ + ⟨x2，y⟩，其中k为标量。

3. 正定性：⟨x，x⟩≥ 0，当且仅当x = 0时，⟨x，x⟩ = 0。

在内积空间中，我们可以定义向量的长度（或者称为模）和向量之间的夹角。

向量的长度由内积的平方根给出，即∥x∥ = √⟨x，x⟩。

向量之间的夹角可以通过余弦定理进行计算，即cosθ = ⟨x，y⟩ /(∥x∥∥y∥)，其中θ为两个向量之间的夹角。

二、正交补基的定义和性质在内积空间中，我们可以定义正交补基。

对于内积空间中的一个子空间V，其正交补子空间记作V⊥，它由与V中任意向量正交的向量组成。

具体而言，V⊥中的向量与V中的任意向量的内积为0，即⟨x，y⟩= 0，其中x属于V，y属于V⊥。

V⊥中的向量与V中的向量正交，相互垂直。

正交补基是指V中的一组线性无关向量，它与V⊥中的一组线性无关向量共同组成了整个内积空间的一组基。

换句话说，正交补基是一组既包含V中的基向量，又包含V⊥中的基向量的基。

正交补基的性质如下：1. V中的基向量与V⊥中的基向量互为正交。

2. V中的基向量与V中的其它基向量正交。

3. V⊥中的基向量与V⊥中的其它基向量正交。

通过使用正交补基，我们可以方便地对向量进行分解和表示。

三、正交补投影的概念和应用正交补投影是利用正交补基来进行向量的分解和表示的重要方法。

内积空间及其在几何学研究中的应用内积空间是线性代数中的一个重要概念，它在许多数学领域，特别是几何学中具有广泛的应用。

内积空间是一个向量空间，其上定义了一种特殊的二元运算，称为内积。

本文将介绍内积空间的定义、性质和在几何学研究中的应用。

首先，我们来定义内积空间。

在定义内积空间之前，我们需要先了解一下向量的长度以及向量之间的夹角。

向量的长度可以通过向量的模来表示，记为∥x∥。

向量x和x之间的夹角可以表示为x，其中0≤x≤x。

当x=x/2时，向量x和x垂直；当0≤x <x/2时，向量x和x之间的夹角x越小，它们的相关性越强。

接下来，我们定义内积空间。

内积空间是一个实数或复数域上的向量空间，其中定义了一个满足一定性质的二元运算，称为内积。

对于内积空间中的任意两个向量x和x，其内积定义为〈x,x〉。

内积满足以下几个性质：1. 对于任意向量x和x，有〈x,x〉=〈x,x〉，即内积具有对称性。

2. 对于任意向量x和x以及标量x，有〈xx,x〉=x〈x,x〉，即内积与标量的乘法可以交换。

3. 对于任意向量x、x、x以及标量x和x，有〈xx+xx,x〉=x〈x,x〉+x〈x,x〉，即内积具有线性性质。

内积空间的应用非常广泛，特别是在几何学中。

内积空间可以用来定义向量的长度、向量之间的夹角以及向量的投影等概念，从而在几何学中提供了一种更加直观和易于理解的描述方式。

首先，内积空间可以用来定义向量的长度。

在内积空间中，向量x的长度可以通过计算其自身与自身的内积的平方根来得到，即∥x∥=√〈x,x〉。

通过内积空间中向量的长度，我们可以比较不同向量的大小，从而得到一种度量向量大小的标准。

其次，内积空间还可以用来定义向量之间的夹角。

对于内积空间中的向量x和x，它们之间的夹角x可以通过如下方式计算：cos x=〈x,x〉/(∥x∥∥x∥)。

通过计算向量的内积和长度，我们可以判断向量之间的夹角大小，从而进一步揭示向量之间的相关性。