矩阵可逆的一种刻画方式
本文共 551 字，大约阅读时间需要 1 分钟。
问题
若矩阵A满足 A + A T = I A+A^{\rm{T}}=I A+AT=I，则A可逆。
证明一
反证法。假设A不可逆，则
∃ x 0 ≠ 0 \exists{x_0}\ne0 ∃x0=0，使得 A x 0 = 0 A{x_0}=0 Ax0=0，则 x 0 A T = ( A x 0 ) T = 0 T {x_0}{A^{\rm{T}}} = {(A{x_0})^{\rm{T}}} = {0^{\rm{T}}} x0AT=(Ax0)T=0T∴ 0 ≠ x 0 T x 0 = x 0 T ( A + A T ) x 0 = x 0 T A x 0 + x 0 T A T x 0 = x 0 T 0 + 0 T x 0 = 0 \therefore 0 \ne x_0^{\rm{T}}{x_0} = x_0^{\rm{T}}(A + {A^{\rm{T}}}){x_0} = x_0^{\rm{T}}A{x_0} + x_0^{\rm{T}}{A^{\rm{T}}}{x_0} = x_0^{\rm{T}}0 + {0^{\rm{T}}}{x_0} = 0 ∴0=x0Tx0=x0T(A+AT)x0=x0TAx0+x0TATx0=x0T0+0Tx0=0
矛盾，所以A可逆。
证明二
转载地址：http://fulnz.baihongyu.com/
你可能感兴趣的文章
Navicat连接sqlserver提示：未发现数据源名并且未指定默认驱动程序
查看>>
navicat连接远程mysql数据库
查看>>
Navicat通过存储过程批量插入mysql数据
查看>>
Navicat（数据库可视化操作软件）安装、配置、测试
查看>>
navigationController
查看>>
NB-IOT使用LWM2M移动onenet基础通信套件对接之APN设置
查看>>
NBear简介与使用图解
查看>>
Vue过滤器_使用过滤器进行数据格式化操作---vue工作笔记0015
查看>>
Ncast盈可视 高清智能录播系统 IPSetup.php信息泄露+RCE漏洞复现(CVE-2024-0305)
查看>>
NCNN中的模型量化解决方案：源码阅读和原理解析
查看>>
NCNN源码学习(1)：Mat详解
查看>>
nc命令详解
查看>>
NC综合漏洞利用工具
查看>>
ndarray 比 recarray 访问快吗?
查看>>
ndk-cmake
查看>>
NdkBootPicker 使用与安装指南
查看>>
ndk特定版本下载
查看>>
NDK编译错误expected specifier-qualifier-list before...
查看>>
Neat Stuff to Do in List Controls Using Custom Draw
查看>>
Necurs僵尸网络攻击美国金融机构 利用Trickbot银行木马窃取账户信息和欺诈
查看>>