免費論壇 繁體 | 簡體
Sclub交友聊天~加入聊天室當版主
分享
返回列表 发帖
对称半正定矩阵必有分解$A=UU^T$,则$\mathrm{tr}(AB)=\mathrm{tr}(BA)=\mathrm{tr}((BU)U^T)=\mathrm{tr}(U^TBU)\geqslant 0$。最后是因为B为半正定,故$U^TBU$也是半正定。剩下就要证明取等号条件了,显然当A和B任何一个为零,等号成立。接下来考虑它们都不为零的情况。
因为A实对称,则必然有正交矩阵满足$P^TAP=S=\mathrm{diag}[s_1,s_2,\cdots,s_k,0,0,\cdots,0]$,其中$s_1,s_2,\cdots,s_k>0$
则$\mathrm{tr}(AB)=\mathrm{tr}(PSP^TB)=\mathrm{tr}(PS(P^TBP)P^T)=\mathrm{tr}(PSVP^T)=\mathrm{tr}(PP^TSV)=\mathrm{tr}(SV)$,这里$V=P^TBP$为半正定对称矩阵。既然$\mathrm{tr}(AB)=\mathrm{tr}(SV)=0$,而$S$为半正定对角矩阵,故$SV=0$,从而$AB=PSVP^T=0$.

TOP

本帖最后由 Infinity 于 2020-3-18 15:34 编辑

还有一个更简单的证法:
对称半正定矩阵必有分解$A=UU^T$,$B=LL^T$,则$\mathrm{tr}(AB)=\mathrm{tr}(UU^TLL^T)=\mathrm{tr}(L^TUU^TL)=\mathrm{tr}(CC^T)$其中$C=L^TU$。显然$CC^T$也是对称半正定的,故$\mathrm{tr}(AB)=\mathrm{tr}(CC^T)\geqslant 0$。
当取等号时$\mathrm{tr}(AB)=\mathrm{tr}(CC^T)=0$,因为半正定,从而$CC^T$特征值全为零,故$C=0$,$AB=LCU^T=0$。
另外一个问题:如果A,B都是n阶半正定矩阵,若存在正交阵P使得$P^TAP,P^TBP$都是对角矩阵,那么本题就很简单了,直接$AB=PSP^TBPP^T=PSVP^T=PWP^T$,$V$是半正定对角阵,而$W=SV$也是半正定对角阵,题目结论显然成立。但实际上,这样的P不一定存在,理由如下:
假设存在这样的$P$,即存在对角阵$D$,使得$P^TAP=DP^TBP$,其实$D$在哪一边无所谓(这句话有漏洞),故不失一般性,就设$A$的秩为$k$而B的秩不小于$k$,而$S=DV$也是对角阵。显然,若B的秩等于$k$,那么对角阵$D$存在(只需定义0/0=任意有限实常数即可)。若B的秩大于$k$,则D中某些对角元素必须为无穷大才行(因为会出现正数除以零的情况),故不存在这样的D,即不存在满足同时对角化条件的正交阵P。
上面的证明有漏洞,那就是A和B对角化后他们之间只要有一个方向成比例即可,不必要求等号从左到右和从右到左都成立。于是,因此只有当上面等式中的A和B交换后仍成立,则P总存在。这就意味着当$AB=BA$时,才存在同时将其对角化的P。

TOP

回复 4# abababa

是的,$U$不一定可逆,当然,它可以是实对称矩阵,即$A=U^2$,也就是你给出的根号那种关系(矩阵的函数通常用指数形式表示根号,所以没太习惯过来)。对于任意列向量$x$,令$y=Ux$,因$B$半正定,则$y^TBy\geqslant 0$,于是$x^T(U^TBU)x\geqslant 0$从而$U^TBU$半正定。
关于最后同时合同对角化的问题,这个P为可逆复数矩阵时估计存在,为实矩阵不太清楚,感觉有可能存在,有可能不存在。因为合同只管符号,不管值,所以比相似要宽松一点。

TOP

回复 6# abababa
这里是有些问题,只要$x$非零,$y$为零不要紧,因为我们证明的是后者。或者按照这个顺序来看,对于任意非零向量$x$,总有$x^T(B^TBU)x=y^TBy\geqslant 0$,而最后不管$y$如何,不等号始终成立。
最后那个问题:当$A$正定时,也就是可逆时,存在同一个可逆阵$P$,同时使得$A$合同于单位阵,且$B$合同于对角阵。
当$B$可逆,如果$AB^{-1}$的特征值互异,同样也是存在同一个可逆阵$Q$,同时使$A$和$B$同时合同于对角阵,且这两个对角阵元素之间可以用这些特征值构成的对角阵作为乘积因子联系起来。

TOP

后面这种情况就是我在你那个帖子里回复的广义特征值问题,这里是用标准特征值形式叙述的。

TOP

返回列表 回复 发帖