24小时热门版块排行榜    

查看: 1519  |  回复: 22
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

我欲无痕

铜虫 (正式写手)

[求助] 若<A,B>>=0, 非0矩阵A半正定,则B<0.

(1)若>=0, 非0矩阵A半正定,则B<0.
(2) 任给的非0向量X, X^TAX>0等价于A>0.
谁能告诉我这两个结果的为什么是对的啊
回复此楼
阳光总在风雨后
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

秋雨飞叶

木虫 (小有名气)

【答案】应助回帖

★ ★ ★
感谢参与,应助指数 +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
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 23 个回答

菩提色

木虫 (正式写手)

【答案】应助回帖

感谢参与,应助指数 +1
第一个可以用反证法来证明,第二个偶不会
天行健,君子以自强不息
2楼2012-10-13 10:35:44
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

我欲无痕

铜虫 (正式写手)

第一个反证法怎么证明啊
阳光总在风雨后
3楼2012-10-13 10:40:17
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

我欲无痕

铜虫 (正式写手)

引用回帖:
2楼: Originally posted by 菩提色 at 2012-10-13 10:35:44
第一个可以用反证法来证明,第二个偶不会

第一个反证法怎么证明 能不能给个具体的过程
阳光总在风雨后
4楼2012-10-13 10:43:33
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
信息提示
请填处理意见