24小时热门版块排行榜

返回列表

wall_2012

铁虫 (小有名气)

应助: 0 (幼儿园)
金币: 4.5
帖子: 58
在线: 19.5小时
虫号: 2034778
注册: 2012-09-28
专业: 数理统计

[求助] 矩阵证明

设两个列满秩矩阵 $A_{p\times q}$ 和 $B_{p\times (p-q)}$ 满足 $A'B=0$ ,试证明：对任意的正定阵 $S$ ,有
$S^{-1}-S^{-1}A(A'S^{-1}A)^{-1}A'S^{-1}=B(B'SB)^{-1}B'$

回复此楼

» 猜你喜欢

浙江师范大学是怎么坑我的已经有8人回复
售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急已经有3人回复
求教各位大神：2026教育部人文社科青年基金项目何时公示呀？已经有6人回复
面上有专家说实验设备不是我们单位的已经有8人回复
科研求助已经有4人回复
博士去二本高校当辅导员，如何调整心态？已经有11人回复
江苏省自然基金什么时候出结果已经有6人回复
闲聊已经有3人回复

1楼 2015-01-15 22:59:54

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

数学EPI: 14
应助: 225 (大学生)
金币: 14270.6
散金: 1055
红花: 95
帖子: 1526
在线: 1375.8小时
虫号: 2530333
注册: 2013-07-03
性别: GG
专业: 理论和计算化学

★ ★ ★ ★ ★
wall_2012(feixiaolin代发): 金币+5 2015-01-17 15:50:06

引理: 如果S正定, 那么(Sv,v)>0, 对于任意非零向量 $0\neq v\in V^p$ .

由于A,B列满秩,并且A'B=0, 因此Range(A)和Range(B)构成V^p的正交分解.

这也意味着, 如果y不等于零, 因为SB(y)在Range(B)中正交投影,至少B(y)部分,非零, 所以SB(y)不属于Range(A)空间. 换句话说, Range(A) 和Range(SB)构成V^p的直和分解.

对于任意 $v\in V^p$ , 存在 $x\in V^{q}, y\in V^{p-q}$ 使得 $v=Ax+SBy$

于是由A'B=0, B'A=0知道

$(S^{-1}A(A'S^{-1}A)^{-1}A'S^{-1}+B(B'SB)^{-1}B')(Ax+SBy)=S^{-1}Ax+By=S^{-1}(Ax+SBy)$ ,

所以

$(S^{-1}A(A'S^{-1}A)^{-1}A'S^{-1}+B(B'SB)^{-1}B')=S^{-1}$

赞一下(2人)

回复此楼

We_must_know. We_will_know.

2楼2015-01-16 04:32:57

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

wall_2012

铁虫 (小有名气)

应助: 0 (幼儿园)
金币: 4.5
帖子: 58
在线: 19.5小时
虫号: 2034778
注册: 2012-09-28
专业: 数理统计

引用回帖:

2楼: Originally posted by hank612 at 2015-01-16 04:32:57
引理: 如果S正定, 那么(Sv,v)>0, 对于任意非零向量0\neq v\in V^p.

由于A,B列满秩,并且A'B=0, 因此Range(A)和Range(B)构成V^p的正交分解.

这也意味着, 如果y不等于零, 因为SB(y)在Range(B)中正交投影,至少 ...

(Sv,v)>0，请问一下，这个符号表示什么意思啊？

赞一下

回复此楼

3楼2015-01-21 20:05:14

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖