矩阵可对角化的充要条件是？

假设矩阵为A，则充要条件为：
1）A有n个线性无关的特征向量.
2)A的极小多项式没有重根.
充分非必要条件：
1)A没有重特征值
2)A*A^H=A^H*A
必要非充分条件：
f(A)可对角化,其中f是收敛半径大于A的谱半径的任何解析函数