线性代数:如何由AB=E 推出 BA=AB?

最近在二刷线性代数,在看逆矩阵定义的时候发现了这个问题。于是决定写一写,给出一种证明方式。

一、由逆矩阵的定义出发

这是我在mooc-山东大学-线性代数(秦静老师)第一章第十讲的ppt上截取的定义。 看到这个定义我就在想:

如果A和B是n阶方阵,那么AB=E(E为n阶单位阵)这一条件能不能说明B是A的逆矩阵,A是可逆的呢?或者说,AB=E能不能推导出AB=BA呢

于是我去网上搜索,发现答案是肯定的。但好多证明貌似有些循环论证的味道,在证明AB=BA时用到了A是可逆矩阵的条件以及以A为可逆矩阵为基础的结论,问题是:现在AB=E不能充分说明A就是可逆矩阵!

二、伴随矩阵

在不能用A为可逆矩阵这一条件,我想到了一种严密的证明方法。

需要给出两个简单的前提条件:

如果A是n阶方针,是A的伴随矩阵,那么有:

可以看出,,伴随矩阵的性质非常好,无论是左乘A还是由乘A都能得到一个数量矩阵!

三、同阶方阵的有趣结论

这一结论是可以证明的,但过程比较复杂。涉及矩阵具体的展开,矩阵的构造,矩阵的初等变换。所以我不写了。

四、推理过程

如果n阶方阵A和n方矩阵B相等,则它们同时左乘一个同样的n阶方阵,得到的n阶方阵显然相等。

如果,由于AB和E均为n阶方阵,故它们同时左乘n阶方阵有:

由于任何n阶方阵右乘n阶单位阵等于它本身,且

所以有:

那么,两边同时倍乘,得到:

这边可能会遇到的疑问,但这是不可能的。由于A和B都是n阶方阵,有如下结论:

显而易见:

所以,如果矩阵A和B都是n阶方阵,仅仅AB=E这一条件就能说明矩阵A是可逆的!

相关推荐
熬了夜的程序员3 小时前
【LeetCode】74. 搜索二维矩阵
线性代数·算法·leetcode·职场和发展·矩阵·深度优先·动态规划
点云SLAM3 小时前
矩阵奇异值分解算法(SVD)的导数 / 灵敏度分析
人工智能·线性代数·算法·机器学习·矩阵·数据压缩·svd算法
passxgx1 天前
10.5 傅里叶级数:用线性代数研究函数
线性代数
墨染天姬1 天前
【AI】数学基础之矩阵
人工智能·线性代数·矩阵
hour_go2 天前
张量、向量与矩阵:多维世界的数据密码
线性代数·矩阵
大佬,救命!!!2 天前
3多维数组的矩阵乘法
线性代数·矩阵
2501_918126913 天前
用html5写一个可输入1-100行1-100列的矩阵计算器
线性代数·矩阵
lqjun08273 天前
平面的方程公式
线性代数·机器学习·平面
shimly1234564 天前
(done) 矩阵分块计算和分块转置
线性代数·矩阵
modest_laowang4 天前
矩阵李群的李代数的几何意义
线性代数·矩阵·抽象代数·拓扑学