线性代数中,矩阵满足什么条件可以相似对角化?