[再寄小读者之数学篇](2014-10-27 Frobenius 范数是酉不变范数)

简介: 对任两酉阵 $U,V$, 有 $$\bex \sen{A}_F=\sen{UAV}_F. \eex$$   事实上, $$\beex \bea \sen{UAV}_F^2&=\tr(V^*A^*U^*\cdot UAV)\\ &=\tr (V^*A^*AV)\\ &=\tr(AVV^*A^*)...

对任两酉阵 $U,V$, 有 $$\bex \sen{A}_F=\sen{UAV}_F. \eex$$

 

事实上, $$\beex \bea \sen{UAV}_F^2&=\tr(V^*A^*U^*\cdot UAV)\\ &=\tr (V^*A^*AV)\\ &=\tr(AVV^*A^*)\quad\sex{\tr(AB)=\tr(BA)}\\ &=\tr(AA^*)\\ &=\tr(A^*A)\\ &=\sen{A}_F^2. \eea \eeex$$

目录
相关文章
[再寄小读者之数学篇](2014-11-26 正定矩阵乘积的特征值)
设 $A,B$ 都是实正定矩阵, 则 $A^{-1}B$ 的特征值都是正实数.
700 0
[再寄小读者之数学篇](2014-11-14 矩阵的应用: 多项式)
多项式 $$\bex p(z)=z^n+a_{n-1}x^{n-1}+\cdots+a_0 \eex$$ 的根的估计.
571 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.
639 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].
643 0
[再寄小读者之数学篇](2014-11-02 平方和公式在正定矩阵上的推广)
一般, 我们有 $$\bex a,b>0\ra 2ab\leq a^2+b^2. \eex$$ 但这个在正定矩阵中没有推广. 毕竟我们已有结论 ($A>0$ 表示 $A$ 正定) $$\bex A,B>0\not\ra AB\mbox{ 正定}.
817 0
|
机器学习/深度学习
[再寄小读者之数学篇](2014-10-18 利用 Lagrange 中值定理求极限)
试求 $$\bex \vlm{n}n^2\sex{x^\frac{1}{n}-x^\frac{1}{n+1}},\quad x>0. \eex$$   解答: $$\beex \bea \mbox{原极限} &=\vlm{n}n^2\cdot x^\xi\ln x\sex{\frac{1}{n}...
621 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).
640 0
[再寄小读者之数学篇](2014-07-16 二阶中值)
设 $f(x)$ 在 $[a,b]$ 上二阶可微, 试证: 对任意 $c\in (a,b)$, 存在 $\xi\in (a,b)$ 使得 $$\bex \frac{f''(\xi)}{2}=\frac{f(a)}{(a-b)(a-c)} +\frac{f(b)}{(b-a)(b-c)}+\frac{f(c)}{(c-a)(c-b)}.
577 0
|
Perl
[再寄小读者之数学篇](2014-07-09 多项式的辗转相除与线性变换)
设 $V$ 是由次数不超过 $4$ 的一切实系数一元多项式组成的向量空间. 对于 $V$ 上的任意多项式 $f(x)$, 以 $x^2-1$ 除 $f(x)$ 所得的商式及余式分别为 $q(x)$ 和 $r(x)$, 记 $$\bex f(x)=q(x)(x^2-1)+r(x).
846 0
[再寄小读者之数学篇](2014-06-23 向量公式)
$$\bex \n\times({\bf a}\times{\bf b})=({\bf b}\cdot\n){\bf a} -({\bf a}\cdot\n){\bf b}+{\bf a}(\n\cdot{\bf b})-{\bf b}(\n\cdot{\bf a}).
540 0