- 1、本文档共12页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
实二次型与实对称矩阵的定性分析
摘 要: 本文以矩阵理论在二次型理论中的应用为基础,重点讨论了正定矩阵、负定矩
阵、半正定矩阵、半负定矩阵的若干等价命题,并给出详细的证明,得到了一些有一定价值的
结论.
关键词: 实二次型; 实对称矩阵; 正定矩阵
1 引言
数域上一个元实二次齐次多项式:可表示成矩阵形式:其中是由的系数构成的实对称矩阵.反之,若是数域上阶实对称矩阵,则可得上的一个元实二次型.所以,数域上元实二次型与数域上阶实对称矩阵一一对应.因此要研究实二次型,只要研究该实二次型的矩阵即可.事实上, 实二次型的等价分类问题与矩阵的合同分类问题本质上是同一个问题.
设实二次型,是实对称矩阵,若对于任意的实非零列向量有,则称和是正定的;若对于任意的实非零列向量有,就称和是负定的;若对于任意的实非零列向量有,就称和是半正定的;若对于任意的实非零列向量有,就称和是半负定的;若存在两个实向量和,使和则称是不定实二次型,便是不定的.
2 实二次型性质的简单分析
2.1 线性替换
实二次型经过非退化线性替换
化为标准形
实二次型的上述过程相当于在实二次型的矩阵表示式中,对于实对称矩阵通过寻找一个可逆矩阵,使
.
2.2 正定实二次型的有关结论
正定实二次型经过实满秩线性替换后仍为正定实二次型.
实二次型是正定的充分必要条件是
(3) 元实二次型正定的充分必要条件是
的正惯性指数为.
2. 3 负定实二次型的有关结论
负定实二次型经过实满秩线性代换后仍为负定实二次型.
实二次型是负定的充分必要条件是
(3) 元实二次型负定的充分必要条件是的
负惯性指数为.
2. 4 半正定实二次型的有关结论 的正惯性指数等于实二次型的秩.
2. 5 半负定实二次型的有关结论 的负惯性指数等于实二次型的秩.
3 实对称矩阵的等价条件和证明
3.1 正定矩阵
设是实对称矩阵,则以下命题等价
(1) ?是正定的;
(2) 的正惯性指数等于矩阵的阶数;
(3) 合同于单位矩阵;
(4) 存在可逆矩阵,使;
(5) 的所有顺序主子式全大于0,特别地的行列式大于0.
证明 : 由于是正定矩阵,所以二次型正定.设元实二次型经过非退化线性替换变成.
正定当且仅当正定,而我们知道实二次型是正定的当且仅当.即正惯性指数为,且矩阵的秩为.
: 设元实二次型所对应的系数矩阵为,的正惯性指数为,则经过非退化线性替换变为规范形式,所以与单位矩阵合同.
: 与单位矩阵合同,则存在可逆矩阵,使.
: 因为,其中是可逆矩阵,所以是正定矩阵,则所对应的实二次型是正定二次型.对于每一个令,我们来证明是元的正定二次型对于任意一组不全为零的实数,有
.
因此是正定的,有上面的推论的矩阵的行列式
.这就证明了矩阵的顺序主子式全大于零.
: 对作数学归纳,设,其中
当时,,由条件知,所以,是正定二次型,矩阵对应是正定矩阵.
假设上述论断对于元实二次型已经成立.
现在来证元的情形,令,于是矩阵可以分块写成,既然的顺序主子式全大于零,当然的顺序主子式也全大于零.由归纳假设,是正定矩阵.换句话说,有可逆的级矩阵,使,这里代表级单位矩阵. 令
于是
再令 ,
于是令
就有,再两边同时取行列式条件,因此,显然
这就是说,矩阵与单位矩阵合同,因此是正定矩阵.
3.2 负定矩阵
根据定义: 设负定, 任给,且.有于是,同时也为实对称矩阵,因此得(-)是正定矩阵.
设是实对称矩阵,则以下命题等价
(1) 是负定的;
(2) 的负惯性指数等于矩阵的阶数;((-)的正惯性指数即为的负惯性指数)
(3) 合同于(-);(由,即得)
(4) 存在可逆矩阵,使;
(5) 的所有顺序主子式满足:,特别地.((-)的阶主子式即为)
证明 : 由于是负定矩阵,所以二次型负定.设元实二次型经过非退化线性替换变成
负定当且仅当负定,而我们知道二次型是负定的当且仅当.即负惯性指数为,且矩阵的秩为.
: 设元实二次型所对应的系数矩阵为,的负惯性指数为,则经过非退化线性替换变为规范形式,所以与负单位矩阵合同.
: 与负单位矩阵合同,则存在可逆矩阵,使.
: 因为,其中是可逆矩阵,因此是正定矩阵,故的一切顺序主子式全大于零,从而,即且有.
: 对作数学归纳,设,其中.
当时,,由条件知,所以当时, ,因此
是负定二次型, 对应矩阵 是负定矩阵.
假设上述论断对于元二次型已经成立.
现在来证元的情形,令,
于是矩阵可以分块写成,既然的顺序主子式全大于零,当然的顺序主子式也全大于零.由归纳假设,是负定矩阵.换句话说,有可逆的级矩阵,使,这里代表级单位矩阵.令于是
再令,
令
就有其中
再两边同时取行列式由条件,因此,即,所以且有
这就是说,矩阵与负单位矩阵合同,因此是负定矩阵,或者说是负定的.
3.3 半正定矩阵
您可能关注的文档
- 石材展示电子商务网站 毕业论文.doc
- 石佛沟特大桥专项施工方案 毕业设计论文.doc
- 石河子地区兵团农业保险的特点及问题分析 保险业毕业论文.doc
- 石河子新建二级公路工程 毕业设计计算书.doc
- 石河子至沙湾二级公路工程 毕业设计论文.doc
- 石化生活小区给水管网及水厂设计 毕业设计论文.doc
- 石灰粉煤灰土底基层施工方案 毕业论文.doc
- 石灰石掺量对水泥的影响 毕业论文.doc
- 石灰石湿法烟气脱硫控制系统设计 毕业论文.doc
- 石家庄地区XX高层点式住宅 毕业设计.doc
- CNAS-CL63-2017 司法鉴定-法庭科学机构能力认可准则在声像资料鉴定领域的应用说明.docx
- 12J7-3 河北《内装修-吊顶》.docx
- 12N2 河北省12系列建筑标准设计图集 燃气(油)供热锅炉房工程.docx
- 内蒙古 12S8 排水工程 DBJ03-22-2014.docx
- 山西省 12S10 12系列建筑标准设计 管道支架、吊架.docx
- 16J601-木门窗标准图集.docx
- 12J8 河北省12系列《 楼梯》.docx
- CNAS-GL37 2015 校准和测量能力(CMC)表示指南.docx
- CNAS-RL02-2016 能力验证规则.docx
- 津02SJ601 PVC塑料门窗标准.docx
文档评论(0)