性质 1

设一个实对称矩阵 X X X ( X ∈ S n X\in S^n XSn),它的最大特征值为 λ m a x \lambda_{max} λmax,则满足性质:
∀ y ∈ R n , ∥ y ∥ 2 = 1 ⟹ y T X y ≤ λ m a x \forall y\in R^n, \|y\|_2=1\quad \Longrightarrow\quad y^TXy\leq \lambda_{max} yRn,y2=1yTXyλmax

证明:

根据实对称矩阵的另外一个性质:
X = Q T Λ Q X=Q^T\Lambda Q X=QTΛQ
其中, Q Q Q 为正交矩阵,即 Q T Q = I Q^TQ=I QTQ=I,而 Λ \Lambda Λ 为特征根的对角线矩阵。
y T X y = y T Q T Λ Q y = U T Λ U ( U = Q y ) = λ 1 u 1 2 + λ 2 u 2 2 + ⋯ + λ n u n 2 ≤ λ m a x ( u 1 2 + ⋯ + u n 2 ) = λ m a x U T U = λ m a x y T Q T Q y = λ m a x y T y = λ m a x \begin{aligned} y^T X y=& y^T Q^T \Lambda Qy \\ =&U^T \Lambda U\quad (U=Qy) \\ =& \lambda_1 u_1^2+\lambda_2 u_2^2+\dots +\lambda_n u_n^2 \\ \leq & \lambda_{max}(u_1^2+\dots + u_n^2) \\ =&\lambda_{max}U^TU \\ =& \lambda_{max}y^T Q^TQy \\ =& \lambda_{max} y^Ty=\lambda_{max} \end{aligned} yTXy======yTQTΛQyUTΛU(U=Qy)λ1u12+λ2u22++λnun2λmax(u12++un2)λmaxUTUλmaxyTQTQyλmaxyTy=λmax

证毕. □ \Box

其实用到了谱分解。

其他性质

  • 实对称矩阵的特征根也为实数,特征向量为实向量。特别的,实对称矩阵 A A T AA^T AAT 的特征根都为非负数。(特征根全部大于零才可逆)
  • 实对称矩阵不同特征根对应的特征向量相互正交。
  • 实对称矩阵都可以正交对角化,即对于实对称矩阵 A A A,存在一个正交矩阵 P \bf P P 以及对角线矩阵 ∧ \bf \land ,使得**
    A = P ∧ P T A=P\wedge P^T A=PPT
  • K 重特征根必有 K 个线性无关的特征向量。