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

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 求助一个简单的矩阵行列式问题~~~
131/2返回列表12下一页
查看: 2380  |  回复: 12
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

thematicsroy

新虫 (小有名气)

[求助] 求助一个简单的矩阵行列式问题~~~

已知有矩阵A,B满足：AA+I=0，AB=BA，求证det(B)>=0,

囧，看起来挺简单的题吧，就是想不起来怎么做了。。。所以特来求助各位~谢谢了
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助:
1楼 2013-11-29 13:11:33
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
回帖支持 ( 显示支持度最高的前 50 名 )

hank612

至尊木虫 (著名写手)

【答案】应助回帖

★ ★ ★ ★ ★
感谢参与，应助指数 +1
thematicsroy: 金币+5, ★★★很有帮助, 谢谢~ 2013-12-03 18:18:09
引用回帖:
10楼: Originally posted by thematicsroy at 2013-12-01 13:55:24
忘了说了，A，B都是实矩阵。。。...

thematicsroy 加了一个超强的限制条件， 使得 maolo927的反例不构成干扰。

B的行列式来自它的特征值的乘积， 我们逐项分析。
考虑Ker( (B-lambda)^n ), 设它的维数为k, 那么这个lambda对行列式的贡献是 lambda^k 这个因子。

如果lambda是复数(不是实数), 那么由于B是实数矩阵，lambda的共轭(lambda BAR) 也以相同次数成对出现，两拨合起来对 对行列式的贡献是 |lambda|^k 这个正的因子。

如果lambda是实数, 由于AB=BA, Ker( (B-lambda)^n )是A-不变子空间。 (就是说，if (B-lambda)^n (w)=0, then  (B-lambda)^n (Aw)=0 ).
也就是说， Ker( (B-lambda)^n )可以分解成 A 的不可约不变子空间的直和。可是，由于A是实数矩阵， 它的最小多项式必须等于X^2+1, 从而它的任意一个不可约的不变子空间都是2 维的，形如(w, Aw)两个向量张成。 因此 k是偶数， 所以lambda^k 这个因子是非负的。

所以thematicsroy， Peterflyer， feixiaolin等的猜测成立。
赞一下(1人) 回复此楼
We_must_know. We_will_know.
12楼2013-12-02 02:13:08
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通回帖

peterflyer

木虫之王 (文学泰斗)

peterflyer

【答案】应助回帖

感谢参与，应助指数 +1
证明：
因为AA+I=0 ，故A=A^(-1)  即det(A)≥0
又因为AB=BA，                                       （1）
  （1）式两边同左乘A^(-1)
则  B=A^(-1)BA
   （1）式两边同右乘A^(-1)
则  B=ABA^(-1)
  故 A^(-1)BA=ABA^(-1)=[A^(-1)BA]^(-1)
即  B=B^(-1)
  故 det(B)≥0

证毕。
赞一下 回复此楼
2楼2013-11-30 21:44:43
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

thematicsroy

新虫 (小有名气)
引用回帖:
2楼: Originally posted by peterflyer at 2013-11-30 21:44:43
证明：
因为AA+I=0 ，故A=A^(-1)  即det(A)≥0
又因为AB=BA，                                       （1）
  （1）式两边同左乘A^(-1)
则  B=A^(-1)BA
   （1）式两边同右乘A^(-1)
则  B=ABA^(-1)
  故 A^ ...

有几个问题：
A=-A^(-1)?
B=B^(-1）不能推出det（B）>0吧？比如：B=diag(-1,1)=B^(-1)时
而且B=B^(-1）这个结论的前一个步骤有问题

不过还是谢谢啦~
赞一下 回复此楼
3楼2013-11-30 22:46:27
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

peterflyer

木虫之王 (文学泰斗)

peterflyer
引用回帖:
3楼: Originally posted by thematicsroy at 2013-11-30 22:46:27
有几个问题：
A=-A^(-1)?
B=B^(-1）不能推出det（B）>0吧？比如：B=diag(-1,1)=B^(-1)时
而且B=B^(-1）这个结论的前一个步骤有问题

不过还是谢谢啦~...

AA+I=0
故 AA=-I ，两边同左乘A^(-1)
A^(-1)AA=-A^(-1)I=-A^(-1)
故  A=-A^(-1)
这段有问题吗？
另由 AB=BA,说明A、B均为方阵，若方阵有逆，则其行列式不为零。
赞一下 回复此楼
4楼2013-11-30 23:00:41
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

feixiaolin

荣誉版主 (文坛精英)

优秀版主
引用回帖:
4楼: Originally posted by peterflyer at 2013-11-30 23:00:41
AA+I=0
故 AA=-I ，两边同左乘A^(-1)
A^(-1)AA=-A^(-1)I=-A^(-1)
故  A=-A^(-1)
这段有问题吗？
另由 AB=BA,说明A、B均为方阵，若方阵有逆，则其行列式不为零。...

是否可利用同构矩阵性质？
赞一下 回复此楼
5楼2013-11-30 23:07:22
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

peterflyer

木虫之王 (文学泰斗)

peterflyer
引用回帖:
5楼: Originally posted by feixiaolin at 2013-11-30 23:07:22
是否可利用同构矩阵性质？...

这下可真不知道怎么做了，求版主指教。
赞一下 回复此楼
6楼2013-11-30 23:34:37
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

maolo927

银虫 (正式写手)

【答案】应助回帖

感谢参与，应助指数 +1
不成立。反例:
A= [i 0 ]      B= [1   0]
   [0  i]  ,      [0  -1]
满足所有条件，但
det B=-1<0
赞一下 回复此楼
7楼2013-12-01 08:35:22
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

maolo927

银虫 (正式写手)
A=diag(i ,i)
B=diag(1 ,-1)
赞一下 回复此楼
8楼2013-12-01 08:39:20
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

peterflyer

木虫之王 (文学泰斗)

peterflyer

【答案】应助回帖

引用回帖:
7楼: Originally posted by maolo927 at 2013-12-01 08:35:22
不成立。反例:
A=       B=
     ,      
满足所有条件，但
det B=-1<0

7楼，若再加上个条件：A、B均为实矩阵，结论是否成立呢？
赞一下 回复此楼
9楼2013-12-01 13:06:50
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

thematicsroy

新虫 (小有名气)
引用回帖:
7楼: Originally posted by maolo927 at 2013-12-01 08:35:22
不成立。反例:
A=       B=
     ,      
满足所有条件，但
det B=-1<0

忘了说了，A，B都是实矩阵。。。
赞一下 回复此楼
10楼2013-12-01 13:55:24
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 thematicsroy 的主题更新
131/2返回列表12下一页
普通表情 龙 兔 虎 猫
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 93BebMhtakh前后11位开头都是大写 +4 且听虎啸 2026-08-17 5/250 2026-08-18 00:49 by 蔡棒棒菂
[基金申请] 欢迎发来filecode的Mz6后的代码验证其规律 +37 医学老男孩 2026-08-13 86/4300 2026-08-18 00:18 by longsantaizi
[基金申请] 感觉是下周放榜了 +6 angus9576 2026-08-17 11/550 2026-08-17 23:57 by angus9576
[基金申请] filecode=后面第一个是大写字母 +8 wangze12014 2026-08-14 10/500 2026-08-17 17:05 by xter9665
[基金申请] 时间戳变了，能看出什么问题？ +4 基诺咪客 2026-08-17 4/200 2026-08-17 16:10 by Vivilian
[基金申请] 哪位老哥知道今年的国自然具体哪一天放榜？ +12 Ldrop2023 2026-08-13 15/750 2026-08-17 15:02 by 小豌豆_发芽
[基金申请] 今天系统多次维护，明天很可能放榜！ +8 zju2000 2026-08-16 9/450 2026-08-17 12:20 by lmz0216
[基金申请] 2027广东省杰青 +3 奶牛小黑 2026-08-15 6/300 2026-08-16 20:07 by 奶牛小黑
[基金申请] 快农历七夕节了，轻松一下，男人悄悄话，女施主请不要进来。 +3 Tide man 2026-08-14 3/150 2026-08-16 17:47 by jurkat.1640
[基金申请] 有时候，自然基金真的不能太认真 （我的申报经验） +10 majunge000 2026-08-11 12/600 2026-08-16 08:18 by xli1984
[精细化工] 招聘 金属平磨液，抛光液研发工程师 +3 小天0311 2026-08-14 3/150 2026-08-16 07:31 by H9PLUS
[基金申请] 各位道友，我要去昆明玩几天，回来见。 +7 Tide man 2026-08-14 8/400 2026-08-15 01:11 by arzu_hma
[基金申请] 是这周出结果还是下周出结果？ +4 yuleib84 2026-08-11 4/200 2026-08-14 23:05 by lfy8008
[基金申请] 重要来源：本周末出结果 +10 瞬息宇宙 2026-08-12 10/500 2026-08-13 15:46 by likettle
[基金申请] 不应该看fileCode +7 且听虎啸 2026-08-12 9/450 2026-08-13 14:27 by flydreamws
[基金申请] Filecode 又变了，巨变 +3 WH3796 2026-08-12 4/200 2026-08-13 14:13 by 小木虫6752397
[基金申请] 分享一下我之前已中青C的计划书的filecode +4 布布和一二 2026-08-11 5/250 2026-08-13 12:56 by cratir
[基金申请] 结合人工智能，周易传统文化，filecode打分制来了，3分以上希望很大。 +3 Tide man 2026-08-12 4/200 2026-08-13 08:35 by ZJTJZ
[基金申请] 2019年青年基金涵评意见，大家看看几个A，几个B? +11 Tide man 2026-08-11 11/550 2026-08-13 07:35 by 撸猫猫
[基金申请] 什么时候出结果，有咨询渠道？？？ +3 Tide man 2026-08-11 3/150 2026-08-11 17:54 by kudofaye
信息提示
关闭
请填处理意见
关闭