可对角矩阵是什么矩阵?有什么性质?