资源描述
,单击此处编辑母版样式,单击此处编辑幻灯片母版样式,第二层,第三层,第四层,第五层,2019/2/2,#,2024/11/17,1,附录,2,数域命题量词,1.,数域,一个含有数,0,1,的数集,F,如果其中任意两个数关于数的四则运算封闭,(,除法的除数不为零,),即它们的和,差,积,商仍是,F,中的数,则数集,F,就称为一个,数域,.,2024/11/17,2,全体有理数,实数,复数级成的数集都是数域,称为有理数域,实数域,复数域,分别记作,Q,R,C,.,2024/11/17,3,II,命题,命题是一个陈述句,这个陈述句可以用,是,或者,否,来判定其真伪,可以转换为一个,是,/,否,问题,.,如,:,雪是白的,.,雪不是白的,.,两个三角形相似当且仅当两个三角形三个内角分别相等,.,命题有简单命题和复合命题两种,.,2024/11/17,4,逻辑连接词,析取词,合取词,蕴含词,双蕴含词,否定词,2024/11/17,5,例如,假设,p,为,刮风,q,为,下雨,p,q,:,刮风且下雨,p,q,:,刮风或下雨,p,q,:,如果刮风,则必下雨,p,q,:,刮风是下雨的充分必要条件,p,:,没有刮风,(,p,q,):,如果刮风,也未见得就会下雨,.,2024/11/17,6,条件命题,p,q,(,若,p,则,q,),与其逆否命题,(,q,)(,p,)(,可简写为,q,p,),是等价命题,设,p,为刮风,q,为下雨,p,q,如刮风必下雨,和,q,p,如不下雨必无刮风,是等价命题,.,用反证法证明一个数学定理,若,p,则,q,就是证明它的逆否命题,若非,q,则非,p,2024/11/17,7,III,量词,有些命题常用两种断言,:,集,X,中每个元素具有性质,p,;,集,X,中至少存在一个元素具有性质,p,.,为表述简便,用逻辑符号,:,x,X,p,(,或,(,x,X,),p,),和,x,X,p,(,或,(,x,X,),p,),表示,.,2024/11/17,8,例如,对于集合,A,与,B,A,B,的含义是,若,a,A,则,a,B,.,这可表述为,a,A,a,B,A,B,的否定为,A,B,含义是,a,A,a,B,2024/11/17,9,一般地,含有量词的命题的否定命题,满足下面两个基本的等价规则,:,非,(,x,X,),p,等价于,(,x,X,),非,p,;,非,(,x,X,),p,等价于,(,x,X,),非,p,.,2024/11/17,10,定义,1,数域,F,上的,n,个数,a,1,a,2,.,a,n,构成的有序数组,称为数域,F,上的一个,n,元向量,(,以后常称,n,维向量,),记作,a,=,a,1,a,2,.,a,n,(3.2),其中,a,i,称为,a,的第,i,个分量,.,向量写作,(3.2),的形式,称为,行向量,;,向量写作列的形式,(,也用矩阵的转置记号表示,),a,=,a,1,a,2,.,a,n,T,(3.3),称为,列向量,(3.2),(3.3),式的方括号也可用圆括号,).,数域,F,上全体,n,元向量级成的集合,记作,F,n,.,2024/11/17,11,定义,2,设,a,=,a,1,a,2,.,a,n,b,=,b,1,b,2,.,b,n,F,n,k,F,定义,(i),a,=,b,当且仅当,a,i,=,b,i,(,i,=1,2,.,n,)(ii),向量加法,(,或,a,与,b,之和,),为,a,+,b,=,a,1,+,b,1,a,2,+,b,2,.,a,n,+,b,n,;(iii),向量的数量乘法,(,简称数乘,),为,k,a,=,ka,1,ka,2,.,ka,n,k,a,称为向量,a,与数,k,的数量乘积,.,取,k,=-,1,(,-,1),a,=,-,a,1,-,a,2,.,-,a,n,.(3.4),称右端为,a,的负向量,记作,-,a,.,则向量减法定义为,b,-,a,=,b,+(,-,a,).,分量全为零的向量称作零向量,记作,0,n,或,0,.,2024/11/17,12,上述在,F,n,中定义的向量加法和数乘运算称为向量的线性运算,满足八条运算规则,:(1),a,+,b,=,b,+,a,(,加法交换律,);(2)(,a,+,b,)+,g,=,a,+(,b,+,g,)(,加法结合律,);(3),对任一向量,a,a,+,0,=,a,;(4),对任一向量,a,存在负向量,-,a,使,a,+(,-,a,)=,0,(5)1,a,=,a,;(6),k,(,l,a,)=(,kl,),a,(,数乘结合律,);(7),k,(,a,+,b,)=,k,a,+,k,b,(,数乘分配律,);(8)(,k,+,l,),a,=,k,a,+,l,a,(,数乘分配律,);,其中,a,b,g,F,n,1,k,l,F,0,为零向量,.,2024/11/17,13,除上面八条规则外,还有下面三个性质,:(1)0,a,=,0,k,0,=,0,(,其中,0,为数零,k,为任意数,);(2),若,k,a,=,0,则或者,k,=0,或者,a,=,0,;(3),向量方程,a,+,x,=,b,有唯一解,x,=,b,-,a,.,定义,3,数域,F,上的全体,n,元向量,在其中定义了上述向量的加法和数乘运算,就称之为数域,F,上的,n,维向量空间,仍记作,F,n,.,当,F,=,R,(,实数域,),时,叫做,n,维实向量空间,记作,R,n,.,2024/11/17,14,定义,4,设,a,i,F,n,k,i,F,(,i,=1,2,.,m,),则向量,称为向量组,a,1,a,2,.,a,m,在数域,F,上的一个,线性组合,.,如果记,就说,b,可由,a,1,a,2,.,a,m,线性表示,(,或,线性表出,).,2024/11/17,15,向量的线性相关性是向量在线性运算下的一种性质,它是线性代数中极为重要的基本概念,.,为了更好地理解这个概念,先讲一下它在三维实向量中的某些几何背景,然后给以一般定义,.,若两个向量,a,1,和,a,2,共线,则,a,2,=,l,a,1,(,l,R,),这等于存在不全为零的数,k,1,k,2,使,k,1,a,1,+,k,2,a,2,=,0,;,若,a,1,和,a,2,不共线,则,l,R,有,a,2,l,a,1,它等价于,:,只有当,k,1,k,2,全为,0,时,才有,k,1,a,1,+,k,2,a,2,=,0,.,a,1,a,2,a,1,a,2,2024/11/17,16,若三个向量,a,1,a,2,a,3,共面,则其中至少有一个向量可由另两个向量线性表示,.,O,a,1,a,2,a,3,a,3,=,l,1,a,1,+,l,2,a,2,O,a,1,a,2,a,3,a,1,=,l,3,a,3,+0,a,2,2024/11/17,17,两种情况都等价于,:,存在不全为,0,的数,k,1,k,2,k,3,使,k,1,a,1,+,k,2,a,2,+,k,3,a,3,=,0,;,若,a,1,a,2,a,3,不共面,则任一个向量都不能由另两个向量线性表示,即只有当,k,1,k,2,k,3,全为零时,才有,k,1,a,1,+,k,2,a,2,+,k,3,a,3,=,0,.,O,a,3,=,k,a,2,=,j,a,1,=,i,2024/11/17,18,定义,5,如果对,m,个向量,a,1,a,2,.,a,m,F,n,有,m,个不全为零的数,k,1,k,2,.,k,m,F,使,k,1,a,1,+,k,2,a,2,+.+,k,m,a,m,=,0,(3.5),成立,则称,a,1,a,2,.,a,m,线性相关,;,否则,称,a,1,a,2,.,a,m,线性无关,.,即只有当,k,1,k,2,.,k,m,全为零时,才有,k,1,a,1,+,k,2,a,2,+.+,k,m,a,m,=,0,成立,就称,a,1,a,2,.,a,m,线性无关,.,2024/11/17,19,定理,1,向量组,a,1,a,2,.,a,m,(,m,2),线性相关的充分必要条件是,a,1,a,2,.,a,m,中至少有一个向量可由其余,m,-,1,个向量线性表示,.,证,设,a,1,a,2,.,a,m,线性相关,则存在,m,个不全为,0,的数,k,1,k,2,.,k,m,使,k,1,a,1,+,k,2,a,2,+.+,k,m,a,m,=,0,.,不妨设,k,1,0,于是由向量的线性运算性质得,必要性得证,.,2024/11/17,20,再证充分性,不妨设,a,1,可用,a,2,a,3,.,a,m,线性表示,即,a,1,=,l,2,a,2,+,l,3,a,3,+.+,l,m,a,m,于是有,1,a,1,-,l,2,a,2,-,l,3,a,3,-,.,-,l,m,a,m,=,0,显然,1,-,l,2,-,l,3,.,-,l,m,不全为,0,故,a,1,a,2,.,a,m,线性相关,.,定理,1,的等价命题,(,逆否命题,),是,:,向量组,a,1,a,2,.,a,m,(,m,2),线性无关的充分必要条件是其中任一个向量都不能由其余向量线性表示,.,2024/11/17,21,例,1,设,n,维向量,e,i,=0,.,0,1,0,.,0,其中第,i,个分量为,1,其余分量为,0,则,e,1,e,2,.,e,n,是线性无关的,.,证,设存在,n,个数,k,1,k,2,.,k,n,使,k,1,e,1,+,k,2,e,2,+.+,k,n,e,n,=,0,即,k,1,k,2,.,k,n,=,0,则必须,k,1,=,k,2,=.=,k,n,=0,故,e,1,e,2,.,e,n,线性无关,.,以后,称,e,1,e,2,.,e,n,为,基本向量,.,2024/11/17,22,例,2,设,n,维向量,a,=,a,1,a,2,.,a,n,e,1,e,2,.,e,n,为基本向量,则向量组,a,e,1,e,2,.,e,n,是线性相关的,.,证,由于,a,=,a,1,a,2,.,a,n,=,a,1,e,1,+,a,2,e,2,+.+,a,n,e,n,根据定理,1,向量组,a,e,1,e,2,.,e,n,线性相关,.,2024/11/17,23,例,3,包含零向量的任何向量组是线性相关的,.,证,设向量组,a,1,a,2,.,a,s,(,其中,a,1,=,0,),于是存在不全为零的数,1,0,.,0,使,1,a,1,+0,a,2,+.+0,a,s,=,0,故线性相关,.,根据定义不难证明,:,单个向量,a,线性相关,(,无关,),当且仅当,a,为零向量,(,非零向量,).,2024/11/17,24,定理,2,设,a,1,a,2,.,a,r,F,n,其中,:,a,1,=,a,11,a,21,.,a,n,1,T,a,2,=,a,12,a,22,.,a,n,2,T,.,a,r,=,a,1,r,a,2,r,.,a,nr,T,.,则向量组,a,1,a,2,.,a,r,线性相关的充分必要条件是齐次线性方程组,AX,=,0,(3.6),有非零解,其中,2024/11/17,25,证,设,x,1,a,1,+,x,2,a,2,+.+,x,r,a,r,=,0,(3.7),即,将,(3.8),式左端作线性运算,再与右端相等,即得方程,(3.6).,因此,如果,a,1,a,2,.,a,r,线性相关,就必有不全为零的数,x,1,x,2,.,x,r,使,(3.7),成立,即齐次线性方程组,(3.6),有非零解,.,反之,如,(3.6),有非零解,即有不全为零的数,x,1,x,2,.,x,r,使,(3.7),成立,故,a,1,a,2,.,a,r,线性相关,.,2024/11/17,26,定理,2,的等价命题是,:,a,1,a,2,.,a,r,线性无关的充分必要条件是齐次线性方程组,(3.6),只有零解,.,因此,判定一组向量是否线性相关或者线性无关的基本技术是求解齐次线性方程组,(3.6).,在定理,2,中,如果,n,r,由高斯消元法可知,方程组,(3.6),求解必有自由未知量,即必有非零解,.,因此,任何,n
展开阅读全文