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

相关推荐
18538162800余+14 小时前
数字人分身 + 矩阵系统聚合的源码搭建与定制开发
线性代数·矩阵
semantist@语校14 小时前
第十九篇|东京世界日本语学校的结构数据建模:制度函数、能力矩阵与升学图谱
数据库·人工智能·线性代数·矩阵·prompt·github·数据集
点云SLAM15 小时前
四元数 (Quaternion)在位姿(SE(3))表示下的各类导数(雅可比)知识(2)
人工智能·线性代数·算法·机器学习·slam·四元数·李群李代数
云手机掌柜2 天前
下一代社媒运营工具:亚矩阵云手机集成AIGC与数字人技术引领内容革命
大数据·线性代数·智能手机·矩阵·aigc
索迪迈科技3 天前
算法题(203):矩阵最小路径和
线性代数·算法·矩阵
Hi202402173 天前
使用 Apollo TransformWrapper 生成相机到各坐标系的变换矩阵
数码相机·线性代数·矩阵·自动驾驶·apollo
君名余曰正则4 天前
机器学习实操项目01——Numpy入门(基本操作、数组形状操作、复制与试图、多种索引技巧、线性代数)
线性代数·机器学习·numpy
点云SLAM4 天前
四元数 (Quaternion)与李群SE(3)知识点(1)
线性代数·slam·四元数·旋转矩阵·位姿表示·李群se(3)·四元数插值
阿巴Jun4 天前
【数学】线性代数知识点总结
笔记·线性代数·矩阵