第九章 欧氏空间习题

合集下载

欧式空间习题

欧式空间习题

第九章 欧式空间习题1.(填空)设n εεε,,,21 为n 维欧氏空间V 中的基,在此基下向量βα,坐标分别为),,,(21n a a a 与 ),,,(21n b b b ,则内积∑==ni i i b a 1),(βα的充分必要条件是 。

(n εεε,,,21 是V 的标准正交基)2.(填空)21,V V 是有限维欧氏空间的子空间,存在0,2≠∈ααV ,使得1V ⊥α的充分条件是子空间的维数之间满足 。

()维()维(21V V <3.对角矩阵为正交矩阵的充分必要条件是 (对角线上的元素为±1)。

4.(证明)设A 与B 是欧氏空间V 的两个线性变换,并且对任意V ∈α有))(),(())(),((ααααB B A A =,证明A V 与BV 作为欧氏空间是同构的。

证明:A V 与BV 均是欧氏空间V 的子空间,因而对于V 的内积来说作成欧氏空间。

令V B A f ∈∀→ααα),()(:,则f 是一个映射;因为任取V ∈βα,, 若),()(βαA A = 得 ,0)(=-βαA ))(),((0))(),((βαβαβαβα--==--∴B B A A ,从而有,0)(=-βαB 即),()(βαB B =可证f 是单射,又是满射,现证f 是线性的; R k V A A A ∈∀∈∀),()(),(βα,有)()(())()((βαβαβα+=+=+B A f A A f ))(())(()()(βαβαA f A f B B +=+=)()()()(())((αααααkf kB k B k A f kA f ====,再证f 保持内积不变;V ∈∀βα,,有))(),(())(),((2))(),(())(),(βββαααβαβαA A a A A A A A ++=++ ))(),(())(),((2))(),(())(),(βββαααβαβαB B B B B B B B ++=++= 所以))(),(())(),((βαβαB B A A =即))(),(())((),(((βαβαB B A f A f =))(),((βαA A =,从而f 是同构映射,A V 与BV 作为欧氏空间是同构的。

欧几里得空间

欧几里得空间

第九章-欧几里得空间复习题一、判断题1、欧氏空间中两两正交的向量组是线性无关的.2、欧氏空间中保持向量夹角不变的线性变换一定是正交变换.3、两个正交矩阵的乘积一定是正交矩阵.4、n 维欧氏空间n R 的恒等变换,既是正交变换,也是对称变换.5、有限维欧氏空间不同的基的度量矩阵是合同的.6、欧氏空间中保持向量长度不变的变换必是正交变换.7、任意一个(1)n n ≥维欧氏空间都存在标准正交基.8、n 维欧氏空间V 的正交变换在V 的任一组基下的矩阵必是正交矩阵.9、设V 为欧氏空间,βαβα⊥∈,,V ,则222βαβα+=+.10、设V 为有限维欧氏空间,是V 上对称线性变换,1V 为的不变子空间,则⊥1V 也为的不变子空间.11、设1V ,2V 是欧氏空间V 的两个正交子空间,则{}021=V V .12、实对称矩阵A 的任意两个特征向量都正交.13.欧氏空间是定义了内积的线性空间.14.若实对称矩阵A 的特征值全不等于零,则A 必正定.15.若A 是实对称矩阵,则必存在正交矩阵P ,使B =P -1AP =P T AP 为以A 的特征值为对角元的对角矩阵.16.n 阶矩阵A 是正交矩阵的充要条件是||=1A .17.欧氏空间中的正交变换是保持向量内积不变的线性变换.18.与任意向量都正交的向量不一定是零向量.19.同构的两个欧氏空间具有相同的维数.20.对n 维欧氏空间V 中任意两个向量α,β,必有|(α,β)|≤|α|⋅|β|.21.任一n 维欧氏空间V 与R n 同构.22.n 维欧氏空间V 中一定存在某组基的度量矩阵是非正定的.23.设n 维欧氏空间V 的一组基的度量矩阵为A,则在这组基下向量的内积由A 完全确定.24.同一个线性空间对于不同内积构成不同欧氏空间.25.n 维欧氏空间V 中向量α与β正交当且仅当α与β的夹角为π/2.26.设V 为有限维欧氏空间,则V 中任意两个向量在标准正交基下的内积等于它们的对应分量的乘积之和.27.欧氏空间V 的正交变换是V 到自身的同构映射.28.对称变换在标准正交基下的矩阵一定是实对称矩阵.29.实对称矩阵A 的正、负惯性指数分别为正、负特征值的个数.30.任意n 元实二次型都可经过正交线性替换化为标准形.二、选择题1、设21,V V 是欧氏空间V 的两个子空间,则下列推断正确的是.A 、11)(V V =⊥⊥;B 、⊥⊥⊥=)(2121V V V V ;C 、121)(V V V =+⊥⊥⊥+2V ;D 、若21V V ⊂,则⊥⊥⊂21V V .2、设A 是一个n 级实对称矩阵,则下列结论正确的有.A 、A 的特征根都大于零;B 、A 的特征向量都正交;C 、A 一定有n 个不同的特征值;D 、一定存在正交矩阵T ,使AT T '为对角矩阵.3、设A 是n 级实对称矩阵,则下列结论正确是.A 、A 的特征值都是实数;B 、A 的特征向量都正交;C 、A 必有n 个不同的特征值;D 、A 的特征值必不为0.4、设{}R b a b a V ∈=,),(,V b b a a ∈==),(),,(2121βα,则下列定义的内积中使V 为欧氏空间.A 、1221),(b a b a +=βα;B 、1),(2211++=b a b a βα;C 、2211),(b a b a -=βα;D 、221153),(b a b a +=βα.5、设是n 维欧氏空间V 的一个线性变换,则是正交变换的充分必要条件是.A 、在任一组基下的矩阵是正交矩阵;B 、保持V 中元素的正交关系,即⇒⊥∈∀βαβα,,V ⊥αβ;C 、保持V 中的非零元素的夹角不变,即>=<<∈∀βαβα,,,V ,α>β;D 、如果n εεε,,,21 是标准正交基,那么,1ε,,2 εn ε也是标准正交基.6、)1(≥n n 维欧氏空间的标准正交基.A 、不存在;B 、存在不唯一;C 、存在且唯一;D 、不一定存在.7.设V 是n 维欧氏空间,则对V 的同一内积而言,不同基的度量矩阵之间的关系是.A 、等价;B 、相似;C 、合同;D 、以上说法都不对.8.以下关于正交变换说法错误的是.A 、正交变换保持n 维欧氏空间中的标准正交基不变;B 、正交变换保持向量间的距离不变;C 、正交变换在标准正交基下的矩阵为正交矩阵;D 、正交变换的逆变换不一定是正交变换.9.下列关于欧氏空间同构的说法正确的是.A 、设V ,V′都是n 维欧氏空间,则V 与V′同构;B 、数乘变换是欧氏空间V 到自身的同构映射;C 、若是线性空间V 到V′的同构映射,则也是欧氏空间V 到V′的同构映射;D 、若是欧氏空间V 到V′的一个映射,且保持线性运算,则是V 到V′的同构映射.10.设V 是n 维欧氏空间,则下列关于V 的标准正交基的说法错误的是.A 、标准正交基的度量矩阵是单位矩阵;B 、任意两组标准正交基之间的过渡矩阵是单位矩阵;C 、若ε1,ε2,…,εn 是V 的一组标准正交基,A 是正交矩阵,若(η1,η2,…,ηn)=(ε1,ε2,…εn)A ,则η1,η2,…,ηn 也是V 的一组标准正交基;D 、V 的标准正交基与它的任意一组基等价.11.设V 是n 维欧氏空间,α1,α2,…,αm 是V 中的正交向量组,则m 和n 满足.A 、m<n ;B 、m=n ;C 、m ≥n ;D 、m ≤n.12.若A,B 是正交矩阵,下列说法中错误的是.A.T A A =-1; B.11或-=A ;C.AB 不是正交阵; D.A 的列向量都是单位向量,且两两正交.13.设A 是n 阶正交阵,①1-A 也是正交阵;②1-=A ;③A 的列向量都是单位向量且两两正交;④A 的行向量组都是单位向量且两两正交.则以上说法正确的有.A .1个;B .2个;C .3个;D .4个.三、综合题1.在R 4中求一单位向量与()()()3,1,1,2,1,1,1,1,1,1,1,1---正交。

第九章 欧氏空间习题

第九章 欧氏空间习题

第九章欧氏空间习题一、填空题1.设V 是一个欧氏空间,V ξ∈,若对任意V η∈,都有(,)0ξη=,则______ξ=。

2.在n 维欧氏空间V 中,向量ξ在标准正交基12,,,n ηηη下的坐标是12(,,,)n x x x ,那么(,)____i ξη=,||____ξ=。

3.若33()ij A a ⨯=是一个正交矩阵,则方程组111122133121122223323113223333a x a x a xb a x a x a x b a x a x a x b ++=⎧⎪++=⎨⎪++=⎩的解为 。

4.已知三维欧式空间V 中有一组基123(,,)a a a ,其度量矩阵为110120003A -⎛⎫ ⎪=- ⎪ ⎪⎝⎭,则向量12323βααα=+-的长度为 。

5.设2中的内积为(,)'A αβαβ=,2112A ⎛⎫= ⎪⎝⎭则在此内积之下的度量矩阵为 。

6.设1(0,1,1)α=-,2(2,1,2)α=-,12k βαα=+,若β与2α正交,则k = 。

7.若欧氏空间V 在某组基下的度量矩阵为200031011⎛⎫ ⎪ ⎪ ⎪⎝⎭,某向量在此组基下的坐标为(1,1,1),则它的长度为 ,在此基下向量(1,1,1)与向量(1,1,1)-的夹角为 。

8.在欧氏空间中,若,αβ线性相关,且2,3αβ==,则(,)αβ 。

9.11010002A k k ⎛⎫ ⎪= ⎪ ⎪-⎝⎭是度量阵,则k 必须满足条件______________。

10.线性空间在不同基下的过渡阵、线性变换在某组基下的矩阵、欧氏空间的度量阵这三类矩阵中,可以为退化阵的是 。

11. 在欧氏空间3R 中,向量(1,0,1)α=-,(0,1,0)β=,那么(,)αβ=___________, α=___________。

12. 两个有限维欧氏空间同构的充要条件是__________________。

13. 已知A 是一个正交矩阵,那么1A -=__________,2A =__________。

欧几里得空间习题解答

欧几里得空间习题解答

第九章欧几里得空间习题解答P394.1.1(,)'0(""0)'(')'''(,)A A A αααααβαβαβααβαβ∴=≥=⇔====正定非负性证得由矩阵失去,线性性成立,再由(,)=A A 对称性成立,是一个内积()1111161P394.1.2,(06);19,,P394.1.2|(,)|||||(,)|i ijiji j n nnij i ji j n n ij i j i j A a x y c s B a x y εεαεεεαβαβαβ====⎛⎫ ⎪ ⎪== ⎪ ⎪ ⎪⎝⎭∴≤=∴--≤∑∑∑∑的度量矩阵即为A不等式为|()393.2P ①, α=(2,1,3,2), β=(1,2,-2,1)|||,)0,,2αβαβαβπαβ∴====∴⊥∴=〈〉393.2P ②, α=(1,2,2,3), β=(3,1,5,1)|||6,(,)18(,)(,)arc cos ||||4arc arc αβαβαβπαβαβ=====∴====393.2P ③, α=(1,1,1,2), β=(3,1,-1,0)||||(,)3,arc 700'30''38αβαβαβ===∴==︒〈〉P393. 3||||||αβαβ+≤+(,)|||()()||||(,)(,)d d d αγαγαββγαββγαββγ∴=-=-+-≤-+-+ =P393.4在4R 中求一单位向量与(1,1,-1),(1,-1,1-,1),(2,1,1,3)正交解设所求212341234123412344123(,,,)1,00230111111111111111020001003,2113013100314,0,14i x x x x x x x x x x x x x x x x x x x x x x αα==+-+=⎧⎫⎪⎪--+=⎨⎬⎪⎪+++=⎭⎩⎛⎫-⎛⎫⎛⎫--⎪⎪ ⎪ ⎪ ⎪ ⎪--→-→=⎪⎪ ⎪ ⎪ ⎪ ⎪+ ⎪⎝⎭⎝⎭⎝⎭===-=-∑则且与各向量的内积为0得令得,0,1,3),()-单位化393.5P ①证:因为12(,)0, 1.2,,i n i n γαααα==而是一个基11(,)(,)(,)0.0.nni i i i i i k k γγγαγαγ==∴====∑∑因此,必有393.5P ②证,12(,)(,), 1.2,i i i n γαγα==12(,)0, 1.2i i n γγα∴-==由第①小题:12120,γγγγ-==故P393.61231232211(,,)(,,)2123122αααεεε⎛⎫ ⎪=-- ⎪ ⎪--⎝⎭而1232211212,,3122ααα⎛⎫⎪-- ⎪ ⎪--⎝⎭是正交矩阵,所以是标准正交基11212431231212121124512451131212351152124531235393.7,/2(,)1111(22)(,)222221210)22)1()2s P αεεαεεεεεεεβααββαβαβεεεεεεεεβββαββεεεεηεεηεεεεηεεεε==-+=++==-=-=-+-=-+-=--=++-=+=-+-=++-123解:再正交化称:P394.8,解:123452111310014001110101115X X X X X X ⎛⎫ ⎪ ⎪---⎛⎫⎛⎫ ⎪=→= ⎪ ⎪--- ⎪⎝⎭⎝⎭⎪ ⎪⎝⎭解出:123014115100010001ηηη-⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪⎪ ⎪ ⎪=== ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭Schmidt:1221331022711161151311116222105022130005ββηββηβ--⎛⎫⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪==-=-=++-= ⎪⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎝⎭单位化便得到解空间的标准正交基:123766135εεε⎛⎛⎫⎛⎫⎪⎪-⎪⎪⎪⎪====⎪⎪⎪⎪⎪ ⎪ ⎪⎝⎭⎪ ⎪⎝⎭ ⎪⎝⎭P394.9 11(,)()()f g f x g x d x-=⎰已知2312341,,,x x xαααα====解:111βα==21122111223132321211223434142441234112233111222(,)(,)*2(,)(,)1310(,)(,)232(,)(,)(,)352(,)(,)(,)532(,)2||(,)||3(xdxx xx xx x x αββαβββαβαββαββββββαβαβαββαβββαββββββββββββ--=-=-=--=---=-=---=--=-====⎰又142333116424441218,)()||3945698(,)()||525175x x dxx x x dxββββββ+--=-+===-+==⎰⎰单位化标准正交基312324,1),3)396.17.4133333333133333343313333333313333x x x xPA A Eγγγγ===-=-------⎛⎫⎛⎫⎪ ⎪-----⎪ ⎪==⎪ ⎪-----⎪ ⎪⎪ ⎪-----⎝⎭⎝⎭1123443() 4.840Acy Tr A x x λλλλχχ∴===-⇒==-+-=221-秩(A+4E)=1至少为重根,而-(4+4+4)+解(A+4E)x=o,即1111210311111110212003⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪-- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪-- ⎪⎪⎪ ⎪⎪⎪-- ⎪⎪⎪ ⎪⎪⎪⎝⎭⎝⎭⎝⎭得正交基础体系1100单位化为28λ⎛⎫ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭解(A-8E)x=0.得解取自A+4E的一列3-33-31111121124124'1402812T T AT T AT -⎛⎫ ⎪- ⎪ ⎪ ⎪ ⎪-⎝⎭-⎛⎫- ⎪- ⎪=== ⎪- ⎪ ⎪⎝⎭-单位化为令则112121211111111395.10.10(,,)(,)(,)0,.(,)(,)0P V V V V V k k k V ββαβαβαβββββαβαβ∈≠∅=+=⇒+∈⎫∀∈∴≤⎬==⇒∈⎭11123123111P395.10.2 0dim 1.,,,(2)(,)dim 1.dim 1.n n V V n V i V i L V V n V n αααααααααααα≠∴∉≤-=∈≥∴≤⇒≥-∴≥-故将扩充为的一个正交基那么.P394,11①设两个基:12,12,,,n n εεεηηη及,它们的度量矩阵分别为A 和B,并设121211122111221212'''221122(,,,)(,,,),,(,,)(,,,)(,,)(,,,),(,)(')'()n n n n n n CV X X Y Y X CX Y CY X BY X AY X C AC Y C AC B ηηηεεεαβαεεηηηβεεηηηαβ=∈=========∴=任设所以合同P394.11②, 取V 的一个基12,,,,n A ααα其度量矩阵为因为A 正交,故存在矩阵C,使12121212',,,,,,',,,n n n n C AC E ηηηαααηηηηηη=C AC=E做基(,)=()C,那么,的度量矩阵为因此,为标准正交基.1212121212121212211111P394.12,,,,(,)(,,)()(,,),,|(,,)|,,,,(,,|0()0|()|||0,m ij i j m ij m mm m m m m m V G G G G G ααααααααααααααααααααααααααααααααα⨯∈==⇔≠⇔>⇔=≠记:,称,为,的Gram 矩阵称,为,的Gram 行列式证明,线性无关,)证:若m=1,线性无关,成立121211,|(,,)|0(,,)(,)(,,)0,0,1,2,.n m mj k k ij k ik k i k k k jk jk ji j k k k jm G A c c a c c i m αααβββββααααααγ=≠≠≠≠>==⇔=⇔==⇔-=∴⇔==∑∑∑∑若而,不妨设,1212(,,,),,,,j k k m k jj k m k jc L ck γαααααααααα≠≠=-∈⇔=⇔∑∑线性相关211212112121222122122222212122123|()|||||||||cos (,),(,)|(,)|(,),(,)||||cos ||||||(1cos )(||||cos )|(,,)|()G G G αααααθααααααααααααθαααθααθααα====-==类似地:平行六面体积P394,13,设:1222000n n n n nn A αααααα⎛⎫⎪ ⎪= ⎪⎪⎝⎭因为A 正交,故A'A=E ,令A=12(,,)n βββ由第1行列,211111,1αα==±由β1与其余各列正交,β1⊥βj (j>1),(β1,βj )=111100(1)j j a a j α=⇒=>1100A A ±⎛⎫∴= ⎪⎝⎭其中A 1仍为上三角正交矩阵,但阶数少1,故可用归纳法给出证明,且n=1时显然为真,由归纳法原理,证毕。

欧式空间习题

欧式空间习题

第九章 欧式空间习题1.(填空)设n εεε,,,21 为n 维欧氏空间V 中的基,在此基下向量βα,坐标分别为),,,(21n a a a 与 ),,,(21n b b b ,则内积∑==ni i i b a 1),(βα的充分必要条件是 。

(n εεε,,,21 是V 的标准正交基)2.(填空)21,V V 是有限维欧氏空间的子空间,存在0,2≠∈ααV ,使得1V ⊥α的充分条件是子空间的维数之间满足 。

()维()维(21V V <3.对角矩阵为正交矩阵的充分必要条件是 (对角线上的元素为±1)。

4.(证明)设A 与B 是欧氏空间V 的两个线性变换,并且对任意V ∈α有))(),(())(),((ααααB B A A =,证明A V 与BV 作为欧氏空间是同构的。

证明:A V 与BV 均是欧氏空间V 的子空间,因而对于V 的内积来说作成欧氏空间。

令V B A f ∈∀→ααα),()(:,则f 是一个映射;因为任取V ∈βα,, 若),()(βαA A = 得 ,0)(=-βαA ))(),((0))(),((βαβαβαβα--==--∴B B A A ,从而有,0)(=-βαB 即),()(βαB B =可证f 是单射,又是满射,现证f 是线性的; R k V A A A ∈∀∈∀),()(),(βα,有)()(())()((βαβαβα+=+=+B A f A A f ))(())(()()(βαβαA f A f B B +=+=)()()()(())((αααααkf kB k B k A f kA f ====,再证f 保持内积不变;V ∈∀βα,,有))(),(())(),((2))(),(())(),(βββαααβαβαA A a A A A A A ++=++ ))(),(())(),((2))(),(())(),(βββαααβαβαB B B B B B B B ++=++= 所以))(),(())(),((βαβαB B A A =即))(),(())((),(((βαβαB B A f A f =))(),((βαA A =,从而f 是同构映射,A V 与BV 作为欧氏空间是同构的。

第九章欧氏空间综合练习题解答

第九章欧氏空间综合练习题解答

第九章 欧氏空间(综合练习)一、选择题1. 设σ是欧氏空间V 的线性变换,那么σ不是正交变换的充分必要条件是( A ) A. σ保持非零向量的夹角; B. σ保持内积;C. σ保持向量的长度;D. σ把标准正交基映射为标准正交基. 2.下列命题正确的是( C ) .A. 线性变换保持向量长度不变;B. 对称变换保持向量的内积不变;C.正交变换保持向量夹角不变;D.线性变换保持向量的线性无关性. 3.欧氏空间3R 中的标准正交基是( A ).A. ();;0,1,0; B. ()1111,,0;,;0,0,12222⎛⎫⎛⎫-⎪ ⎪⎝⎭⎝⎭;C. ();;0,0,0; D. ()()()1,1,1;1,1,1;1,1,1---.4.欧氏空间中不同基下的度量矩阵是( A ).A .合同的;B .相似的;C .相等的;D .正交的. 5. n 维欧氏空间V 中,下列命题不成立的是( C ). A . V ∈βα,,若α⊥,则222βαβα+=+;B .V ∈βα,,若βα与线性相关,则)(,2ββααβα,),()(=; C .若()()γβγαβα=⇒=,,; D .若V ∈∀β,都有()0,=βα,则0=α. 6. A 是n 级正交矩阵,则下列结论错误的是( D ).A. 11-=或A ;B. A A '=-1;C.A 的列向量组是n R 的一个标准正交组;D.A 的特征值必为实数. 7.在3R 中,与向量()()1,2,1,1,1,121==a a 都正交的单位向量为( C ).A . ()1,0,1;B .()2,0,2- ;C .⎪⎭⎫ ⎝⎛-21,0,21 ;D .⎪⎭⎫ ⎝⎛21,0,21;β8.V 是欧氏空间,γβα,,是V 中的向量,则下列结论正确的是( C ).A .若),(),(γαβα=,则γβ=;B .若βα=, 则 ;C .若1),(=αα,则1=α;D .若0),(>βα,则 βα=. 9.V 是欧氏空间,V ∈γβα,,,则下列结论不成立的是( D ). A .βαβα≤),(; B . βαβα+≤+; C .βγγαβα-+-≤-; D .222βαβα+=+.10.对于n 阶实对称矩阵A ,以下结论正确的是( B )。

习题解答 第九章 欧氏空间(定稿)

习题解答  第九章 欧氏空间(定稿)
定理 1 (柯西—布涅柯夫斯基不等式)设 V 是欧氏空间,则 , V , 有 (,)
当且仅当 与 线性相关时,等号成立. 2. 标准正交基
定义 6 称欧氏空间 V 中一组两两正交的非零向量组1,2 , ,m 为一个正交向量组. 定义 7 设1,2,L ,n 是 n 维欧氏空间 V 中的一组基,若它们两两正交,则称 1,2,L ,n 为 V 的一组正交基;若正交基中的向量1,2,L ,n 都为单位向量,则称为标
n
( A, A) 0 ai2j 0 A 0 i, j1
此即证V是欧式空间。
(1)证:Eij是(i, j)元为1,其余一元皆为0的n阶方阵,那么可证 B11 E11, B12 E12 E21,L , B1n E1n En1 B22 E22 , B2n E2n En2 ,L , Bnn Enn 为V的一组基,于是
故○1 成立,且
V =S (S )
故S和(S)是同一子空间S的正交补,由正交补的唯一性,即证 ○2 .
4.设 是欧式空间V的线性变换,设 是V的一个变换,且, V ,都有(( ), )=(,( )). 证明:
(1) 是V的线性变换 (2)的值域 Im 等于的核ker的正交补。
四、典型题解析
例1.设A, B是n阶实对称阵,定义
(A, B) trAB
○1
证明:所有n阶实对称阵V 关于( A, B)成一欧式空间。 (1)求V的维数。 (2)求使trA=0的空间S的维数。 (3)求S的维数。
证 首先可证V {A Rnn | A A}是R上的一个线性空间。 再证○1 是V 的内积,从而得证V 是关于内积○1 的欧式空间. 事实上A,B,CV ,k R,有

欧氏空间练习题与测试题

欧氏空间练习题与测试题

欧⽒空间练习题与测试题第九章欧⽒空间练习题与测试题⼀、填空题1.设V 是⼀个欧⽒空间, V ξ∈,若对任意V η∈都有(,)0ξη=,则ξ=_________.2.在欧⽒空间3R 中,向量(1,0,1)α=-,(0,1,0)β=,那么(,)αβ=____ _____,α=_________.3.在n 维欧⽒空间V 中,向量ξ在标准正交基12,,,n ηηη下的坐标是12(,,,)n x x x ,那么(,)i ξη=_________,ξ=_________.4.两个有限维欧⽒空间同构的充要条件是__________________.5.已知A 是⼀个正交矩阵,那么1A -=_________,2A =_________.⼆、判断题1.在实线性空间2R 中,对于向量1212(,),(,)x x y y αβ==,定义1122(,)(1)x y x y αβ=++,那么2R 构成欧⽒空间。

( )2.在n 维实线性空间n R 中,对于向量1212(,,,),(,,,)n n a a a b b b αβ==,定义11(,)a b αβ=,则n R 构成欧⽒空间。

( ) 3.12,,,n εεε是n 维欧⽒空间V 的⼀组基,1212(,,,),(,,,)n n x x x y y y 与分别是V 中的向量,αβ在这组基下的坐标,则1122(,)n n x y x y x y αβ=+++。

( ) 4.对于欧⽒空间V 中任意向量η,1η是V 中⼀个单位向量。

( )5.12,,,n εεε是n 维欧⽒空间的⼀组基,矩阵()ij n n A a ?=,其中(,)ij i j a εε=,则A 是正定矩阵。

( )6.设V 是⼀个欧⽒空间,,V αβ∈,并且αβ=,则αβ+与αβ-正交。

( )7.设V 是⼀个欧⽒空间,,V αβ∈,并且(,)0αβ=,则,αβ线性⽆关。

( )8.若,στ都是欧⽒空间V 的对称变换,则στ也是对称变换。

第九章欧氏空间习题答案

第九章欧氏空间习题答案

第九章欧氏空间习题答案一、填空题1、 0;2、 ,;3、 ;4、 ;5、 ;6、 ;7、 ,;8、 ;9、 ;10、 线性变换在某基下得矩阵;11、 0,;12、 它们得维数相同;13、 ,1;14、 ;15、 正交;16、 ;17、 正定得。

二、判断题15 ××√√√ 610 √×√√√ 1115 √√√×√ 1620 √√×√×三、选择题15 CDBCC 610 CACB(BD) 1115 BDAAA 1618 ABB四、计算题1. 由,故特征值为。

当时,有,则基础解系为,单位化为;当时,有,则基础解系为,单位化为;当时,有,则基础解系为,单位化为。

则令,为正交阵,有。

2. (1),由于二次型正定,则,即。

(2)当时,则。

由,特征值为。

故标准形为。

3. 二次型矩阵为。

由于正交变换得到得标准形为,则得特征值为,故,可得。

当时,有,则基础解系为,单位化为;当时,有,则基础解系为,单位化为;当时,有,则基础解系为,单位化为。

则令,为正交阵,有。

4. 设属于特征值得特征向量为,则,即,基础解系为,。

把,单位化为,。

单位化为。

令,为正交阵,有。

进一步得到。

5. 当时,则22200011(cos ,cos )cos cos cos()cos()02()2()||jx kx jx kxdx j k x j k x j k j k πππ==+--=+-⎰22200011(sin ,sin )sin sin cos()cos()02()2()||jx kx jx kxdx j k x j k x j k j k πππ==-++-=+-⎰22200011(sin ,cos )sin cos sin()()02()2()||jx kx jx kxdx j k x sin j k x j k j k πππ==-++-=+-⎰故对于任何整数,该集合均为正交向量组。

高等代数第9章习题参考答案

高等代数第9章习题参考答案

第九章 欧氏空间1.设()ij a =A 是一个n 阶正定矩阵,而),,,(21n x x x =α, ),,,(21n y y y =β,在n R 中定义内积βαβα'A =),(,1) 证明在这个定义之下, n R 成一欧氏空间; 2) 求单位向量)0,,0,1(1 =ε, )0,,1,0(2 =ε, … , )1,,0,0( =n ε,的度量矩阵;3) 具体写出这个空间中的柯西—布湿柯夫斯基不等式。

解 1)易见βαβα'A =),(是n R 上的一个二元实函数,且 (1) ),()(),(αβαβαββαβαβα='A ='A '=''A ='A =, (2) ),()()(),(αβαββαβαk k k k ='A ='A =,(3) ),(),()(),(γβγαγβγαγβαγβα+='A '+'A ='A +=+, (4) ∑='A =ji j i ijy x a,),(αααα,由于A 是正定矩阵,因此∑ji j i ijy x a,是正定而次型,从而0),(≥αα,且仅当0=α时有0),(=αα。

2)设单位向量)0,,0,1(1 =ε, )0,,1,0(2 =ε, … , )1,,0,0( =n ε,的度量矩阵为)(ij b B =,则)0,1,,0(),()( i j i ij b ==εε⎪⎪⎪⎪⎪⎭⎫ ⎝⎛nn n n n n a a a a a aa a a212222211211)(010j ⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛ =ij a ,),,2,1,(n j i =, 因此有B A =。

4) 由定义,知∑=ji ji ij y x a ,),(βα,α==β==故柯西—布湿柯夫斯基不等式为2.在4R 中,求βα,之间><βα,(内积按通常定义),设: 1) )2,3,1,2(=α, )1,2,2,1(-=β, 2) )3,2,2,1(=α, )1,5,1,3(-=β, 3) )2,1,1,1(=α, )0,1,2,3(-=β。

高等代数第九章检测题

高等代数第九章检测题

高等代数第九章检测题一、选择题1. 要使2R 作为一个欧氏空间,可以对向量),(21a a =α ),(21b b =β规定内积为:(A )1221),(b a b a +=βα (B )2211),(b a b a -=βα (C )221153),(b a b a +=βα (D )))((),(2121b b a a ++=βα2.关于欧氏空间与线性空间的关系,下列说法错误的是( )(A ) 欧氏空间是特殊的线性空间;(B ) 如果一个空间是线性空间则它一定是欧氏空间;(C ) 如果一个空间是欧氏空间则它一定是线性空间;(D ) 线性空间比欧氏空间范围大。

3.下面变换属于正交变换的有( )(A )在V 2中,把向量旋转一个角Φ的线性变换;(B )R 3中,/A ),,(),,(321321x x x x x x =(C )位似变换;(D )对称变换.4.设,/A , /B ,是欧氏空间V 的两个正交变换,则(A )./A +/B 也是正交变换; (B )./A B 也是正交变换;(C ).k k k ,⊂∀/A 也是正交变换; (D )./A -1不是正交变换.5.设/A 是欧氏空间的线性变换,则/A 是正交变换的必要而非充分的条件为( )(A )V ∈∀βα,(/A ,α/A β)=(βα,) (B )V ∈∀α, αα=/A(C )V ∈∀βα, /A α,/A β夹角与βα,夹角相等;(D )/A 在V 中任意一组标准正交基下的矩阵是正交矩阵。

二、判断题1.设n ααα ,,21是欧氏空间V 的一组基,如果V ∈β,且满足,2,1,0),(n i i ==αβ则0=β. ( )2.设321,,εεε是三维欧氏空间V 的一组基,332211332211,εεεβεεεαb b b a a a ++=++=则332211),(b a b a b a ++=βα. ( )3.设V 1,V 2是欧氏空间V 的两个子空间,如果{}021=⋂V V 则21V V ⊥. ( )4.设S ααα 21,是欧氏空间中两两正交的S 个向量,则S ααα 21,必线性无关。

高等代数(下)课外习题第九章欧氏空间]

高等代数(下)课外习题第九章欧氏空间]

第九章 欧氏空间一、判断题1、12,,,n εεε是n 维欧氏空间的一组基,矩阵()ij n n A a ⨯=,其中(,)ij i j a εε=,则A 是正定矩阵。

( )2、设V 是一个欧氏空间,,V αβ∈,并且αβ=,则αβ+与αβ-正交。

( )3、设V 是一个欧氏空间,,V αβ∈,并且(,)0αβ=,则,αβ线性无关。

( )4、n 维Euclid 空间中任意一个正交向量组都能扩充成一组正交基 ( )5、若T 是正交变换,则T 保持向量的内积不变 ( )6、度量矩阵是正定的 ( )7、正交矩阵的行列式等于1 ( )8、欧氏空间V 上的线性变换σ是对称变换的充要条件为σ关于标准正交基的矩阵为实对称矩阵。

( )9、设A 与B 都是n 阶正交矩阵,则AB 也是正交矩阵。

10、在欧氏空间V 中,若向量α与自身正交,则0=α.( )11、两两正交的向量构成的向量组叫正交向量组.( )12、若矩阵A 为正交矩阵,则1-='A A .( )13、设A 是n 维欧氏空间V 的正交变换,则A 在V 的任意基下的矩阵是正交矩阵.( )14、设21,V V 是n 维欧氏空间V 的两个正交子空间,且21V V V +=,则21V V V ⊕=。

( )15、对称矩阵A 的任意两个特征向量都正交。

( )二、填空题1、在欧氏空间3R 中,向量(1,0,1)α=-,(0,1,0)β=,那么(,)αβ=_________, α=_________.2、两个有限维欧氏空间同构的充要条件是__________________.3、已知A 是一个正交矩阵,那么1A -=_________,2A =_________. 4、已知三维欧式空间V 中有一组基123,,ααα,其度量矩阵为110120003A --⎛⎫ ⎪=- ⎪ ⎪⎝⎭,则向量12323βααα=+-的长度为 。

5、已知A 为n 阶正交阵,且|A|<0,则|A|= .6、欧氏空间V 上的线性变换σ是对称变换的充要条件为σ关于标准正交基的矩阵为 。

欧几里得空间习题解答

欧几里得空间习题解答

第九章欧几里得空间习题解答P394.1.1(,)'0(""0)'(')'''(,)A A A αααααβαβαβααβαβ∴=≥=⇔====正定非负性证得由矩阵失去,线性性成立,再由(,)=A A 对称性成立,是一个内积()1111161P394.1.2,(06);19,,P394.1.2|(,)|||||(,)|i ijiji j n nnij i ji j n n ij i j i j A a x y c s B a x y εεαεεεαβαβαβ====⎛⎫ ⎪ ⎪== ⎪ ⎪ ⎪⎝⎭∴≤=∴--≤∑∑∑∑的度量矩阵即为A不等式为|()393.2P ①, α=(2,1,3,2), β=(1,2,-2,1)|||,)0,,2αβαβαβπαβ∴====∴⊥∴=〈〉393.2P ②, α=(1,2,2,3), β=(3,1,5,1)|||6,(,)18(,)(,)arc cos ||||4arc arc αβαβαβπαβαβ=====∴====393.2P ③, α=(1,1,1,2), β=(3,1,-1,0)||||(,)3,arc 700'30''38αβαβαβ===∴==︒〈〉P393. 3||||||αβαβ+≤+(,)|||()()||||(,)(,)d d d αγαγαββγαββγαββγ∴=-=-+-≤-+-+ =P393.4在4R 中求一单位向量与(1,1,-1),(1,-1,1-,1),(2,1,1,3)正交解设所求212341234123412344123(,,,)1,00230111111111111111020001003,2113013100314,0,14i x x x x x x x x x x x x x x x x x x x x x x αα==+-+=⎧⎫⎪⎪--+=⎨⎬⎪⎪+++=⎭⎩⎛⎫-⎛⎫⎛⎫--⎪⎪ ⎪ ⎪ ⎪ ⎪--→-→=⎪⎪ ⎪ ⎪ ⎪ ⎪+ ⎪⎝⎭⎝⎭⎝⎭===-=-∑则且与各向量的内积为0得令得,0,1,3),()-单位化393.5P ①证:因为12(,)0, 1.2,,i n i n γαααα==而是一个基11(,)(,)(,)0.0.nni i i i i i k k γγγαγαγ==∴====∑∑因此,必有393.5P ②证,12(,)(,), 1.2,i i i n γαγα==12(,)0, 1.2i i n γγα∴-==由第①小题:12120,γγγγ-==故P393.61231232211(,,)(,,)2123122αααεεε⎛⎫ ⎪=-- ⎪ ⎪--⎝⎭而1232211212,,3122ααα⎛⎫⎪-- ⎪ ⎪--⎝⎭是正交矩阵,所以是标准正交基11212431231212121124512451131212351152124531235393.7,/2(,)1111(22)(,)222221210)22)1()2s P αεεαεεεεεεεβααββαβαβεεεεεεεεβββαββεεεεηεεηεεεεηεεεε==-+=++==-=-=-+-=-+-=--=++-=+=-+-=++-123解:再正交化称:P394.8,解:123452111310014001110101115X X X X X X ⎛⎫ ⎪ ⎪---⎛⎫⎛⎫ ⎪=→= ⎪ ⎪--- ⎪⎝⎭⎝⎭⎪ ⎪⎝⎭解出:123014115100010001ηηη-⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪⎪ ⎪ ⎪=== ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭Schmidt:1221331022711161151311116222105022130005ββηββηβ--⎛⎫⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪==-=-=++-= ⎪⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎝⎭单位化便得到解空间的标准正交基:123766135εεε⎛⎛⎫⎛⎫⎪⎪-⎪⎪⎪⎪====⎪⎪⎪⎪⎪ ⎪ ⎪⎝⎭⎪ ⎪⎝⎭ ⎪⎝⎭P394.9 11(,)()()f g f x g x d x-=⎰已知2312341,,,x x xαααα====解:111βα==21122111223132321211223434142441234112233111222(,)(,)*2(,)(,)1310(,)(,)232(,)(,)(,)352(,)(,)(,)532(,)2||(,)||3(xdxx xx xx x x αββαβββαβαββαββββββαβαβαββαβββαββββββββββββ--=-=-=--=---=-=---=--=-====⎰又142333116424441218,)()||3945698(,)()||525175x x dxx x x dxββββββ+--=-+===-+==⎰⎰单位化标准正交基312324,1),3)396.17.4133333333133333343313333333313333x x x xPA A Eγγγγ===-=-------⎛⎫⎛⎫⎪ ⎪-----⎪ ⎪==⎪ ⎪-----⎪ ⎪⎪ ⎪-----⎝⎭⎝⎭1123443() 4.840Acy Tr A x x λλλλχχ∴===-⇒==-+-=221-秩(A+4E)=1至少为重根,而-(4+4+4)+解(A+4E)x=o,即1111210311111110212003⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪-- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪-- ⎪⎪⎪ ⎪⎪⎪-- ⎪⎪⎪ ⎪⎪⎪⎝⎭⎝⎭⎝⎭得正交基础体系1100单位化为28λ⎛⎫ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭解(A-8E)x=0.得解取自A+4E的一列3-33-31111121124124'1402812T T AT T AT -⎛⎫ ⎪- ⎪ ⎪ ⎪ ⎪-⎝⎭-⎛⎫- ⎪- ⎪=== ⎪- ⎪ ⎪⎝⎭-单位化为令则112121211111111395.10.10(,,)(,)(,)0,.(,)(,)0P V V V V V k k k V ββαβαβαβββββαβαβ∈≠∅=+=⇒+∈⎫∀∈∴≤⎬==⇒∈⎭11123123111P395.10.2 0dim 1.,,,(2)(,)dim 1.dim 1.n n V V n V i V i L V V n V n αααααααααααα≠∴∉≤-=∈≥∴≤⇒≥-∴≥-故将扩充为的一个正交基那么.P394,11①设两个基:12,12,,,n n εεεηηη及,它们的度量矩阵分别为A 和B,并设121211122111221212'''221122(,,,)(,,,),,(,,)(,,,)(,,)(,,,),(,)(')'()n n n n n n CV X X Y Y X CX Y CY X BY X AY X C AC Y C AC B ηηηεεεαβαεεηηηβεεηηηαβ=∈=========∴=任设所以合同P394.11②, 取V 的一个基12,,,,n A ααα其度量矩阵为因为A 正交,故存在矩阵C,使12121212',,,,,,',,,n n n n C AC E ηηηαααηηηηηη=C AC=E做基(,)=()C,那么,的度量矩阵为因此,为标准正交基.1212121212121212211111P394.12,,,,(,)(,,)()(,,),,|(,,)|,,,,(,,|0()0|()|||0,m ij i j m ij m mm m m m m m V G G G G G ααααααααααααααααααααααααααααααααα⨯∈==⇔≠⇔>⇔=≠记:,称,为,的Gram 矩阵称,为,的Gram 行列式证明,线性无关,)证:若m=1,线性无关,成立121211,|(,,)|0(,,)(,)(,,)0,0,1,2,.n m mj k k ij k ik k i k k k jk jk ji j k k k jm G A c c a c c i m αααβββββααααααγ=≠≠≠≠>==⇔=⇔==⇔-=∴⇔==∑∑∑∑若而,不妨设,1212(,,,),,,,j k k m k jj k m k jc L ck γαααααααααα≠≠=-∈⇔=⇔∑∑线性相关211212112121222122122222212122123|()|||||||||cos (,),(,)|(,)|(,),(,)||||cos ||||||(1cos )(||||cos )|(,,)|()G G G αααααθααααααααααααθαααθααθααα====-==类似地:平行六面体积P394,13,设:1222000n n n n nn A αααααα⎛⎫⎪ ⎪= ⎪⎪⎝⎭因为A 正交,故A'A=E ,令A=12(,,)n βββ由第1行列,211111,1αα==±由β1与其余各列正交,β1⊥βj (j>1),(β1,βj )=111100(1)j j a a j α=⇒=>1100A A ±⎛⎫∴= ⎪⎝⎭其中A 1仍为上三角正交矩阵,但阶数少1,故可用归纳法给出证明,且n=1时显然为真,由归纳法原理,证毕。

第九章 欧几里得空间 习题答案

第九章 欧几里得空间 习题答案

第九章 欧几里得空间部分习题答案习 题(P393-P397)1.设()ij a =A 是一个n 级正定矩阵,而12(,,,)n x x x = α,12(,,,)n y y y = β.在nR 中定义内积(,)αβ为(,)'=A αβαβ.1)证明在这个定义之下,nR 成一欧氏空间;2)求单位向量1(1,0,,0)= ε,2(0,1,,0)= ε, ,(0,0,,1)n = ε的度量矩阵; 3)具体写出这个空间中的柯西-布涅柯夫斯基不等式. 解 1)显然(,)'=A αβαβ是n R 上的一个二元实函数,且 ①(,)()(,)''''''=====A A A A αβαβαββαβαβα; ②(,)()()(,)k k k k ''===A A αβαβαβαβ;③(,)()(,)(,)'''+=+=+=+A A A αβγαβγαγβγαγβγ;④由于A 是正定矩阵,故(,)0'=≥A αααα,并且,当且仅当=0α时,(,)0=αα. 因此,根据欧氏空间的定义,在这个定义之下,nR 成为欧氏空间.2)由于(,)i j i j ij a '==A εεεε,,1,2,,i j n = ,故12,,,n εεε的度量矩阵就是A .3)根据11(,)n nij i j i j a x y =='==∑∑A αβαβ,其中12(,,,)n x x x = α,12(,,,)n y y y = β,所以这个空间中的柯西-布涅柯夫斯基不等式为11n nij iji j a x y==≤∑∑2.在4R 中,求,αβ之间的夹角,<>αβ(内积按通常定义).设 1)(2,1,3,2)=α,(1,2,2,1)=-β; 2)(1,2,2,3)=α,(3,1,5,1)=β;3)(1,1,1,2)=α,(3,1,1,0)=-β.解 1)由于(,)21123(2)210=⨯+⨯+⨯-+⨯=αβ,故,2π<>=αβ.2)由于(,)1321253118=⨯+⨯+⨯+⨯=αβ,且(,)1122223318=⨯+⨯+⨯+⨯=αα,(,)3311551136=⨯+⨯+⨯+⨯=ββ,故,arccos 24παβ<>===.3)同样,直接计算得(,)3=αβ,(,)7=αα,(,)11=ββ,故,αβ<>==. 『方法技巧』首先判断(,)αβ是否为零,如果为零,那么α与β正交,即,2π<>=αβ;否则,计算(,)αα和(,)ββ,由定义(,),arccos||||αβ<>=αβαβ求α与β的夹角.4.在4R 中求一单位向量与(1,1,1,1),(1,1,1,1),(2,1,1,3)---正交. 解 设所求向量为1234(,,,)x x x x =α.由α与已知向量都正交,得方程组1234123412340,0,230.x x x x x x x x x x x x +-+=⎧⎪--+=⎨⎪+++=⎩ 直接解得它的一个基础解系为(4,0,1,3)=-η.又因为α是单位向量,所以14,0,1,3)||=±=-αηη. 『特别提醒』要注意与η同向和反向的单位向量都满足要求. 5.设12,,,n ααα是欧氏空间V 的一组基,证明:1)如果V ∈γ使(,)0i =γα,1,2,,i n = ,那么=0γ;2)如果12,V ∈γγ使对任一V ∈α有12(,)(,)=γαγα,那么12=γγ.『解题提示』只需要说明(,)0=γγ和12(,)0i -=γγα,1,2,,i n = . 证明 1)由于12,,,n ααα为欧氏空间V 的一组基,故存在12,,,n k k k ,使得1122n n k k k =++ γααα.于是,根据(,)0i =γα,1,2,,i n = ,得到11221122(,)(,)(,)(,)(,)0n n n n k k k k k k =++=++= γγγαααγαγαγα.因此=0γ.2)由于对任意的V ∈α有12(,)(,)=γαγα,故对任意的i α也有12(,)(,)i i =γαγα,即12(,)0i -=γγα,1,2,,i n = .根据1)可知12-=0γγ,即12=γγ.6.设123,,εεε是三维欧氏空间中一组标准正交基,证明:()()()11232123312311122,22,22333=+-=-+=--αεεεαεεεαεεε 也是一组标准正交基.证法1 由于123,,εεε是标准正交基,故12222112(,)()()0333333=⨯+⨯-+-⨯=αα, 13212212(,)()()()0333333=⨯+⨯-+-⨯-=αα,23211222(,)()()()0333333=⨯+-⨯-+⨯-=αα, 11222211(,)()()1333333=⨯+⨯+-⨯-=αα,22221122(,)()()1333333=⨯+-⨯-+⨯=αα, 33112222(,)()()()()1333333=⨯+-⨯-+-⨯-=αα,即1,,(,)0.i j i j i j =⎧=⎨≠⎩αα 所以123,,ααα也是三维欧氏空间中的一组标准正交基.证法2 设从123,,εεε到123,,ααα的过渡矩阵为A ,即22112123122⎛⎫ ⎪=-- ⎪ ⎪--⎝⎭A .直接计算可知22122112122129122122-⎛⎫⎛⎫ ⎪⎪'=---= ⎪⎪ ⎪⎪----⎝⎭⎝⎭A A E ,即A 是正交矩阵.从而123,,ααα也是三维欧氏空间中的一组标准正交基.『解题提示』方法1利用定义直接进行了证明;方法2则根据:如果第一组基是标准正交基,同时过渡矩阵是正交矩阵,那么第二组基也是标准正交基.7.设12345,,,,εεεεε是五维欧氏空间V 的一组标准正交基,()1223,,V L =ααα,其中115=+αεε,2124=-+αεεε,31232=++αεεε,求1V 的一组标准正交基.解 首先说明123,,ααα线性无关.事实上,设112233k k k ++=0ααα,即1231232332415(2)()k k k k k k k k +++-++++=0εεεεε,根据12345,,,,εεεεε是线性无关的,得1230k k k ===,即123,,ααα线性无关.于是123,,ααα是1V 的一组基.下面,根据施密特正交化方法对它们标准正交化:正交化:1115==+βαεε,22221124511(,)11(,)22=-=-+-αββαβεεεεββ,3132331212351122(,)(,)(,)(,)=--=++-αβαββαββεεεεββββ;单位化:115()2=+ηεε,2124522)=-+-ηεεεε, 312351()2=++-ηεεεε.则123,,ηηη即为1V 的标准正交基.『方法技巧』这类求一个欧氏空间或其子空间的标准正交基的题目,首先确定该欧氏空间或子空间的一组基,然后再将这组基标准正交化即可求得.12.设12,,,m ααα是n 维欧氏空间V 中一组向量,而111212122212(,)(,)(,)(,)(,)(,)(,)(,)(,)m m m m m m ⎛⎫⎪⎪= ⎪⎪⎝⎭αααααααααααααααααα∆. 证明:当且仅当0≠∆时12,,,m ααα线性无关.证明 设有线性关系1122m m k k k +++=0 ααα,将其分别与i α取内积,可得方程组111212112122221122(,)(,)(,)0,(,)(,)(,)0,(,)(,)(,)0.m m m mm m m m m k k k k k k k k k +++=⎧⎪+++=⎪⎨⎪⎪+++=⎩ αααααααααααααααααα 由于上述方程组仅有零解的充要条件是系数行列式0≠∆,故当且仅当0≠∆时12,,,m ααα线性无关.『方法技巧』将∆构造成一个线性方程组的系数矩阵.题目中的矩阵∆称为向量组的格拉姆矩阵,当12,,,m ααα为一组基时,其格拉姆矩阵∆即为度量矩阵.16.证明:反对称实数矩阵的特征值是零或纯虚数.证明 设A 是反对称矩阵,ξ是属于特征值λ的特征向量,即λ=ξξA ,则用'ξ左乘两边得()()()()()λλ'''''''''==-=-=-=-=-ξξξξξξξξξξξξξξA A A A A ,由于≠0ξ,故λλ=-,从而λ为纯虚数或零.事实上,令a bi λ=+,可得0=a ,即bi =λ,因此或者0λ=或bi =λ(0b ≠).『方法技巧』与证明实对称矩阵的特征值均为实数的方法类似. 17.求正交矩阵T 使'T AT 成对角形,其中A 为:1)⎪⎪⎪⎭⎫ ⎝⎛----020212022; 2)⎪⎪⎪⎭⎫ ⎝⎛----542452222; 3)⎪⎪⎪⎪⎪⎭⎫⎝⎛0041001441001400; 解 1)矩阵A 的特征多项式为()()()22021214202λλλλλλλ--=-=--+E A , 则A 的特征值为2,4,1321-===λλλ,分别求解齐次方程组()i λ-0E A X =得对应的特征向量为123(2,1,2),(2,2,1),(1,2,2)'''=--=-=ααα.将其单位化得123111(2,1,2),(2,2,1),(1,2,2)333'''=--=-=ηηη.令1232211(,,)1223212-⎛⎫ ⎪==-- ⎪ ⎪⎝⎭ηηηT ,则T 即为所求,且142⎛⎫ ⎪'= ⎪ ⎪-⎝⎭T AT .2)矩阵A 的特征多项式为()()2222254110245λλλλλλ---=--=---E A ,则A 的特征值为1210,1λλ==(二重).分别求解齐次方程组()i λ-0E A X =得:110λ=的特征向量为1(1,2,1)'=--α,21λ=的特征向量为2(2,1,0)'=-α,3(2,1,1)'=α.将其正交单位化得1231(1,2,2),2,1,0),2,4,5)3'''=--=-=ηηη, 令123132(,,)3203⎛- ==-⎝ηηηT , 则T 即为所求,且1011⎛⎫ ⎪'= ⎪ ⎪⎝⎭T AT .3)矩阵A 的特征多项式为()()()()0410145533410140λλλλλλλλλ-----==-+-+----E A ,则A 的特征值为12345,5,3,3λλλλ==-==-.分别求齐次方程组()i λ-0E A X =得相应的特征向量为1234(1,1,1,1),(1,1,1,1),(1,1,1,1),(1,1,1,1)''''==--=--=--αααα,将其单位化得12341111(1,1,1,1),(1,1,1,1),(1,1,1,1),(1,1,1,1)2222''''==--=--=--ηηηη,令1234111111111(,,,)111121111-⎛⎫ ⎪- ⎪==⎪--- ⎪-⎝⎭ηηηηT , 则T 即为所求,且5533⎛⎫ ⎪- ⎪'= ⎪ ⎪-⎝⎭T AT . 『方法技巧』实对称矩阵属于不同特征值的特征向量是正交的,如果属于某个特征值λ的特征向量只有一个时,则只需对它单位化即可,此时,它必与其它向量正交.18.用正交线性替换化下列二次型为标准形:1)32212322214432x x x x x x x --++; 2)22212312132322448x x x x x x x x x ---++;3)432122x x x x +;『解题提示』按照上一题的方法求出能够使得二次型的矩阵A 可对角化的T ,则=X TY 即为所求的正交线性替换.解 1)原二次型的矩阵120222023-⎛⎫⎪=-- ⎪ ⎪-⎝⎭A ,且A 的特征多项式为(5)(2)(1)λλλλ-=--+E A ,则其特征值为1235,2,1λλλ===-.分别求齐次方程组()i λ-0E A X =得相应的特征向量为123(1,2,2),(2,1,2),(2,2,1)'''=-=--=ααα,单位化得123111(1,2,2),(2,1,2),(2,2,1)333'''=-=--=ηηη, 令1231221(,,)2123221⎛⎫ ⎪==-- ⎪ ⎪-⎝⎭ηηηT ,则T 是正交矩阵,且521⎛⎫ ⎪'= ⎪ ⎪-⎝⎭T AT .那么正交线性替换=X TY ,使得原二次型化为22212352y y y +-. 2)原二次型的矩阵122224242-⎛⎫⎪=-- ⎪ ⎪⎝⎭A ,且A 的特征多项式为2(7)(2)λλλ-=+-E A ,则其特征值为127,2λλ=-=(二重).分别求齐次方程组()i λ-0E A X =得相应的特征向量为123(1,2,2),(2,1,0),(2,0,1)'''=-=-=ααα,正交单位化得1231(1,2,2),(2,1,0),(2,4,5)3515'''=-=-=ηηη, 令12351(,,)1015100⎛-== -⎝ηηηT ,则T 是正交矩阵,且722-⎛⎫ ⎪'= ⎪ ⎪⎝⎭T AT .那么正交线性替换=X TY ,使得原二次型化为222123722y y y -++. 3)原二次型的矩阵100100000010010⎛⎫ ⎪⎪= ⎪ ⎪⎝⎭A , 且A 的特征多项式为22(1)(1)λλλ-=+-E A ,则其特征值为11λ=(二重),21λ=-(二重).分别求齐次方程组()i λ-0E A X =得相应的特征向量为1234(1,1,0,0),(0,0,1,1),(1,1,0,0),(0,0,1,1)''''===-=-αααα,正交单位化得1234(1,1,0,0),0,1,1),1,0,0),0,1,1)2222''''===-=-ηηηη, 令123410101010(,,,)010120101⎛⎫⎪-⎪==⎪⎪-⎝⎭T ηηηη,则T 是正交矩阵,且1111⎛⎫ ⎪⎪'= ⎪- ⎪-⎝⎭T AT . 那么正交线性替换=X TY ,使得原二次型化为22221234y y y y +--. 19.设A 是n 级实对称矩阵,证明:A 正定的充分必要条件是A 的特征多项式的根全大于零. 证明 由于A 是实对称矩阵,根据教材中的定理7知,存在一个n 级正交矩阵T ,使得121n λλλ-⎛⎫⎪⎪'=== ⎪ ⎪⎝⎭ T AT T AT Λ. 又因为相似矩阵有相同的特征值,且对角形矩阵的特征值即为其对角线上的元素,所以12,,,n λλλ 为A 的全部的特征根,即A 的特征多项式的全部根.再根据合同的矩阵具有相同的正定性,故A 正定的充分必要条件是对角形矩阵Λ是正定的,而Λ正定当且仅当12,,,n λλλ 全大于零.因此A 正定的充分必要条件是A 的特征多项式的根全大于零. 『方法技巧』利用相似矩阵具有相同的特征值,合同的矩阵具有相同的正定性.。

高代竞赛辅导第9章欧氏空间

高代竞赛辅导第9章欧氏空间

9.欧氏空间1.(华南理工大学2006)4R正交基,其中1111111111222211A --⎛⎫ ⎪-- ⎪= ⎪-- ⎪--⎝⎭。

解 分析:设m n A R ⨯∈的列向量为12,,,n ααα ,则12(,,,)n A ααα= , 列空间12,,,Im n W A ααα=<>= 。

0Ti i x Wx W x x αα⊥∈⇔⊥⇔⊥⇔=0Ker T TA x x A ⇔=⇔∈,从而有(Im )K er TWA A⊥⊥==,这表明:将A 改成T A ,又可以得到以上是两个非常重要的结论,在很多地方都用的上。

具体到本题:相当于求Ker TA 也就是求齐次线性方程组0T A x =的解空间的一个 标准正交基,这是一个标准问题。

先求0T A x =的一个基础解系:121331,2002αα-⎛⎫⎛⎫ ⎪ ⎪-- ⎪ ⎪==⎪ ⎪ ⎪⎪⎝⎭⎝⎭;任何将12,αα正交化、单位化得121414,14140707ββ⎛⎫⎛⎫- ⎪ ⎪ ⎪⎪ ⎪ ⎪-- ⎪⎪==⎪ ⎪ ⎪⎪ ⎪ ⎪ ⎪⎪ ⎪ ⎪⎝⎭⎝⎭。

2.(中山大学2006)设由向量123(1,1,2,1),(3,1,4,1),(1,1,0,1)T T Tααα=-=-=-生成的子空间为W ,求一个线性方程组,使得它的解空间为恰好W 。

解 设矩阵()123,,A ααα=,则Im WA =()Im K er T A A⊥=。

这样问题就归结为:求齐次线性方程组0T A x =的解空间的一个基础解系1110⎛⎫ ⎪ ⎪ ⎪ ⎪⎝⎭, 0101⎛⎫ ⎪- ⎪ ⎪ ⎪⎝⎭, 这个基础解系生成的空间就是Ker T A ,而它的正交补也就是W ,恰好是和以上两个向量都正交的向量全体,这正好就是齐次线性方程组123240x x x x x ++=⎧⎨-+=⎩的解空间,因此123240x x x x x ++=⎧⎨-+=⎩就是要求的线性方程组。

3.(南开大学2006)设线性方程组123451245123452303220390x x x x x x x x x x x x x x ++-+=⎧⎪+-+=⎨⎪++-+=⎩ 的解空间为V 。

第九章 欧氏空间

第九章  欧氏空间

第八章 欧氏空间练习题1.证明:在一个欧氏空间里,对于任意向量ηξ,,以下等式成立:(1)2222||2||2||||ηξηξηξ+=-++; (2).||41||41,22ηξηξηξ--+=在解析几何里,等式(1)的几何意义是什么? 2.在区氏空间n R 里,求向量)1,,1,1( =α与每一向量)0,,0,1,0,,0()( i i =ε,n i ,,2,1 =的夹角.3.在欧氏空间4R 里找出两个单位向量,使它们同时与向量)4,5,2,3()2,2,1,1()0,4,1,2(=--=-=γβα 中每一个正交.4.利用内积的性质证明,一个三角形如果有一边是它的外接圆的直径,那么这个三角形一定是直角三角形.5.设ηξ,是一个欧氏空间里彼此正交的向量.证明:222||||||ηξηξ+=+(勾股定理)6.设βααα,,,,21n 都是一个欧氏空间的向量,且β是n ααα,,,21 的线性组合.证明:如果β与i α正交,n i ,,2,1 =,那么0=β. 7.设n ααα,,,21 是欧氏空间的n 个向量. 行列式><><><><><><><><><=n n n n n n n G ααααααααααααααααααααα,,,,,,,,,),,,(21222121211121叫做n ααα,,,21 的格拉姆(Gram)行列式.证明),,,(21n G ααα =0,必要且只要n ααα,,,21 线性相关.8.设βα,是欧氏空间两个线性无关的向量,满足以下条件:><><ααβα,,2和><><βββα,,2都是0≤的整数.证明: βα,的夹角只可能是6543,32,2ππππ或. 9.证明:对于任意实数n a a a ,,,21 ,23322211(||nni ia a a a n a++++≤∑= ). 10.已知)0,1,2,0(1=α,)0,0,1,1(2-=α,)1,0,2,1(3-=α,)1,0,0,1(4=α是4R 的一个基.对这个基施行正交化方法,求出4R 的一个规范正交基.11.在欧氏空间]1,1[-C 里,对于线性无关的向量级{1,x ,2x ,3x }施行正交化方法,求出一个规范正交组.12.令},,,{21n ααα 是欧氏空间V 的一组线性无关的向量,},,,{21n βββ 是由这组向量通过正交化方法所得的正交组.证明,这两个向量组的格拉姆行列式相等,即><>><=<=n n n n G G βββββββββααα,,,),,,(),,,(22112121 13.令n γγγ,,,21 是n 维欧氏空间V 的一个规范正交基,又令},2,1,10,|{1n i x x V K ni i i i =≤≤=∈=∑=γξξK 叫做一个n -方体.如果每一i x 都等于0或1,ξ就叫做K 的一个项点.K 的顶点间一切可能的距离是多少?14.设},,,{21m ααα 是欧氏空间V 的一个规范正交组.证明,对于任意V ∈ξ,以下等式成立:∑=≤mi i122||,ξα.15.设V 是一个n 维欧氏空间.证明)(i 如果W 是V 的一个子空间,那么W W =⊥⊥)(.)(ii 如果21,W W 都是V 的子空间,且21W W ⊆,那么⊥⊥⊆12W W )(iii 如果21,W W 都是V 的子空间,那么⊥⊥⊥+=+2121)(W W W W16.证明,3R 中向量),,(000z y x 到平面}0|),,{(3=++∈=cz by ax R z y x W的最短距离等于222000||cb a cz by ax ++++.17.证明,实系数线性方程组∑===nj i j ijn i b x a1,,2,1,有解的充分且必要条件是向量n n R b b b ∈=),,,(21 β与齐次线性方程组∑===nj j jin i x a1,,2,1,0的解空间正交.18.令α是n 维欧氏空间V 的一个非零向量.令}0,|{>=<∈=αξξαV P . αP 称为垂直于α的超平面,它是V 的一个1-n 维子空间.V 中有两个向量ξ,η说是位于αP 的同侧,如果><><αηαξ,,与同时为正或同时为负.证明,V 中一组位于超平面αP 同侧,且两两夹角都2π≥的非零向量一定线性无关.[提示:设},,,{21r βββ 是满足题设条件的一组向量.则)(0,j i j i ≠>≤<ββ,并且不妨设)1(0,r i i ≤≤>><αβ.如果∑==ri i i c 10β,那么适当编号,可设0,,,0,,,121≤≥+r s s c c c c c ,)1(r s ≤≤,令∑∑+==-==rs j j j s i i i c c 11ββγ,证明0=γ.由此推出0=i c )1(r i ≤≤.] 19.设U 是一个正交矩阵.证明:)(i U 的行列式等于1或-1; )(ii U 的特征根的模等于1; )(iii 如果λ是U 的一个特征根,那么λ1也是U 的一个特征根;)(iv U 的伴随矩阵*U 也是正交矩阵.20.设02cos≠θ,且⎪⎪⎪⎭⎫⎝⎛-=θθθθcos sin 0sin cos 0001U . 证明,U I +可逆,并且⎪⎪⎪⎭⎫⎝⎛-=+--010*******tan ))((1θU I U I21.证明:如果一个上三角形矩阵⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛=nn n n n a a a a a a a a a a A 000000333223221131211是正交矩阵,那么A 一定是对角形矩阵,且主对角线上元素ij a 是1或-1.22.证明:n 维欧氏空间的两个正交变换的乘积是一个正交变换;一个正交变换的逆变换还是一个正交变换.23.设σ是n 维欧氏空间V 的一个正交变换.证明:如果V 的一个子空间W 在σ之下不变,那么W 的正交补⊥W 也在σ下不变.24.设σ是欧氏空间V 到自身的一个映射,对ηξ,有,)(),(ηησξσ=证明σ是V 的一个线性变换,因而是一个正交变换. 25.设U 是一个三阶正交矩阵,且1det =U .证明:)(i U 有一个特征根等于1; )(ii U 的特征多项式有形状1)(23-+-=tx tx x x f这里31≤≤-t .26.设},,,{21n ααα 和},,,{21n βββ 是n 维欧氏空间V 的两个规范正交基.)(i 证明:存在V 的一个正交变换σ,使n i i i ,,2,1,)( ==βασ.)(ii 如果V 的一个正交变换τ使得11)(βατ=,那么)(,),(2n ατατ 所生成的子空间与由n ββ,,2 所生成的子空间重合.27.设σ是n 维欧氏空间V 的一个线性变换.证明,如果σ满足下列三个条件的任意两个,那么它必然满足第三个:)(i σ是正交变换;)(ii σ是对称变换;)(iii ισ=2是单位变换.28.设σ是n 维欧氏空间V 的一个对称变换,且σσ=2.证明,存在V 的一个规范正交基,使得σ关于这个基的矩阵有形状⎪⎪⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛00010129.证明:两个对称变换的和还是一个对称变换.两个对称变换的乘积是不是对称变换?找出两个对称变换的乘积是对称变换的一个充要条件.30.n 维欧氏空间V 的一个线性变换σ说是斜对称的,如果对于任意向量V ∈βα,,)(,),(βσβασ-=.证明:)(i 斜对称变换关于V 的任意规范正交基的矩阵都是斜对称的实矩阵(满足条件A A -='的矩阵叫做斜对称矩阵))(ii 反之,如果线性变换σ关于V 的某一规范正交基的矩阵是斜对称的,那么σ一定是斜对称线性变换.)(iii 斜对称实矩阵的特征根或者是零,或者是纯虚数.31.令A 是一个斜对称实矩阵.证明,A I +可逆,并且1))((-+-=A I A I U 是一个正交矩阵.32.对于下列对称矩阵A,各求出一个正交矩阵U,使得AU U '是对角形式:)(i ⎪⎪⎪⎭⎫ ⎝⎛--=510810228211A ; )(ii ⎪⎪⎪⎭⎫ ⎝⎛----=114441784817A。

欧几里得空间习题解答

欧几里得空间习题解答

第九章欧几里得空间习题解答P394.1.1(,)'0(""0)'(')'''(,)A A A αααααβαβαβααβαβ∴=≥=⇔====正定非负性证得由矩阵失去,线性性成立,再由(,)=A A 对称性成立,是一个内积()1111161P394.1.2,(06);19,,P394.1.2|(,)|||||(,)|i ijiji j n nnij i ji j n n ij i j i j A a x y c s B a x y εεαεεεαβαβαβ====⎛⎫ ⎪ ⎪== ⎪ ⎪ ⎪⎝⎭∴≤=∴--≤∑∑∑∑的度量矩阵即为A不等式为|()393.2P ①, α=(2,1,3,2), β=(1,2,-2,1)|||,)0,,2αβαβαβπαβ∴====∴⊥∴=〈〉393.2P ②, α=(1,2,2,3), β=(3,1,5,1)|||6,(,)18(,)(,)arc cos ||||4arc arc αβαβαβπαβαβ=====∴====393.2P ③, α=(1,1,1,2), β=(3,1,-1,0)||||(,)3,arc 700'30''38αβαβαβ===∴==︒〈〉P393. 3||||||αβαβ+≤+(,)|||()()||||(,)(,)d d d αγαγαββγαββγαββγ∴=-=-+-≤-+-+ =P393.4在4R 中求一单位向量与(1,1,-1),(1,-1,1-,1),(2,1,1,3)正交解设所求212341234123412344123(,,,)1,00230111111111111111020001003,2113013100314,0,14i x x x x x x x x x x x x x x x x x x x x x x αα==+-+=⎧⎫⎪⎪--+=⎨⎬⎪⎪+++=⎭⎩⎛⎫-⎛⎫⎛⎫--⎪⎪ ⎪ ⎪ ⎪ ⎪--→-→=⎪⎪ ⎪ ⎪ ⎪ ⎪+ ⎪⎝⎭⎝⎭⎝⎭===-=-∑则且与各向量的内积为0得令得,0,1,3),()-单位化393.5P ①证:因为12(,)0, 1.2,,i n i n γαααα==而是一个基11(,)(,)(,)0.0.nni i i i i i k k γγγαγαγ==∴====∑∑因此,必有393.5P ②证,12(,)(,), 1.2,i i i n γαγα==12(,)0, 1.2i i n γγα∴-==由第①小题:12120,γγγγ-==故P393.61231232211(,,)(,,)2123122αααεεε⎛⎫ ⎪=-- ⎪ ⎪--⎝⎭而1232211212,,3122ααα⎛⎫⎪-- ⎪ ⎪--⎝⎭是正交矩阵,所以是标准正交基11212431231212121124512451131212351152124531235393.7,/2(,)1111(22)(,)222221210)22)1()2s P αεεαεεεεεεεβααββαβαβεεεεεεεεβββαββεεεεηεεηεεεεηεεεε==-+=++==-=-=-+-=-+-=--=++-=+=-+-=++-123解:再正交化称:P394.8,解:123452111310014001110101115X X X X X X ⎛⎫ ⎪ ⎪---⎛⎫⎛⎫ ⎪=→= ⎪ ⎪--- ⎪⎝⎭⎝⎭⎪ ⎪⎝⎭解出:123014115100010001ηηη-⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪⎪ ⎪ ⎪=== ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭Schmidt:1221331022711161151311116222105022130005ββηββηβ--⎛⎫⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪==-=-=++-= ⎪⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎝⎭单位化便得到解空间的标准正交基:123766135εεε⎛⎛⎫⎛⎫⎪⎪-⎪⎪⎪⎪====⎪⎪⎪⎪⎪ ⎪ ⎪⎝⎭⎪ ⎪⎝⎭ ⎪⎝⎭P394.9 11(,)()()f g f x g x d x-=⎰已知2312341,,,x x xαααα====解:111βα==21122111223132321211223434142441234112233111222(,)(,)*2(,)(,)1310(,)(,)232(,)(,)(,)352(,)(,)(,)532(,)2||(,)||3(xdxx xx xx x x αββαβββαβαββαββββββαβαβαββαβββαββββββββββββ--=-=-=--=---=-=---=--=-====⎰又142333116424441218,)()||3945698(,)()||525175x x dxx x x dxββββββ+--=-+===-+==⎰⎰单位化标准正交基312324,1),3)396.17.4133333333133333343313333333313333x x x xPA A Eγγγγ===-=-------⎛⎫⎛⎫⎪ ⎪-----⎪ ⎪==⎪ ⎪-----⎪ ⎪⎪ ⎪-----⎝⎭⎝⎭1123443() 4.840Acy Tr A x x λλλλχχ∴===-⇒==-+-=221-秩(A+4E)=1至少为重根,而-(4+4+4)+解(A+4E)x=o,即1111210311111110212003⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪-- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪-- ⎪⎪⎪ ⎪⎪⎪-- ⎪⎪⎪ ⎪⎪⎪⎝⎭⎝⎭⎝⎭得正交基础体系1100单位化为28λ⎛⎫ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭解(A-8E)x=0.得解取自A+4E的一列3-33-31111121124124'1402812T T AT T AT -⎛⎫ ⎪- ⎪ ⎪ ⎪ ⎪-⎝⎭-⎛⎫- ⎪- ⎪=== ⎪- ⎪ ⎪⎝⎭-单位化为令则112121211111111395.10.10(,,)(,)(,)0,.(,)(,)0P V V V V V k k k V ββαβαβαβββββαβαβ∈≠∅=+=⇒+∈⎫∀∈∴≤⎬==⇒∈⎭11123123111P395.10.2 0dim 1.,,,(2)(,)dim 1.dim 1.n n V V n V i V i L V V n V n αααααααααααα≠∴∉≤-=∈≥∴≤⇒≥-∴≥-故将扩充为的一个正交基那么.P394,11①设两个基:12,12,,,n n εεεηηη及,它们的度量矩阵分别为A 和B,并设121211122111221212'''221122(,,,)(,,,),,(,,)(,,,)(,,)(,,,),(,)(')'()n n n n n n CV X X Y Y X CX Y CY X BY X AY X C AC Y C AC B ηηηεεεαβαεεηηηβεεηηηαβ=∈=========∴=任设所以合同P394.11②, 取V 的一个基12,,,,n A ααα其度量矩阵为因为A 正交,故存在矩阵C,使12121212',,,,,,',,,n n n n C AC E ηηηαααηηηηηη=C AC=E做基(,)=()C,那么,的度量矩阵为因此,为标准正交基.1212121212121212211111P394.12,,,,(,)(,,)()(,,),,|(,,)|,,,,(,,|0()0|()|||0,m ij i j m ij m mm m m m m m V G G G G G ααααααααααααααααααααααααααααααααα⨯∈==⇔≠⇔>⇔=≠记:,称,为,的Gram 矩阵称,为,的Gram 行列式证明,线性无关,)证:若m=1,线性无关,成立121211,|(,,)|0(,,)(,)(,,)0,0,1,2,.n m mj k k ij k ik k i k k k jk jk ji j k k k jm G A c c a c c i m αααβββββααααααγ=≠≠≠≠>==⇔=⇔==⇔-=∴⇔==∑∑∑∑若而,不妨设,1212(,,,),,,,j k k m k jj k m k jc L ck γαααααααααα≠≠=-∈⇔=⇔∑∑线性相关211212112121222122122222212122123|()|||||||||cos (,),(,)|(,)|(,),(,)||||cos ||||||(1cos )(||||cos )|(,,)|()G G G αααααθααααααααααααθαααθααθααα====-==类似地:平行六面体积P394,13,设:1222000n n n n nn A αααααα⎛⎫⎪ ⎪= ⎪⎪⎝⎭因为A 正交,故A'A=E ,令A=12(,,)n βββ由第1行列,211111,1αα==±由β1与其余各列正交,β1⊥βj (j>1),(β1,βj )=111100(1)j j a a j α=⇒=>1100A A ±⎛⎫∴= ⎪⎝⎭其中A 1仍为上三角正交矩阵,但阶数少1,故可用归纳法给出证明,且n=1时显然为真,由归纳法原理,证毕。

欧几里得空间习题解答

欧几里得空间习题解答

第九章欧几里得空间习题解答P394.1.1(,)'0(""0)'(')'''(,)A A A αααααβαβαβααβαβ∴=≥=⇔====正定非负性证得由矩阵失去,线性性成立,再由(,)=A A 对称性成立,是一个内积()1111161P394.1.2,(06);19,,P394.1.2|(,)|||||(,)|i ijiji j n nnij i ji j n n ij i j i j A a x y c s B a x y εεαεεεαβαβαβ====⎛⎫ ⎪ ⎪== ⎪ ⎪ ⎪⎝⎭∴≤=∴--≤∑∑∑∑的度量矩阵即为A不等式为|()393.2P ①, α=(2,1,3,2), β=(1,2,-2,1)|||,)0,,2αβαβαβπαβ∴====∴⊥∴=〈〉393.2P ②, α=(1,2,2,3), β=(3,1,5,1)|||6,(,)18(,)(,)arc cos ||||4arc arc αβαβαβπαβαβ=====∴====393.2P ③, α=(1,1,1,2), β=(3,1,-1,0)||||(,)3,arc 700'30''38αβαβαβ===∴==︒〈〉P393. 3||||||αβαβ+≤+(,)|||()()||||(,)(,)d d d αγαγαββγαββγαββγ∴=-=-+-≤-+-+ =P393.4在4R 中求一单位向量与(1,1,-1),(1,-1,1-,1),(2,1,1,3)正交解设所求212341234123412344123(,,,)1,00230111111111111111020001003,2113013100314,0,14i x x x x x x x x x x x x x x x x x x x x x x αα==+-+=⎧⎫⎪⎪--+=⎨⎬⎪⎪+++=⎭⎩⎛⎫-⎛⎫⎛⎫--⎪⎪ ⎪ ⎪ ⎪ ⎪--→-→=⎪⎪ ⎪ ⎪ ⎪ ⎪+ ⎪⎝⎭⎝⎭⎝⎭===-=-∑则且与各向量的内积为0得令得,0,1,3),()-单位化393.5P ①证:因为12(,)0, 1.2,,i n i n γαααα==而是一个基11(,)(,)(,)0.0.nni i i i i i k k γγγαγαγ==∴====∑∑因此,必有393.5P ②证,12(,)(,), 1.2,i i i n γαγα==12(,)0, 1.2i i n γγα∴-==由第①小题:12120,γγγγ-==故P393.61231232211(,,)(,,)2123122αααεεε⎛⎫ ⎪=-- ⎪ ⎪--⎝⎭而1232211212,,3122ααα⎛⎫⎪-- ⎪ ⎪--⎝⎭是正交矩阵,所以是标准正交基11212431231212121124512451131212351152124531235393.7,/2(,)1111(22)(,)222221210)22)1()2s P αεεαεεεεεεεβααββαβαβεεεεεεεεβββαββεεεεηεεηεεεεηεεεε==-+=++==-=-=-+-=-+-=--=++-=+=-+-=++-123解:再正交化称:P394.8,解:123452111310014001110101115X X X X X X ⎛⎫ ⎪ ⎪---⎛⎫⎛⎫ ⎪=→= ⎪ ⎪--- ⎪⎝⎭⎝⎭⎪ ⎪⎝⎭解出:123014115100010001ηηη-⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪⎪ ⎪ ⎪=== ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭Schmidt:1221331022711161151311116222105022130005ββηββηβ--⎛⎫⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪==-=-=++-= ⎪⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎝⎭单位化便得到解空间的标准正交基:123766135εεε⎛⎛⎫⎛⎫⎪⎪-⎪⎪⎪⎪====⎪⎪⎪⎪⎪ ⎪ ⎪⎝⎭⎪ ⎪⎝⎭ ⎪⎝⎭P394.9 11(,)()()f g f x g x d x-=⎰已知2312341,,,x x xαααα====解:111βα==21122111223132321211223434142441234112233111222(,)(,)*2(,)(,)1310(,)(,)232(,)(,)(,)352(,)(,)(,)532(,)2||(,)||3(xdxx xx xx x x αββαβββαβαββαββββββαβαβαββαβββαββββββββββββ--=-=-=--=---=-=---=--=-====⎰又142333116424441218,)()||3945698(,)()||525175x x dxx x x dxββββββ+--=-+===-+==⎰⎰单位化标准正交基312324,1),3)396.17.4133333333133333343313333333313333x x x xPA A Eγγγγ===-=-------⎛⎫⎛⎫⎪ ⎪-----⎪ ⎪==⎪ ⎪-----⎪ ⎪⎪ ⎪-----⎝⎭⎝⎭1123443() 4.840Acy Tr A x x λλλλχχ∴===-⇒==-+-=221-秩(A+4E)=1至少为重根,而-(4+4+4)+解(A+4E)x=o,即1111210311111110212003⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪-- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪-- ⎪⎪⎪ ⎪⎪⎪-- ⎪⎪⎪ ⎪⎪⎪⎝⎭⎝⎭⎝⎭得正交基础体系1100单位化为28λ⎛⎫ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭解(A-8E)x=0.得解取自A+4E的一列3-33-31111121124124'1402812T T AT T AT -⎛⎫ ⎪- ⎪ ⎪ ⎪ ⎪-⎝⎭-⎛⎫- ⎪- ⎪=== ⎪- ⎪ ⎪⎝⎭-单位化为令则112121211111111395.10.10(,,)(,)(,)0,.(,)(,)0P V V V V V k k k V ββαβαβαβββββαβαβ∈≠∅=+=⇒+∈⎫∀∈∴≤⎬==⇒∈⎭11123123111P395.10.2 0dim 1.,,,(2)(,)dim 1.dim 1.n n V V n V i V i L V V n V n αααααααααααα≠∴∉≤-=∈≥∴≤⇒≥-∴≥-故将扩充为的一个正交基那么.P394,11①设两个基:12,12,,,n n εεεηηη及,它们的度量矩阵分别为A 和B,并设121211122111221212'''221122(,,,)(,,,),,(,,)(,,,)(,,)(,,,),(,)(')'()n n n n n n CV X X Y Y X CX Y CY X BY X AY X C AC Y C AC B ηηηεεεαβαεεηηηβεεηηηαβ=∈=========∴=任设所以合同P394.11②, 取V 的一个基12,,,,n A ααα其度量矩阵为因为A 正交,故存在矩阵C,使12121212',,,,,,',,,n n n n C AC E ηηηαααηηηηηη=C AC=E做基(,)=()C,那么,的度量矩阵为因此,为标准正交基.1212121212121212211111P394.12,,,,(,)(,,)()(,,),,|(,,)|,,,,(,,|0()0|()|||0,m ij i j m ij m mm m m m m m V G G G G G ααααααααααααααααααααααααααααααααα⨯∈==⇔≠⇔>⇔=≠记:,称,为,的Gram 矩阵称,为,的Gram 行列式证明,线性无关,)证:若m=1,线性无关,成立121211,|(,,)|0(,,)(,)(,,)0,0,1,2,.n m mj k k ij k ik k i k k k jk jk ji j k k k jm G A c c a c c i m αααβββββααααααγ=≠≠≠≠>==⇔=⇔==⇔-=∴⇔==∑∑∑∑若而,不妨设,1212(,,,),,,,j k k m k jj k m k jc L ck γαααααααααα≠≠=-∈⇔=⇔∑∑线性相关211212112121222122122222212122123|()|||||||||cos (,),(,)|(,)|(,),(,)||||cos ||||||(1cos )(||||cos )|(,,)|()G G G αααααθααααααααααααθαααθααθααα====-==类似地:平行六面体积P394,13,设:1222000n n n n nn A αααααα⎛⎫⎪ ⎪= ⎪⎪⎝⎭因为A 正交,故A'A=E ,令A=12(,,)n βββ由第1行列,211111,1αα==±由β1与其余各列正交,β1⊥βj (j>1),(β1,βj )=111100(1)j j a a j α=⇒=>1100A A ±⎛⎫∴= ⎪⎝⎭其中A 1仍为上三角正交矩阵,但阶数少1,故可用归纳法给出证明,且n=1时显然为真,由归纳法原理,证毕。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第九章欧氏空间习题
一、填空题
1.设就是一个欧氏空间,,若对任意,都有,则。

2.在维欧氏空间中,向量在标准正交基下得坐标就是,那么,。

3.若就是一个正交矩阵,则方程组得解为。

4、已知三维欧式空间中有一组基,其度量矩阵为,则向量得长度为。

5、设中得内积为,则在此内积之下得度量矩阵为。

6.设,,,若与正交,则。

7.若欧氏空间在某组基下得度量矩阵为,某向量在此组基下得坐标为,则它得长度为,在此基下向量与向量得夹角为。

8.在欧氏空间中,若线性相关,且,则。

9.就是度量阵,则必须满足条件______________。

10.线性空间在不同基下得过渡阵、线性变换在某组基下得矩阵、欧氏空间得度量阵这三类矩阵中,可以为退化阵得就是。

11、在欧氏空间中,向量,,那么=___________,
=___________。

12、两个有限维欧氏空间同构得充要条件就是__________________。

13、已知就是一个正交矩阵,那么=__________,=__________。

14、已知为阶正交阵,且,则= 。

15、实对称矩阵得属于不同特征根得特征向量就是彼此得。

16、设,则与得夹角。

17、在维欧氏空间中,级矩阵就是某个基得度量矩阵得充要条件就是。

二、判断题
1.在实线性空间中,对向量,,定义,那么构成欧氏空间( )
2.在实线性空间中,对于向量,,定义,则构成欧氏空间。

( )
3.就是欧氏空间得一组基,对于中任意向量,均有,(,分别就是在此基下得坐标)),则此基必为标准正交基。

( )
4.欧氏空间中得线性变换可以将椭圆映射成圆。

( )
5.V与W均欧氏空间且同构,则它们作为线性空间也必同构。

( )
6.设就是一个欧氏空间,,,则与正交。

()
7.设就是一个欧氏空间,,并且,则线性无关。

( )
8.若都就是欧氏空间得对称变换,则也就是对称变换。

( )
9.欧氏空间中,为对称变换。

( )
10.就是欧氏空间得线性变换,中向量得夹角为,而得夹角为,则不就是得正交变换。

( )
11、就是维欧氏空间得一组基,矩阵,其中,则A就是正定矩阵。

( )
12、欧氏空间中任意一个正交向量组都能扩充成一组正交基( )
13、若就是正交变换,则保持向量得内积不变( )
14、正交矩阵得行列式等于1 ( )
15、欧氏空间上得线性变换就是对称变换得充要条件为关于标准正交基得矩阵为实对称矩阵。

( )
16、设与都就是阶正交矩阵,则也就是正交矩阵。

( )
17、在欧氏空间中,若向量与自身正交,则。

( )
18、设就是维欧氏空间得正交变换,则在任意基下得矩阵就是正交矩阵。

( )
19、设就是维欧氏空间得两个正交子空间且,则。

( )
20、实对称矩阵得任意两个特征向量都正交。

( )
三.选择题
1.关于欧几里得空间,下列说法正确得就是( )
(A)任一线性空间都能适当定义内积成为欧几里得空间;
(B)欧几里得空间未必就是线性空间;
(C)欧几里得空间必为实数域上得线性空间;
(D)欧几里得空间可以为有理数域上得线性空间。

2. 设就是相互正交得维实向量,则下列各式中错误得就是( )
(A) (B)
(C) (D)
3. 对于阶实对称矩阵,以下结论正确得就是( )
(A)一定有个不同得特征根;(B)存在正交矩阵,使成对角形;
(C)它得特征根一定就是整数;(D)属于不同特征根得特征向量必线性无关,但不一定正交
4.设就是维欧氏空间得对称变换,则( )
(A)只有一组个两两正交得特征向量; (B)得特征向量彼此正交;
(C)有个两两正交得特征向量;
(D)有个两两正交得特征向量有个不同得特征根。

5.,,定义:,则满足下列何中情况可使作成欧氏空间( )
(A); (B)就是全不为零得实数;
(C)都就是大于零得实数; (D)全就是不小于零得实数
6.,,为三阶实方阵,定义,下列可使定义作为得内积得矩阵就是( )
(A); (B);
(C); (D)、
7.若欧氏空间得线性变换关于得一个标准正交基矩阵为,则下列正确得就是( )
(A)就是对称变换; (B)就是对称变换且就是正交变换;
(C)不就是对称变换; (D)就是正交变换。

8.若就是维欧氏空间得一个对称变换,则下列成立得选项就是( )
(A)关于得仅一个标准正交基得矩阵就是对称矩阵;
(B)关于得任意基得矩阵都就是对称矩阵;
(C)关于得任意标准正交基得矩阵都就是对称矩阵;
(D)关于得非标准正交基得矩阵一定不就是对称矩阵。

9.若就是维欧氏空间得对称变换,则有( )
(A)一定有个两两不等得特征根; (B)一定有个特征根(重根按重数算);
(C)得特征根得个数; (D)无特征根。

10.,如下定义实数中做成内积得就是()
(A); (B);
(C); (D)、
11、若线性变换与就是( ),则得象与核都就是得不变子空间。

互逆得可交换得不等得D、不可换得
12、设就是维欧氏空间,那么中得元素具有如下性质( )
若; 若;
若; D、若。

13、欧氏空间中得标准正交基就是( )
;;; ;;
;;; D、;;。

14、设就是欧氏空间得线性变换,那么就是正交变换得必要非充分条件就是( )
保持非零向量得夹角; 保持内积;
保持向量得长度; D、把标准正交基映射为标准正交基。

15、为阶正交方阵,则
为可逆矩阵B、秩C、D、
16、下列说法正确得就是( )
A、实对称矩阵得属于不同特征值得特征向量必正交;
B、实对称矩阵得属于相同特征值得特征向量必不正交;
C、实对称矩阵得所有特征向量都正交;
D、以上都不对。

17、维欧氏空间得标准正交基( )、
A、不存在
B、存在不唯一;
C、存在且唯一;
D、不一定存在。

18、若就是实正交阵,则下列说法不正确得就是( )。

(A) (B)
(C) (D)。

四、计算题
1.已知。

求正交矩阵,使成对角形。

2.已知二次型,问
(1)为何值时二次型就是正定得?
(2)取,用正交线性替换化二次型为标准形。

3.已知二次型,通过正交变换化为标准形f=y12+2y22+5y32,求及所用得正交变换得矩阵。

4.设A为三阶实对称矩阵,其特征值λ1= -1, λ2=λ3=1,已知属于λ1得特征向量α1=(0,1,1),求A。

5.在[0,2π]上所有连续函数得全体构成得欧氏空间中,判断:对任意正整数n,集合
就是否正交向量组。

6.欧氏空间中,定义内积,求其在基(1,0),(0,1)下得度量阵。

并求一组基,使得在此基下得矩
阵为对角阵,且在此基下所有向量得长度不变。

说明为什么对角阵不就是单位矩阵。

7.将二次曲面通过正交变换与平移变成标准形式。

8.设欧氏空间得线性变换为问:就是否为得对称变换?若就是,求出得一个标准正交基,使
在这个基下得矩阵为对角形矩阵。

9、把向量组,扩充成中得一组标准正交基。

10、设为得基,且线性变换在此基下得矩阵为
(1)求得特征值与特征向量;
(2)就是否可以对角化?如果可以,求正交矩阵使得为对角形.
五、证明题
1.设,为同级得正交矩阵,且,证明:.
2.设就是欧氏空间得线性变换,且
证明:就是得对称变换。

3.证明:维欧氏空间与同构得充要条件就是,存在双射,并且有.
4.设与为欧氏空间得两组向量。

证明:如果
,,
则子空间与同构。

5.证明:在一个欧氏空间里,对于任意向量,以下等式成立:
(1);(2)
在解析几何里,等式(1)得几何意义就是什么?
6、设为欧氏空间得两个对称变换。

证明: 也就是V得对称变换。

7.证明:实系数线性方程组,有解得充分且必要条件就是向量与齐次线性方程组,得解空间正交。

8.设为实对称矩阵,证明:当实数t充分大后,就是正定矩阵。

9.设与就是维欧氏空间得两组向量,证明:存在正交变换,使得,()成立得充分必要条件就是,。

相关文档
最新文档