[再寄小读者之数学篇](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).

在 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$$

目录
相关文章
[再寄小读者之数学篇](2014-11-24 Abel 定理)
设幂级数 $\dps{g(x)=\sum_{n=0}^\infty a_nx^n}$ 在 $|x|N\ra |s_k-s|
594 0
[再寄小读者之数学篇](2014-11-19 一个代数不等式)
$$\bex \sqrt{x^2+x+1}+ \sqrt{y^2+y+1} +\sqrt{x^2-x+1}+ \sqrt{y^2-y+1}\geq 2(x+y). \eex$$ Ref. [Proof Without Words: An Algebraic Inequality, The College Mathematics Journal].
650 0
[再寄小读者之数学篇](2014-11-14 矩阵的应用: 数论)
1. 代数数: $\al\in\bbC$ 称为代数数, 如果它是某个系数为有理数的非零多项式的根. 2. 代数数全体构成一个域. (利用伙伴矩阵, 张量积很容易证明) 3. 代数整数: $\al\in\bbC$ 称为代数整数, 如果它是某个首一整系数多项式的根.
579 0
|
Perl
[再寄小读者之数学篇](2014-11-19 等差数列的部分和)
设 $\sed{a_k}_{k=1}^n$ 为等差数列, 则 $$\bex a_1+\cdots+a_n=\frac{n(a_1+a_n)}{2}. \eex$$ Ref. [Proof Without Words: Partial Sums of an Arithmetic Sequence, The College Mathematics Journal].
592 0
[再寄小读者之数学篇](2014-11-14 矩阵的应用: 友谊定理)
友谊定理: 如果在一群人中任何两个人都恰好有一个共同的朋友, 那么有一个人是每个人的朋友.
814 0
[再寄小读者之数学篇](2014-11-14 矩阵的应用: 代数)
Hilbert 零点定理: 设 $\bbF$ 是一个代数闭域, $L$ 是 $\bbF[x_1,\cdots,x_n]$ 的一个真理想, 则 $$\bex \exists\ (a_1,\cdots,a_n)\in\bbF^n\ra f(a_1,\cdots,a_n)=0,\quad\forall\ f\in L.
652 0
[再寄小读者之数学篇](2014-07-17 一阶中值)
设 $f(x)$ 在 $[a,b]$ 上可导, 且 $f'(a)=f'(b)$, 试证: $$\bex \exists\ \xi\in (a,b),\st f'(\xi)(\xi-a)=f(\xi)-f(a).
736 0
[再寄小读者之数学篇](2014-07-16 与对数有关的不等式)
试证: $$\bex (1+a)\ln (1+a)+(1+b)\ln (1+b)0. \eex$$   提示:  对函数 $f(x)=x\ln x$, 有 $$\bex f'(x)=\ln x+1,\quad f''(x)=\frac{1}{x}>0,\quad (x>0).
650 0
|
资源调度 关系型数据库 RDS
再寄小读者之数学篇[2014.01.01-2014.06.30]
[再寄小读者之数学篇](2014-06-28 证明级数几乎处处收敛) 设 $f\in L(\bbR)$, 试证: $$\bex \vsm{n}f(n^2x) \eex$$ 在 $\bbR$ 上几乎处处收敛到一 Lebesgue 函数.
930 0
[再寄小读者之数学篇](2014-06-26 绝对值不等式)
$$\bex \sev{x}+\sev{y}+\sev{z}+\sev{x+y+z}\geq \sev{x+y}+\sev{y+z}+\sev{z+x}. \eex$$
565 0