问题

若矩阵A满足 $A+A^{\rm{T}}=I$ ，则A可逆。

证明一

反证法。假设A不可逆，则

\exists{x_0}\ne0

，使得

A{x_0}=0

，则

{x_0}{A^{\rm{T}}} = {(A{x_0})^{\rm{T}}} = {0^{\rm{T}}}

$\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$

矛盾，所以A可逆。

证明二

转载地址：http://fulnz.baihongyu.com/

你可能感兴趣的文章

mysql 1593_Linux高可用(HA)之MySQL主从复制中出现1593错误码的低级错误

查看>>

mysql 5.6 修改端口_mysql5.6.24怎么修改端口号

查看>>

MySQL 8.0 恢复孤立文件每表ibd文件

查看>>

MySQL 8.0开始Group by不再排序

查看>>

mysql ansi nulls_SET ANSI_NULLS ON SET QUOTED_IDENTIFIER ON 什么意思

查看>>

multi swiper bug solution

查看>>

MySQL Binlog 日志监听与 Spring 集成实战

查看>>

MySQL binlog三种模式

查看>>

multi-angle cosine and sines

查看>>

Mysql Can't connect to MySQL server

查看>>

mysql case when 乱码_Mysql CASE WHEN 用法

查看>>

Multicast1

查看>>

mysql client library_MySQL数据库之zabbix3.x安装出现“configure: error: Not found mysqlclient library”的解决办法...

查看>>

MySQL Cluster 7.0.36 发布

查看>>

Multimodal Unsupervised Image-to-Image Translation多通道无监督图像翻译

查看>>

MySQL Cluster与MGR集群实战

查看>>

multipart/form-data与application/octet-stream的区别、application/x-www-form-urlencoded

查看>>

mysql cmake 报错,MySQL云服务器应用及cmake报错解决办法

查看>>

Multiple websites on single instance of IIS

查看>>

mysql CONCAT()函数拼接有NULL

查看>>