선형 변환 (행렬) 이 대각화 가능하기 위한 조건