应《网络安全法》要求，自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下一页
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 找调剂 +10 楚乔乔 2026-04-01 10/500 2026-04-05 22:19 by syh9288
[考研] 285求调剂 +4 恶法大二的气味� 2026-04-05 5/250 2026-04-05 20:32 by 286640313
[考研] 考研生物学考A区211，初试322，科目生化和生物综合，求调剂 +6 。。。54 2026-04-03 6/300 2026-04-05 14:54 by JOKER0401
[考研] 295求调剂 +10 xndjjj 2026-04-04 10/500 2026-04-05 11:19 by 猪会飞
[考研] 求调剂 +3 电气小神童 2026-04-04 3/150 2026-04-05 10:17 by barlinike
[考研] 材料工程310专硕调剂 +13 捞捞我…. 2026-04-04 14/700 2026-04-05 09:01 by 来看流星雨10
[考研] 求 +5 化工专硕323分 2026-04-04 5/250 2026-04-05 08:02 by 544594351
[考研] 26考研调剂0710 0860 +9 补补不补 2026-04-03 14/700 2026-04-04 23:32 by 果冻大王
[考研] 277求调剂 +4 12A3 2026-04-02 5/250 2026-04-04 20:28 by 蓝云思雨
[考研] 085600，320分求调剂 +14 大馋小子 2026-04-04 15/750 2026-04-04 16:27 by 无际的草原
[考研] 求生物学专业调剂-332分 +5 云朵遛弯指南 2026-04-04 5/250 2026-04-04 10:05 by rzh123456
[考研] 26调剂 086003 +6 失活的细胞 2026-04-04 6/300 2026-04-04 09:50 by zhangdingwa
[考研] 085601一志愿北理325分求调剂 +6 找调剂，， 2026-04-02 6/300 2026-04-03 22:20 by 柟�?
[考研] 085501一志愿天工大，机械专硕求调剂，跨材料 +3 33上 2026-04-03 3/150 2026-04-03 14:08 by 1753564080
[考研] 325分化学调剂 +5 15771691647 2026-04-02 5/250 2026-04-03 09:58 by ChemPharm
[考研] 295求调剂 +7 愿旅途永远坦然 2026-04-02 7/350 2026-04-03 08:22 by fangshan711
[考研] 366求调剂一志愿东北大学 +8 运气来得若有似� 2026-04-02 8/400 2026-04-02 21:39 by dongzh2009
[考研] 314求调剂 +11 1xiaojun23 2026-03-31 12/600 2026-04-02 12:31 by 1xiaojun23
[考研] 285求调剂 +7 AZMK 2026-03-30 13/650 2026-04-01 17:00 by 七度不信任
[硕博家园] 博一被送出联培感觉不适应怎么办 +3 全村的狗 2026-03-31 3/150 2026-04-01 10:44 by 328838485
信息提示
关闭
请填处理意见
关闭