982
2024-07-02 20:27:06 223人阅读
$\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个工作日内联系你，一经查实，本站将立刻删除涉嫌侵权内容。
