性质 1
设一个实对称矩阵
X
X
X (
X
∈
S
n
X\in S^n
X∈Sn),它的最大特征值为
λ
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}
∀y∈Rn,∥y∥2=1⟹yTXy≤λ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=P∧PT - K 重特征根必有 K 个线性无关的特征向量。