学习必备 欢迎下载
第五章 相似矩阵及二次型
§1 向量的内积、长度及正交性
在这一章中, 我们主要讨论方阵的相似对角化和二次型的化简的问题, 其中会用到向量的内积, 特征值和特征向量的概念. 我们在这一节中介绍向量的内积的概念. 一. 内积, 长度和夹角.
在平面解析几何里, 我们有向量的长度, 夹角的概念, 我们希望在向量空间中也能够定义长度, 夹角的概念. 通过引入向量的内积的概念, 我们就能够利用内积来定义向量空间中的向量的长度和夹角概念. 我们首先来看平面解系几何里内积是怎么定义的. 在平面中, 引进直角坐标系
Qx
OP
向量的数量积(即内积)OP?OQdefOP?OQcos?, 其中OP, OQ分别是向量OP和OQ的长度, ?是向量OP和OQ的夹角. ?x1??y1?若OP???, OQ???, 则可以证明OP?OQ?x1y1?x2y2.
?x2??y2?2OP的长度: OP?x12?x2?OP?OQ.
若OP?0, OQ?0, 则cos??OP?OQOP?OQ, 所以??arccosOP?OQOP?OQ.
所以在平面解系几何里, 向量的长度和夹角都可用向量的数量积表示. 下面我们把平面上的数量积的概念推广到向量空间中, 这就是我们下面要介绍的内积的概念. 我们来看内积的定义. ?b1??a1?????定义. 设????, ????, (?,?)defa1b1??anbn??T?称为?与?的内积. 所以两?b??a??n??n?个向量的内积就是把两个向量的对应分量相乘相加. 利用内积的定义, 我们可以证明下面的简单的内积的性质. 性质. 设?,?,??n, ?是实数. (i) (?,?)?(?,?). (ii) (??,?)??(?,?).
(iii) (???,?)?(?,?)?(?,?).
(iv) ??0?(?,?)?0. 即??0?(?,?)?0. 由(i), (ii)知(?,??)?(??,?)??(?,?)??(?,?). 类似的由(i), (iii)知(?,???)?(?,?)?(?,?). 利用上面的性质可以证明施瓦茨不等式. 施瓦茨不等式: (?,?)2?(?,?)?(?,?).
引入了向量的内积的概念以后, 我们就可以定义向量的长度和夹角的概念. 我们先来看向量的长度的定义.
学习必备 欢迎下载
定义. ?def(?,?)?a12??a1???a2?an, 称为向量?的长度(或范数), 其中???2?.
?????an?若??1, 则?称为单位向量. 关于向量的长度, 我们有下面的简单性质. 性质(i) ??0, 且??0???0.
(ii) ??????, 其中?是实数, ?是n维向量. (注意这个性质与行列式的性质的区别. 若A是n阶矩阵, ?是实数, 则|?A|??n|A|.)
(iii) 三角不等式. ???????. (对于平面上的向量来说, 这个性质的几何意义就是两边之和小于等于第三边.) 证: (i)与(ii)是显然的. 下面我们证明(iii). 要证???????. 只要证???而
2??????2.
???2?(???,???)?(?,?)?(?,?)?(?,?)?(?,?)?(?,?)?2(?,?)?(?,?)2?(?,?)?2(?,?)?(?,?)?(?,?)?(???).所以???????. 下面我们利用内积来定义两个向量的夹角. (?,?)若??0, ??0, 则??arccos称为向量?与?的夹角.
???在这个定义里我们需要说明这个定义是合理的. 因为我们知道|cos?|?1, 所以我们需要证明(?,?)?1. 根据施瓦茨不等式, 我们有(?,?)2?(?,?)?(?,?). 所以
???(?,??)?(?,?)?(??,)??. 所以?(?,?)?1. ???在平面解系几何里我们有垂直的概念, 下面我们把垂直这个概念推广到向量空间中去, 这就是我们下面要介绍的正交的概念. 如果两个向量做内积等于零, 我们就称这两个向量正交. 若(?,?)?0, 则称?与?正交. 关于向量的正交的概念我们要注意两点. 注意: 1.零向量与任何向量正交. (?,?)?90. 也就是说 2. 若 ??0, ??0, 则?与?正交?(?,?)?0?arccos???两个非零向量正交当且仅当它们的夹角是90. 所以正交这个概念是向量垂直的推广. 二. 规范正交基. 下面我们引进规范正交基的概念, 在引进正交基的概念之前我们需要引进正交向量组的概念. 所谓正交向量组是指一组两两正交的非零向量. 定义. 正交向量组是指一组两两正交的非零向量.
注意正交向量组里的每个向量都要求是非零向量. 关于正交向量组我们有下面的简单性质. 定理. 若n维向量?1,,?m是一个正交向量组, 则?1,,?m线性无关. 证: 设k1?1??km?m?0. 要证k1??km?0.
则0?(?i,0)?(?i,k1?1??km?m)?k1(?i,?1)??km(?i,?m), (1?i?m). 但是(?i,?j)?0, i?j. 所以k1(?i,?1)??km(?i,?m)?ki(?i,?i)?0.
因为(?i,?i)?0, 所以ki?0, (1?i?m). 所以?1,,?m线性无关. □
学习必备 欢迎下载
引进了正交向量组的概念以后, 我们就可以引进规范正交基的概念. 什么叫规范正交基. 定义. 设?1,,?r是向量空间V(?n)的一个基, ?1,,?r是正交向量组, 且都是单位向量, 则称?1,,?r是V的一个规范正交基.
我们前面说过, 取定向量空间的一组基相当于是取定了向量空间的一个坐标系, 那么在向量空间中取定一组规范正交基, 相当于是取定了向量空间的一个直角坐标系.
?0?????例. 若ei??1?(i), (1?i?n). 则e1,,en是n的一个规范正交基.
?????0???关于规范正交基, 我们有下面简单的性质.
?a1????1,,?r性质. 设?1,,?r是V的一个规范正交基, ??V, ????????,
?a??r?则(?i,?)?ai.
证: ??a1?1??ar?r, 所以(?i,?)?(?i,a1?1??ar?r)?ai(?i,?i)?ai. □所以如果在向量空间中取定了一个规范正交基, 那么向量空间中的向量在这组规范正交基下的坐标可以通过内积来计算.
下面我们讨论如何通过向量空间的取定的基来构造这个向量空间的规范正交基. 我们有下面这样一个定理.
定理. 设?1,,?r是向量空间V的一个基.
??1??1 ???2??2?(?2,?1)?1 (?1,?1)?正交化: 令?,
??(?r,?1)(?,?)(?,?)?1?r2?2??rr?1?r?1??r??r?(?1,?1)(?2,?2)(?r?1,?r?1)?则?1,,?r两两正交, 且?1,,?k与?1,,?k等价 (1?k?r). 11?1, , ?r??r. 则?1,,?r是V的一个规范正交基. 再把它们单位化, 令?1??1?r上面讲的从线性无关的向量组导出正交向量组的过程称为施密特正交化过程.
这个定理在这里我们就不证了, 你们要把这个定理的结论记住.
?1??1???1???????例. 设?1??1?, ?2??0?, ?3??0?. 试用施密特正交化过程把这组向量规范正交化. ?0??1??0???????解: 正交化: 令?1??1,
1?1??1??2?(?,?)?1???1??2??2?21?1??0???2?1????2?, (?1,?1)?1??0????????1???1??1???1??1?32(?3,?1)(?3,?2)???1????1??1??1??3??3??1??2??0??????1???????2???3?.
(?1,?1)(?2,?2)??0??2??0??3????1??1???????3?