应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 【求助】从AB=I怎么推导出BA=I，这里A、B和I都是同阶方阵，并且I是单位阵
北京石油化工学院2026年研究生招生接收调剂公告
595/6返回列表上一页123456下一页
查看: 4261  |  回复: 58
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

tiger81

金虫 (小有名气)
★ ★
小木虫(金币+0.5):给个红包，谢谢回帖交流
小雨萌萌(金币+1):鼓励一下，期待能有所建树 2010-11-06 20:05:47
      矩阵是定义在域上的或环上的是有区别的。如果矩阵是定义在交换环上的，那么方阵是有行列式定义的，所以AB=I就可以推出来BA=I，而且用AB=I就可以了定义矩阵的可逆性。
      如果矩阵是定义在非交换环上的，那么可逆阵的定义就必须是AB=BA=I, 因为对两个元素a，b，ab=1，但是ba可以不等于1。

[ Last edited by tiger81 on 2010-11-6 at 11:59 ]
赞一下(2人) 回复此楼
41楼2010-11-06 11:55:21
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lxd_bruce

木虫 (正式写手)
★ ★
小木虫(金币+0.5):给个红包，谢谢回帖交流
小雨萌萌(金币+1):鼓励多多讨论 2010-11-06 20:06:09
引用回帖:
Originally posted by tiger81 at 2010-11-06 11:55:21:
      矩阵是定义在域上的或环上的是有区别的。如果矩阵是定义在交换环上的，那么方阵是有行列式定义的，所以AB=I就可以推出来BA=I，而且用AB=I就可以了定义矩阵的可逆性。
       ...

非交换环上的矩阵根本无法定义行列式吧，这样的矩阵MS实际用处不大。
赞一下(2人) 回复此楼
42楼2010-11-06 18:26:21
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Ptolomaeus

铁杆木虫 (正式写手)
★
小木虫(金币+0.5):给个红包，谢谢回帖交流
引用回帖:
Originally posted by Pchief at 2010-11-04 18:38:01:
首先，证明 B 的唯一性，就是说如果 AB=AC=I 则 B=C。

事实上，由 AB = I 两边取行列式可知 det A ≠ 0 。再由 AB = AC可得 A(B - C) =0，这就是说，B-C的每个列 x 是齐次线性方程组 Ax=0 的解。但由 det A ≠ ...

3楼的证明我认为是对的。矩阵的逆的定义与行列式的定义是独立的，与线性方程组的解的结构定理也是独立的。
只要定义在域上的矩阵就是对的。定义在交换环上的矩阵还不知道，不过感觉左逆（或右逆）的唯一性不成立。非交换环的话就不用谈了。
赞一下(1人) 回复此楼
43楼2010-11-06 21:10:28
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

just_play

至尊木虫 (正式写手)

一个不使用行列式的证明

★
小木虫(金币+0.5):给个红包，谢谢回帖交流
赞一下(1人) 回复此楼
So Trivial !
44楼2010-11-08 00:01:11
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

saladin983

铁杆木虫 (正式写手)
★
小木虫(金币+0.5):给个红包，谢谢回帖交流
这个帖子很不错，冒泡赞一个~
赞一下(1人) 回复此楼
45楼2010-11-09 00:34:22
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

就是溜溜的她

木虫 (小有名气)
非常感谢各位回帖的朋友！
首先由于事情忙和疏懒，直到现在作为帖主才回帖，谨向各位回帖者表示歉意！
现在把我的证明给出来。
结合39楼Pchief君的证明，现在可以放心地得出结论——不需要线性代数课本用两个等式AB=BA=I定义的逆矩阵的概念，就可以证明出AB=I和BA=I是等价的。

[ Last edited by 就是溜溜的她 on 2010-11-18 at 23:47 ]
赞一下 回复此楼
46楼2010-11-18 23:17:55
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

就是溜溜的她

木虫 (小有名气)
我的证明参考了2楼小雨萌萌君的提示，在此向她表示感谢，就是用到了伴随矩阵的等式（见下面）。
下面用det(M)表示矩阵M的行列式，A*表示A的伴随矩阵。
证明关键用到的知识就是下面两个等式：
1)        det(AB)=det(A)det(B)
2)        A*A=AA*= det(A)I
这两个等式都独立于逆矩阵的概念。
有了这两个等式证明是比较简单的，证明过程如下。

[ Last edited by 就是溜溜的她 on 2010-11-18 at 23:49 ]
赞一下 回复此楼
47楼2010-11-18 23:18:47
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

就是溜溜的她

木虫 (小有名气)
[证明]
AB=I 利用等式1)  =>  det(AB)=det(A)det(B)=1  =>  det(A)不等于0

在已知的等式AB=I两边同时左乘A*，利用等式2)  =>  A*AB=A*  =>  det(A)B=A*，为利用等式2) 两边再右乘A  =>  det(A)BA=A*A =det(A)I。

因为先已经得出det(A)不等于0，所以  =>  BA=I。

[ Last edited by 就是溜溜的她 on 2010-11-19 at 10:03 ]
赞一下 回复此楼
48楼2010-11-18 23:19:45
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

就是溜溜的她

木虫 (小有名气)
我们可以看出，这个证明关键用到的知识就是上面47楼的两个等式。如果说还有什么的话，那就是要善于利用已知条件，对矩阵等式适当地左乘或者右乘相应的矩阵来试探着得出想要的结果。
赞一下 回复此楼
49楼2010-11-18 23:20:57
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

就是溜溜的她

木虫 (小有名气)
我比较仔细地看了诸君回帖的解答，个人更赞赏Pchief君的证明，这一利用Cramer法则以及列分块方法的证明方法很具有代表性，也很简单（另外，按照Pchief君反例的提示，我还意外地学到了知识——和矩阵不同，把问题中的A、B、I 改成线性算子，AB=I 就未必蕴含BA=I 啦！）。对其他的证明，我有的存有异议，有的稍觉别扭。但我感谢所有回帖朋友的证明和热情的讨论！
这里还要补充说明一点。如果撇开本问题的初衷不谈（初衷是假设还没有逆矩阵的定义要从AB=I推导出BA=I，从一个刚学完线性代数课本里逆矩阵前一小节内容的大学低年级学生的角度出发来推导），也就是说，可以考虑用逆矩阵的定义，那么在用的时候，最好明确说明逆矩阵的定义，比如用两个等式AB=BA=I定义的逆矩阵的概念。按这样的约定，从AB=I推导出BA=I才是合乎逻辑的。这其实也就是现在线性代数课本中已有的结论体系。因此从这个意义来说，tiger81君在25楼的回答以及stcmm君在29楼的回答都是正确的。

[ Last edited by 就是溜溜的她 on 2010-11-18 at 23:46 ]
赞一下 回复此楼
50楼2010-11-18 23:21:14
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 就是溜溜的她 的主题更新
595/6返回列表上一页123456下一页
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 调剂 +7 不逢春 2026-04-05 8/400 2026-04-05 23:34 by 来看流星雨10
[考研] 377求调剂 +6 by.ovo 2026-04-05 6/300 2026-04-05 22:18 by dongzh2009
[考研] 一志愿苏州大学材料工程（085601）专硕有科研经历三项国奖两个实用型专利一项省级立项 +10 大火山小火山 2026-04-05 10/500 2026-04-05 19:58 by 小蜗牛小蜗牛
[考研] 322求调剂 +3 嗯哼哼恒 2026-04-05 3/150 2026-04-05 19:52 by nepu_uu
[考研] 复试调剂 +8 春日来信- 2026-04-03 8/400 2026-04-05 18:58 by 蓝云思雨
[考研] 0703化学321分求调剂 +17 三dd. 2026-03-30 18/900 2026-04-05 18:07 by 蓝云思雨
[考研] 296求调剂 +3 汪！？！ 2026-04-05 5/250 2026-04-05 17:38 by 蓝云思雨
[考研] 270求调剂 +9 小杰pp 2026-03-31 11/550 2026-04-05 11:02 by 风雨无晴
[考研] 344材料与化工调剂 +9 调剂上岸玘 2026-04-03 9/450 2026-04-04 23:10 by happyddm
[考研] 材料与化工306分找调剂 +23 沧海轻舟e 2026-04-02 27/1350 2026-04-04 21:52 by laoshidan
[考研] 环境科学与工程334分求调剂 +9 王一一依依 2026-03-30 12/600 2026-04-04 20:55 by dongzh2009
[考研] 一志愿沪985，326分求调剂 +3 刘墨墨 2026-04-03 3/150 2026-04-04 11:16 by 悲伤的芋头
[考研] 294求调剂 +6 Grey_Ey 2026-04-03 6/300 2026-04-03 20:46 by 欣喜777
[考研] 一志愿山东大学化学与化工学院材料与化工专硕，360分求调剂 +4 不愿透露姓名的� 2026-04-02 4/200 2026-04-03 09:29 by 遗忘消失的灆
[考研] 318求调剂 +3 笃行致远. 2026-03-31 4/200 2026-04-02 15:56 by Jaylen.
[考研] 085900土木水利336分求调剂 +4 Zhangjiangj 2026-03-31 6/300 2026-04-02 11:40 by 1753564080
[考研] 296求调剂 +4 汪！？！ 2026-03-31 7/350 2026-04-01 22:04 by 客尔美德
[考研] 调剂申请 +8 张张张张zy 2026-03-31 9/450 2026-04-01 08:29 by zjbkx
[考研] 313求调剂 +6 卖个关子吧 2026-03-31 6/300 2026-03-31 10:58 by Jaylen.
[考研] 297 地理学070500 复试求调剂 +3 小圆圈圈ooo 2026-03-30 3/150 2026-03-30 21:05 by 余震yz
信息提示
关闭
请填处理意见
关闭