24小时热门版块排行榜    

查看: 5074  |  回复: 58
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

就是溜溜的她

木虫 (小有名气)

[交流] 【求助】从AB=I怎么推导出BA=I,这里A、B和I都是同阶方阵,并且I是单位阵 已有22人参与

线性代数中逆矩阵的定义只需要AB=I和BA=I其中一个等式就行了吧?如果是这样,从AB=I怎么推导出BA=I呢?
不知道大家有没有理解我这个问题的意思,我这里再专门写清楚一点。我的意思是,假如你就是一个数学家,现在还没有逆矩阵的概念,你想创建逆矩阵的一个定义,摆在你面前的是
AB=I

BA=I
两个等式,但是你觉得这两个等式是一回事,用数学的语言来说就是它们是等价的,其中一个可以推出另一个,因此只需要拿一个等式作为逆矩阵的定义即可(但是我翻了一下我手头的两本线性代数书,它们都把两个等式都作为逆矩阵的定义,并没有只取其中一个,这就是我发本贴询问的原因,是不是只取一个就可以?同时我自己也还在寻求证明)。可是出于数学家严谨的习惯,你又不放心,觉得这两个等式的等价性需要证明一下,比如如果已知AB=I,怎么推导出BA=I?(这个证明了,已知BA=I,推导出AB=I显然就同理得出)只要证明了这两个等式等价,我们就只需要拿其中任一个等式作为逆矩阵的定义,而不是拿两个等式。明白了我的意思之后,各位就要注意了,现在你还根本没有逆矩阵的概念(因为你还没有给逆矩阵下定义,下定义是你推导完之后的事)就是说你在推导过程中根本不能利用逆矩阵的定义。


[ Last edited by 就是溜溜的她 on 2010-11-5 at 22:25 ]

证明见39楼和48楼

[ Last edited by 就是溜溜的她 on 2011-4-29 at 14:16 ]
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

aaron1988

木虫 (正式写手)

★ ★
小木虫(金币+0.5):给个红包,谢谢回帖交流
cqsmath(金币+1):欢迎常来! 2010-11-04 21:30:16
AB = I  ->   (A^-1)AB=(A^-1)I   ->  IB=A^-1 -> B=A^-1,
BA =I   ->   BA(A^-1) = I(A^-1)   -> B = A^-1;
注意这个方法,只有在A存在逆矩阵的情况下,例如Pchief给出证明。如果A是不存在逆矩阵的,无法成立~
5楼2010-11-04 21:16:06
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 59 个回答

小雨萌萌

铜虫 (文坛精英)

优秀版主



小木虫(金币+0.5):给个红包,谢谢回帖交流
只需要定义一个就可以。根据就是A 和其伴随矩阵的乘积等于A的行列式
2楼2010-11-04 17:52:38
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Pchief

铁杆木虫 (正式写手)

★ ★
小木虫(金币+0.5):给个红包,谢谢回帖交流
cqsmath(金币+1):谢谢交流! 2010-11-04 21:29:49
首先,证明 B 的唯一性,就是说如果 AB=AC=I 则 B=C。

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

其次,我们知道,如果 C= A^* / (det A),其中 A^* 是 A 的伴随矩阵,则有 AC = I。由刚才所证,我们有 B=C。但是这个 C = A^* / (det A) 也满足 CA = I,从而 BA = CA = I,证毕。
3楼2010-11-04 18:38:01
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Pchief

铁杆木虫 (正式写手)

★ ★
小木虫(金币+0.5):给个红包,谢谢回帖交流
cqsmath(金币+1):谢谢交流! 2010-11-04 21:30:06
纯形式地讲从 AB = I 是 不能推出 BA = I 的,只是由于 A 跟 B 都是矩阵这一特定的条件才使得这种推导成为可能。
4楼2010-11-04 18:42:14
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考博] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 +3 DpSrDtM079iu 2026-08-22 3/150 2026-08-23 00:55 by OEbVnUOu01ol
[硕博家园] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +3 2JOx3r2CYEgw 2026-08-22 6/300 2026-08-23 00:52 by OEbVnUOu01ol
[硕博家园] 售SCI一区T0P文章,我:8O.55.1.O.54,科目全,可伽急 +4 QTy3jDtz1uLt 2026-08-21 10/500 2026-08-22 23:42 by OEbVnUOu01ol
[基金申请] 2026国自然函评费到账 +11 羊腰板 2026-08-21 11/550 2026-08-22 22:03 by lsbin3733
[硕博家园] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +3 2JOx3r2CYEgw 2026-08-22 3/150 2026-08-22 22:03 by OEbVnUOu01ol
[教师之家] 跳槽后在研项目怎么办? +3 简单化xn 2026-08-22 7/350 2026-08-22 19:46 by 简单化xn
[基金申请] 只有每年这种时候来逛逛小木虫 +24 yaoyewhu2008 2026-08-20 26/1300 2026-08-22 17:43 by kammury
[基金申请] filecode,4个jtjc了 +13 ziyangfang 2026-08-19 16/800 2026-08-22 17:08 by WH3796
[教师之家] 售一区SCI文章T0P,我:8O.551.O54,科目全,可十急 +4 2JOx3r2CYEgw 2026-08-21 4/200 2026-08-22 16:52 by sunzitan
[基金申请] 人气不行了 +8 fansofjerry 2026-08-21 8/400 2026-08-22 16:30 by zyqchem
[基金申请] 放榜前的不淡定 40+4 snowwithsea 2026-08-19 14/700 2026-08-21 23:51 by cratir
[基金申请] 科研孤儿太难了 +17 我4大白菜 2026-08-20 18/900 2026-08-21 20:57 by zhangev
[基金申请] 感觉是下周放榜了 +7 angus9576 2026-08-17 12/600 2026-08-21 13:38 by weiyin
[基金申请] 应该是下周三26日公布了吧? +4 哈哈蛤? 2026-08-21 4/200 2026-08-21 10:58 by Vivilian
[基金申请] 今天放榜没戏了吧 +9 yuleib84 2026-08-19 11/550 2026-08-21 10:06 by gltch
[基金申请] 基金啊基金 +4 longfie172 2026-08-20 4/200 2026-08-21 08:58 by mark mao
[基金申请] 今天系统多次维护,明天很可能放榜! +10 zju2000 2026-08-16 11/550 2026-08-20 20:02 by cl479861084
[基金申请] 时间戳变了,能看出什么问题? +18 基诺咪客 2026-08-17 23/1150 2026-08-20 17:19 by Godzela
[基金申请] 重要消息,中午系统在维护 +11 yuleib84 2026-08-18 12/600 2026-08-20 11:09 by xskun
[基金申请] 今天维护系统维护 祝所有人 高中 +8 gjjjzhong 2026-08-18 9/450 2026-08-18 13:01 by 家与远方
信息提示
请填处理意见