线性变换可对角化的充要条件 - 详细解析及证明

线性变换可对角化的充分条件是存在一个由特征向量组成的基，使得线性变换在这个基下的矩阵是对角矩阵。

更具体地说，如果一个线性变换T的所有特征值都是不同的，那么它就可以对角化。具体来说，假设T的特征值为λ1, λ2, …, λn，对应的特征向量为v1, v2, …, vn。那么我们可以构造一个由这些特征向量组成的矩阵P，使得P的第i列为特征向量vi，那么P的逆矩阵P^-1就是一个由特征向量组成的基。此时，线性变换T在这个基下的矩阵就是对角矩阵D，其中D的第i个对角元素为λi。

另一方面，如果一个线性变换T可以对角化，那么它的所有特征向量构成的集合一定是线性无关的，即它们张成的空间是整个向量空间。这是因为如果存在一个非零向量不在这些特征向量张成的空间内，那么这个向量不可能是对角化矩阵的特征向量，与对角化的假设矛盾。

因此，线性变换可对角化的充分条件是它的特征向量可以构成一个由n个线性无关向量组成的集合，其中n为向量空间的维数。