2 向量组的线性相关性

向量组的线性相关性向量组线性相关与线性无关的概念向量组线性相关性的判别向量组线性相关性的有关结论向量组线性相关与线性无关的概念()1122*0ααα，m m k k k +++=定义：给定向量组，12:,,,αααm A 如果存在一组不全为零的实数,12,,,m k k k 使得则称向量组是线性相关的.A 则称向量组是线性无关的.A 仅当时式才成立，120m k k k ====()*例：向量组，1231111, 5, 1281ααα⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪=-=-= ⎪ ⎪ ⎪ ⎪ ⎪ ⎪-⎝⎭⎝⎭⎝⎭123320,ααα--=线性相关.123,,αααn 维单位坐标向量121000100,0,,0001e e e ，n ⎛⎫⎛⎫⎛⎫⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪=== ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭1122e e e n nk k k +++12n k k k ⎛⎫ ⎪ ⎪= ⎪ ⎪⎝⎭000⎛⎫ ⎪ ⎪= ⎪ ⎪⎝⎭线性无关.12,,,e e e n 10,n k k ⇔===例：考虑只有一个向量的向量组，α如果，0α=则对任意常数都有,0k ≠0α=k 所以当时是线性相关的；0α=如果，0α≠所以当时是线性无关的.0α≠则仅当常数时才有,0k =0α=k则.2121αα=-λλ存在不全为零的实数，12,λλ不防设，10≠λ维向量组线性相关，12,αα例：n 11220.αα+=λλ使得线性相关的分量对应成比例.12,αα12,αα⇔例：向量组12301240,5,4,509710ααα⎛⎫⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪ ⎪==== ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎝⎭线性相关.含零向量的向量组必线性相关.0，k ≠对任意1230000.0αααk ⋅+⋅+⋅+⋅=均有向量组线性相关性的判别如何判断它的线性相关性？1212(,,,)m m k k k ααα⎛⎫ ⎪ ⎪= ⎪⎪⎝⎭0A .β=0A 给定向量组，12:,,,αααm A 考虑等式，1122m m k k k ααα+++=0β元线性方程组有非零解m=0Ax12(,,,)mααα=，A()T12,,,mx x x=x().R m<A定理：向量组线性相关12:,,,αααmA().R m=A向量组线性无关12:,,,αααmA元线性方程组只有零解m=0Ax解123102102(,,)124~022157000rααα⎛⎫⎛⎫⎪ ⎪= ⎪ ⎪⎪ ⎪⎝⎭⎝⎭例：已知，1231021,2,4157ααα⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪=== ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭试讨论线性相关，12(,)2R αα=，向量组及向量组的线性相关性.123,,ααα12,αα向量组123,,ααα向量组线性无关.12,αα123(,,)2R ααα=，223331,b a a b a a =+=+，证明向量组线性无关.123,,b b b 证一131122233x x x x x x ()()()0a a a +++++=112223331x x x ()()()a a a a a a ⇒++++例：已知向量组线性无关，且123,,a a a 112b a a =+，112233x x x 0，b b b ++=设131223000x x x x x x +=⎧⎪+=⎨⎪+=⎩10111020011=≠线性无关，123,,a a a 所以向量组线性无关.123,,b b b223331,b a a b a a =+=+，证明向量组线性无关.123,,b b b 证二例：已知向量组线性无关，且123,,a a a 112b a a =+，线性无关，123,,a a a 所以向量组线性无关.123,,b b b 把已知的三个向量等式写成矩阵等式123123*********(,,)(,,)b b b a a a ⎛⎫ ⎪= ⎪ ⎪⎝⎭=.B AK 记作设,=Bx 0()=AK x ⇒0,=Kx ⇒0,20,K =≠=x ⇒0,223331,b a a b a a =+=+，证明向量组线性无关.123,,b b b 证三例：已知向量组线性无关，且123,,a a a 112b a a =+，线性无关，123,,a a a所以向量组线性无关.123,,b b b 把已知的三个向量等式写成矩阵等式123123*********(,,)(,,)b b b a a a ⎛⎫ ⎪= ⎪ ⎪⎝⎭=.B AK 记作()R =3.A ⇒20K =≠又由知可逆，K 从而()()R R ==3.B A向量组线性相关性的有关结论111111.j j m j j j m j j j jk k k k k k k k ααααα-+-+=-----其余个向量线性表示.1m -的充分必要条件是其中至少有一个向量可以由12m 证明1122m m k k k ααα+++=0.（必要性）设线性相关，()122m m ααα,,,≥则存在一组不全为零的实数,12,,,m k k k 使得0j k ≠不防设，其余个向量线性表示.1m -的充分必要条件是其中至少有一个向量可以由12m 证明（充分性）设()122m m ααα,,,≥线性相关.111111j j j j j m m k k k k ααααα--++=++++，111111j j j j j m m k k k k ααααα--++++-++=0，111,,,1,,,j j m k k k k -+-不全为零，其余个向量线性表示.1m -的充分必要条件是其中任何一个向量都不能由12m 证明（必要性）设线性无关，()122m m ααα,,,≥若存在一个向量可由其余个向量线性表示,1m -()122m m ααα,,,≥则必线性相关，与已知矛盾.任何一个向量都不能由其余个向量线性表示.1m -其余个向量线性表示.1m -的充分必要条件是其中任何一个向量都不能由定理：向量组线性无关()12:2m A m ααα,,,≥证明（充分性）假设线性相关，()122m m ααα,,,≥必存在一个向量可由其余个向量线性表示,1m -与已知矛盾.所以线性无关.()122m m ααα,,,≥证明定理：向量组线性相关,()12:2m A m ααα,,,≥则向量组也线性相关.12+1:m m B αααα,,,,向量组线性无关，则向量组也线性无关.A B 反之，因为向量组线性相关,12:m A ααα,,,所以存在一组不全为零的实数,12,,,m k k k 1122m m k k k ααα+++=0.使得112210m m m k k k αααα+++++⋅=0.于是所以向量组也线性相关.12+1:m m B αααα,,,,结论：则该向量组线性相关. 一个向量组若有线性相关的部分组，一个向量组若线性无关，一般地，向量组线性相关,()12:2m A m ααα,,,≥则向量组也线性相关.12+1:m m s B ααααα,,,,,,则它的任何部分组也线性无关.定线性相关. 12(,,,)m ααα=，A 证明例如，向量组线性相关.123202110ααα,,⎛⎫⎛⎫⎛⎫=== ⎪ ⎪ ⎪-⎝⎭⎝⎭⎝⎭定理：个维向量组成的向量组，当m 时一n n m <特别地，个维向量必线性相关.n 1n +n m ⨯个维向量构成矩阵m n 12m ααα,,,设R n <m ().A ≤n m <当时，有个维向量线性相关.m n 12m ααα,,,证明定理：向量组线性无关,()12:2m A m ααα,,,≥而向量组线性相关，12:m B αααβ,,,,必能由向量组线性表示，且表示式是惟一的.A β则向量记()12=m ααα,,,，A ()12=m αααβ,,,,,B 由于R R ()()，A B ≤有惟一解，从而结论成立.因此方程组βAx =而1R m R m ()()，，A B =<+所以1m R m ()，B ≤<+即.R m ()B =问题转化为讨论方程组是否有惟一解.βAx =证明:证明(2)用反证法. 矛盾.例设向量组线性相关，线性无关，123,,a a a 234,,a a a (1)能由线性表示；1a 23,a a (2)不能由线性表示.123,,a a a 4a 因线性无关，知线性无关，(1)234,,a a a 23,a a 再由线性相关，知能由表示.123,,a a a 1a 23,a a 假设能由线性表示，4a 123,,a a a (1)知能由线性表示；1a 23,a a 又由于是能由线性4a 23,a a 表示，。

向量组的线性相关性与线性无关性在线性代数中，向量组是指由一组向量所组成的集合。

而向量组的线性相关性与线性无关性则是研究向量组内向量之间的关系，是线性代数中的重要概念之一。

一、线性相关性线性相关性是指存在一组不全为零的实数或复数使得向量组中的向量可以通过线性组合得到零向量。

换句话说，如果存在不全为零的实数或复数c1，c2，...，cn，使得c1v1 + c2v2 + ... + cnvn = 0，则称向量组v1，v2，...，vn是线性相关的。

举个例子来说，考虑一个二维向量组{(1, 2), (2, 4)}，我们可以发现这两个向量是线性相关的，因为存在一个实数c，使得c(1, 2) + (2, 4) = (0, 0)。

实际上，这两个向量是共线的，它们的方向相同，只是长度不同。

二、线性无关性线性无关性是指向量组中的任意向量不能由其他向量线性表示出来。

换句话说，如果对于向量组v1，v2，...，vn中的任意一个向量vi，都不存在一组实数或复数c1，c2，...，cn（其中ci≠0），使得c1v1 + c2v2 + ... + cnvn = vi，则称向量组v1，v2，...，vn是线性无关的。

继续以上面的例子来说，考虑一个三维向量组{(1, 2), (2, 4), (3, 6)}，我们可以发现这三个向量是线性相关的。

实际上，第三个向量可以由前两个向量线性表示出来：(3, 6) = 3(1, 2) + 0(2, 4)。

因此，这三个向量是线性相关的。

三、线性相关性与线性无关性的关系线性相关性与线性无关性是相互对立的概念。

如果一个向量组是线性相关的，那么它就不是线性无关的；反之亦然。

换句话说，线性相关性与线性无关性是两个互斥的概念。

在实际应用中，我们经常需要判断一个向量组的线性相关性或线性无关性。

这对于解方程组、求解特征值等问题都有着重要的意义。

四、判断线性相关性与线性无关性的方法判断一个向量组的线性相关性或线性无关性有多种方法，其中最常用的方法是通过求解线性方程组来判断。

判断向量组线性相关的方法
判断向量组线性相关的方法有:
1. 行列式判断法：将向量按列排成矩阵A，计算矩阵A的行
列式值det(A)，若det(A)=0，则向量组线性相关；若det(A)≠0，则向量组线性无关。

2. 线性组合法：对向量组中的向量进行线性组合，若存在不全为零的系数使得线性组合等于零向量，则向量组线性相关；若只有全为零的系数才能使线性组合等于零向量，则向量组线性无关。

3. 列向量线性相关性判断法：将向量排成矩阵A，对矩阵A
进行行变换，化为梯形矩阵或行简化阶梯形矩阵。

在梯形矩阵或行简化阶梯形矩阵中，如果存在一个主元所在的列，列中存在非零元素，则向量组线性相关；如果不存在这样的列，则向量组线性无关。

4. 秩判断法：将向量组按列排成矩阵A，计算矩阵A的秩
rank(A)，如果rank(A)小于向量的个数，则向量组线性相关；
如果rank(A)等于向量的个数，则向量组线性无关。

郑州航空工业管理学院毕业论文设计2011届数学与应用数学专业0711061 班题目向量组线性相关的几种证明方法姓名王守玉学号071106128 指导教师刘燕职称讲师2011 年 4 月19 日内容提要向量组的线性相关性在线性代数中是一块基石在它的基础上我们可以推导和衍生出其他许多理论.所以熟练地掌握向量组线性相关性的判定方法可以帮助我们更好的理解其他理论知识.本文从介绍向量组线性相关性的定义着手论述了若干种判定证明向量组线性相关的方法例如利用线性相关的定义、行列式的值、矩阵的秩、齐次线性方程组的解等知识运用于向量组的线性相关性的判定并比较了不同判定方法的适用条件及范围. 向量组线性相关性的证明理论作为数学知识中的基础理论在现实世界中有着深入的广泛应用.所以熟练地掌握向量组线性相关性的证明方法是很重要的. 关键词向量组线性相关行列式判定方法矩阵线性方程组等. Several Methods for Judging the Related Linearity of Vectors Group AuthorWang shou yu The guidance of teachersLiu yan Abstract The Related Linearity of Vectors Group in Linear Algebra is one cornstonethe basis of its derivation and derived from our many other theories.So skilled master linear vector to determine the relevance of the method helps us to better understand the other theories.This article from the Vector Groupintroduced the definition of a linear correlation to proceedand discussed a number of Vector Group to determine the method of linear correlation.For examplethe definition of the use of linear correlationthe value of the determinantrank of matrixhomogeneous solution of linear equations applied to vector groupssuch as knowledge of the linear correlation found.And compare different methods to determine the conditions and scope of the application. Vector Group to determine the linear correlation of theoretical knowledge as the basis of mathematical theoryin the real world with extensive use of depth.So it is very important to hold the methods for judging the related linearity of vectors group masterly. Key wordsVectors group Related dependence Determinant Judging method Matrix Solution of system of linear equations 目录第一章绪论……………………………………………………………1 第二章向量组线性相关性的定义及性质.…………………………2 第三章向量组线性相关性的证明方法…….……….………………6 3.1 利用定义法证明..………….……….…….……………….…6 3.2 利用向量组内向量之间的线性关系证明………….……………6 3.3 利用齐次线性方程组的解证明……………….………………7 3.4 利用矩阵的秩证明向量组线性相关性…………………………7 3.5 利用行列式的值来证明向量组线性相关性……………………9 3.6 方程组法………………………………………….…………11 3.7反正法…………………………………………….………12 第四章向量组线性相关的具体应用…………………………….……….13 结论与展望…………………………………………………..………16 致谢………………………………………………………………….…17 参考文献………………………………………………………………18 1 向量组线性相关的几种证明方法作者071106128 王守玉指导教师刘燕讲师第1章绪论线性相关性这个概念在数学专业许多课程中都有体现如解析几何、高等代数和常微分方程中等等.它是线性代数理论的基本概念它与向量空间包括基、微数、子空间等概念有密切关系同时在解析几何以及常微分方程中都有广泛的应用.因此掌握线性相关性这个概念有着非常重要的意义也是解决问题的重要的理论根据.向量组的线性相关与线性无关实际上可以推广到函数组的线性相关与线性无关. 在线性代数中向量组的线性相关性占到了举足轻重的作用.它可以将线性代数中的行列式、矩阵、二次型等知识联系在一起.若能熟练地掌握向量组的线性相关性则能更好的理解线性代数的各部分知识理清线性代数的框架做到融会贯通. 本文主要研究的是向量组线性相关性的判定方法从定义及性质下手熟悉了一些重要理论从而能在各领域中得到更好的运用.本文的第二章就是介绍了向量组线性相关的定义以及相关理论熟悉定义就能更清晰的掌握向量组线性相关性的本质.而本文的第三章主要给出了向量组线性相关的若干种判定方法比较了不同判定方法的优劣及适用范围并给出了一些详细证明附带了一些证明题和例题2 从而能更深刻地熟悉这些理论知识.第四章主要给出了向量组线性相关性的具体应用.而后面的就是结论与展望及一些参考文献还有一些附录关于引用的具体文献. 第2章向量组线性相关性的定义及性质定义2.1 给定向量组12:mAaaa如果存在不全为零的数12mkkk使1122mmkakaka0 则称向量组是线性相关的否则称它为线性无关. 注1说向量组12maaa线性相关通常是指2m的情形.但上述定义也适用于1m的情形.当1m时向量组只含有一个向量对于只含一个向量a的向量组当a0时是线性相关的当a0时是线性无关的.对于含2个向量12aa的向量组它线性相关的充分必要条件是12aa的分量对应成比例其几何意义是两向量共线.3个向量线性相关的几何意义是三向量共面. 注2向量组12:2mAaaam线性相关也就是在向量组A中至少有一个能由其他1m个向量线性表示.这是因为如果向量组A线性相关则有不全为0的数12mkkk使2-1式成立.因12mkkk不全为0不妨设10k于是便有12211mmakakak 即1a能由2maa线性表示. 如果向量组中有某个向量能由其余1m个向量线性表示不妨3 设ma能由11maa线性表示即有11m使112211mmmaaaa于是11111mmmaaa0 因为111m这m个数不全为0至少10所以向量组是线性相关的. 注3向量组的线性相关与线性无关的概念也可用于线性方程组.当方程组中有某个方程是其余方程的线性组合时这个方程就是多余的这时称方程组是线性相关的当方程组中没有多余方程就称该方程组线性无关. 向量组12:mAaaa构成矩阵12mAaaa向量组A 线性相关就是齐次线性方程组1122mmxaxaxa0即Ax0有非零解. 只有充分理解了向量组线性相关的定义我们才能找到不同的判定方法来判定某组向量是否是线性相关的并比较不同的判定方法的适用条件. 向量组线性相关的性质特征性质1向量组12:mAaaa线性相关的充要条件是向量组中至少有一个向量可以由其余1m个向量线性表示. 性质2对于各分量都给出的向量组12:mAaaa若以123mAaaaa为系数矩阵的齐次线性方程组Ax0有非零解向量则此向量组12:mAaaa是线性相关的.若以123mAaaaa为系数矩阵的齐次线性方程组Ax0只有零解向量则此向量组12:mAaaa 4 是线性无关的. 设向量组12:mAaaa是由m个n维列向量所组成的向量组则向量组的线性相关性可由向量组所构成的矩阵123mAaaaa的秩的大小来判定.即 1 当RAm时则向量组12:mAaaa是线性无关的. 2 当RAm时则向量组12:mAaaa是线性相关的. 这是经常用到的一种判定相关性的方法. 我们将向量12naaa几行排成矩阵12...TTTTnaaABa 为阶梯型矩阵则有定理2.1 向量组12naaa线性相关的充分必要条件是矩阵中出现零行. 证明阶梯型矩阵中出现零行矩阵TA的秩TRAnTRARAn齐次线性方程组1122nnaxaxax0有非零解向量组12naaa线性相关. 推论2.1 向量组12naaa线性无关的充分必要条件是矩阵B中不出现零行. 对矩阵TA进行初等行变换化为阶梯型矩阵B的过程其实就是对12naaa进行向量的线性运算.如果中出现零行则向量组12naaa中一定有某个向量能被其余的1n个向量线性表示从而知向量组12naaa 是线性相关的反之如果B中没有零行则向量组5 12naaa中没有任何一个向量能被其他的1n向量线性表示从而知12naaa是线性无关的. 推论2.2 如果向量组12naaa中含有零向量则向量组12naaa是线性相关的. 推论2.3 如果向量组12naaa中有个部分组12mkkkaaa其中1212iknimmn线性相关则向量组12naaa也一定线性相关. 性质3若向量组12:mAaaa是由m个n维列向量所组成的向量组且向量组A所构成的矩阵123mAaaaa即A为m阶方阵则1当0A时则向量组12:mAaaa是线性相关的. 2当0A时则向量组12:mAaaa是线性无关的. 若向量组12:mAaaa的个数m与维数n不同时则1当mn时则向量组12:mAaaa是线性相关的. 2当mn时转化为上述来进行判定即选取m个向量组成的m维向量组若此m维向量组是线性相关的则添加分量后得到的向量组也是线性相关的. 性质4对于各分量都给出的向量组12s线性相关的充要条件是以12s 的列向量为系数矩阵的齐次线性方程组有非零解若齐次线性方程组只有零解则向量组线性无关. 第三章向量组线性相关性的证明方法6 3.1 利用定义法证明这是证明向量组的线性相关性的基本方法.定义法既适用于分量没有具体给出的抽象向量组也适用于分量已经给出的具体向量组. 例3.1设112223334baabaabaa441baa证明向量组1234bbbb线性相关. 证明设存在4个数1234kkkk使得11223344kbkbkbkb0 将112223334441baabaabaabaa代入上式有112223334441kaakaakaakaa0 141122233344kkakkakkakka0取132411kkkk则有11223344kbkbkbkb0 由向量组线性相关的定义可知向量组1234bbbb线性相关. 3.2 利用向量组内向量之间的线性关系证明根据上一章讲到的性质1我们带入上一例题中比如取132411kkkk则1234bbbb即1b可由234bbb三个向量线性表示所以向量组1234bbbb线性相关.这种证明方法就是利用向量组内向量之间的线性关系进行证明的. 3.3 利用齐次线性方程组的解证明在应用定义法解一个齐次线性方程组需由该方程组是否有非零7 解来证明向量组的线性相关性.即应用定义法的同时就应用了齐次线性方程组的解进行了判定. 例3.2证明向量组1232105754137411aaa线性相关. 证明以123aaa为系数向量的齐次线性方程组是112233xaxaxa0即1231232312327305704405110xxxxxxxxxxx 利用矩阵的谐醯缺浠唤 匠套榈南凳 卣驛化为行阶梯型矩阵即1212122527315715727304404451115111rrrrrrA23324421171412415715715701717011 01104401100002424011000rrrrrrr 由行阶梯型矩阵可知23RA即齐次线性方程组有非零解所以向量组123aaa线性相关. 3.4 利用矩阵的秩证明向量组线性相关性上一章讲到的定理2.1和推论2.1推论2.2推论2.3充分的告诉了我们如何根据矩阵的秩证明向量组的线性相关性. 例3.3证明向量组123134752453246753aaa的线性无关. 证明将123aaa以行排成矩阵8 1231347513475245320231184675300001aAaa 矩阵A化为阶梯型矩阵后没有出现零行则123aaa中每个向量都不能被剩下的向量线性表示故由推论知向量组123aaa是线性无关的. 我们注意到定理中的矩阵TA 在初等行变换的过程中不论是否化成了阶梯型矩阵一旦出现零行就可以断定12naaa中必有一个向量能被其余剩下的n-1个向量线性表示从而知向量组12naaa线性相关. 例3.4证明向量组123413215224691127413595aaaa的线性相关. 证明将1234aaaa以行排成矩阵12341321513215224690408111274000001359513595aaAaa 所以矩阵A经过初等行变换后出现了零行则1234aaaa中必有一向量可以由其余的向量线性表示氏蛄孔?234aaaa是线性相关的. 例3.5设12311112313TTTaaat问当t为何值时向量组123aaa 线性相关并将3a表示为1a和2a的线性组合. 解利用矩阵的秩有123Aaaa11111111112301201213021005ttt 可见当5t时向量组123aaa线性相关并且有9 111101012012000000A所以3122aaa 利用矩阵的秩与利用齐次线性方程组的解进行判定的出发点不同但实质上是一样的都是要利用矩阵的初等行变换将相应的系数矩阵化简为行阶梯形矩阵从而求出向量组的秩即系数矩阵的秩然后再作出判定. 3.5 利用行列式的值来证明向量组线性相关性例3.6已知123111025247TTTaaa试讨论123aaa的线性相关性. 证明令123Aaaa则1021240157A所以123aaa线性相关. 行列式值的判定实质上是根据克莱姆法则判定以向量组作为系数向量的齐次线性方程组是否有非零解然后再对向量组的线性相关性作出判定所以能应用行列式值进行判定的向量组也可以应用矩阵的秩和齐次线性方程组是否有非零解的方法来进行判定. 例3.7已知向量组123:Aaaa是线性无关的且有112223331baabaabaa证明向量组123bbb线性无关. 证明一设有123xxx使得112233bxbxbx0即112223331xaaxaaxaa0整理为131122233xxaxxaxxa0 10 因为123aaa是线性无关的所以131223000xxxxxx由于此方程组的系数行列式10111020011故方程组只有零解1230xxx所以向量组123bbb线性无关. 证明二将已知的三个向量等式写成一个矩阵等式123123*********bbbaaa 记作BAK.设Bx0以BAK代入AKx0.因为矩阵A的列向量组线性无关所以可推知Kx0.又因为20K知方程Kx0只有零解0x所以矩阵B的列向量组123bbb线性无关. 证明三将已知条件可以写为123123*********bbbaaa 记做BAK因为0k所以k可逆由矩阵的秩的性质可知RARB且3RA由此3RB所以B的三个列向量线性无关. 例3.8已知3阶矩阵与三维列向量x满足323xxx且向量组2xxx线性无关. 1记2xxx求三阶矩阵使. 2求的值. 解1因为23223xxxxxxx 2000103011xxx然后可以得到000103011使得11 . 2因为得到了且2xxx而向量组2xxx是线性无关的.故P是可逆的.1所以10 3.6方程组法方程组法就是将向量组的线性相关性问题转化为齐次线性方程组的有无非零解的问题. 例3.11 证明向量组123211103202431的线性相关. 证明以123为系数的齐次线性方程组13123123132203402300kkkkkkkkkk 解得之1323kkkk即12311kkk是方程组的一组非零解故123线性相关. 例3.12 讨论12311112313t. 1 当t为何值时向量组123线性无关2 当t为何值时向量组123 线性相关3 当向量组123线性相关性将3表示为1和2的线性组合. 解设有实数123xxx使112233xxx0则得方程组123123123023030xxxxxxxxtx 其系数行列式111123513Dtt 1当5t时0D方程组只有零解1230xxx这时向量组123线性无关. 12 2当5t时0D方程组有非零解即存在不全为0的数123xxx使112233xxx0此时123线性相关. 3当5t时由111101123012135000有1323020xxxx 令31x得11x22x因此有12320从而3122. 3.7 反证法在有些题目中直接证明结论常常比较困难而从结论的反面入手却很容易推出一些与已知条件或已知的定义定理公理相悖的结果从而结论的反面不成立即结论成立.此方法是数学中常用的证明方法欲证命题真先假设命题假导出矛盾从而原命题得证. 例3.9设向量组12:mAaaa中任一向量ia不是它前面1i个向量的线性组合且0ia证明向量组12:mAaaa是线性无关的. 证明反证法假设向量组12:mAaaa线性相关则存在不全为零的m个数123mkkkk使得1122mmkakaka0 由此可知0mk否则由上式可得112121mmmmmmkkkaaaakkk 即ma可由它前面1m个向量线性表示这与题设矛盾因此0mk 112211mmkakaka0. 类似于上面的证明同理可得12320mmkkkk最后得到11ka0 因为ia0所以10k但这又与123mkkkk不全为0相矛盾. 因此向量组12:mAaaa是线性无关的. 13 第四章向量组线性相关的具体应用曲面造型是CAD/CAM、CG、计算机动画、计算机仿真、计算机可视化等众多领域的一项重要内容主要研究在计算机图像系统环境下对曲面的表示、设计、显示和分析.经过30多年的发展它已形成了以有理B样条曲面参数化特征设计和隐式代数曲面表示这两类方法为主体以插值、拟合、逼近这三种手段为骨架的几何理论体系. 在80年代后期参数曲面是CAD/CAM 曲面的主要表示方法尤其形成了NURBS 理论使它成为工业产品几何形状定义的唯一数学描述方法.但随着计算机设计的几何对象不断朝着多样化、特殊化、拓扑结构复杂化方向的发展参数曲面的局限性也越来越明显. 通常用参数曲面构造复杂拓扑结构的物体表面时需要对曲面片进行剪裁或直接在非规则的四边形网格上构造曲面片无论哪种情况都要考虑片与片之间的光滑拼接这是很困难的.对于影视动画领域的活动模型需要采用更加简便的方法来构造任意拓扑结构曲面. 细分方法正是在这种情况下迅速发展起来其基本思想是采用一定的细分规则在给定的初始网格中渐进地插入新的顶点从而不断细化出新的网格.重复运用细分规则在极限时该网格收敛于一个光滑曲面.细分曲面就是由初始控制网格按照一定的细分规则反复迭代而得到的极限曲面它具有以下优点适应任意拓扑结构、仿射不变、算法简洁通用高效、应用规模可大可小. 正是由于细分曲面有着传统参数曲面所不具备的优点现已广泛14 应用于计算机辅助几何设计、计算机动画造型及商业造型软件等领域.Loop细分网格具有局部性质.。