24小时热门版块排行榜    

查看: 2344  |  回复: 8

numzero

新虫 (初入文坛)

[求助] 问一个行列式不等式证明,设A半正定,则det(A)^(1/m) <= 1/m. det(A) 已有1人参与

A半正定,则det(A)^(1/m) <= 1/m. det(A)这个怎么证

发自小木虫Android客户端
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Edstrayer

版主 (著名写手)

方寸斗室小天地正气迷漫大世界

命题不成立:
为n阶单位矩阵式,A是正定的,但是当时,有:,因此就有:

青葱岁月圣诞夜,浪漫歌舞迎新年。
2楼2015-11-17 19:11:43
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

numzero

新虫 (初入文坛)

引用回帖:
2楼: Originally posted by Edstrayer at 2015-11-17 19:11:43
命题不成立:
当A=I_n为n阶单位矩阵式,A是正定的,但是当m>1时,有:det(A)=1,因此就有:
\left(det(A)\right)^{\frac{1}{m}}=1>\frac{1}{m}det(A)...

是书搞错了。我开始是这么想的,后面觉得可能是非正定的,然后又举不出半正定又不正定的例子,不过刚才找到原题了,后面是tr(A).谢谢

发自小木虫Android客户端
3楼2015-11-17 19:22:18
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Edstrayer

版主 (著名写手)

方寸斗室小天地正气迷漫大世界

引用回帖:
3楼: Originally posted by numzero at 2015-11-17 19:22:18
是书搞错了。我开始是这么想的,后面觉得可能是非正定的,然后又举不出半正定又不正定的例子,不过刚才找到原题了,后面是tr(A).谢谢
...

也是错的
青葱岁月圣诞夜,浪漫歌舞迎新年。
4楼2015-11-18 18:22:28
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

numzero

新虫 (初入文坛)

引用回帖:
4楼: Originally posted by Edstrayer at 2015-11-18 18:22:28
也是错的...

是这样   det(A)^(1/m) <= 1/m tr(A)

发自小木虫Android客户端
5楼2015-11-18 20:09:43
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

wurongjun

专家顾问 (职业作家)

【答案】应助回帖

感谢参与,应助指数 +1
改正了以后的题目证法:
det(A)=λ1λ2...λn
再用基本不等式即可!
(λ1λ2...λn)^(1/m)<=(λ1+λ2+...+λn)/m=1/m tr(A)
善恶到头终有报,人间正道是沧桑.
6楼2015-11-18 22:13:51
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Edstrayer

版主 (著名写手)

方寸斗室小天地正气迷漫大世界

引用回帖:
6楼: Originally posted by wurongjun at 2015-11-18 22:13:51
改正了以后的题目证法:
det(A)=λ1λ2...λn
再用基本不等式即可!
(λ1λ2...λn)^(1/m)<=(λ1+λ2+...+λn)/m=1/m tr(A)

改正以后命题也不成立
事实上,当为n阶单位矩阵时,


于是就有,当时,有:

青葱岁月圣诞夜,浪漫歌舞迎新年。
7楼2015-11-19 00:16:32
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

引用回帖:
7楼: Originally posted by Edstrayer at 2015-11-19 00:16:32
改正以后命题也不成立
事实上,当A=I_n为n阶单位矩阵时,
det(A)=1,tr(A)=n
于是就有,当m>n时,有:
\left(det(A)\right)^{\frac{1}{m}}=1>\frac{n}{m}=\frac{1}{m}\cdot tr(A)...

Edstrayer, wurongjun 以及 楼主都是正确的, 题目需要表述清楚:

设A是 mxm的半正定矩阵, 则:

https://en.wikipedia.org/wiki/In ... and_geometric_means
We_must_know. We_will_know.
8楼2015-11-19 01:21:07
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

wurongjun

专家顾问 (职业作家)

【答案】应助回帖

引用回帖:
7楼: Originally posted by Edstrayer at 2015-11-19 00:16:32
改正以后命题也不成立
事实上,当A=I_n为n阶单位矩阵时,
det(A)=1,tr(A)=n
于是就有,当m>n时,有:
\left(det(A)\right)^{\frac{1}{m}}=1>\frac{n}{m}=\frac{1}{m}\cdot tr(A)...

疏忽啦!
应该是m为矩阵的阶数!
改正了以后的题目证法:
det(A)=λ1λ2...λn
再用基本不等式即可!
(λ1λ2...λn)^(1/n)<=(λ1+λ2+...+λn)/n=1/n tr(A)
善恶到头终有报,人间正道是沧桑.
9楼2015-11-19 09:12:17
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 numzero 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 我面上完蛋了 +9 且听虎啸 2026-08-20 10/500 2026-08-24 20:08 by 苦寒来香
[基金申请] 能否退出参与的面上项目解除限项 +21 koalala 2026-08-24 24/1200 2026-08-24 19:25 by 家与远方
[基金申请] filecode,4个jtjc了 +14 ziyangfang 2026-08-19 17/850 2026-08-24 18:37 by 哈哈蛤?
[基金申请] 2026国自然函评费到账 +17 羊腰板 2026-08-21 19/950 2026-08-24 16:52 by iaeyuan
[基金申请] 建议基金发布提前给出明确的时间点 +13 kulium 2026-08-21 16/800 2026-08-24 16:27 by superceng
[基金申请] 今日不放榜?网传国自然预计 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
[基金申请] 范进中举一文的中心思想 +6 炎黄贵胄 2026-08-22 7/350 2026-08-24 11:58 by 6543yes
[基金申请] 让我中一个面上吧! +13 大萍1987 2026-08-20 16/800 2026-08-24 10:23 by 太傻了
[基金申请] 放榜前的不淡定 20+4 snowwithsea 2026-08-19 17/850 2026-08-24 10:20 by echo8914667
[基金申请] 什么时候开奖? +10 CrisMessi 2026-08-18 11/550 2026-08-24 06:50 by 开心的小狮子
[教师之家] 跳槽后在研项目怎么办? +5 简单化xn 2026-08-22 10/500 2026-08-23 12:38 by 简单化xn
[基金申请] 今天放榜吗? +15 布布和一二 2026-08-19 16/800 2026-08-23 09:55 by 张春生
[基金申请] 今天基金会出结果吗?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
[基金申请] 时间戳又变了 +13 wuchongjun 2026-08-20 19/950 2026-08-21 17:21 by 紫杉醇
[基金申请] 今天放榜没戏了吧 +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
[基金申请] 明天放榜? +5 Shxjjxjkx 2026-08-18 5/250 2026-08-18 18:14 by -大大大大大-
[基金申请] 今天维护系统维护 祝所有人 高中 +8 gjjjzhong 2026-08-18 9/450 2026-08-18 13:01 by 家与远方
信息提示
请填处理意见