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

24小时热门版块排行榜    

Znn3bq.jpeg
小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 【庸师勿扰】关于一个矩阵计算方法证明的烦恼
汕头大学海洋科学接受调剂
131/2返回列表12下一页
查看: 1378  |  回复: 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下一页
普通表情 龙 兔 虎 猫
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 271求调剂 +30 2261744733 2026-04-11 34/1700 2026-04-13 15:24 by Kilig0317
[考研] 279学硕食品专业求调剂院校 20+6 孤独的狼爱吃羊 2026-04-12 20/1000 2026-04-13 13:40 by 北京莱茵润色
[考研] 一志愿哈工大 085600 277 12材科基求调剂 5+5 chenny174 2026-04-10 33/1650 2026-04-13 08:50 by Sammy2
[考研] 322求调剂，08工科 +4 今天是个小号 2026-04-08 4/200 2026-04-13 00:20 by baobaoye
[考研] 086000调剂 +6 十七sa 2026-04-07 6/300 2026-04-12 11:05 by 大力水手力大无�
[考研] 085410 273求调剂 +10 X1999 2026-04-09 10/500 2026-04-12 09:24 by 逆水乘风
[考研] 材料与化工300求调剂 +39 肖开文 2026-04-09 43/2150 2026-04-12 01:30 by 秋豆菜芽
[考研] 22专硕求调剂 +6 haoyun上岸 2026-04-11 8/400 2026-04-11 23:21 by labixiaoqiao
[考研] 一志愿厦大0856，306求调剂 +15 Bblinging 2026-04-11 15/750 2026-04-11 22:53 by 314126402
[考研] 求调剂，一志愿大连理工大学354分 +5 雨声余生 2026-04-11 6/300 2026-04-11 16:12 by 雨声余生
[考研] 农学0904 312求调剂 +6 Say Never 2026-04-10 6/300 2026-04-11 10:33 by wwj2530616
[考研] 283求调剂，工科！ +12 苏打水7777 2026-04-08 12/600 2026-04-11 10:28 by 逆水乘风
[考研] 22408 327分求调剂 +4 韵风kon 2026-04-10 4/200 2026-04-11 09:51 by 猪会飞
[考研] 中科院总分315求调剂 +8 lallalh 2026-04-09 8/400 2026-04-10 19:30 by dick_runner
[考研] 一志愿211，化学学硕，310分，本科重点双非，求调剂 +27 努力奋斗112 2026-04-07 30/1500 2026-04-10 15:06 by Kilig0317
[考研] 一志愿鲁东大学071000生物学学硕初试分数276求调剂 +20 慕绝cc 2026-04-09 24/1200 2026-04-10 10:22 by xujun0624
[考研] 332，085601求调剂 +12 ydfyh 2026-04-09 14/700 2026-04-09 17:28 by wp06
[考研] 277、学硕，求调剂 数一104， +11 瓶子PZ 2026-04-07 12/600 2026-04-07 23:30 by 一只好果子?
[考研] 计算机11408 287 求调剂 +3 LiLe5 2026-04-07 3/150 2026-04-07 23:15 by shanqishi
[考研] 259求调剂 +5 就爱吃土豆呀呀 2026-04-07 5/250 2026-04-07 22:40 by JourneyLucky
信息提示
关闭
请填处理意见
关闭