资源描述
单击此处编辑母版标题样式,*,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,主要内容,正定二次型的定义,第四节 正定二次型,实二次型正定性的判别方法,实二次型的其他类型及其判别法,正定矩阵的应用举例,一、正定二次型的定义,在实二次型中，正定二次型占有特殊的地位,.,因,为正定二次型与正定矩阵在工程技术和最优化等问,题中有着广泛的应用，讨论多元函数极值的充分条,件也要用到它,.,在这一节中，我们给出它的定义以,及常用的判别条件,.,1.,定义,定义,7,实二次型,f,(,x,1,x,2, ,x,n,),称为,正,定的,，如果对于任意一组不全为零的实数,c,1,c,2, ,c,n,都有,f,(,c,1,c,2, ,c,n,) 0 .,2.,两个基本结论,1),实二次型,正定的充分必要条件是,d,i, 0 ,i,= 1, 2, ,n,.,2),非退化实线性替换保持正定性不变,.,二、实二次型正定性的判别方法,定理,6,n,元实二次型,f,(,x,1,x,2, ,x,n,),是正,定的充分必要条件是它的正惯性指数等于,n,.,证明,设二次型,f,(,x,1,x,2, ,x,n,),经过非退,化实线性替换变成标准形,d,1,x,1,2,+,d,2,x,2,2,+ +,d,n,x,n,2,1.,惯性指数法,由前面讨论的基本结论,1,知，该标准形是正定的当,且仅当,d,i, 0 ,i,=1, 2, ,n,即正惯性指数为,n,.,再,由基本结论,2,即得,.,证毕,定理,6,说明，正定二次型,f,(,x,1,x,2, ,x,n,),的,规范形为,y,1,2,+,y,2,2,+ +,y,n,2,.,定义,8,实对称矩阵,A,称为,正定的,，如果二,次型,X,T,AX,正定,.,因为二次型,x,1,2,+,x,2,2,+ +,x,n,2,的矩阵是单位,矩阵,E,，所以,一个实对称矩阵是正定的当且仅当它,与单位矩阵合同,，由此得：,推论,1,实对称矩阵,A,正定的充分必要条件,是存在可逆矩阵,C,，使得,A,=,C,T,C,.,证明,设,A,为实对称矩阵，则由,实对称矩阵,A,正定,等价,实二次型,X,T,AX,正定,等价,实二次型,X,T,AX,的规范型是,x,1,2,+,x,2,2,+ +,x,n,2,实二次型,X,T,AX,的规范型是,x,1,2,+,x,2,2,+ +,x,n,2,等价,存在可逆矩阵,C,，使,A = C,T,EC,= C,T,C,.,矩阵,A,与,E,合同,等价,证毕,有,推论,2,正定矩阵的行列式大于零,.,证明,设,A,是一正定矩阵，则由推论,1,知，,存在可逆矩阵,C,，使,A = C,T,C .,两边取行列式，就有,|,A,| = |,C,T,| |,C,| = |,C,|,2, 0 .,证毕,例,1,证明：若,A,是正定矩阵，则,A,-1,也是正,定的,.,证明,由正定矩阵的定义知，正定矩阵是实对,称矩阵，,由推论,2,知，正定矩阵,A,是可逆的，,且,(,A,-1,),T,= (,A,T,),-1,=,A,-1,，,所以,A,-1,也是实对称矩阵,.,证明其正定性的方法很,多,.,例,2,用惯性指数法判断三元二次型,是否是正定二次型,.,2.,顺序主子式法,有时我们需要直接从二次型的矩阵来判别这个,二次型是不是正定的，而不希望通过它的标准形或,规范形,.,下面来解决这个问题,.,为此，引入,定义,9,子式,称为矩阵,A,= (,a,ij,),nn,的,顺序主子式,.,定理,7,实二次型,是正定的充分必要条件为矩阵,A,的顺序主子式全,大于零,.,证明,先证,必要性,设二次型,是正定的,.,对于每个,k,，,1,k,n,令,我们来证,f,k,是一个,k,元的正定二次型,.,对于任意一,组不全为零的实数,c,1, ,c,k,有,因此,是正定的,.,由,f,k,的矩阵的行列式,这就证明了矩阵,A,的顺序主子式全大于零,.,再证,充分性,对,n,作数学归纳法,.,当,n,= 1,时，,f,(,x,1,) =,a,11,x,1,2,由条件,a,11, 0,显然有,f,(,x,1,),是正定的,.,假设充分性的论断对于,n,- 1,元二次型已成立,现在来证,n,元的情形,.,令,于是矩阵,A,可以分块成,既然,A,的顺序主子式全大于零，当然,A,1,的顺,序主子式也全大于零,.,由归纳法假设，,A,1,是正定,矩阵，换句话说，有可逆的,n,- 1,级矩阵,G,使,G,T,A,1,G,=,E,n,- 1,这里,E,n,- 1,代表,n,- 1,级单位矩阵,.,令,于是,再令,有,令,C =,C,1,C,2,a,nn,-,T,GG,T, = a,就有,两边取行列式，,|,C,|,2,|,A,| =,a,.,由条件,|,A,| 0,得,a, 0 .,这就说明，矩阵,A,与单,位矩阵合同，所以，,A,是正定矩阵，或者说二次,型,是正定的,.,充分性得证,.,证毕,例,3,利用下列模型判别矩阵的正定性,例,4,判别二次型,的正定性,.,解,二次型的矩阵为,它的顺序主子式分别为,单击求值,单击求值,由此可知二次型是正定的,.,三、实二次型的其他类型及其判别法,1.,定义,定义,10,设,f,(,x,1,x,2, ,x,n,),是一实二次型,对于任意一组不全为零的实数,c,1,c,2, ,c,n,如果,都有,f,(,c,1,c,2, ,c,n,) 0 ,X,= (,x,),T,=,x,R,1,是一条抛,物线，它在,处，取得最小值,本例是把一元二次函数的最小值问题推广到,n,元二,次函数,(,其二次项部分是正定二次型,).,这里欲证,p,(,X,0,),是,p,(,X,),的最小值，只要证恒,有,p,(,X,) -,p,(,X,0,), 0 .,由于,b = AX,0,(,X,0,=,A,-1,b,) ,所以,又因为,X,T,AX,0,是一阶矩阵，所以,因此，由,A,的正定性，即得,(,X,-,X,0,) 0,，即,X,X,0,，恒有,p,(,X,) -,p,(,X,0,) 0,，故,p,(,X,0,),是,p,(,X,),的最小值，且,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,本节内容已结束,!,若想结束本堂课,请单击返回按钮,.,
展开阅读全文