30.2 고유값(Eigenvalue)과 고유벡터(Eigenvector)의 형식적 정의