特征向量的线性无关性

特征向量的线性无关性

设 $\lambda_1, \cdots, \lambda_m$ 是线性变换 $f$ 的 $m$ 个不同的特征值，
$\xi_{i1}, \cdots, \xi_{in_i}$ 是属于 $\lambda_i$ 的 $n_i$ 个线性无关的特征向量，
则所有这些这些向量组成的向量组：
$\xi_{11}, \cdots, \xi_{1n_1}, \cdots, \xi_{m1}, \cdots, \xi_{mn_m}$也线性无关。

证明

命题就是：
$\sum \limits_{i = 1} ^{m} \sum \limits_{j = 1} ^{n_i}k_{ij} \xi_{ij} = \vec {0} \Rightarrow k_{ij} = 0, i, j \in \mathbb N, 1 \le i \le m, 1 \le j \le n_i,$

$m = 1$ 时命题显然成立。
假设