线性代数笔记11:正定矩阵理解及推导

正定矩阵(Positive Definite Matrix)的定义与性质 一个n×nn \times nn×n的实对称矩阵AAA是正定矩阵,当且仅当它满足以下等价条件之一:对任意非零向量x∈Rnx∈RnxTAx0xTAx0矩阵的所有特征值均为正。存在一个满秩矩阵BBB,使得ABTBA = B^T BABTB(针对复矩阵)AAA是 Hermitian 矩阵(共轭对称矩阵),且所有特征值均为正。对于复矩阵AAA,如果满足xHAx0xHAx0(其中xHx^HxH表示。 阅读详情
AI摘要

本文详细介绍了正定矩阵及其半正定矩阵的基本概念、重要性质及判别方法,并通过充分必要条件证明了这些性质的有效性。对于机器学习和深度学习领域来说,正定矩阵的应用尤为关键。


title: 线性代数笔记11:正定矩阵理解及推导
tags:

  • linear algebra
    categories:
  • linear algebra
    date: 2018-04-12 15:55:43
    mathjax: true

正定矩阵及半正定矩阵在机器学习和深度学习中有很重要的应用。

引言

  1. 定义:特征值全是正实数的实对称矩阵为正定矩阵(positive definite matrix)。
  2. 类似的,若实对称矩阵的特征值均非负,则为半正定矩阵(positive semidefinite matrix)。

可能用到的概念

  • 主子式

    定义:在nnn阶行列式中任选kkk行,再取相应的kkk列,将行列交汇处元素组成新的矩阵行列式,称为nnn阶行列式的一个kkk阶主子式。

  • 顺序主子式(the k-th leading principal minor)

    定义:在nnn阶行列式中由第1,...,k1,...,k1,...,k行和第1,...,k1,...,k1,...,k列所确定的主子式称为kkk阶顺序主子式。直观上看就是矩阵中左上方的子矩阵。

实对称矩阵AAA正定的充要条件

注意,这里的所有进行判别的矩阵都是实对称矩阵。

以下条件都是判别实对称矩阵是否正定的充要条件。

  1. AAA的所有特征值λi\lambda_iλi​均为正。
  2. xTAx>0x^TAx > 0xTAx>0对所有非零向量xxx都成立。
  3. AAA的所有顺序主子式都是正的。
  4. AAA的所有主元(无行交换)都是正的。
  5. 存在列满秩矩阵RRR,使得A=RTRA=R^TRA=RTR.
  6. AAA的所有主子式都是正的。

证明

(1) => (2)

对实对称矩阵AAA,存在正交阵QQQ,使得A=QΛQRA=Q\Lambda Q^RA=QΛQR。

因此,对任意非零向量xxx:

xTAx=xTQΛQTx=yTΛy=λ1y12+...+λnyn2>0x^TAx = x^TQ\Lambda Q^Tx = y^T\Lambda y=\lambda_1y_1^2 + ... + \lambda_ny_n^2 > 0xTAx=xTQΛQTx=yTΛy=λ1​y12​+...+λn​yn2​>0

其中y=QTx=(y1,...,yn)≠0y = Q^Tx = (y_1,...,y_n) \ne 0y=QTx=(y1​,...,yn​)̸​=0

(2) => (1)

因为AAA为实对称矩阵,因此一定可以对角化A=QλQTA = Q\lambda Q^TA=QλQT

∵xTAx>0∴xTQΛQTx>0\because x^TAx > 0 \quad \therefore x^TQ\Lambda Q^Tx > 0∵xTAx>0∴xTQΛQTx>0

令y=QTxy = Q^Txy=QTx,因此yΛyT>0⇒∑λiyi2=0y\Lambda y^T > 0\Rightarrow \sum \lambda_iy_i^2 = 0yΛyT>0⇒∑λi​yi2​=0

∵∀y≠0s.t∑λiyi2=0\because \forall y \ne 0 \quad s.t \quad \sum \lambda_iy_i^2 = 0∵∀y̸​=0s.t∑λi​yi2​=0

λi=0\lambda_i = 0λi​=0

(2) => (3)

由(2) => (1) => det(A)=λ1...λn>0det(A) = \lambda_1 ...\lambda_n > 0det(A)=λ1​...λn​>0

xTAx=(xkT0)(Ak∗∗∗)(xk0)=xkTAxk>0x^TAx = \begin{pmatrix}x_k^T & 0\end{pmatrix}\begin{pmatrix}A_k &* \\ * & *\end{pmatrix} \begin{pmatrix}x_k\\0 \end{pmatrix} = x^T_k A x_k > 0 xTAx=(xkT​​0​)(Ak​∗​∗∗​)(xk​0​)=xkT​Axk​>0

∴det(xkT)det(Ak)det(kk)=det(Ak)>0\therefore det (x_k^T)det(A_k)det(k_k) = det(A_k) > 0∴det(xkT​)det(Ak​)det(kk​)=det(Ak​)>0

(3) => (4)

顺序主子式与主元有直接关系,第kkk个主元:

dk=det(Ak)detAk(k−1)>0d_k = \frac{det(A_k)}{detA_k(k-1)} > 0dk​=detAk​(k−1)det(Ak​)​>0

其中AkA_kAk​是第kkk个顺序主子矩阵(the k-th leading principal submatrix)。

(4) => (2)

由对称矩阵的Gauss消元法得LDU分解:A=LDLTA = LDL^TA=LDLT,其中对角阵的对角元为AAA的主元:

D=diag(d1,...,dn)D = diag (d_1,...,d_n)D=diag(d1​,...,dn​)

则对任意非零向量:

xTAx=xTLDLTx=yTDy=d1y12+...+dnyn2>0x^TAx = x^TLDL^Tx = y^TDy = d_1y_1^2 + ...+ d_ny_n^2> 0xTAx=xTLDLTx=yTDy=d1​y12​+...+dn​yn2​>0

(2) => (5)

A=LDLT=LDDLT=(DLT)T(DLT)=RTRA = LDL^T = L\sqrt {D} \sqrt {D} L^T = ( \sqrt {D} L^T)^T ( \sqrt {D} L^T) = R^TRA=LDLT=LD​D​LT=(D​LT)T(D​LT)=RTR

(5) => (2)

设A=RTRA = R^TRA=RTR,则对任意非零向量xxx:

xTAx=xTRTRx=(Rx)T(Rx)=∣∣Rx∣∣2>0x^TAx = x^TR^TRx = (Rx )^T(Rx) = ||Rx||^2 > 0xTAx=xTRTRx=(Rx)T(Rx)=∣∣Rx∣∣2>0

(6) => (2)

(6) => (3) => (2)

(2) => (6)

对kkk阶主子矩阵Ai1,...,ikA_{i1,...,ik}Ai1,...,ik​,任取x=(x1,...,xn)≠0x = (x_1,...,x_n) \ne 0x=(x1​,...,xn​)̸​=0,使其除xi1,...,xikx_{i1},...,x_{ik}xi1​,...,xik​的其余分量全为0,则

xTAx=(xi1,...,xik)Ai1,...ik(xi1...xik)>0x^TAx = (x_{i1},...,x_{ik})A_{i1,...ik}\begin{pmatrix}x_{i1}\\... \\ x_{i_k}\end{pmatrix} > 0xTAx=(xi1​,...,xik​)Ai1,...ik​⎝⎛​xi1​...xik​​​⎠⎞​>0

∴det(Ai1,...ik)>0\therefore det (A_{i1,...ik}) > 0∴det(Ai1,...ik​)>0

判断

因此,我们可以用以上充要条件来判断矩阵是否正定。常用的判断方法有:

  1. 看顺序主子式是否都大于0
  2. Gauss消元后主元是否都大于0
  3. 看特征值是否都大于0
  4. 找任意一个向量计算xTAxx^TAxxTAx是否大于0
  5. 找A=LDLTA = LDL^TA=LDLT分解,看R=DLTR = \sqrt {D} L^TR=D​LT是否满秩

正定矩阵的常见性质

  1. 设A,BA,BA,B为正定矩阵,则A+BA+BA+B也为正定矩阵。

  2. 设AAA为正定矩阵,则存在矩阵C,使得A=C2A = C^2A=C2。

    证明:AAA为正定矩阵,则存在正交矩阵QQQ,使得:

    A=QΛQT=(QΛQT)(QΛQT)=C2A = Q\Lambda Q^T = (Q\sqrt{\Lambda}Q^T) (Q\sqrt{\Lambda}Q^T) = C^2A=QΛQT=(QΛ​QT)(QΛ​QT)=C2

  3. 设AAA为正定矩阵,则矩阵A2A^2A2和A−1A^{-1}A−1也正定。

  4. 设AAA为正定矩阵,矩阵CCC可逆,则B=CTACB = C^TACB=CTAC也正定。

半正定矩阵

充要条件

  1. AAA的所有特征值λi\lambda_iλi​均非负。
  2. xTAx≥0x^TAx \ge 0xTAx≥0对所有向量XXX成立。
  3. 存在矩阵RRR,使得A=RTRA =R^TRA=RTR(RRR可能不是可逆阵)。
  4. AAA的所有主子式均非负。(注意,不是所有顺序主子式)
【机器学习数学基础之矩阵02】矩阵求导 多元函数导数    对于n维函数 ,y本身没有导数,但其对于每一个分量都有偏导,于是有如下定义:        梯度向量:,其性质类似与一元函数的一阶导。        Hessian矩阵:            *值得注意的是,因为偏导顺序不影响结果,所以Hessian矩阵是一个实对称矩阵。最速下降法    最初看这个内容的时候迷迷糊糊的,但实际上很简单的一个东西。最速下降法在一元函数中是指沿着... 阅读详情

相关推荐

线性代数(六)——二次型

文章目录前言一、二次型是什么?二次型的表示合同矩阵与合同二次型 前言 一直对二次型和线性代数的关系不解,导致一系列的知识点因为没有理解而常常忘记。 在这里对二次型进行梳理,希望可以加深对二次型的印象。 一、二次型是什么? 二次型的目的,是利用矩阵来研究二次方程。 所以它和线性代数本质的关系不大,可以看作是线性代数的一种应用。 二次型:n个变量的一个二次齐次多项式称为n个变量的二次型。 所以我们很自然的想到既然利用矩阵来研究二次方程,那么二次型肯定要用矩阵表示吧。 矩阵表示: 注意:因为x1x2=

夜的第七章 1万+

矩阵理论| 特殊矩阵:正定矩阵

一方面因为实对称正定矩阵拥有良好性质,另一个原因是实对称正定矩阵的分析就足以应付其他一般的正定矩阵(原理:任何矩阵。

Insomnia_X的博客 8062

线性代数学习笔记7

第二十六集  对称矩阵及正定性对称矩阵 对称矩阵A=ATA=A^{T} 的特征值为实数,具有完全正交的特征向量。 这里的“有”,是指可以选出一套完全正交的特征向量。通常情况下,如果特征值互不相同,那么每个特征值的特征向量是在一条线上(特征向量空间是一维的),那些线是垂直的。但是如果特征值重复,那就有一整个平面的特征向量,在那个平面上,我们可以选择垂直的向量(比如单位矩阵)。 如果A 具有n 个

ls317842927的博客 2457

矩阵正定性判定

如何判定矩阵是否正定

freeline的博客 10万+

二次型、正定矩阵与Hessian:理解矩阵核心概念的工程指南

线性代数是现代机器学习与优化理论的基石,而矩阵更是承载函数形态、数据分布与算法收敛性的核心语言。从最基础的二次型出发,我们能看到实对称矩阵如何通过正交对角化简化计算,并借助特征值符号刻画曲面的凹凸形态。正定矩阵作为其中最重要的子类,直接决定了二次函数是否存在唯一极小值,也构成了协方差矩阵和Hessian矩阵在概率统计与优化算法中发挥作用的根基。矩阵的迹则像一个全局压缩算子,在损失函数推导、核方法计算中频繁现身。理解这些概念间的自然脉络,不仅有助于掌握PCA、牛顿法、凸优化等经典技术,更能帮助开发者在数值异常

weixin_34389926的博客 324

矩阵理论与应用:Hermite正定与正半定矩阵

矩阵理论,Hermite矩阵,正定矩阵,正半定矩阵,特征值,特征向量,应用场景 1. 背景介绍 在现代数学和计算机科学中,矩阵理论占据着至关重要的地位。矩阵不仅是线性代数的核心概念,也是许多领域,如机器学习、数据分析、信号处理等的重要工具。其中,Hermite矩阵及其正定性和正半定性

AI架构师小马 1657

正定矩阵(Positive Definite Matrix)

flyfish

二分掌柜的 9527

Windows Server 2019整机备份与异机还原实战:从虚拟机到物理机的完整迁移指南

本文详细介绍了Windows Server 2019整机备份与异机还原的实战操作,涵盖从虚拟机到物理机的完整迁移流程。通过环境准备、备份策略设计、具体操作步骤及迁移后优化等内容,帮助用户实现系统环境的无缝迁移,特别适用于服务器硬件升级、数据中心迁移等场景。

weixin_30555125的博客 131

对称矩阵及正定性

对称阵是非常重要的矩阵,对于实对称矩阵,其特征值也为实数,且特征向量是垂直的。注意这里的垂直是指:如果特征值互不相同,那么每个特征值对应的特征向量是在一条线上,那些线之间总是垂直的;如果特征值重复,那特征值就对应一整个平面的特征向量,这是因为 ,则 ,在那个平面上,我们总可以选到垂直的向量。比如对于单位阵,它是对称阵,单位阵只有一个特征值即为1,每个向量都是其特征向量,在这些特征向量组成的平面上,...

android开发笔记 1万+

主板USB接口全部失效解决方案(通用串行总线USB控制器有黄色叹号)保姆级教程亲测有效

通用串行总线控制器总是有叹号解决办法 办公室的崩腾时代老电脑,疫情期间没人用,来了开机之后发现鼠标键盘都用不了,本以为是主机放时间长出了问题,后来想起来就百度了“鼠标键盘都失效”的标题,结果发现了“串行总线控制器总是感叹号”的关联问题。正好办公室电脑都装有teamviwer常用来远程办公(在家偷懒)。所以通过远程发现电脑室可以运行的。并在控制面板发现:通用串行总线控制器总是感叹号,插入外设时USB无反应。如图:​ 并且右键选中其中一个,点击最后一个选项:“属性” 可以发现“设备状态”中会提示“由...

xiao_bai_0_0的博客 2万+

手把手教你设计MTBF加速寿命试验:从阿伦尼斯模型到卡方计算(含Excel模板)

本文详细介绍了如何设计MTBF加速寿命试验,从阿伦尼斯模型到卡方计算,帮助工程师在合理时间内获得准确的MTBF数据。通过工业电源模块的实例演示,涵盖活化能确定、温度应力设计、样本量计算及数据记录规范,并提供Excel模板实现自动化计算,显著提升测试效率。

weixin_42563415的博客 536

单位矩阵的逆矩阵是它本身吗_线性代数27——对称矩阵及正定性

对称矩阵是最重要的矩阵之一,它的特性也体现在特征值和特征向量上。而正定矩阵作为一类特殊的对称矩阵,它又有哪些特性?本文的相关知识:正交向量和正交矩阵(线性代数20——格拉姆-施密特正交化)投影矩阵(线性代数18——投影矩阵和最小二乘)复数(闲话复数(1))01 对称矩阵—  对称矩阵是最重要的矩阵之一,对于对称矩阵来说,A=AT。矩阵的特殊性也表现在特征值和特征向量上,比如...

weixin_31845243的博客 2744

学习笔记:物理信息神经网络(PINN)

PINN 的强大在于它打破了传统数值方法的限制,将神经网络的非线性拟合能力与物理方程的严谨性结合起来。它在处理高维、数据稀缺、复杂物理约束的场景下尤其出色。当然,PINN 也有收敛慢、梯度消失等挑战,比如,复杂 PDE 可能导致梯度传播困难,收敛慢(梯度消失)、于具有快速变化特征的系统,如冲击波,标准 PINN 可能精度不足,需要改进策略,比如自适应采样或多尺度特征提取。但随着研究深入,这些问题正在不断被解决。物理或化学方程为什么往往是偏微分方程?什么是物理信息神经网络(PINN)?x_%7Bi%7D。

qq_52635735的博客 1万+

【考研数学】证明推导:设A,B分别为m,n阶正定矩阵,则分块矩阵C=[A,O,O,B]是正定矩阵

问题来源:汤家凤1800二次型第8题 答案: 这里利用了结论:如果:设 A, B分别为 m, n阶正定矩阵, 则分块矩阵C=(AOOB)C=\begin{pmatrix} A&O\\ O&B\\ \end{pmatrix}C=(AO​OB​) 是正定矩阵。 这个我最初是用特征值理解,后来感觉不太清晰,所以使用了定义证明了一下,如下图: 我参考了由赵晨辖等人发布的一篇论文,该篇文章作者给出了判断高阶对称矩阵是不是正定矩阵的更简洁的方法。 有兴趣可以看下这篇文章 参考论文 [1]

优快云 精品推荐 5577

使用Zed 实现测距

此代码基于官方代码基础上进行改写,主要是获取zed相机深度画面的深度值,为yolo测距打基础。Zed相机是由Stereolabs公司开发的一种先进的立体视觉相机。这种相机专为计算机视觉和机器学习应用而设计,能够提供高质量的3D捕捉和分析功能。: Zed相机配备有一对垂直排列的传感器,能够捕捉两个略有偏移的图像,从而模拟人的双眼视觉,实现深度感知。: 利用立体成像技术,Zed相机能够实时生成环境的3D模型,这对于机器人导航、增强现实(AR)和虚拟现实(VR)等应用至关重要。

weixin_45303602的博客 911

手把手教你学Simulink——基于Simulink的多用户MIMO系统仿真建模示例

多用户MIMO概述在多用户MIMO系统中,基站配备多个天线,可以同时与多个用户进行通信。利用空间复用技术,不同用户的信号被分配到不同的空间流上,从而实现频谱资源的高效利用。多用户MIMO的核心挑战包括信道估计、波束成形设计以及干扰管理。关键技术点波束成形:通过调整发射信号的相位和幅度,在特定方向上增强信号强度并减少干扰。信道估计:获取每个用户的信道状态信息(CSI),用于优化波束成形矩阵。调制与解调:选择合适的调制方式(如QPSK、16-QAM等)以适应不同用户的信道条件。干扰消除。

MHD0815的博客 268

【线性代数】矩阵及其特性

矩阵及其特性:特征值,奇异值,二次型理论

Can__er的博客 8601

3、★☛基于STM32的手机通过wifi控LED灯√♠★

3、基于STM32的手机通过wifi控LED灯 文章目录3、基于STM32的手机通过wifi控LED灯1、Introduce介绍1.1、课题背景及其意义1.2、 国内外的研究状况2、方案的设计2.1、控制方案的确定2.2、控制方式的选择2.2.1、 单片机芯片的选择方案一方案二方案三方案四2.2.2、无线遥控模块的选择方案一方案二方案三3、硬件电路的设计3.1、系统的功能分析及体系结构设计3.1.1、系统功能分析3.1.2、系统总体结构3.2、模块电路的设计3.2.1、 STM32单片机核心电路设计3.2.

行走的皮卡丘 2959

Hessian 矩阵的正定性与目标函数凸性的证明

Hessian 矩阵的正定性通过二阶泰勒展开和凸性定义证明了目标函数的凸性。这是优化理论的核心结果,在深度学习中用于分析损失函数的性质和训练稳定性。

阿正的梦工坊 2952

电阻抗成像肺功能测试数据分析与直方图生成

本文介绍了基于MATLAB的电阻抗成像(EIT)肺功能测试数据分析方法。研究针对32×32像素的EIT图像序列,通过三步算法处理:首先计算特定时间点与谷值图像的差值,然后分析1秒后峰值与1秒值的差值,最终计算比值矩阵并处理异常值。系统展示了数据预处理、关键时间点检测、比值计算及统计分析的全流程,包括生成概率分布直方图和空间分布图等可视化方法。该分析为无创肺功能评估提供量化指标,可应用于临床呼吸监测和疾病诊断。

huanghm88的专栏 197

TMS_WebGMaps_1.9.8.0_Full_Source

TMS_WebGMaps_1.9.8.0_Full_Source 全源码 delphi cbuilder

正定矩阵的5种判定方法:机器学习工程师必须掌握的线性代数知识

本文为机器学习工程师系统梳理了正定矩阵的五种核心判定方法,包括特征值检验、顺序主子式、Cholesky分解、迭代检验及LDLᵀ分解,并深入剖析了其在Hessian矩阵优化、核函数设计等关键场景中的实战应用,是深入理解算法收敛性与稳定性的必备知识。

q9w8e7r6t5的博客 647

visio安装包

Microsoft Office Visio 是一款专业的制图软件。利用经过更新的形状、协作工具和数据链接图表,创建专业级图表以简化复杂的信息。

matlab向量与x正方向的夹角_MIT—线性代数笔记25 对称矩阵和正定性

第25讲 对称矩阵和正定性Symmetric matrices and positive definiteness网易公开课​open.163.com进入第三单元学习,主题是正定矩阵及其应用。对称矩阵是最重要的矩阵之一,特征值为实数并且拥有一套正交特征向量。正定矩阵的性质则更好。对称矩阵 Symmetric matrices对称矩阵 。包含特殊性质的矩阵,例如Markov矩阵,其特征值和特征向量...

weixin_30486089的博客 398

数学建模模型总结

这是本人在两年内准备参加数学建模竞赛搜集到的模型资料,已经经过了本人的筛选和整理,希望能够对准备参加数学建模竞赛的学弟学妹们提供一些帮助!

蓝牙模块HM-10手册

蓝牙模块HM-10手册,该手册对蓝牙模块HM-10进行了详细的介绍和使用方法以及一些AT指令。

猪猪的机器学习笔记(三)矩阵和线性代数

矩阵和线性代数 作者:樱花猪 摘要: 本文为七月算法(julyedu.com)12月机器学习第三次课在线笔记。矩阵和线性代数在图像处理中运用的非常多,同样地,在机器学习某种事件特征我们常常会描绘成特征向量,那么矩阵的运算和理论方法都必将会应用进来。如果说,概率论提供了机器学习的思维方法,那么矩阵论则是机器学习公式推导和计算机计算的桥梁。本节课内容虽然知识点不多但都非常的重要,...

anpiaoqin8799的博客 216
上一篇: 经典IPC问题实现与思考
下一篇: 线性代数笔记12:二次型与函数极值
zealscott
博客等级 码龄9年 327粉丝 196原创
评论 2
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付:10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值