正定矩阵的性质及推广本科论文.doc

洛阳师范学院本科毕业论文

LUOYANG NORMAL UNIVERSITY

2012届 本科毕业论文

正定矩阵的性质及推广

院（系）名称
数学科学学院
专 业 名 称
数学与应用数学
学生姓名
李俊霞
学号
080414076
指导教师
黄盛 讲师
完 成 时 间
2012.5

正定矩阵的性质及推广

李俊霞
数学科学学院 数学与应用数学专业 学号： 080414076
指导教师：黄盛

摘要：正定矩阵是一类比较重要且应用广泛的矩阵，作为一种特殊的矩阵，当然有许多与其它矩阵不同的性质，本文首先给出了正定矩阵的若干性质. 其次，给出了正定矩阵在证明不等式、求函数的极值、多项式因式分解等方面的具体应用. 最后对正定矩阵作了进一步的推广，得到了广义正定矩阵的一些性质，并给出了相应的证明.

关键词：正定矩阵；广义正定矩阵；正对角矩阵；实对称矩阵

关于正定矩阵的定义
　　本科阶段学习的正定矩阵局限于实对称矩阵，它的常规定义为
　　定义 阶实对称矩阵称为正定的，如果对 ,都有.这种正定矩阵的全体记作.
　　年，首先提出了较广义的正定矩阵的定义，即
　　定义 设，如果对 ，都有,则称为正定矩阵,这种正定矩阵的全体记作.
　　年，佟文廷把这种矩阵推广为
　　定义 设，如果对,都有正对角矩阵
=，使得，则称为广义的正定矩阵，记为，若与无关，则记为.
　　年，夏长富对这种正定矩阵作进一步推广如下
　　定义 设，如果对,都存在,使得,称为广义正定矩阵，这种广义正定矩阵的集合记为，若与无关，则把这样的广义正定矩阵的集合记作.
正定矩阵的判定定理
　　定理 设是阶实对称矩阵，则下列命题等价
　　 ；
　　 对，都有；
　　 的正惯性指数为，负惯性指数为0；
　　 的各阶顺序主子式都大于0；
　　 存在阶可逆矩阵，使；
　　 存在阶可逆矩阵，使=；
　　 的各阶主子式都大于0；
　　 存在正定矩阵，使；
　　 所有与合同的矩阵是正定矩阵；
　　 的特征值都大于0；
　　 半正定且；
　　 设，则和是正定矩阵.
　　 存在对角元素全大于零的上三角矩阵，使.
　　证明 等价于
　　因为是实对称矩阵，所以可对角化，即存在正交矩阵，使
，
其中是的特征值，，所以

令=,则是正定矩阵且=.
　　反之，因为是正定矩阵，所以是正定矩阵，即是正定矩阵.
　　等价于
　　设是与合同的矩阵，正定，下证正定，对
，
作非退化线性替换，则
，
因为是正定矩阵，所以
，
即
，
所以是正定矩阵.
　　反之，令是正定矩阵，则
　　，
因为是正定矩阵，与合同，由上面的证明可知，是正定矩阵.
　　等价于
　　是正定矩阵等价于是正定矩阵，
　　,
　　，
等价于和是正定矩阵.
　　要证等价于，需先证明一个引理.
　　引理 设为一个级实矩阵，且，则可以分解成，其中是正交矩阵，是一上三角矩阵.
　　证明 设，其中是的列向量，因为，所以线性无关，可作为维线性空间的一组基，将其化为标准正交基，令
　　，
　　，
　　，
则
=，
将，，,标准化，令
，
，

，
则

，
是一组标准正交基，令
，
，
则是正交矩阵，是一上三角矩阵，且对角元素大于零.
　　下面证明等价于
　　是正定矩阵等价于存在可逆矩阵，使
，是上三角矩阵且对角元素大于0，同样的方法可证明下三角矩阵的情况. 其余等价命题参考文献.
正定矩阵的性质
　　性质 若是正定矩阵，则、、、也是正定矩阵.
　　证明 因为是正定矩阵，所以存在阶可逆矩阵，使，则

所以是正定矩阵.
　　另外，的特征值都大于，所以都大于，即的特征值都大于，所以也是正定矩阵.
　　对于任意的，，所以是正定矩阵.
　　因为=，所以是正定矩阵.
　　性质 设，是阶正定实对称矩阵，且满足,则也是正定实对称矩阵.
　　证明 因为，所以是实对称矩阵，设是的一个特征值，是对应于的特征向量，则
,
，
，
因为,是正定矩阵，所以，，所以，即的特征值都大于，所以也是正定实对称矩阵.
　　由性质的证明过程可知，正定矩阵乘积的特征值大于.
　　性质 若、都是正定矩阵，则是正定矩阵.
　　证明 显然是实对称矩阵，对于任意的
　　，
有
　　，
所以是正定矩阵.
　　推论 若、都是正定矩阵，则是正定矩阵.
　　性质 若、都是正定矩阵，则.
　　证明 因为是正定矩阵，所以存在可逆矩阵,使得 ，显然是对称矩阵，则可对角化，所以存在正交矩阵,使
　　=
因为是正定矩阵，所以，令，则

==
分别对上式两边求行列式得，
，
，
，
所以
，
因为
，
所以
.
　　此性质说明了对任意一个正定矩阵和一个实对称矩阵(不一定是正定的),存在可逆矩阵，使和都为对角矩阵.
　　性质 为阶正定矩阵，则的元素的绝对值最大者，一定在主对角元上.
　　证明 因为正定，从而的一切二阶主子式都大于，当时
　　.
移项后，开方即得，
，
设的主对角元上最大元素为，再由上式，得，
=，
此即证
.
即的元素的绝对值最大者，一定在主对角元上.
　　性质 为阶正定矩阵，则，其中为的主对角元素.
　　证明 设，其中为的-1阶顺序主子式，

因为正定，所以正定，存在，于是
　　=，
两边取行列式得，
=，
因为正定，所以正定，所以
，.
所以，同理，这样继续下去，可得
.
　　性质 若是正定矩阵，则也是正定矩阵.
　　证明 因为是正定矩阵，所以的特征值，那么
　　，
即的特征值都大于0，所以是正定矩阵.
正定矩阵的应用
证明不等式
　　实对称矩阵称为正定矩阵，是指如果实二次型正定，，
而二次型正定是指对任意 ，恒有，所以可用实对称矩阵中的正定矩阵来证明不等式.
　　例 求证.
　　证明 设二次型=+，则的矩阵
　　=，
的各阶顺序主子式=-5，=26，=-80
所以是负定矩阵，则，即.
求函数的极值
　　定义 假定具有二阶连续偏导数，并记
　　,
它称为在的黑赛矩阵.
　　定理 设二元函数在点的某邻域内具有二阶连续偏导数，且是的稳定点.则当是正定矩阵时，在取得极小值；当是负定矩阵时，在取得极大值；当是不定矩阵时，在不取极值.
　　例 求函数的极值点.
　　解 由方程组

得的稳定点为，=2，，，，那么
，
是正定矩阵，所以是的极小值点，.
　　多元函数的情形：
　　定义 假设具有二阶连续偏导数，并记
　　，
它称为在的黑赛矩阵.
定理 设多元函数在点的某邻域内具有二阶连续偏导数，且是的稳定点. 则当是正定矩阵时，在取得极小值；当是负定矩阵时，在取得极大值；当是不定矩阵时，在不取极值.
例 求函数的极值.
解 由方程组

得的稳定点为，，又的二阶偏导数为，，，，，. 所以
，
其顺序主子式分别为0，，，所以是不定矩阵，在点处不取极值.
，
其顺序主子式分别为，，，所以是正定矩阵，由定理可知，在点处取极小值，极小值为.
多项式因式分解
　　定理 一个实二次型可以分解为两个实系数的一次齐次多项式乘积的充要条件是它的秩等于2且符号差为，或秩等于1.
　　该定理为利用二次型进行二次多项式因式分解提供了理论依据，同时给出了判断能否分解的方法，并且可以很快得到分解式.
　　例 试判断下列多项式在R上能否进行因式分解，若能，分解之.

　　解 令，则=，只需考虑的秩和符号差，所对应的矩阵为，所以的秩为3，故不能分解,所以不能分解.
　　 令，则=，只需考虑的秩和符号差，作非退化线性替换

即

得，
=,
其秩为2，符号差为，所以能因式分解，
====.
最小二乘法问题
　　最小二乘法问题：线性方程组

可能无解. 即任何一组数都可能使

不等于零. 我们设法找使其最小，这样的称为方程组的最小二乘解. 这种问题就叫做最小二乘法问题.
定理 令，，，则方程组的最小二乘解满足，或.
判断二次曲线的形状
可通过非退化线性替换将二次型化为标准型，从而判断二次曲线的形状.
例 判断二次曲线的形状.
解 设，令，则，对作非退化线性替换，令

即

则
，
从而
，
即
，
所以曲线表示椭圆.
在的条件下求二次型的最值.
定理 设元二次型，则在条件下的最大值恰为矩阵的最大特征值，其中.
证明 令,则,作非退化线性替,其中是由的特征向量正交化得到的矩阵，故有
，
其中是的特征值. 所以

记是中的最大值，是中的最小值，又
,
所以
，
即在条件下的最大值恰为矩阵的最大特征值.
例 已知实数满足，求的最大值和最小值.
解 的矩阵
，
，
解得的特征值为，，由定理得，的最大值为，最小值为.
5 正定矩阵的推广
　　定义 设，如果对, 都存在,
使得,则称为更广义正定矩阵，这种更广义正定矩阵的集合记为，若与无关，则把这样的广义正定矩阵的集合记作.
　　定义 设，如果对，都存在,
使得，则称为更广义正定矩阵，这种更广义正定矩阵的集合记为，若与无关，则把这样的广义正定矩阵的集合记作.
　　各种定义有如下关系：

　　证明 显然；
　　 对，有，即，为阶单位矩阵，当然是正对角矩阵，所以，所以；
　　 对，存在正对角矩阵，使，显然，所以，所以；
　　 对，存在,使得，当然，所以，所以
；
　　 对，存在,使得，因为，所以，所以
，所以.
广义正定矩阵的一些性质
定理 若，则.
证明 因为，则存在正对角矩阵，使，所以，所以，因为，所以.
定理6.2 、、都有.
其证明方法都类似于定理，在这里就不再一一写出.
　　定理 ，，.
　　证明 必要性
　　因为,所以,使

则
，,
令
=,=,
所以
==
，，
　　或者，将改写为
,
令
=,=,
所以
==.
　　充分性
　　不妨设,，使，则=，因为,所以对，
有,即,因为,所以.
　　定理说明，对称正定矩阵和实正定矩阵之积为广义实正定矩阵，这也可作为广义正定矩阵的定义和判定定理.
　　定理 设,则存在正交矩阵，使得.
　　证明 因为，所以存在, 使得，因为，所以存在正交矩阵，使为正对角矩阵，又
　　=，
因为，所以对，有,即
,
因为为正对角矩阵，所以.

结束语
　　通过本文的写作，使我对正定矩阵有了更加深入的认识，并且利用正定矩阵解决了代数中的一些问题. 在此基础上，将正定矩阵作了进一步的推广，得到了广义正定矩阵.

致谢
　　本论文在选题及写作过程中得到黄盛老师的悉心指导，黄老师多次询问写作进程，并为我指点迷津，帮助我开拓研究思路，精心点拨、热忱鼓励. 黄老师一丝不苟的作风，严谨求实的态度，踏踏实实的精神，深深地感染和激励着我. 正是由于他在百忙之中多次审阅全文，对细节进行修改，并为本文的撰写提供了许多中肯而且宝贵的意见，本文才得以成型. 在此对黄老师表示由衷的感谢！
　　同时，也感谢大学里各位老师的教导以及班级同学的帮助和支持！

参考文献
[1]北京大学数学系几何与代数教研室前代数小组. 高等代数[M]. 第三版. 北京：高等教育出版社，2003: 162-226.
[2]戴泽俭，凌灯荣，夏徐林. 关于正定矩阵的进一步推广[J]. 安庆师范学院学报，2006,12（2）：23-24.
[3]佟文廷. 广义正定矩阵[J]. 数学学报, 1984(27): 810-810.
[4]夏长富．钜阵正定性的进一步推广[J]．数学研究与评论, 1988, 8(4)：499-504.
[5]吴亚敏. 正定矩阵的性质[J]. 数学学习与研究, 2011: 110-111.
[6]钱吉林. 高等代数题解精粹[M]. 第二版. 北京：中央民族大学出版社，2010: 112-224.
[7]岳贵鑫. 正定矩阵及其应用[J]. 辽宁省交通高等专科学校学报,2008,10(5): 30-33.
[8]华东师范大学数学系. 数学分析[M]. 第三版. 北京：高等教育出版社, 2008: 136-139.
[9]薛蓉华. 二次型性质的若干应用[J]. 福建工程学院学报, 2011, 9(3): 273-275.
[10]何春羚. 关于广义正定矩阵性质的讨论[J]. 重庆文理学院学报，2007, 26(4): 15-17.
[11]沈光星. 广义正定矩阵及其性质[J]. 高等学校计算数学学报, 2002（2）：186-192.
[12]史秀英. 正定矩阵的等价命题及其应用[J]. 赤峰教育学院学报, 2000, 2: 44-46.

The Properties of Positive Definite Matrix and Promotion
LI Jun-xia
College of Mathematics Science No：080414076
Tutor: HUANG Sheng
Abstract: Positive definite matrices is a kind of more important and widespread matrix, as a kind of special matrix, of course, there are many different properties with other matrix, this paper gives some properties of positive definite matrix. Secondly, given the positive definite matrix inequalities in proof, let the function extreme value, polynomial of factoring decomposition specific application on the positive definite matrix was further promotion, get some properties of the generalized positive definite matrix, and the correspondi- ng proof.

Key words: positive definite matrix; generalized positive definite matrix; positive diagonal matrix; real symmetric matrices
1. 基于C8051F单片机直流电动机反馈控制系统的设计与研究
2. 基于单片机的嵌入式Web服务器的研究
3. MOTOROLA单片机MC68HC（8）05PV8/A内嵌EEPROM的工艺和制程方法及对良率的影响研究
4. 基于模糊控制的电阻钎焊单片机温度控制系统的研制
5. 基于MCS-51系列单片机的通用控制模块的研究
6. 基于单片机实现的供暖系统最佳启停自校正（STR）调节器
7. 单片机控制的二级倒立摆系统的研究
8. 基于增强型51系列单片机的TCP/IP协议栈的实现
9. 基于单片机的蓄电池自动监测系统
10. 基于32位嵌入式单片机系统的图像采集与处理技术的研究
11. 基于单片机的作物营养诊断专家系统的研究
12. 基于单片机的交流伺服电机运动控制系统研究与开发
13. 基于单片机的泵管内壁硬度测试仪的研制
14. 基于单片机的自动找平控制系统研究
15. 基于C8051F040单片机的嵌入式系统开发
16. 基于单片机的液压动力系统状态监测仪开发
17. 模糊Smith智能控制方法的研究及其单片机实现
18. 一种基于单片机的轴快流CO〈,2〉激光器的手持控制面板的研制
19. 基于双单片机冲床数控系统的研究
20. 基于CYGNAL单片机的在线间歇式浊度仪的研制
21. 基于单片机的喷油泵试验台控制器的研制
22. 基于单片机的软起动器的研究和设计
23. 基于单片机控制的高速快走丝电火花线切割机床短循环走丝方式研究
24. 基于单片机的机电产品控制系统开发
25. 基于PIC单片机的智能手机充电器
26. 基于单片机的实时内核设计及其应用研究
27. 基于单片机的远程抄表系统的设计与研究
28. 基于单片机的烟气二氧化硫浓度检测仪的研制
29. 基于微型光谱仪的单片机系统
30. 单片机系统软件构件开发的技术研究
31. 基于单片机的液体点滴速度自动检测仪的研制
32. 基于单片机系统的多功能温度测量仪的研制
33. 基于PIC单片机的电能采集终端的设计和应用
34. 基于单片机的光纤光栅解调仪的研制
35. 气压式线性摩擦焊机单片机控制系统的研制
36. 基于单片机的数字磁通门传感器
37. 基于单片机的旋转变压器-数字转换器的研究
38. 基于单片机的光纤Bragg光栅解调系统的研究
39. 单片机控制的便携式多功能乳腺治疗仪的研制
40. 基于C8051F020单片机的多生理信号检测仪
41. 基于单片机的电机运动控制系统设计
42. Pico专用单片机核的可测性设计研究
43. 基于MCS-51单片机的热量计
44. 基于双单片机的智能遥测微型气象站
45. MCS-51单片机构建机器人的实践研究
46. 基于单片机的轮轨力检测
47. 基于单片机的GPS定位仪的研究与实现
48. 基于单片机的电液伺服控制系统
49. 用于单片机系统的MMC卡文件系统研制
50. 基于单片机的时控和计数系统性能优化的研究
51. 基于单片机和CPLD的粗光栅位移测量系统研究
52. 单片机控制的后备式方波UPS
53. 提升高职学生单片机应用能力的探究
54. 基于单片机控制的自动低频减载装置研究
55. 基于单片机控制的水下焊接电源的研究
56. 基于单片机的多通道数据采集系统
57. 基于uPSD3234单片机的氚表面污染测量仪的研制
58. 基于单片机的红外测油仪的研究
59. 96系列单片机仿真器研究与设计
60. 基于单片机的单晶金刚石刀具刃磨设备的数控改造
61. 基于单片机的温度智能控制系统的设计与实现
62. 基于MSP430单片机的电梯门机控制器的研制
63. 基于单片机的气体测漏仪的研究
64. 基于三菱M16C/6N系列单片机的CAN/USB协议转换器
65. 基于单片机和DSP的变压器油色谱在线监测技术研究
66. 基于单片机的膛壁温度报警系统设计
67. 基于AVR单片机的低压无功补偿控制器的设计
68. 基于单片机船舶电力推进电机监测系统
69. 基于单片机网络的振动信号的采集系统
70. 基于单片机的大容量数据存储技术的应用研究
71. 基于单片机的叠图机研究与教学方法实践
72. 基于单片机嵌入式Web服务器技术的研究及实现
73. 基于AT89S52单片机的通用数据采集系统
74. 基于单片机的多道脉冲幅度分析仪研究
75. 机器人旋转电弧传感角焊缝跟踪单片机控制系统
76. 基于单片机的控制系统在PLC虚拟教学实验中的应用研究
77. 基于单片机系统的网络通信研究与应用
78. 基于PIC16F877单片机的莫尔斯码自动译码系统设计与研究
79. 基于单片机的模糊控制器在工业电阻炉上的应用研究
80. 基于双单片机冲床数控系统的研究与开发
81. 基于Cygnal单片机的μC/OS-Ⅱ的研究
82. 基于单片机的一体化智能差示扫描量热仪系统研究
83. 基于TCP/IP协议的单片机与Internet互联的研究与实现
84. 变频调速液压电梯单片机控制器的研究
85. 基于单片机γ-免疫计数器自动换样功能的研究与实现
86. 基于单片机的倒立摆控制系统设计与实现
87. 单片机嵌入式以太网防盗报警系统
88. 基于51单片机的嵌入式Internet系统的设计与实现
89. 单片机监测系统在挤压机上的应用
90. MSP430单片机在智能水表系统上的研究与应用
91. 基于单片机的嵌入式系统中TCP/IP协议栈的实现与应用
92. 单片机在高楼恒压供水系统中的应用
93. 基于ATmega16单片机的流量控制器的开发
94. 基于MSP430单片机的远程抄表系统及智能网络水表的设计
95. 基于MSP430单片机具有数据存储与回放功能的嵌入式电子血压计的设计
96. 基于单片机的氨分解率检测系统的研究与开发
97. 锅炉的单片机控制系统
98. 基于单片机控制的电磁振动式播种控制系统的设计
99. 基于单片机技术的WDR-01型聚氨酯导热系数测试仪的研制
100. 一种RISC结构8位单片机的设计与实现
101. 基于单片机的公寓用电智能管理系统设计
102. 基于单片机的温度测控系统在温室大棚中的设计与实现
103. 基于MSP430单片机的数字化超声电源的研制
104. 基于ADμC841单片机的防爆软起动综合控制器的研究
105. 基于单片机控制的井下低爆综合保护系统的设计
106. 基于单片机的空调器故障诊断系统的设计研究
107. 单片机实现的寻呼机编码器
108. 单片机实现的鲁棒MRACS及其在液压系统中的应用研究
109. 自适应控制的单片机实现方法及基上隅角瓦斯积聚处理中的应用研究
110. 基于单片机的锅炉智能控制器的设计与研究
111. 超精密机床床身隔振的单片机主动控制
112. PIC单片机在空调中的应用
113. 单片机控制力矩加载控制系统的研究
项目论证，项目可行性研究报告，可行性研究报告，项目推广，项目研究报告，项目设计，项目建议书，项目可研报告，本文档支持完整下载，支持任意编辑！选择我们，选择成功！
项目论证，项目可行性研究报告，可行性研究报告，项目推广，项目研究报告，项目设计，项目建议书，项目可研报告，本文档支持完整下载，支持任意编辑！选择我们，选择成功！
单片机论文，毕业设计，毕业论文，单片机设计，硕士论文，研究生论文，单片机研究论文，单片机设计论文，优秀毕业论文，毕业论文设计，毕业过关论文，毕业设计，毕业设计说明，毕业论文，单片机论文，基于单片机论文，毕业论文终稿，毕业论文初稿，本文档支持完整下载，支持任意编辑！本文档全网独一无二，放心使用，下载这篇文档，定会成功！

20