本文探讨了复数域上的矩阵特征值与复数共轭算子之间的不等关系，通过引入合适的内积定义，证明了特征值的实部小于等于原算子对应的特征值，提供了数学分析中矩阵理论的重要结论。
1. (Fan-Hoffman). 设 $A\in M_n$, 记 $\Re A=(A+A^*)/2$. 则 $$\bex \lm_j(\Re A)\leq s_j(A),\quad j=1,\cdots,n. \eex$$
证明: 对适合 $\sen{x}=1$ 的 $x\in\bbC^n$, $$\beex \bea x^*(\Re A)x&= x^*\frac{A+A^*}{2}x\\ &=\frac{1}{2}(x^*Ax+x^*A^*x)\\ &=\Re (x^*Ax)\quad\sex{z\in\bbC\ra z^*=\bar z}\\ &\leq |x^*Ax|\\ &=|\sef{Ax,x}|\\ &\leq \sen{Ax}. \eea \eeex$$ 于是由 Courant-Fischer 极小极大刻画, $$\beex \bea \lm_j(\Re A)&=\max_{S\subset \bbC^n\atop \dim S=j} \min_{x\in S\atop \sen{x}=1} x^*(\Re A)x\\ &\leq \max_{S\subset \bbC^n\atop \dim S=j} \min_{x\in S\atop \sen{x}=1} \sen{Ax}\\ &=s_j(A). \eea \eeex$$
扫一扫
182
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
