[再寄小读者之数学篇](2014-11-21 关于积和式的一个不等式)

在 Rajendra Bhatia 的 Matrix Analysis 中, Exercise I.5.8 说: Prove that for any matrices $A,B$ we have $$\bex |\per (AB)|^2\leq \per (AA^*)\cdot \per (B^*B). \eex$$ (The corresponding relation for determinants is an easy equality.)

到目前为止, 我还没能证出. 不过得到一个貌似更弱的结论. 请看证明: $$\beex \bea |\per (AB)|^2 &=\sev{\sum_\sigma c_{1\sigma(1)}\cdot c_{n\sigma(n)}}^2\quad\sex{C=AB}\\ &=\sev{ \sum_{\sigma} \sez{\sum_{k_1} a_{1k_1}b_{k_1\sigma(1)} \cdots \sum_{k_n} a_{nk_n}b_{k_n\sigma(n)} }}^2\\ &=\sev{ \sum_{k_1\cdots k_n}\sez{ (a_{1k_1}\cdots a_{nk_n})\cdot \sex{\sum_{\sigma} b_{k_1\sigma(1)}\cdots b_{k_n\sigma(n)}} }}^2\\ &\leq \sum_{k_1\cdots k_n} |a_{1k_1}\cdots a_{nk_n}|^2 \cdot \sum_{k_1\cdots k_n}\sev{ \sum_\sigma | b_{k_1\sigma(1)}\cdots b_{k_n\sigma(n)} }^2\\ &=\sum_{k_1}|a_{1k_1}|^2 \cdots \sum_{k_n}|a_{nk_n}|^2 \cdot \sum_{k_1\cdots k_n} \sex{\sum_\sigma \bar b_{k_1\sigma(1)}\cdots \bar b_{k_n\sigma(n)} \cdot \sum_\tau b_{k_1\tau(1)}\cdots b_{k_n\tau(n)}}\\ &=\tilde a_{11}\cdots \tilde a_{nn} \sum_{\sigma,\tau} \sex{ \sum_{k_1} \bar b_{k_1\sigma(1)}b_{k_1\tau(1)} \cdots \sum_{k_n}\bar b_{k_n\sigma(n)}b_{k_n\tau(n)} }\quad\sex{AA^*=\tilde A}\\ &=\tilde a_{11}\cdots \tilde a_{nn} \sum_{\sigma}\sum_{\tau} \tilde b_{\sigma(1)\tau(1)} \cdots \tilde b_{\sigma(n)\tau(n)}\quad\sex{B^*B=\tilde B}\\ &=n!\cdot \tilde a_{11}\cdots \tilde a_{nn}\cdot \per(B^*B). \eea \eeex$$

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值