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

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 【求助】从AB=I怎么推导出BA=I，这里A、B和I都是同阶方阵，并且I是单位阵
595/6返回列表上一页123456下一页
查看: 5230  |  回复: 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下一页
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[博后之家] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 +4 IDs3scOF0tjC 2026-09-28 4/200 2026-09-29 19:27 by cqwQDCxMcL3I
[找工作] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +4 ZYXdhzDAy9ZX 2026-09-28 4/200 2026-09-29 16:54 by yCO1Ll7aHtsw
[考博] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +4 ZYXdhzDAy9ZX 2026-09-28 4/200 2026-09-29 16:47 by yCO1Ll7aHtsw
[考研] 售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急 +3 ZYXdhzDAy9ZX 2026-09-28 4/200 2026-09-29 16:37 by etmYJ6d2rquH
[博后之家] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +3 ZYXdhzDAy9ZX 2026-09-28 3/150 2026-09-29 16:30 by etmYJ6d2rquH
[论文投稿] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +4 tqUTOxClQUMF 2026-09-28 4/200 2026-09-29 15:15 by etmYJ6d2rquH
[公派出国] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +3 tqUTOxClQUMF 2026-09-28 3/150 2026-09-29 14:58 by etmYJ6d2rquH
[考博] 售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急 +6 GDBe8tDZqE8z 2026-09-28 6/300 2026-09-29 14:41 by etmYJ6d2rquH
[考研] 售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急 +3 CfXuS1rDhLYN 2026-09-28 3/150 2026-09-29 14:24 by etmYJ6d2rquH
[博后之家] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +6 IDs3scOF0tjC 2026-09-28 7/350 2026-09-29 14:07 by etmYJ6d2rquH
[博后之家] 售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急 +3 IDs3scOF0tjC 2026-09-28 3/150 2026-09-29 13:56 by etmYJ6d2rquH
[教师之家] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +4 GDBe8tDZqE8z 2026-09-28 4/200 2026-09-29 09:49 by JzYBbHIXWSrW
[考研] 售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急 +3 ZYXdhzDAy9ZX 2026-09-28 3/150 2026-09-29 06:42 by ZvyPK8n6Nfki
[找工作] 售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急 +3 ZYXdhzDAy9ZX 2026-09-28 3/150 2026-09-29 06:28 by ZvyPK8n6Nfki
[硕博家园] 售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急 +3 tqUTOxClQUMF 2026-09-28 3/150 2026-09-28 23:46 by b8fCuTHqckEt
[考研] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +3 GDBe8tDZqE8z 2026-09-28 3/150 2026-09-28 23:12 by b8fCuTHqckEt
[公派出国] 售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急 +4 IDs3scOF0tjC 2026-09-28 4/200 2026-09-28 22:55 by ez6fGg9abYaj
[找工作] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 +3 IDs3scOF0tjC 2026-09-28 5/250 2026-09-28 22:32 by ez6fGg9abYaj
[论文投稿] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +3 CfXuS1rDhLYN 2026-09-28 3/150 2026-09-28 19:08 by 9lS3ad5oOymn
[考研] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +3 IDs3scOF0tjC 2026-09-28 4/200 2026-09-28 18:51 by 9lS3ad5oOymn
信息提示
关闭
请填处理意见
关闭