(done) Positive Semidefinite Matrices 什么是半正定矩阵?如何证明一个矩阵是半正定矩阵? 可以使用特征值

news/2025/2/15 5:40:45/

参考视频:https://www.bilibili.com/video/BV1Vg41197ew/?vd_source=7a1a0bc74158c6993c7355c5490fc600

参考资料(半正定矩阵的定义):https://baike.baidu.com/item/%E5%8D%8A%E6%AD%A3%E5%AE%9A%E7%9F%A9%E9%98%B5/2152711?fr=ge_ala


看看半正定矩阵的定义:
在这里插入图片描述

正定矩阵是 > 0,半正定矩阵是 >= 0

根据定义来看,半正定矩阵也有 “实对称矩阵” 的前提条件


或许我们可以考虑 半正定矩阵性质 和 “特征值特性” 之间的关系,证明方法可以参考之前 “正定矩阵的特征值特性” 的证明方法

首先大胆假设:半正定矩阵 <=> 特征值都 >= 0

那么,设 半正定矩阵 A

先试着证明 半正定矩阵 => 特征值都 >= 0:

  • 对于非零任意特征向量 x, x’ A x = x’ (lamda) x = (lamda) x’x >= 0
  • 由于特征向量 x 是非零向量,所以 (lamda) >= 0 (可以为 0)
  • 这个方向证明完毕

再试着证明 特征值都 >= 0 ===> 半正定矩阵

  • 对于任意一个非零向量 x,x’ A x = x’ Q’ (hat) Q x (这是正交相似对角化) (其中 (hat) 是对角矩阵,由于 A 的特征值组成)
  • x’ A x = x’ Q’ (hat) Q x = (Qx)’ (hat) (Qx) (其中 (hat) 是对角矩阵,由 A 的特征值组成)
  • 由于 x 是非零向量,Q是正交矩阵,所以 (Qx) 是非零向量
  • 其中 (hat) 是对角矩阵,对角线上元素由 A 的特征值 (lamda) 组成,(lamda) >= 0,因此 (hat) 也是半正定矩阵
  • 于是, (Qx)’ (hat) (Qx) >= 0
  • 所以 x’ A x >= 0
  • 因此,矩阵 A 是半正定矩阵
  • 证明完毕

up主给的笔记有误,勘误如下:
在这里插入图片描述

如下图是判断正定负定、半正定半负定的方法
不对!不对! up 主错了!!!
对角线上的元素有 0 元素,依然可以是半正定矩阵
我们在后面看个例子
在这里插入图片描述


栗子在这里:
在这里插入图片描述


http://www.ppmy.cn/news/1358652.html

相关文章

proteus8.15图文安装教程

proteus8.15版本可以用STM32系列单片机来进行仿真设计&#xff0c;比7.8版本方便多了&#xff0c;有需要的朋友们可以在公众号后台回复 proteus8.15 获取软件包。 1、下载好软件包&#xff0c;解压如下&#xff0c;右键proteus8.15.sp1以管理员身份运行。 2、第一次安装&#x…

docker (八)-dockerfile制作镜像

一 dockerfile dockerfile通常包含以下几个常用命令&#xff1a; FROM ubuntu:18.04 WORKDIR /app COPY . . RUN make . CMD python app.py EXPOSE 80 FROM 打包使用的基础镜像WORKDIR 相当于cd命令&#xff0c;进入工作目录COPY 将宿主机的文件复制到容器内RUN 打包时执…

前端快速网格布局

直接进去CSS Grid Generator 真的好方便&#xff1a;

速评谷歌开源大模型Gemma 7B

大家好,我是herosunly。985院校硕士毕业,现担任算法研究员一职,热衷于机器学习算法研究与应用。曾获得阿里云天池比赛第一名,CCF比赛第二名,科大讯飞比赛第三名。拥有多项发明专利。对机器学习和深度学习拥有自己独到的见解。曾经辅导过若干个非计算机专业的学生进入到算法…

Anaconda下的pkgs占用空间13G,如何安全的清理(已解决)

方法一&#xff1a;让Anaconda自行决定清理 执行命令 conda clean -p 我的Anaconda安装在D盘&#xff0c;具体位置如下。你的应该也能找到对应的位置 D:\*****\**\Anaconda3\pkgs (base) C:\Users\Liu_J>conda clean -p WARNING: C:\Users\***\.conda\pkgs does not ex…

基于springboot+vue的美发门店管理系统(前后端分离)

博主主页&#xff1a;猫头鹰源码 博主简介&#xff1a;Java领域优质创作者、CSDN博客专家、阿里云专家博主、公司架构师、全网粉丝5万、专注Java技术领域和毕业设计项目实战&#xff0c;欢迎高校老师\讲师\同行交流合作 ​主要内容&#xff1a;毕业设计(Javaweb项目|小程序|Pyt…

2023年06月CCF-GESP编程能力等级认证C++编程四级真题解析

一、单选题(每题 2 分,共 30 分) 第1题 高级语言编写的程序需要经过以下( )操作,可以生成在计算机上运行的可执行代码。 A. 编辑 B. 保存 C. 调试 D. 编译 答案:D 第2题 排序算法是稳定的(Stable Sorting),就是指排序算法可以保证,在待排序数据中有两个相等记录…

”戏说“ 交换机 与 路由器

一般意义上说 老哥 这文章发表 的 东一榔头 西一锤 呵呵&#xff0c; 想到哪里就啰嗦到哪里 。 交换机&#xff1a; 其实就是在通道交换 路由器&#xff1a; 不光是在通道交换还要在协议上交换 下图你看懂了吗&#xff1f; &#xff08;仅仅数据交换-交换机 协议…