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

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 问一个行列式不等式证明，设A半正定，则det(A)^(1/m) <= 1/m. det(A)
91/1返回列表
查看: 2410  |  回复: 8
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

numzero

新虫 (初入文坛)

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

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

发自小木虫Android客户端
回复此楼

» 猜你喜欢
1楼 2015-11-17 18:57:18
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Edstrayer

版主 (著名写手)

方寸斗室小天地正气迷漫大世界
命题不成立：
当为n阶单位矩阵式，A是正定的，但是当时，有：，因此就有：
赞一下(2人) 回复此楼
青葱岁月圣诞夜，浪漫歌舞迎新年。
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)
赞一下(1人) 回复此楼
善恶到头终有报,人间正道是沧桑.
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阶单位矩阵时，


于是就有，当时，有：
赞一下(1人) 回复此楼
青葱岁月圣诞夜，浪漫歌舞迎新年。
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)
赞一下(1人) 回复此楼
善恶到头终有报,人间正道是沧桑.
9楼2015-11-19 09:12:17
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 numzero 的主题更新
91/1返回列表
普通表情 龙 兔 虎 猫
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[硕博家园] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +3 hKe7U1kad5Sg 2026-10-31 5/250 2026-11-02 00:47 by xzcv0Tehd8lQ
[基金申请] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +5 xvJS1BYDxvBS 2026-10-31 10/500 2026-11-02 00:24 by xzcv0Tehd8lQ
[基金申请] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +4 1uaZt2kAZj2S 2026-10-30 15/750 2026-11-02 00:08 by xzcv0Tehd8lQ
[博后之家] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +4 1uaZt2kAZj2S 2026-10-30 16/800 2026-11-01 23:55 by xzcv0Tehd8lQ
[找工作] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +3 hKe7U1kad5Sg 2026-10-31 5/250 2026-11-01 22:27 by xzcv0Tehd8lQ
[考博] 售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急 +3 hKe7U1kad5Sg 2026-10-31 6/300 2026-11-01 22:11 by xzcv0Tehd8lQ
[论文投稿] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +3 hKe7U1kad5Sg 2026-10-31 5/250 2026-11-01 20:03 by xzcv0Tehd8lQ
[公派出国] 售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急 +4 1uaZt2kAZj2S 2026-10-30 15/750 2026-11-01 16:52 by BCdvBAEpt3zm
[找工作] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +4 1uaZt2kAZj2S 2026-10-31 8/400 2026-11-01 14:48 by BCdvBAEpt3zm
[硕博家园] 越来越担心硕士毕业后没有竞争力了 +9 zuesli 2026-10-27 15/750 2026-11-01 12:59 by Equinoxhua
[基金申请] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +3 xvJS1BYDxvBS 2026-10-31 3/150 2026-11-01 12:53 by BCdvBAEpt3zm
[公派出国] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +4 1uaZt2kAZj2S 2026-10-31 7/350 2026-11-01 12:40 by BCdvBAEpt3zm
[考博] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +3 1uaZt2kAZj2S 2026-10-30 10/500 2026-11-01 12:27 by BCdvBAEpt3zm
[基金申请] 售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急 +4 1uaZt2kAZj2S 2026-10-30 11/550 2026-11-01 12:24 by BCdvBAEpt3zm
[硕博家园] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +3 1uaZt2kAZj2S 2026-10-30 13/650 2026-11-01 12:14 by BCdvBAEpt3zm
[公派出国] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +3 hKe7U1kad5Sg 2026-10-31 5/250 2026-11-01 11:14 by BCdvBAEpt3zm
[考博] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +3 xvJS1BYDxvBS 2026-10-31 4/200 2026-11-01 11:01 by BCdvBAEpt3zm
[论文投稿] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 +5 X5bHxOULxFqb 2026-10-30 26/1300 2026-11-01 10:22 by BCdvBAEpt3zm
[论文投稿] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +3 1uaZt2kAZj2S 2026-10-31 8/400 2026-11-01 03:59 by YXM1FDCSE8Bn
[考博] 2027博士申请-临床检验诊断学、病原生物学、微生物方向 50+3 yyh@ 2026-10-28 4/200 2026-10-31 12:47 by 可淡不可忘
信息提示
关闭
请填处理意见
关闭