课程网址： http://jpkc.hnadl.cn/Able.Acc2.Web/pl.aspx?id=1040 欢迎大家访问 第九章 欧几里得空间 §1定义与基本性质
一、向量的内积
定义1 设V是实数域R上一个向量空间,在V上定义了一个二元实函数，称为内积,记作(?,?),它具有以下性质:
1) (?,?)?(?,?); 2) (k?,?)?k(?,?); 3) (???,?)?(?,?)?(?,?);
4) (?,?)?0,当且仅当??0时, (?,?)?0
这里?,?,?是V任意的向量,k是任意实数,这样的线性空间V称为欧几里得空间.
例1 在线性空间Rn中,对于向量
??(a1,a2,?,an),??(b1,b2,?,bn),
定义内积
(?,?)?a1b1?a2b2???anbn. (1)
则内积(1)适合定义中的条件，这样Rn就成为一个欧几里得空间.仍用来表示这个欧几里得空间.
在n?3时，(1)式就是几何空间中的向量的内积在直角坐标系中的坐标表达式.
例2 在Rn里, 对于向量
??(a1,a2,?,an),??(b1,b2,?,bn),
定义内积
(?,?)?a1b1?2a2b2???nanbn.
则内积(1)适合定义中的条件，这样Rn就也成为一个欧几里得空间.仍用来表示这个欧几里得空间.,
课程网址： http://jpkc.hnadl.cn/Able.Acc2.Web/pl.aspx?id=1040 欢迎大家访问 对同一个线性空间可以引入不同的内积,使得它作成欧几里得空间.
例3 在闭区间[a,b]上的所有实连续函数所成的空间C(a,b)中,对于函数
f(x),g(x)定义内积
(f(x),g(x))??f(x)g(x)dx. (2)
ab对于内积(2)，C(a,b)构成一个欧几里得空间.
同样地，线性空间R[x],R[x]n对于内积(2)也构成欧几里得空间. 例4 令H是一切平方和收敛的实数列
2??(x1,x2,?,xn),?xn???
n?1?所成的集合,则H是一个欧几里得空间,通常称为希尔伯特(Hilbert)空间.
二、欧几里得空间的基本性质 1）定义中条件1）表明内积是对称的.
2?)(?,k?)?(k?,?)?k(?,?)?k(?,?).
3?)(?,???)?(???,?)?(?,?)?(?,?)?(?,?)?(?,?)
定义2 非负实数(?,?)称为向量?的长度，记为?.
显然，向量的长度一般是正数，只有零向量的长度才是零，这样定义的长度符合熟知的性质：
k??|k|? (3)
这里k?R,??V.
长度为1的向量叫做单位向量.如果,??0由(3)式，向量
1??
就是一个单位向量.用向量?的长度去除向量?，得到一个与?成比例的单位向量，通常称为把?单位化.
柯西-布涅柯夫斯基不等式：即对于任意的向量?,?有
(?,?)??? (5)
课程网址： http://jpkc.hnadl.cn/Able.Acc2.Web/pl.aspx?id=1040 欢迎大家访问 当且仅当?,?线性相关时，等式才成立.
对于例1的空间Rn，(5)式就是
2222a1b1?a2b2???anbn?a12?a2???anb12?b2???bn.
对于例2的空间C(a,b)，(5)式就是
?ba22f(x)g(x)dx????af(x)dx?????ag(x)dx??
????b12b12定义3 非零向量?,?的夹角??,??规定为
(?,?)??,???arccos,0??,???
??根据柯西-布涅柯夫斯基不等式，有三角形不等式
???????.
定义4 如果向量?,?的内积为零，即
(?,?)?0
那么?,?称为正交或互相垂直，记为???.
两个非零向量正交的充要条件是它们的夹角为只有零向量才与自己正交. 勾股定理：当?,?正交时，
?. 2???2????.
22推广：如果向量两?1,?2,?,?m两两正交，那么
?1??2????m2??1??2????m.
222设V是一个n维欧几里得空间，在V中取一组基?1,?2,?,?n，对于V中任意两个向量
??x1?1?x2?2???xn?n,??y1?1?y2?2???yn?n,
由内积的性质得
课程网址： http://jpkc.hnadl.cn/Able.Acc2.Web/pl.aspx?id=1040 欢迎大家访问 (?,?)?x1?1?x2?2???xn?n,y1?1?y2?2???yn?n???(?i,?j)xiyji?1j?1nn
令
aij?(?i,?j)显然
(i,j?1,2,?,n) (8)
aij?aji.
于是
(?,?)???aijxiyj (9)
i?1j?1nn利用矩阵，(?,?)还可以写成
(?,?)?X?AY, (10)
其中
?x1??y1??????x??y?X??2?,Y??2?
???????x??y??n??n?分别是?,?的坐标，而矩阵
A?(aij)nn
称为基?1,?2,?,?n的度量矩阵.上面的讨论表明，在知道了一组基的度量矩阵之后，任意两个向量的内积就可以通过坐标按（9）或（10）来计算，因而度量矩阵完全确定了内积.
设?1,?2,?,?n是空间V的另外一组基，而由?1,?2,?,?n到?1,?2,?,?n的过渡矩阵为C，即
(?1,?2,?,?n)?(?1,?2,?,?n)C
于是不难算出，基?1,?2,?,?n的度量矩阵
B??bij????i,?j??C?AC. (11)
课程网址： http://jpkc.hnadl.cn/Able.Acc2.Web/pl.aspx?id=1040 欢迎大家访问 这就是说，不同基的度量矩阵是合同的.
根据条件(4)，对于非零向量?，即
?0????0?X???
????0???有
(?,?)?X?AX?0
因此，度量矩阵是正定的.
反之，给定一个n级正定矩阵A及n维实线性空间V的一组基?1,?2,?,?n.可以规定V上内积，使它成为欧几里得空间，并且基的?1,?2,?,?n度量矩阵是A.
欧几里得空间的子空间在所定义的内积之下显然也是一个欧几里得空间. 欧几里得空间以下简称为欧氏空间.