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

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 【庸师勿扰】关于一个矩阵计算方法证明的烦恼
131/2返回列表12下一页
查看: 1552  |  回复: 12
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

令狐计划

新虫 (小有名气)

[求助] 【庸师勿扰】关于一个矩阵计算方法证明的烦恼 已有3人参与

众所周知，A、B两个矩阵如果能够相乘的话，则：

|AB| = |A||B|。 (#)

其证明方法，一般的教科书上也都会提供，大致是构建一个2X2的新的分块矩阵，令A、B处于这个新矩阵的主对角元位置，而次对角元则分别由-I和O这两个矩阵充斥。经过一系列的线性变换，原先O充斥的位置变为AB，在经简单思辨，便证得结果(#)。

此过程本计划能看懂。但是如果没有教科书提供的此方法，本计划无法原创性地构想出此套方案，而这正是烦恼所在。

请问各位数学前辈，你们可以吗？我为什么无法原创性地构造此套方案？

先谢过！
回复此楼

» 猜你喜欢
1楼 2015-08-05 22:06:21
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
回帖支持 ( 显示支持度最高的前 50 名 )

hank612

至尊木虫 (著名写手)
引用回帖:
6楼: Originally posted by 令狐计划 at 2015-08-05 23:45:55
我的问题是如何想到如此证明的。即便我能看懂这种证明方法，我也不能原创性地想出这种方法。...

我个人觉得,上面的证明更象在炫耀技巧,会误导你迷失了行列式的本意.

https://en.wikipedia.org/wiki/Determinant
上有说明, 行列式代表了线性变换的放(大)缩(小)率, 那么, 非常自然地, 就有,
det(AB)=det(A)*det(B).  (实际上, 我们只能看到 |det(AB)/det(A)det(B)|=1. 可是这等式是关于A,B系数的连续函数,所以局部必须是常值函数. 取值+1比较靠谱些.)

小学生都知道,假如变换A能放大5倍,变换B能放大3倍, 那么先放大3倍,再接着放大5倍, 相当于一次性放大15倍.

许许多多的数学定理, 你都可以把它们当作定义来接受. "必当如此"

我们必须知道，我们必将知道 --- 大卫.希尔伯特
【庸师勿扰】关于一个矩阵计算方法证明的烦恼
determinant.png
赞一下(1人) 回复此楼
We_must_know. We_will_know.
7楼2015-08-06 05:32:20
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hyy19921221

铁虫 (正式写手)
数学上很多证明要想弄清楚为什么这么想，那真的是得追溯到很远很远。。

[ 发自小木虫客户端 ]
赞一下(1人) 回复此楼
11楼2015-08-06 13:16:31
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

木易山水

金虫 (小有名气)
引用回帖:
7楼: Originally posted by hank612 at 2015-08-06 05:32:20
我个人觉得,上面的证明更象在炫耀技巧,会误导你迷失了行列式的本意.

https://en.wikipedia.org/wiki/Determinant
上有说明, 行列式代表了线性变换的放(大)缩(小)率, 那么, 非常自然地, 就有,
det(AB)=det(A)* ...

没太明白，能否用更直白的方法说明下你这个方法呀？

[ 发自手机版 http://muchong.com/3g ]
赞一下(1人) 回复此楼
大师远去，新的一代正在成长
12楼2015-08-06 16:30:29
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通回帖

wurongjun

专家顾问 (职业作家)

【答案】应助回帖

★
感谢参与，应助指数 +1
令狐计划: 金币+1, ★有帮助 2015-08-05 22:32:11
只想提醒你!
A、B两个矩阵如果能够相乘的话,
不一定可以分别取行列式!
赞一下 回复此楼
善恶到头终有报,人间正道是沧桑.
2楼2015-08-05 22:27:22
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

令狐计划

新虫 (小有名气)
引用回帖:
2楼: Originally posted by wurongjun at 2015-08-05 22:27:22
只想提醒你!
A、B两个矩阵如果能够相乘的话,
不一定可以分别取行列式!

谢谢提醒。应增加一个条件，A、B皆为方阵。由于我的帖子不允许编辑了，特借此补充。
赞一下 回复此楼
3楼2015-08-05 22:33:50
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

sskkyy

银虫 (正式写手)

【答案】应助回帖

感谢参与，应助指数 +1
用矩阵的等价标准型也可以证明，思路如下：
如果A,B都是对角矩阵，那么显然成立。
一般的矩阵A可以 用第三类初等变化化为对角矩阵，而第三类初等变换不改变行列式。也就是A=DE, 其中E为一系列第三类初等矩阵的成绩。对B做类似的处理得B=D_1E_1, 注意到ED_1 = D_1 E0 for some E0 of  行列式1.
赞一下 回复此楼
4楼2015-08-05 23:05:55
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

mygt_hit

专家顾问 (职业作家)

【答案】应助回帖

感谢参与，应助指数 +1
大概是这样的。
A   0               0   AB
-I   B    ->        -I  B
左侧行列式 = |A||B|，右侧行列式 = |AB|
赞一下 回复此楼
知其然，知其所以然。
5楼2015-08-05 23:33:42
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

令狐计划

新虫 (小有名气)
引用回帖:
5楼: Originally posted by mygt_hit at 2015-08-05 23:33:42
大概是这样的。
A   0               0   AB
-I   B    ->        -I  B
左侧行列式 = |A||B|，右侧行列式 = |AB|

我的问题是如何想到如此证明的。即便我能看懂这种证明方法，我也不能原创性地想出这种方法。
赞一下 回复此楼
6楼2015-08-05 23:45:55
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

cooooldog

铁杆木虫 (著名写手)

ส็็็
引用回帖:
2楼: Originally posted by wurongjun at 2015-08-05 22:27:22
只想提醒你!
A、B两个矩阵如果能够相乘的话,
不一定可以分别取行列式!

我还以为是矩阵的范数，想想不对啊
赞一下 回复此楼
ส็็็็็็็็็็็็็็็็็็็็
8楼2015-08-06 06:45:01
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

mygt_hit

专家顾问 (职业作家)

【答案】应助回帖

★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
令狐计划: 金币+14, ★★★很有帮助, 我就把“深刻的理解，熟练的数学技巧，聪明的构造方法”作为答案吧。 2015-08-06 21:38:17
引用回帖:
6楼: Originally posted by 令狐计划 at 2015-08-05 23:45:55
我的问题是如何想到如此证明的。即便我能看懂这种证明方法，我也不能原创性地想出这种方法。...

具体怎么想出这种证明方法，我也不知道。就像一个数学证明，如何构造出证明方法来一样，需要对问题很深刻的理解，熟练的数学技巧，聪明的构造方法吧。

另外概念和直觉可以帮助深刻理解数学，并可能洞察、预测一些结果。但严谨的证明还是需要的。
赞一下 回复此楼
知其然，知其所以然。
9楼2015-08-06 10:01:36
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

令狐计划

新虫 (小有名气)
引用回帖:
9楼: Originally posted by mygt_hit at 2015-08-06 10:01:36
具体怎么想出这种证明方法，我也不知道。就像一个数学证明，如何构造出证明方法来一样，需要对问题很深刻的理解，熟练的数学技巧，聪明的构造方法吧。

另外概念和直觉可以帮助深刻理解数学，并可能洞察、预测一 ...

是的。严谨的证明需要有一个入口，我很看重怎么找到这个入口。就本问题而言，严谨的证明是可以看懂的，但怎么想到这一步的我并不知道。应该是需要“需要对问题很深刻的理解，熟练的数学技巧，聪明的构造方法”吧。
赞一下 回复此楼
10楼2015-08-06 10:37:21
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 学员HiEYQc 的主题更新
131/2返回列表12下一页
普通表情 龙 兔 虎 猫
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 国自然面上复盘~欢迎讨论 (金币+15) +16 晴天加油 2026-08-26 18/900 2026-09-02 09:39 by 昵称告罄
[基金申请] 要骂人了，新模版改版就是要淡化问题凝练这种虚的东西，结果有个评委还在说凝练得不够 +5 瞬息宇宙 2026-08-31 8/400 2026-09-02 09:37 by 昵称告罄
[基金申请] 科研人应该花精力去思考如何解决问题，而不是去凝练问题 +3 瞬息宇宙 2026-09-01 5/250 2026-09-02 08:01 by anjeeshine
[文学芳草园] 梦想 +5 myrtle 2026-08-26 8/400 2026-09-02 02:42 by Leogzhya
[基金申请] 面上合作单位盖章 +6 ssyjh 2026-08-27 9/450 2026-09-01 20:01 by huagongfeihu
[基金申请] 面上函评意见出来了，像什么等级？ 20+4 Tsingking1 2026-08-27 17/850 2026-09-01 19:51 by 超级无敌华子
[基金申请] 为什么国自然不能直接公布 +5 bjdxyxy 2026-08-26 5/250 2026-09-01 17:54 by 小伟大博士
[基金申请] 麻烦专家们看看评委们的意见（F口面上） +7 gdd2018 2026-08-28 12/600 2026-09-01 08:32 by 尼古拉斯小虫
[基金申请] 国社科又开始会评了，不知道这次命运如何 +7 雨打竹帘 2026-08-30 11/550 2026-08-31 23:16 by hittle2008
[基金申请] 面上意见出来了 +12 黄鸟于飞Chao 2026-08-29 23/1150 2026-08-31 18:57 by 黄鸟于飞Chao
[基金申请] 中青基了要发朋友圈吗？ +7 349506619 2026-08-28 7/350 2026-08-31 13:39 by 冼亮淀粉酶
[基金申请] 29号明天会评吗 +4 笨笨唐 2026-08-28 4/200 2026-08-31 09:30 by huixian257
[基金申请] 基金不中，共勉 +12 eulota 2026-08-26 12/600 2026-08-31 08:42 by ZJTJZ
[基金申请] 有没有仍没收到信息的 +7 德尚中行 2026-08-27 8/400 2026-08-30 20:52 by purplejack
[考博] 找导师 +6 yuanjiabao 2026-08-29 7/350 2026-08-30 14:40 by 生科新手
[基金申请] 国自然评审意见 +13 wangmingqi 2026-08-28 19/950 2026-08-29 10:22 by Poppy1104
[基金申请] 基金系统什么内容也没有 30+4 winsaint 2026-08-27 9/450 2026-08-28 11:06 by maolC
[基金申请] 怎么查啊 +6 huang1991js 2026-08-26 6/300 2026-08-28 08:42 by winsaint
[基金申请] 看板上这么多中的，有点像50人群里49个人都是骗子的那种感觉…… +5 a089 2026-08-26 6/300 2026-08-27 14:05 by jonewore
[基金申请] 为什么 国际(地区)合作与交流项目 没有放榜？ 10+3 majunge000 2026-08-26 11/550 2026-08-27 08:42 by 北京莱茵编辑
信息提示
关闭
请填处理意见
关闭