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

参考视频: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.mzph.cn/news/694887.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

C#_值类型与引用类型 及 值参数与引用参数

值类型与引用类型 栈帧和对象内部都维护着符号表&#xff0c;依变量的标识符查询符号表可知地址偏移量 对于成员变量而言&#xff0c;可得相对于所属对象地址的地址偏移量 对于局部变量而言&#xff0c;可得相对于帧指针所指地址的地址偏移量(关于栈指针和帧指针&#xff1a;栈…

Java学习笔记2024/2/21

题目1 现有如下字符串元素&#xff1a;["aaa", "bbb", "aaa", "aaa", "ccc", "bbb"]&#xff0c;请将所有的元素按顺序存入ArrayList集合中&#xff0c;并遍历集合查看存储结果。 训练目标 ArrayList集合存储字…

Milvus数据库介绍

参考&#xff1a;https://www.xjx100.cn/news/1726910.html?actiononClick Milvus 基于FAISS、Annoy、HNSW 等向量搜索库构建&#xff0c;核心是解决稠密向量相似度检索的问题。在向量检索库的基础上&#xff0c;Milvus 支持数据分区分片、数据持久化、增量数据摄取、标量向量…

基于Java在线宠物店商城系统设计与实现(源码+部署文档)

博主介绍&#xff1a; ✌至今服务客户已经1000、专注于Java技术领域、项目定制、技术答疑、开发工具、毕业项目实战 ✌ &#x1f345; 文末获取源码联系 &#x1f345; &#x1f447;&#x1f3fb; 精彩专栏 推荐订阅 &#x1f447;&#x1f3fb; 不然下次找不到 Java项目精品实…

Redis的常见面试题

目录 前言 Redis支持哪些数据类型 五种核心类型 Zset为什么用跳表不用红黑树 &#xff1f; Redis常见的应用场景&#xff1f; 如何检测Redis的连通性&#xff1f; 如何设置key的过期时间&#xff1f; Redis为什么是单线程模型&#xff1f; Redis里的IO多路复用是什…

惠尔顿安全审计系统任意文件读取漏洞

免责声明&#xff1a;文章来源互联网收集整理&#xff0c;请勿利用文章内的相关技术从事非法测试&#xff0c;由于传播、利用此文所提供的信息或者工具而造成的任何直接或者间接的后果及损失&#xff0c;均由使用者本人负责&#xff0c;所产生的一切不良后果与文章作者无关。该…

(delphi11最新学习资料) Object Pascal 学习笔记---第5章第3节(运算符重载)

5.3.4 运算符重载 ​ 另一个与记录相关的 Object Pascal 语言特性是运算符重载&#xff0c;即在数据类型上自己定义标准操作&#xff08;加法、乘法、比较等&#xff09;的能力。基本思想是你可以实现一个加法运算符&#xff08;一个特殊的 Add 方法&#xff09;&#xff0c;然…

【VIP专属】Python应用案例——基于TensorFlow 2.3建立RNN搭配Word2Vec Embedding进行文本分类

目录 一、数据准备 二、实验流程 1、加载数据集 ​2、分词处理

启动node服务报错Error: listen EACCES: permission denied 0.0.0.0:5000

启动node服务报错&#xff1a; 解决方案&#xff1a; 将监听端口改成3000或者其他 修改后结果&#xff1a; 参考原文&#xff1a; Error: listen EACCES: permission denied_error when starting dev server: error: listen eacc-CSDN博客

高级面试:什么是移动语义(Move Semantics)?它是如何提高性能的?

高级面试&#xff1a;什么是移动语义&#xff08;Move Semantics&#xff09;&#xff1f;它是如何提高性能的&#xff1f; 移动语义&#xff08;Move Semantics&#xff09;是 C11 引入的一项重要特性&#xff0c;它允许对象的资源&#xff08;如堆上分配的内存&#xff09;在…

链式前向星

什么是链式前向星 链式前向星&#xff08;Chained Forward Star&#xff09;是一种用于表示稀疏图的数据结构。它主要用于解决图论中的一些算法问题&#xff0c;如最短路径、最小生成树等。 链式前向星通过两个数组来表示图的边和顶点信息&#xff1a; 边数组&#xff08;Ed…

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…

haproxy集成国密ssl功能

1. 概述 1.1 缘起 haproxy作为开源高性能http/tcp代理服务器得到了广泛应用,它可以支持国际ssl加密通信功能,但是对于国密ssl却一直没有被官方得到支持。随着国密标准规范的推广应用,以及等保2.0明确规定要求对网络通信中的报文或会话过程全文加密(三级),这样导致在haprox…

Conda管理Python不同版本教程

Conda管理Python不同版本教程 目录 0.前提 1.conda常用命令 2.conda设置国内源&#xff08;以添加清华源为例&#xff0c;阿里云源同样&#xff09; 3.conda管理python库 4.其它 不太推荐 pyenv管理Python不同版本教程&#xff08;本人另一篇博客&#xff0c;姊妹篇&…

C语言菜鸟入门·数组简介

目录 1. 简介 2. 声明数组 3. 初始化数组 3. 访问数组元素 4. 获取数组长度 5. 数组名 1. 简介 在 C 语言中&#xff0c;数组是一种用来存储相同类型数据元素的集合。数组提供了一种便捷的方式来管理一系列相同类型的数据&#xff0c;可以按照索引来访问和操作数组…

netty的TCP服务端和客户端实现

第一步&#xff1a;引入依赖 <dependencies><dependency><groupId>io.netty</groupId><artifactId>netty-all</artifactId><version>4.1.90.Final</version></dependency></dependencies> 第二步&#xff1a;实…

探究网络工具nc(netcat)的使用方法及安装步骤

目录 &#x1f436;1. 什么是nc&#xff08;netcat&#xff09;&#xff1f; &#x1f436;2. nc&#xff08;netcat&#xff09;的基本使用方法 2.1 &#x1f959;使用 nc 进行端口监听 2.2 &#x1f959;使用 nc 进行端口扫描 2.3 &#x1f959;使用 Netcat 进行文件传输…

代码随想录算法训练营day20

题目&#xff1a;530.二叉搜索树的最小绝对差、501.二叉搜索树中的众数、236. 二叉树的最近公共祖先 参考链接&#xff1a;代码随想录 530.二叉搜索树的最小绝对差 思路&#xff1a;我一开始想到的方法是先生成中序序列&#xff0c;然后对相邻两项的差进行计算&#xff0c;取…

【PCIE709-F】基于复旦微JFM7VX690T80 FPGA的全国产化8通道光纤双FMC接口数据处理平台

板卡概述 PCIE709-F是一款基于上海复旦微电子的28nm 7系列FPGA JFM7VX690T80的全国产化8通道光纤双FMC接口数据预处理平台&#xff0c;该板卡采用复旦微的高性能7系列FPGA作为实时处理器&#xff0c;实现4路10G SFP光纤以及1路QSFP通信接口、实现1路X8 PCIE数据传输的功能。板载…

Go 1.22 对 net/http 包的路由增强功能详解

目录 方法匹配&#xff08;Method Matching&#xff09; 通配符&#xff08;Wildcards&#xff09; 路径前缀匹配 优先规则 兼容性 API 变更 小结 参考资料 Go 1.22 版本对 net/http 包的路由功能进行了增强&#xff0c;引入了方法匹配&#xff08;method matching&…