矩阵可逆的一种刻画方式
本文共 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/
你可能感兴趣的文章
Netty速成：基础+入门+中级+高级+源码架构+行业应用
查看>>
Netty遇到TCP发送缓冲区满了 写半包操作该如何处理
查看>>
netty（1）：NIO 基础之三大组件和ByteBuffer
查看>>
Netty：ChannelPipeline和ChannelHandler为什么会鬼混在一起？
查看>>
Netty：原理架构解析
查看>>
Network Dissection:Quantifying Interpretability of Deep Visual Representations（深层视觉表征的量化解释）
查看>>
Network Sniffer and Connection Analyzer
查看>>
Network 灰鸽宝典【目录】
查看>>
Network-Emulator Network-Emulator-Toolkit网络模拟器使用
查看>>
Networkx写入Shape文件
查看>>
NetworkX系列教程(11)-graph和其他数据格式转换
查看>>
Networkx读取军械调查-ITN综合传输网络？/读取GML文件
查看>>
NetworkX：是否为每个节点添加超链接？
查看>>
network小学习
查看>>
Netwox网络工具使用详解
查看>>
Net与Flex入门
查看>>
Net任意String格式转换为DateTime类型
查看>>
net包之IPConn
查看>>
net发布的dll方法和类显示注释信息（字段说明信息）[图解]
查看>>
Net和T-sql中的日期函数操作
查看>>