jordan标准型与可对角化的关系