线性代数:如何由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是可逆的!

相关推荐
优美的赫蒂1 天前
理解欧拉公式
线性代数·算法·数学建模
weixin_428498492 天前
使用HYPRE库并行装配IJ稀疏矩阵
线性代数·矩阵
THe CHallEnge of THe BrAve3 天前
工业相机中CCM使能参数-色彩校正矩阵
数码相机·线性代数·矩阵
该怎么办呢3 天前
webgl入门实例-11模型矩阵 (Model Matrix)基本概念
线性代数·矩阵·webgl
海码0073 天前
【Hot100】 73. 矩阵置零
c++·线性代数·算法·矩阵·hot100
烟锁池塘柳03 天前
齐次坐标系下的变换矩阵
线性代数·数学建模·矩阵
蔗理苦3 天前
2025-04-18 李沐深度学习3 —— 线性代数
人工智能·深度学习·线性代数
电气外传4 天前
小小矩阵设计
线性代数·矩阵
爱的叹息4 天前
软考高级信息系统项目管理师的【干系人参与度评估矩阵】详解
线性代数·矩阵
transformer_WSZ4 天前
线性代数-矩阵的秩
线性代数·矩阵