矩阵可逆的一种刻画方式
本文共 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/
你可能感兴趣的文章
Myeclipse常用快捷键
查看>>
MyEclipse用（JDBC）连接SQL出现的问题~
查看>>
myeclipse的新建severlet不见解决方法
查看>>
MyEclipse设置当前行背景颜色、选中单词前景色、背景色
查看>>
MyEclipse配置SVN
查看>>
MTCNN 人脸检测
查看>>
MyEcplise中SpringBoot怎样定制启动banner？
查看>>
MyPython
查看>>
MTD技术介绍
查看>>
MySQL
查看>>
mysql
查看>>
MTK Android 如何获取系统权限
查看>>
MySQL - 4种基本索引、聚簇索引和非聚索引、索引失效情况、SQL 优化
查看>>
MySQL - ERROR 1406
查看>>
mysql - 视图
查看>>
MySQL - 解读MySQL事务与锁机制
查看>>
mysql 1264_关于mysql 出现 1264 Out of range value for column 错误的解决办法
查看>>
mysql 1593_Linux高可用(HA)之MySQL主从复制中出现1593错误码的低级错误
查看>>
mysql ansi nulls_SET ANSI_NULLS ON SET QUOTED_IDENTIFIER ON 什么意思
查看>>
MySQL Binlog 日志监听与 Spring 集成实战
查看>>