第二章 内积空间
第二章 内积空间
在线性空间中,元素之间仅限于加法及数乘两种线性运算,但在三维欧氏空间中,也就是在向量代数中,向量的数量积(内积)是一个重要的概念,它是引入向量正交、长度和两向量夹角等概念的基础,为了使这些应用较广的概念能在抽象的线性空间中得到反映,有必要将这些概念加以拓广,建立线性空间的内积的概念,由此形成内积空间.
§2.1 内积空间的概念
一、内积空间的定义与基本性质
定义1 设V 是数域F 上的线性空间,如果在V 上还定义了一种叫内积的运算:对于V 中任意向量,αβ都有
F
中唯一的数x 与之对应,记为
(,)x αβ=.并且这种内积运算还具有如下性质:对于任意的,,V
αβγ∈及任意
的k F ∈,有
1)(,)(,)αββα= ; 2)(,)(,)k k αβαβ=; 3)(,)(,)(,)αβγαγβγ+=+; 4)当0α≠时,(,)0αα>. 此时称V 为一个内积空间.
例1 对于复数域上的线性空间n C ,若规定向量12(,,,)α= T n a a a ,
12(,,,)β= T
n b b b 的内积为
1122(,)αββα
=+++= H
n n a b a b a b ,
则n C 是一个复数域上的内积空间.
例2 V 是[,]a b 区间上全体实连续函数对于函数加法与数乘所成的实数域上的线性空间.对于V 中元素(),()f x g x ,定义内积
((),())()()b a
f x
g x f x g x dx =
?
,
则V 构成一个内积空间.
例3 设A 是n 阶正定H -矩阵(()==H T A A A ,详见本章第三节).对于复线性空间n C 中的任意向量,αβ,若规定内积为
(,)H
A αββ
α
=,
则n C 构成一个内积空间.
内积的四条规定可推出如下性质
1o (,)(,)k k αβαβ=. 2o (,)(,)(,)αβγαβαγ+=+. 3o (,)(,)k l kl αβαβ=. 4o
11
,(,)m m
i i i
i
i i k k αβα
β==??
= ???
∑∑.
5o 11
,(,)n n
j j j
j j j l l
αβαβ==??=
???
∑∑.
6o 111
1
,(,)αβαβ====??=
???
∑∑∑∑m n
m n
i i j j i j
i j i j i j k l k l
.
7o (,0)(0,)0αα==.
定义2 对于内积空间V 中的向量α,定义它的长度为
(,)ααα=. (1) 关于向量的长度,有下面性质
8o
k k αα= . (k 为数k 的模)
长度为1的向量称为单位向量,任何非零向量α都可以单位化, 即令 0ααα
=
, (2)
则0α是α经单位化得到的单位向量.
定理1 [Cauchy-Schwarz 不等式]对于内积空间中任意向量,αβ有 (,)
αβαβ≤?
. (3)
并且,等号成立的充要条件是,αβ线性相关.
证明略.
9o (三角不等式)对任意向量,αβ,有
αβαβ+≤+. (4)
证 2
(,)(,)(,)(,)(,)αβ
αβαβαααββαββ+=++=+++
2
2
2Re(,)ααββ=++
2
2
2(,)ααββ≤++
2
2
2α
αββ
≤+?+
2()αβ=+. 由此即知(4)成立.
定义3 设A 为n 阶H -矩阵,()T n x x x x ,,,21?=为n 维复变元向量,则称
()Ax x x f H
=为一个厄米特(Hermite)二次型,称为H -二次型.
无论x 为任何n 维复向量,二次型()x f 的值总是实数,这是因为
()()()x f Ax x x A x x A x x A x Ax x x f H T
T T
T T H ======.
任一厄米特[Hermite]二次型Ax x H 必可经复数域上适当的可逆线性变换
()],[1T
n y y y n P Py x ?==阶可逆复矩阵
为化为唯一的规范形
r r p p p p y y y y y y y y -?--+?+++1111. (5)
上式中的r 称为该H —二次型的秩数,p 是正惯性指数,p r -称为负惯性指数.
与规范形(5)相应的厄米特二次型的矩阵
??????????????
? ?
?--=
00
1
1
1
1
B 称为H —矩阵A 的规范形,显然有AP P B H =.与实二次型类似,可以根据正负惯性指数的不同情况把Hermite 二次型及Hermite 矩阵分别定义为正定、负定、半正定、半负定和不定的.
定义4 在内积空间中,如果两向量,αβ的内积为零,则称,αβ正交或垂直,记作αβ⊥(规定零向量与任何向量都是正交的).
10 o (勾股定理)对于内积空间中的向量,αβ,若αβ⊥,则有
2
2
2
αβ
α
β
+=+. (6)
定义5 内积空间中两向量,αβ的距离定义为
{,}d αβαβ=-. (7)
二、标准正交基
定义6 在内积空间中,由两两正交的一些非零向量组成的向量组称为一个正交向量组,简称正交组.
易证正交向量组是线性无关的.
定义7每个向量都是单位向量的正交组称为一个标准正交组或单位正交组.
定义8 在内积空间中,由正交向量组组成的基称为正交基;由标准正交
组组成的基称为标准正交基.
n 维内积空间的n 个向量12,,...,εεεn 构成标准正交基的充要条件是
0,(,)1,εεδ≠?==?
=?
i j ij i j i j 当时,
当时. 利用施密特[Schmidt]标准正交化过程可以从一个已知线性无关向量组
12,,...,αααm 出发,得到一个与之等价的标准正交组.
实施过程又分为两大步.一是逐步正交化过程,一是单位化过程. 逐步正交化:令11βα=,2121211(,)(,)
αβββαββ=-
+,[设212k ββα=+,为保
证21(,)0ββ=,只需2111(,).](,)
αβββ=-
k ,313231231122(,)(,)(,)
(,)
αβαββββαββββ=-
-
+,
...,1111
(,)(,)
αβββαββ+++==-+∑
i
i j i j i j j j ,1,2,,1i m =- ,
易知121,,,βββ+ i 与121,,,i ααα+ 等价,12,,,m ααα 与12,,m βββ 等价. 单位化:令,1,2,,βεβ== i i i
i m ,则12,,,m εεε 为与12,,,m ααα 等价的
标准正交向量组. 定理2
n 维内积空间必有标准正交基.(0)n >
§2.2 欧氏空间
定义9 实数域上的内积空间称为欧几里得[Euclid]空间,简称欧氏空间.
由于欧氏空间是实数域上的内积空间,因而内积的共轭对称性就成了对称性.
设V 是n 维欧氏空间,12,,...,εεεn 是V 的一组基.对于V 中两个向量
1122αεεε=+++ n n x x x ,
1122βεεε=+++ n n y y y ,
由内积的性质,知
1
1
(,)(,)n
n
i
j
i j i j x y
αβεε===
∑∑.
令 (,)ij i j a εε=, ,1,2,...,=i j n . 显然=ij ji a a .于是
1112121
2221
2
??
?
?= ? ???
n n
n n nn a a a a a a A a a a 为一个实对称矩阵.向量,αβ内积可表示为
(,)T
x Ay αβ=.
这里,x y 分别是,αβ的坐标.我们称A 为V 在基12,,...,εεεn 下的度量矩阵. 定理3 欧氏空间在任一组基下的度量矩阵都是正定矩阵.
证 设V 是n 维欧氏空间,12,,...,εεεn 是V 的一组基,A 是该基下的度量矩阵.为证明实对称矩阵A 正定,只须证明实二次型T x Ax 正定,设
12(,,...,)
=T
n x x x x
为任一非零实n 元数组.令
1122αεεε=+++ n n x x x ,
则α是V 中非零向量,于是
(,)0
T
x Ax αα=>,
可见T x Ax 为正定二次型,从而知A 为正定矩阵.
定理4 n 维欧氏空间V 的一组基为标准正交基的充要条件是在该基下的度量矩阵为单位矩阵.
定理5 欧氏空间两组标准正交基间的变换矩阵(过渡矩阵)必是正交矩阵.
证 设12,,...,εεεn 及12,,...,ηηηn 都是标准正交基,且有
1212(,,...,)(,,...,)ηηηεεε=n n P
.
若P 按列分块为
12(,,...,)=n P p p p ,
则i p 恰是i η在基12,,...,εεεn 之下的坐标,于是
(,),
,1,2,...,ηηδ===T
i j i j ij p p i j n .
这说明P 是正交矩阵.
定理6 在欧氏空间中,若12,,...,εεεn 为标准正交基,P 为正交矩阵, 且1212(,,...,)(,,...,)ηηηεεε=n n P .则12,,...,ηηηn 也是标准正交基.
证 沿用定理5证明中的记法,则有
(,)ηηδ==T
i j i j ij p p ,,1,2,...,=i j n .
这说明12,,...,ηηηn 为一组标准正交基.
定义10 如果欧氏空间V 的非空子集1V 对于V 的已有运算也构成一个欧氏空间,则称1V 为V 的欧氏子空间.
定义11 设1V ,2V 是欧氏空间V 的两个子空间.如果对于1V 中任意向量α
及2V 中任意向量β,都有
(,)0
αβ=,
则称1V 与2V 是正交的子空间,记为12V V ⊥.
定义12 对于欧氏空间V 的子空间1V ,如果有V 的子空间2V ,使得12V V ⊥,
并且12V V V +=,则称2V 是1V 的正交补空间,简称正交补,并记21V V ⊥=.
由于12{0}V V = ,故知1212V V V V V =+=⊕,即说互为正交补的两个子空间的和必是直和.
例1设12,,,n ααα 是n 维欧氏空间的正交基,1m n ≤<.若令
112(,,...,)ααα=m V L ,212(,,...,)ααα++=m m n V L ,
则1V 与2V 互为正交补.
例2 对于n 维欧氏空间V 的任一子空间1V ,必有正交补1V ⊥,使
11
⊥
=⊕V V V .
证 如果1V 是平凡子空间,结论显然成立.令1V 为非平凡子空间,
12,,...,αααm 为1V 的一组基(此时1m n ≤<).现将它扩充为V 的基12,,...,αααm ,
1,...,αα+m n ,再用施密特正交化过程求出V 的一组正交基12,,...,βββm ,1,...,ββ+m n .显然
11212(,,...,)(,,...,)αααβββ==m m V L L .
由例1即知
112(,,...,)
βββ⊥
++=m m n V L ,
并且
11
⊥
=⊕V V V .
定义13 设σ是欧氏空间V 上的线性变换,如果对于V 中任意向量,αβ都有
((),())(,)
σασβαβ=, (1)
则称σ为一个正交变换.
正交变换是欧氏空间中保持内积的线性变换.
定理7 设σ是欧氏空间V 上的线性变换,则如下几个条件等价: 1)σ是正交变换;
2)σ把标准正交基化为标准正交基,即若12,,...,εεεn 是V 的一组标准正交基,则12(),(),...,()σεσεσεn 也必是V 的一组标准正交基;
3)σ在标准正交基下的矩阵是正交矩阵;
4)σ保持向量长度,即对V 中任意一个向量α,总有()σαα
=.
证 采用循环证法.
1)?2) 设12,,...,εεεn 是V 的一组标准正交基,则 (,)i j ij εεδ=, ,1,2,...,=i j n . 因σ为正交变换,便知
((),())(,)i j i j ij σεσεεεδ==, ,1,2,...,=i j n . 故12(),(),...,()σεσεσεn 也是V 的标准正交基.
2)?3) 设12,,...,εεεn 是V 的标准正交基.并设
1212(,,...,)(,,...,)σεεεεεε=n n A ,
即 1212((),(),...,())(,,...,)σεσεσεεεε=n n A .
由2)已知12(),(),...,()σεσεσεn 也是V 的标准正交基.按定理5,A 必是正交矩阵.
3)?4) 设12,,...,εεεn 是V 的一组标准正交基,α是V 中向量,它在基
12,,...,εεεn 下的坐标为x ,再设σ在基12,,...,εεεn 下的矩阵为A .于是()σα在基12,,...,εεεn 下的坐标为A x .又因A 为正交矩阵,便有
((),())()()(,)
σασααα====T
T
T
T
Ax Ax x A Ax x x ,
即知
()σαα
=.
4)?1) 对任意向量,V αβ∈,由于σ保持长度不变,便有
((),())(,)σασααα=, (2) ((),())(,)σβσβββ=, (3) ((),())(,)
σα
βσαβαβαβ++=++, (4)
(4)式即
((),())2((),())((),())σασασασβσβσβ++ (,)2(,)(,)αααβββ=++. 利用(2),(3)可得
((),())(,)σασβαβ=. 可见σ为正交变换.
定义 14 设σ是欧氏空间V 的一个线性变换.如果对于V 中任意向量
,αβ
,总有
((),)(,())
σαβασβ=,
则称σ是一个对称变换.
定理8
n 维欧氏空间V
的线性变换σ是对称变换的充要条件为σ在标准
正交基下的矩阵是对称矩阵.
证 设12,,...,εεεn 是V 的一组标准正交基,σ在该基下的矩阵为()ij n n A a ?=. 必要性 据设有
11()σεεεε=++++ i i ji j ni n a a a , 11()j j ij i nj n a a a σεεεε=++++ ,
于是 ((),)σεε=ji i j a ,(,())εσε=ij i j a .
由σ为对称变换知
((),)(,())σεεεσε=i j i j , ,
1,2,=i j n ,
便有 ji ij
a a =, ,1,2,...,=i j n .
所以A 为对称矩阵.
充分性 若A 为对称矩阵,即T
A A
=,对于V 中任意向量,αβ,设它们在基
12,,...,εεεn 下的坐标分别为,x y ,则(),()σασβ在基12,,...,εεεn 下的坐标分别为
,Ax Ay
.于是
((),)()()(,())T
T
T
T
Ax y x A y x Ay σαβασβ====,
因此σ为对称变换.
定理9 若σ是n 维欧氏空间V 上的对称变换,则必有V 的标准正交基,使σ在该基下的矩阵为对角矩阵.
证 任取V 的一组标准正交基12,,...,εεεn ,设σ在该基下的矩阵为A ,由定理8知A 为实对称矩阵,于是存在正交矩阵Q ,使
1
12(,,...,)
λλλ-=Λ=n Q AQ diag .
令 1212(,,...,)(,,...,)ηηηεεε=n n Q ,
由定理6知12,,...,ηηηn 是标准正交基.再由第一章的定理16可知σ在基
12,,...,ηηηn 下的矩阵是对角矩阵Λ.
§2.3 酉空间
一、Hermite 矩阵,酉矩阵
定义15 对于复矩阵[]ij m n A a ?=,定义其共轭矩阵为
[]ij m n
A a ?=,
其中ij a 是ij a 的共轭复数.
当A 为实矩阵时,A
A
=.
共轭矩阵具有如下性质: 1°()=A A
; 2°=kA k
A
()∈k C ;
3°A B A B
+=+;
4°AB A B
=; 5°()
T
T
A A =;
6°当A 为方阵时A A
=;
7°当A 可逆时,A 亦可逆,并且11
()()
A A --=.
记矩阵A 的共轭转置矩阵为H A ,即
()H
T T
A
A A
==.
易知,对于数k 及矩阵A 、B (只要运算可进行),总有
()
H
H
A A
=, ()H
H
kA kA
=,
()H
H
H
A B A B
+=+ , ()H
H
H
AB B A
=.
定义16 如果方阵A 满足H
A A
=,则称A 为一个厄密特[Hermite]矩阵,
简称H —矩阵.
H
—矩阵具有如下性质:
1°若A 为H -矩阵,则A
为实数;
2°若A 为H -矩阵,k 为任意实数,则kA 仍为H -矩阵;
3°若A 为H -矩阵,则*,,,T H A A A A (A 的伴随矩阵)都是H -矩阵,当A 可逆时,1A -也是H -矩阵;
4°若,A B 均为n 阶H -矩阵,则A B +也是H -矩阵.
证明如下:
1°由
()
T
A A A A
===,即得证.
2°因k 为实数,则有k k
=,于是
()()T
T
T
kA kA kA kA
===,
得kA 为H -矩阵.
3°当A 为H -矩阵时,由定义易证,,T H A A A 仍为H —矩阵.为证*A 为H -矩阵,只须证明ij ji
A A =[ij A 表示
A
的(,)i j 元素的代数余子式].注意到T A A
=,
则有
()()T
ij ji ji ji
A A A A ===,
上式中()T ji A 、()ji A 分别表示T A 与A 的(,)j i 元的代数余子式.
定义17 如果n 阶复矩阵A 满足H H A A AA =,则称A 为一个正规矩阵. 定义18
n 阶复矩阵[]n n
ij A a C
?=∈.若=
=H H
A A AA
E
,则称A 是一个酉矩
阵或写为U -矩阵.
U
-矩阵都是可逆矩阵,实数域上的U -矩阵就是正交矩阵.
对于n 阶复矩阵A ,下述四个条件等价: 1)A 为U -矩阵; 2)T A A E
=; 3)1H
A A
-=; 4)H
AA E
=.
易证U -矩阵具有如下性质:
1°若A ,B 均为n 阶U -矩阵,则AB 亦然. 2°若A 为U -矩阵,则1,,,T H A A A A -亦然.
二、矩阵的相似对角化
对于n 阶矩阵A ,B ,如果存在一个n 阶可逆矩阵P ,使得B AP P =-1,
则称A 相似于B ,记作A ∽B .
定义19 对于方阵A ,以可逆矩阵P 对A 进行运算AP P 1-,称为对A 进行相似变换,P 称为相似因子.
定理10 在数域F 上,n 阶矩阵A 能与某对角矩阵相似的充分必要条件是A 有n 个线性无关的特征向量.
证 必要性 若在数域F 上A 相似于某对角矩阵Λ,即有可逆矩阵P ,
使 =-AP P 1Λ????
??
?
?
?=n λλλ
2
1. (1) 设P 的列向量组为n ααα ,,21,则有
????
??
?
?
?=n n n A λλλαααααα
2
1
2121),,(),,,(, 即 ),,,(),,,(221121n n n A A A αλαλαλααα =,
于是 n i A i i i ,,2,1, ==αλα. (2)
由于n ααα ,,21是可逆矩阵P 的列向量组,所以必是数域F 上线性无关的向量组,并且每个i α都是非零的,结合(2)便知,i α是A 的对应于特征根
i λ(n i ,,2,1 =)的特征向量.
以上证明了定理10的必要性,即若n 阶矩阵A 能在数域F 上相似于一个对角矩阵,则A 必在数域F 上存在n 个线性无关的特征向量.
充分性 即若n 阶矩阵A 在数域F 上存在n 个线性无关的特征向量,则A
必可相似于某对角矩阵,其证明过程可以按必要性证明反推回去,故充分性也
是成立的.
定义20 把矩阵相似于对角矩阵的问题称为矩阵的相似对角化.如果矩阵A 能相似于对角矩阵,就说矩阵A 可对角化.
定理11 设i λ是方阵A 的i n 重特征根,则A 相应于i λ的特征向量中线性无关组中的向量个数最多不超过i n .
定理12 设s λλλ,,,21 是方阵A 的互异特征根,i
im i i ααα ,,21是A 相应
于i λ的线性无关的特征向量,则向量组
s
sm s m m αααααα ,,,,,,,,12211112
1
是线性无关的.
定理13 如果n 阶矩阵A 在数域F 上存在n 个互异的特征根,则A 必可在数域F 上相似于对角矩阵.
定理14 实对称矩阵的特征根都是实数.
定理15 实对称矩阵相应于不同特征根的特征向量相互正交. 定理16 对于n 阶实对称矩阵A ,必有n 阶正交矩阵Q ,使AQ Q 1-为对角矩阵,并且该对角矩阵的主对角线上元素恰是A 的全部特征根.
定理17 H —矩阵的特征根都是实数.
定理18 H —矩阵相应于不同特征根的特征向量相互正交.即若A 为H —矩阵,βα,分别为A 相应于不同特征根21,λλ的特征向量,则0=αβH .
定理19 对于n 阶H —矩阵A ,必有n 阶酉矩阵U ,使
),,,(211
n H
diag AU U
AU U
λλλ ==-,
其中n λλλ,,,21 恰是A 的全部特征根. 相似因子U 的求法:
1)求出H —矩阵A 的全部互异特征根t λλλ,,,21 ;
2)对,,,2,1t i =求解0)(=-X A E i λ,设一个基础解系为i
in i i ααα,,,21 ,
经正交化、单位化得A 相应于特征根i λ的标准正交特征向量组i
in i i γγγ,,,21 ;
3)令),,,,,,,,,(12211112
1
t
tn t n n U γγγγγγ =,则U 即为所求的酉矩阵.
在实用中,利用矩阵的相似对角化可以简化某些矩阵的乘方运算.具体说,如果有可逆矩阵P ,使
),,,(211n diag AP P λλλ =Λ=-,
则由12111),,,(---=Λ=Λ=P Pdiag P P A P P A k
n k
k
k k λλλ 易知.
例
3 对于矩阵???
? ?
?=31
22
A 求100A .
解 求得A 的特征根为,4,121==λλ二根互异,A 可相似于对角矩阵,分别求出A 相应于特征根1λ及2λ的特征向量,,21αα为???
?
??-=121α,????
??=112α. 令???
? ??-=1112P ,则有)4,1(1
diag AP P =Λ=-,得???
?
??-=-2111
311P , ???
?
??-???? ?????? ??-=Λ
=-21
11
3140
011112
1001
100
100
P
P A
?
??? ???++-?+-+=100
100
100
100
4
21414224231.
§2.4酉空间的定义及性质
定义21 复数域上的内积空间称为酉空间.
定义22 设V 是n 维酉空间,12,,...,εεεn 是V 的一组基,令
(,)ij i j a εε=, ,1,2,...,=i j n ,
则称n 阶矩阵[]ij A a =为在基12,,...,εεεn 下的度量矩阵.
如果V 中向量,αβ的坐标分别为,x y ,则有
(,)H
y Ax
αβ=.
定理20 n 维酉空间在任一基下的度量矩阵都是正定的H -矩阵.
定理21 n 维酉空间V 的一组基为标准正交基的充要条件是在该基下的度量矩阵为单位矩阵.
定理22 n 维酉空间中的两组标准正交基间的变换矩阵(过渡矩阵)必是
U
—矩阵.
定理23 若12,,...,εεεn 为酉空间V 的标准正交基,Q 为U -矩阵,且
1212(,,...,)(,,...,)ηηηεεε=n n Q
则12,,...,ηηηn 也是V 的标准正交基.
定理24 对于n 维酉空间V 的任一子空间1V ,必有正交补1V ⊥,使
11
⊥
=⊕V V V .
定义23 设σ是酉空间V 上的线性变换.如果对于V 中任意向量,αβ,都有
((),())(,)σασβαβ=,
则称σ为一个酉变换.
定理25 设σ是n 维酉空间的线性变换,则如下n 个条件等价: 1)σ是酉变换;
2)σ把标准正交基化为标准正交基; 3)σ在标准正交基下的矩阵是U -矩阵;
4)对任意α∈V ,有()σαα=. 证明略.
定义24 设σ是酉空间V 的线性变换,且对V 中任意向量,αβ,总有((),)(,())σαβασβ=,则称σ为V 的一个Hermite 变换,简称H -变换或称酉
对称变换.
定理26 n 维酉空间V 的线性变换σ为H -变换的充要条件是σ在标准正交基下的矩阵为H -矩阵.
定理27 设σ是n 维酉空间V 的H -变换,则必有V 的某组标准正交基,使σ在该基下的矩阵为对角矩阵.
习 题 二
1、设V 是实数域R 上的n 维线性空间,12,,,n εεε 是V 的一组基,对于V 中向量
n n x x x εεεα+++= 2211, n n y y y εεεβ+++= 2211,
定义内积为
n n y nx y x y x +++= 22112),(βα,
证明V 在此内积下构成一个内积空间.
2、设V 是实数域R 上的n 维线性空间,n εεε,,21 是V 的一组基,A 是一个n 阶正定实对称矩阵.定义V 的内积如下:对于V 中向量βα,,如果它们在基12,,,n εεε 下的坐标分别为y x ,,则
Ay x T
=),(βα,
证明V 是一个内积空间.
3、在实内积空间4R (内积为实向量的普通内积)中,已知
?????
?
??????--=????????????--=????????????=1111,1111,0011321βββ,
试求出与321,,βββ都正交的单位向量.
4、设内积空间3
C 中向量βα,的内积为
αββαH
=),(
判断下述向量βα,是否正交:
1)T
T
i i i i )2,1,1(,),,1(-+=--=βα;
2)T T i i i i i )3,1,,1(,)2,,1(-=+-=βα.
5、设12,,,n ααα 是n 维内积空间V 的一组基,如果V 中向量β使
.,2,1,0),(n i i ==αβ
证明 0=β.
6、设V 是实数域R 上的内积空间,321,,εεε是V 的一组标准正交基.证明 )22(3
1),22(3
1),22(3
1321332123211εεεηεεεηεεεη--=
+-=
-+=
也是V 的一组标准正交基.
7、设54321,,,,εεεεε是5维内积空间V 的一组标准正交基.
32132125112,,εεεαεεαεεα++=-=+=.
求子空间),,(321αααL 的一组标准正交基.
8、已知线性空间4][x R 对于内积
?
-=
1
1
)()())(),((dx x g x f x g x f
构成一个内积空间.从基3
2
,,,1x x x 出发,经正交单位化求一组标准正交基.
9、对于实数域R 上的线性空间n m R ?,规定内积如下:对于n m R ?中任意元素
][],[ij ij b B a A ==,则
=),(B A 迹∑∑===
n
i m
j ji ji
T
b a
A B 1
1
)(.
证明n m R ?对此内积构成欧氏空间.
10、设欧氏空间4
R (内积为普通实数组向量的点积)的一组基为
?????
???????=????????????=????????????=????????????=111
1,0111,0011,00014321αααα,
求在这组基下的度量矩阵A .
11、在线性空间4R 上定义一种内积成为欧氏空间.已知在基
T
T
T
T
e e e e )1,0,0,0(,)0,1,0,0(,)0,0,1,0(,)0,0,0,1(4321====下的度量矩阵为
?????
????
???----=31
1
12100
1211012
A . 1)求在基T
T T T )1,1,0,1(,)1,2,1,0(,)0,0,2,1(,)0,0,1,1(4321==-=-=αααα下的
度量矩阵B .
2)求实数a ,使向量T a )1,2,,1(-=α与向量T )0,2,1,1(-=β正交. 12、设321,,εεε是欧氏空间V 的一组基,内积在这组基下的度量矩阵为
????
? ?
?----=61
2121
211A 已知V 的子空间1V 的一组基为
112αεε=+,2123αεεε=+-.
1)证明21,αα是1V 的一组正交基; 2)求1V 的正交补⊥
1V 的一组基.
13、设4维欧氏空间V 在基4321,,,εεεε下的度量矩阵为
第二章 内积空间
第二章 内积空间 目的:在线性空间中引入向量的长度、向量之间夹角等度量概念,深化对线性空间、线性变换等的研究。 §1 内积空间的概念 定义2-1 设V 是实数域R 上的线性空间。如果对于V 中任意两个向量βα,,都有一 个实数(记为()βα,)与它们对应,并且满足下列条件(1)-(4),则实数()βα,称为向量βα,的内积。 (1) ()()αββα,,=; (2)),(),(βαβαk k =,(R k ∈) (3)),(),(),(γβγαγβα+=+,(V ∈γ) (4)()0,≥αα,当且仅当θα=时,等号成立。 此时线性空间V 称为实内积空间,简称为内积空间。 例2-1 对于n R 中的任二向量()n x x x X ,,,21 =,()n y y y Y ,,,21 =,定义内积 ()∑==n i i i y x Y X 1 ,,n R 成为一个内积空间。内积空间n R 称为欧几里得(Euclid )空间,简称 为欧氏空间。由于n 维实内积空间都与n R 同构,所以也称有限维的实内积空间为欧氏空间。 例2-2 如果对于n n R B A ?∈?,,定义内积为()∑== n j i ij ij b a B A 1 ,,,则n n R ?成为一个内积 空间。 例2-3 ],[b a R 定义dx x g x f x g x f b a ? = )()())(),((,则可以验证))(),((x g x f 满足内积 的条件,从而],[b a R 构成内积空间。 内积()βα,具有下列基本性质 (1) ()()βαβα,,k k =,(R k ∈);(2) ()()()γαβαγβα,,,+=+; (3) ()()0,,==βθθα。
第二章内积空间
第二章 内积空间 在以前学习的线性代数中,我们知道在n R 中向量的长度、夹角和正交等性 质是用内积刻划的,在本章中将内积的概念推广到一般线性空间,从而讨论一般线性空间中向量的度量性质。定义了内积的线性空间称为内积空间,常用的内积空间有欧氏空间与酉空间。 §2.1欧氏空间与酉空间 一、欧氏空间与酉空间 定义1 设V 是R 上的线性空间,如果V 中每对向量,x y ,按某一对应法则都有唯一确定的实数(,)x y 与之对应且满足: ),(),(.1x y y x = ),(),(.2y x y x λ=λ,λ?∈R ),(),(),(.3z y z x z y x +=+,z V ?∈ 0),(.4≥x x 等号成立当且仅当x θ= 则称(,)x y 为V 的内积。称定义了上述内积的有限维线性空间()V R 为欧几里得空间,简称欧氏空间,称21 ),(x x x =为x 的长度或模。 例1 在[]n P x 中定义1 0((),())()()f x g x f x g x dx =?,(),()[]n f x g x P x ∈,则[]n P x 构成一个欧氏空间。 例2 在n n ?R 中对,n n A B ??∈R 定义T (,)tr()A B AB =,则n n ?R 为欧氏空间。 证明 因为,,,n n A B C λ??∈∈R R (1) T T T T (,)tr tr[()]tr (,)A B AB AB BA B A ==== (2) T T (,)tr tr (,)A B AB AB A B λλλλ=== (3) T T T (,)tr[()]tr[](,)(,)A B C A B C AC BC A C B C +=+=+=+