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

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 一个复矩阵不等式的证明
71/1返回列表
查看: 1817  |  回复: 6
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

yangaili

金虫 (小有名气)

[求助] 一个复矩阵不等式的证明

已知 M 是 n 阶实矩阵，M+M^T（^T 表示转置）正定，对于任意的 n 元复向量 y，证明：
    [(M+M^T)y, y]>[i (M-M^T)y, y],
其中 [. , .] 表示欧氏内积。
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助:
1楼 2011-11-04 15:28:14
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Jackie2011

木虫 (正式写手)

【答案】应助回帖

yangaili(金币+5): 我对右侧<=0的解释不是很清楚，进一步解释之后会送出剩余金币，非常感谢！ 2011-11-06 17:54:44
由M+M^T正定（可分解）和内积定义知道，左侧恒正；
由M-M^T反对称实矩阵和内积定义知道，右侧<=0;
故不等式成立！
赞一下 回复此楼
学好外语，不忘数学！
2楼2011-11-05 10:10:55
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

yangaili

金虫 (小有名气)
引用回帖:
2楼: Originally posted by Jackie2011 at 2011-11-05 10:10:55:
由M+M^T正定（可分解）和内积定义知道，左侧恒正；
由M-M^T反对称实矩阵和内积定义知道，右侧<=0;
故不等式成立！

左侧恒正很明显；右侧 M-M^T 的确是反对称实矩阵，并且 i*(M-M^T) 是Hermite阵，但右侧 <=0 我利用内积定义看不出来，您能否说的详细点？非常感谢！！！
赞一下 回复此楼
3楼2011-11-06 17:50:41
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Jackie2011

木虫 (正式写手)

【答案】应助回帖

引用回帖:
3楼: Originally posted by yangaili at 2011-11-06 17:50:41:
左侧恒正很明显；右侧 M-M^T 的确是反对称实矩阵，并且 i*(M-M^T) 是Hermite阵，但右侧 <=0 我利用内积定义看不出来，您能否说的详细点？非常感谢！！！

启发下：
先求反对称矩阵的特征值试试？能否对角化分解？
赞一下 回复此楼
学好外语，不忘数学！
4楼2011-11-06 20:06:02
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Jackie2011

木虫 (正式写手)

【答案】应助回帖

引用回帖:
3楼: Originally posted by yangaili at 2011-11-06 17:50:41:
左侧恒正很明显；右侧 M-M^T 的确是反对称实矩阵，并且 i*(M-M^T) 是Hermite阵，但右侧 <=0 我利用内积定义看不出来，您能否说的详细点？非常感谢！！！

注意 i*(M-M^T)的酉对角化，特征值全为实数和迹为零 ！
赞一下 回复此楼
学好外语，不忘数学！
5楼2011-11-07 11:14:30
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

yangaili

金虫 (小有名气)
引用回帖:
5楼: Originally posted by Jackie2011 at 2011-11-07 11:14:30:
注意 i*(M-M^T)的酉对角化，特征值全为实数和迹为零 ！

利用酉对角化能把右侧式子化得很简单，但并不能说明右侧<=0，因为特征值有正有负，y是任意的。尽管迹为零，也还是得不出要的结论。
事实上，右侧也有可能>0, 比如 取$M=\begin{pmatrix}2&1\\0&2\end{pmatrix}$, 则 $M-M^T=\begin{pmatrix}0&1\\-1&0\end{pmatrix}$, 取$y=\begin{pmatrix}1+i\\1-i\end{pmatrix}$, 此时右侧=4.
十分感谢您的回答！！！
赞一下 回复此楼
6楼2011-11-08 09:23:36
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

yangaili

金虫 (小有名气)
引用回帖:
5楼: Originally posted by Jackie2011 at 2011-11-07 11:14:30:
注意 i*(M-M^T)的酉对角化，特征值全为实数和迹为零 ！

利用酉对角化能把右侧式子化得很简单，但并不能说明右侧<=0，因为特征值有正有负，y是任意的。尽管迹为零，也还是得不出要的结论。
事实上，右侧也有可能>0, 比如 取 则 [latex]M-M^T=\begin{pmatrix}0&1\\-1&0\end{pmatrix},[latex] 取[latex]y=\begin{pmatrix}1+i\\1-i\end{pmatrix},[latex], 此时右侧=4.
十分感谢您的回答！！！
赞一下 回复此楼
7楼2011-11-08 09:33:02
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 cmalyang 的主题更新
71/1返回列表
普通表情 龙 兔 虎 猫
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[文学芳草园] 厉娜 +3 张丹枫1991 2026-11-09 5/250 2026-11-09 16:53 by 张丹枫1991
[考博] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +5 kvewwGtKktqB 2026-11-04 12/600 2026-11-09 13:26 by Equinoxhua
[考研] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +5 ttH3f1oA6ace 2026-11-04 15/750 2026-11-09 13:19 by Equinoxhua
[考研] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 +6 5sJFDKp2kwuI 2026-11-06 14/700 2026-11-09 11:52 by GwrQVVR6Oenx
[硕博家园] 售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急 +5 5sJFDKp2kwuI 2026-11-06 16/800 2026-11-09 11:47 by GwrQVVR6Oenx
[考博] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 +5 5sJFDKp2kwuI 2026-11-06 15/750 2026-11-09 11:41 by GwrQVVR6Oenx
[硕博家园] 售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急 +4 5sJFDKp2kwuI 2026-11-06 10/500 2026-11-09 08:00 by IhnEQauGmT3K
[考研] 售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急 +3 5sJFDKp2kwuI 2026-11-06 12/600 2026-11-09 06:32 by l48hFd8Nwae2
[公派出国] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +4 5sJFDKp2kwuI 2026-11-06 8/400 2026-11-09 00:14 by l48hFd8Nwae2
[教师之家] 售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急 +4 5sJFDKp2kwuI 2026-11-06 8/400 2026-11-08 23:01 by l48hFd8Nwae2
[教师之家] 售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急 +5 5sJFDKp2kwuI 2026-11-06 9/450 2026-11-08 22:46 by l48hFd8Nwae2
[公派出国] 售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急 +5 ttH3f1oA6ace 2026-11-04 10/500 2026-11-06 16:12 by 5sJFDKp2kwuI
[公派出国] 售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急 +6 ttH3f1oA6ace 2026-11-04 12/600 2026-11-06 16:10 by 5sJFDKp2kwuI
[硕博家园] 售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急 +4 ttH3f1oA6ace 2026-11-04 11/550 2026-11-06 16:10 by 5sJFDKp2kwuI
[公派出国] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +5 kvewwGtKktqB 2026-11-04 14/700 2026-11-06 05:10 by qL1cU46YIdK0
[硕博家园] 售SCI一区T0P文章，我:8O.55.1.O.5.4,科目齐全,可+急 +6 kvewwGtKktqB 2026-11-04 16/800 2026-11-06 05:00 by qL1cU46YIdK0
[考博] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +4 ttH3f1oA6ace 2026-11-04 7/350 2026-11-06 02:13 by qL1cU46YIdK0
[考研] 售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急 +4 ttH3f1oA6ace 2026-11-04 10/500 2026-11-06 02:04 by qL1cU46YIdK0
[硕博家园] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +3 ttH3f1oA6ace 2026-11-04 9/450 2026-11-06 02:02 by qL1cU46YIdK0
[硕博家园] 售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急 +4 hNpp4Y2CGvSC 2026-11-04 12/600 2026-11-06 01:53 by qL1cU46YIdK0
信息提示
关闭
请填处理意见
关闭