族谱网 头条 人物百科

正定矩阵

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:483
转发:0
评论:0
定义一个n×n的实对称矩阵M{displaystyleM}是正定的,当且仅当对于所有的非零实系数向量z,都有zM{displaystyleM}z>0。其中z表示z的转置。对于复数

定义

一个n×n的实对称矩阵M{\displaystyle M}是正定的,当且仅当对于所有的非零实系数向量z,都有zM{\displaystyle M}z > 0。其中z表示z的转置。

对于复数的情况,定义则为:一个n×n的埃尔米特矩阵(或厄米矩阵)M{\displaystyle M}是正定的当且仅当对于每个非零的复向量z,都有zM{\displaystyle M}z > 0。其中z表示z的共轭转置。由于M{\displaystyle M}是埃尔米特矩阵,经计算可知,对于任意的复向量z,zM{\displaystyle M}z必然是实数,从而可以与0比较大小。因此这个定义是自洽的。

正定阵的判别

对n×n的埃尔米特矩阵M{\displaystyle M},下列性质与“M{\displaystyle M}为正定矩阵”等价:

对于实对称矩阵,只需将上述性质中的Cn{\displaystyle \mathbb {C} ^{n}}改为Rn{\displaystyle \mathbb {R} ^{n}},将“共轭转置”改为“转置”就可以了。

二次型

由以上的第二个等价条件,可以得到二次型形式下正定矩阵的等价条件:用K{\displaystyle \mathbb {K} }代表C{\displaystyle \mathbb {C} }或R{\displaystyle \mathbb {R} },设V{\displaystyle \mathbb {V} }是K{\displaystyle \mathbb {K} }上的一个向量空间。一个埃尔米特型:

是一个双线性映射,使得B(x, y)总是B(y, x)的共轭。这样的一个映射B是正定的当且仅当对V{\displaystyle \mathbb {V} }中所有的非零向量x,都有B(x, x) > 0。

负定、半定及不定矩阵

与正定矩阵相对应的,一个n×n的埃尔米特矩阵M{\displaystyle M}是负定矩阵当且仅当对所有不为零的x∈ ∈ -->Rn{\displaystyle x\in \mathbb {R} ^{n}}(或x∈ ∈ -->Cn{\displaystyle x\in \mathbb {C} ^{n}}),都有:

M{\displaystyle M}是半正定矩阵当且仅当对所有不为零的x∈ ∈ -->Rn{\displaystyle x\in \mathbb {R} ^{n}}(或x∈ ∈ -->Cn{\displaystyle x\in \mathbb {C} ^{n}}),都有:

M{\displaystyle M}是半负定矩阵当且仅当对所有不为零的x∈ ∈ -->Rn{\displaystyle x\in \mathbb {R} ^{n}}(或x∈ ∈ -->Cn{\displaystyle x\in \mathbb {C} ^{n}}),都有:

可以看出,上一节中正定阵的等价性质1只需略作相应改动,就可以变为判别负定矩阵、半正定矩阵和半负定矩阵的准则。注意当M是半正定时,相应的Gram矩阵不必由线性无关的向量组成。对任意矩阵A{\displaystyle A},AA必然是半正定的,并有rank(A{\displaystyle A}) = rank(AA,两者的秩相等)。反过来,任意的半正定矩阵都可以写作M = AA,这就是Cholesky分解。

一个埃尔米特矩阵M是负定矩阵当且仅当M的所有奇数阶顺序主子式小于0,所有偶数阶顺序主子式大于0。当M是负定矩阵时,M的逆矩阵也是负定的。

如果一个埃尔米特矩阵既不是半正定也不是半负定的,那么称其为不定矩阵。

相关性质

若M{\displaystyle M}为半正定阵,可以写作M≥ ≥ -->0{\displaystyle M\geq 0}。如果M{\displaystyle M}是正定阵,可以写作M>0{\displaystyle M>0}。这个记法来自泛函分析,其中的正定阵定义了正算子。

对于一般的埃尔米特矩阵,M{\displaystyle M}、N{\displaystyle N},M≥ ≥ -->N{\displaystyle M\geq N}当且仅当M− − -->N≥ ≥ -->0{\displaystyle M-N\geq 0}。这样可以定义一个在埃偏序关系阵集合上的偏序关系。类似地,可以定义M>N{\displaystyle M>N}。

非埃尔米特矩阵的情况

一个实矩阵M可能满足对所有的非零实向量x,xMx > 0而并不是对称矩阵。举例来说,矩阵

就满足这个条件。对x=(x1,x2)T{\displaystyle x=(x_{1},x_{2})^{T}}并且x≠ ≠ -->0{\displaystyle x\neq 0},

一般来说,一个实系数矩阵M满足对所有非零实向量x,有xMx > 0,当且仅当对称矩阵 (M + M) / 2是正定矩阵。

对于复系数矩阵,情况可能不太一样。主要看的是怎样扩展zMz > 0这一性质。要使zMz总为实数,矩阵M必须是埃尔米特矩阵。因此,若zMz总是正实数,M必然是正定的埃尔米特矩阵。如果将zMz > 0扩展为Re(zMz) > 0,则等价于(M+M) / 2为正定阵。

参见

矩阵

确定双线性形式

矩阵的平方根

舒尔补

正定核

正定函数

Cholesky分解

参考来源

Roger A. Horn and Charles R. Johnson. Matrix Analysis, Chapter 7. Cambridge University Press, 1985. ISBN 0-521-30586-1 (hardback), ISBN 0-521-38632-2 (paperback).

Rajendra Bhatia. Positive definite matrices,. Princeton Series in Applied Mathematics, 2007. ISBN 978-0691129181.

正定矩阵

关于对称矩阵的一些讨论


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 矩阵
发展作为解决线性方程的工具,矩阵也有不短的历史。成书最迟在东汉前期的《九章算术》中,已经出现过以矩阵形式表示线性方程组系数以解方程的图例,可算作是矩阵的雏形。矩阵正式作为数学中的研究对象出现,则是在行列式的研究发展起来后。逻辑上,矩阵的概念先于行列式,但在实际的历史上则恰好相反。日本数学家关孝和(1683年)与微积分的发现者之一戈特弗里德·威廉·莱布尼茨(1693年)近乎同时地独立建立了行列式论。其后行列式作为解线性方程组的工具逐步发展。1750年,加布里尔·克拉默发现了克莱姆法则。阿瑟·凯莱被认为是矩阵论的奠基人进入十九世纪后,行列式的研究进一步发展,矩阵的概念也应运而生。奥古斯丁·路易·柯西是最早将行列式排成方阵并将其元素用双重下标表示的数学家。他还在1829年就在行列式的框架中证明了实对称矩阵特征根为实数的结论。其后,詹姆斯·约瑟夫·西尔维斯特注意到,在作为行列式的计算形式以外,将数...
· 正定城
历史沿革正定城的历史可以追溯到十六国时代的前燕,当时大将慕容恪在滹沱河北岸建立一座军事城堡,名为“安乐垒”,与当时的真定县城隔河相望。北周时期(578年)砌为石城,规模较小。唐宝应元年(762年)扩建,为恒州(镇州、成德节度使)的治所。明代为真定府治所。正统十四年(1449年)扩建为周长二十四里,高三丈二尺,上宽二丈,下宽三丈的土城;隆庆五年(1571年),始改为砖城,到万历四年(1576年)竣工,奠定了留存至今的格局。四方各开城门一座,东曰迎旭门,南曰长乐门,西曰镇远门,北曰永安门。四门均为三重结构,设有里城、瓮城和月城三道城垣。这种形制遍观全国亦不多见。清康熙二十五年(1686年)、雍正六年(1728年)、嘉庆十六年(1811年)和同治七年(1868年)都曾对城墙进行修补。雍正元年(1723年),因避雍正帝名讳改真定为正定。1958年大炼钢铁运动期间,正定城遭到严重破坏,各单位拆城墙砖...
· 变换矩阵
应用任意线性变换都可以用矩阵表示为易于计算的一致形式,并且多个变换也可以很容易地通过矩阵的相乘连接在一起。线性变换不是唯一可以用矩阵表示的变换。R维的仿射变换与透视投影都可以用齐次坐标表示为RP维(即n+1维的真实投影空间)的线性变换。因此,在三维计算机图形学中大量使用着4x4的矩阵变换。寻找变换矩阵如果已经有一个函数型的线性变换T(x){\displaystyleT(x)},那么通过T对标准基每个向量进行简单变换,然后将结果插入矩阵的列中,这样很容易就可以确定变换矩阵A,即例如,函数T(x)=5x{\displaystyleT(x)=5x}是线性变换,通过上面的过程得到(假设n=2)在二维图形中的应用示例最为常用的几何变换都是线性变换,这包括旋转、缩放、切变、反射以及正投影。在二维空间中,线性变换可以用2×2的变换矩阵表示。旋转绕原点逆时针旋转θ度角的变换公式是x′=xcos⁡⁡-->θ...
· 对角矩阵
例子(a000b000c),(100020000),(1007),(2){\displaystyle{\begin{pmatrix}a&0&0\\0&b&0\\0&0&c\end{pmatrix}},{\begin{pmatrix}1&0&0\\0&2&0\\0&0&0\end{pmatrix}},{\begin{pmatrix}1&0\\0&7\end{pmatrix}},{\begin{pmatrix}2\end{pmatrix}}}均为对角矩阵矩阵运算[a1a2⋱⋱-->an]+[b1b2⋱⋱-->bn]=[a1+b1a2+b2⋱⋱-->an+bn]{\displaystyle{\begin{bmatrix}a_{1}&&&\\&a...
· 矩阵群
基本例子在一个交换环R上n×n矩阵集合MR(n,n)在矩阵加法与乘法下自身是一个环。MR(n,n)的单位群称为在环R上n×n矩阵的一般线性群,记作GLn(R)或GL(n,R)。所有矩阵群是某个一般线性群的子群。典型群某些特别有趣的矩阵群是所谓的典型群。当矩阵群的系数环是实数,这些群是典型李群。当底环是一个有限域,典型群是李型群。这些群在有限单群分类中起着重要的作用。有限群作为矩阵群任何有限群同构于某个矩阵群。这类似于凯莱定理说每个有限群同构于某个置换群。因为同构性质是传递的,我们只需考虑怎样从一个置换群构造一个矩阵群。令G是在n点(Ω={1,2,…,n})上的置换群,设{g1,...,gk}是G的一个生成集合。复数上n×n矩阵的一般线性群GLn(C)自然作用在向量空间C上。设B={b1,…,bn}是C的标准基。对每个gi令Mi属于GLn(C)是将每个bj...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信