| 查看: 1509 | 回复: 22 | ||
[求助]
若<A,B>>=0, 非0矩阵A半正定，则B<0.
|
||
|
（1）若 (2) 任给的非0向量X， X^TAX>0等价于A>0. 谁能告诉我这两个结果的为什么是对的啊 |
回复此楼» 猜你喜欢
论文终于录用啦！满足毕业条件了
已经有13人回复
-
2025年遐想
已经有5人回复
-
投稿Elsevier的杂志（返修），总是在选择OA和subscription界面被踢皮球
已经有8人回复
-
求个博导看看
已经有18人回复
895701777
木虫 (著名写手)
进城农民工
- 应助: 36 (小学生)
- 金币: 1384.8
- 散金: 706
- 红花: 12
- 帖子: 1547
- 在线: 287.9小时
- 虫号: 2052402
- 注册: 2012-10-10
- 性别: GG
- 专业: 新闻理论
22楼2012-10-16 11:01:23
菩提色
木虫 (正式写手)
- 应助: 13 (小学生)
- 金币: 1592.9
- 红花: 1
- 帖子: 581
- 在线: 67.4小时
- 虫号: 1735005
- 注册: 2012-04-03
- 性别: GG
- 专业: 自然语言理解与机器翻译
2楼2012-10-13 10:35:44
3楼2012-10-13 10:40:17
4楼2012-10-13 10:43:33
秋雨飞叶
木虫 (小有名气)
- 应助: 38 (小学生)
- 金币: 2708.6
- 红花: 2
- 帖子: 183
- 在线: 130.8小时
- 虫号: 286267
- 注册: 2006-10-15
- 性别: GG
- 专业: 几何学
5楼2012-10-13 15:25:56
6楼2012-10-13 16:25:34
秋雨飞叶
木虫 (小有名气)
- 应助: 38 (小学生)
- 金币: 2708.6
- 红花: 2
- 帖子: 183
- 在线: 130.8小时
- 虫号: 286267
- 注册: 2006-10-15
- 性别: GG
- 专业: 几何学
7楼2012-10-13 17:43:10
秋雨飞叶
木虫 (小有名气)
- 应助: 38 (小学生)
- 金币: 2708.6
- 红花: 2
- 帖子: 183
- 在线: 130.8小时
- 虫号: 286267
- 注册: 2006-10-15
- 性别: GG
- 专业: 几何学
【答案】应助回帖
★ ★ ★
感谢参与，应助指数 +1
小雨萌萌: 金币+3, 谢谢应助~ 2012-10-25 20:51:26
感谢参与，应助指数 +1
小雨萌萌: 金币+3, 谢谢应助~ 2012-10-25 20:51:26
| 根据定义，B<0 当切仅当 PBP^{-1}<0，这里P为任意可逆矩阵。另外Tr(AB)=Tr(PABP^{-1}). 因此我们可以假定A是对角矩阵，且对角线都为非负数。从而Tr(AB)=\sum a_ib_{ii}>=0. 然而根据你的条件不能推出B<0. 例如A和B都取成单位矩阵。所以我假定 Tr(AB)<0. 另外，假如你的A和B都是对称矩阵，那么问题就很容易了。可以取一个可以对称矩阵P是的 PBP^{-1} 为对称矩阵。 Tr(AB)=Tr(PABP^{-1})=Tr(APBP^(-1))<0. 从而 B必须是负定的。注意如果A和B不是对称矩阵那么Tr(AB)＝Tr(BA)不一定成立。当两个都是对称矩阵的时候。 AB=A^TB=AB^T. 那么Tr(A^TB)=Tr(B^TA)=Tr(BA). |
8楼2012-10-13 18:23:48
秋雨飞叶
木虫 (小有名气)
- 应助: 38 (小学生)
- 金币: 2708.6
- 红花: 2
- 帖子: 183
- 在线: 130.8小时
- 虫号: 286267
- 注册: 2006-10-15
- 性别: GG
- 专业: 几何学
9楼2012-10-13 18:24:31
10楼2012-10-13 20:02:01