982
2024-07-02 20:27:06 224人阅读
$\bf命题1:$设$A$,$B$均为实对称半正定阵,则$tr\left( {AB} \right) \le tr\left( A \right) \cdot tr\left( B \right)$
证明:由$A$实对称知,存在正交阵$Q$,使得
<script id="MathJax-Element-1" type="math/tex; mode=display">A = Qdiag\left( {{\lambda _1}, \cdots ,{\lambda _n}} \right){Q^T}</script>
其中${{\lambda _1}}$为$A$的最大特征值,则
tr(AB)=tr(Qdiag(λ1,?,λn)QTB)=tr(diag(λ1,?,λn)QTBQ)=∑i=1nλibii≤λ1tr(B)≤(∑i=1nλi)?tr(B)=tr(A)?tr(B) <script id="MathJax-Element-2" type="math/tex; mode=display">\begin{align*} tr\left( {AB} \right) &= tr\left( {Qdiag\left( {{\lambda _1}, \cdots ,{\lambda _n}} \right){Q^T}B} \right)\\& {\rm{ }} = tr\left( {diag\left( {{\lambda _1}, \cdots ,{\lambda _n}} \right){Q^T}BQ} \right)\\& {\rm{ }} = \sum\limits_{i = 1}^n {{\lambda _i}{b_{ii}}} \le {\lambda _1}tr\left( B \right)\\& {\rm{ }} \le \left( {\sum\limits_{i = 1}^n {{\lambda _i}} } \right) \cdot tr\left( B \right) = tr\left( A \right) \cdot tr\left( B \right) \end{align*}</script>
其中${b_{11}}, \cdots ,{b_{nn}}$为${{Q^T}BQ}$的对角元$\bf注:$矩阵的迹的性质$tr\left( {MN} \right) = tr\left( {NM} \right)$
声明:以上内容来自用户投稿及互联网公开渠道收集整理发布,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任,若内容有误或涉及侵权可进行投诉:
投诉/举报 工作人员会在5个工作日内联系你,一经查实,本站将立刻删除涉嫌侵权内容。