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

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 【庸师勿扰】关于一个矩阵计算方法证明的烦恼
131/2返回列表12下一页
查看: 1545  |  回复: 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下一页
普通表情 龙 兔 虎 猫
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 人气不行了 +9 fansofjerry 2026-08-21 9/450 2026-08-24 17:48 by zhaozhengxin
[基金申请] 如果此刻你正在为国基感到焦虑，不妨来听听这首《基金之外》 +5 scalable 2026-08-24 5/250 2026-08-24 17:03 by spiderzhuzhi
[基金申请] 今日不放榜？网传国自然预计 8 月 27 日可查结果 +17 医学老男孩 2026-08-20 21/1050 2026-08-24 14:21 by refreshing11
[基金申请] 估计是周四 +4 archvillain 2026-08-18 4/200 2026-08-24 13:53 by zzuzxg
[基金申请] 我面上完蛋了 +8 且听虎啸 2026-08-20 9/450 2026-08-24 13:52 by zzuzxg
[基金申请] 范进中举一文的中心思想 +6 炎黄贵胄 2026-08-22 7/350 2026-08-24 11:58 by 6543yes
[基金申请] 放榜前的不淡定 20+4 snowwithsea 2026-08-19 17/850 2026-08-24 10:20 by echo8914667
[基金申请] 科研孤儿太难了 +18 我4大白菜 2026-08-20 19/950 2026-08-24 09:47 by 凯恩广盛催化分�
[基金申请] 明天应该可查了！？ +4 chengyan1220 2026-08-23 4/200 2026-08-24 08:47 by gloomy6159
[基金申请] 什么时候开奖？ +10 CrisMessi 2026-08-18 11/550 2026-08-24 06:50 by 开心的小狮子
[基金申请] 2026年的国家社科基金项目通讯评审的新规则与新动向、新挑战 +4 process2012 2026-08-23 5/250 2026-08-23 19:58 by jurkat.1640
[基金申请] 93BebMhtakh前后11位开头都是大写 +7 且听虎啸 2026-08-17 8/400 2026-08-22 21:55 by 医学老男孩
[基金申请] 只有每年这种时候来逛逛小木虫 +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
[基金申请] 今天基金会出结果吗？20260819 +16 kkkl_v 2026-08-19 17/850 2026-08-22 16:12 by 阿布Abu
[基金申请] 看来今天不会放榜了？ +8 chengyan1220 2026-08-21 11/550 2026-08-21 17:52 by dcqxinyang
[基金申请] 应该是下周三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
[基金申请] 重要消息，中午系统在维护 +11 yuleib84 2026-08-18 12/600 2026-08-20 11:09 by xskun
信息提示
关闭
请填处理意见
关闭