대각화 가능 행렬: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
54번째 줄:
-1&0
\end{pmatrix} \in \operatorname{Mat}(2;K)</math>
<math>K</math>가 [[체 (수학)|체]]일 때, 이 행렬이 대각화 가능 행렬이 될 [[필요 충분 조건]]은 다음과 같다.
이 행렬이 대각화 가능 행렬이 될 [[필요 충분 조건]]은 <math>K</math>에서 <math>-1</math>이 [[제곱수]]인지 여부이다. 만약 <math>K</math>에서 <math>-1</math>의 제곱근 <math>\mathrm i \in K</math>가 존재할 경우 이 행렬은 두 고윳값 <math>\pm\mathrm i</math>을 가지며, 따라서 대각화 가능 행렬이다. 그러나 그렇지 않을 경우 이 행렬은 [[고윳값]]을 갖지 않으며, 따라서 대각화 가능 행렬이 아니다.
* <math>K</math>에서 <math>-1</math>이 두 개의 제곱근을 갖는다.
즉, 만약 <math>K</math>의 [[체의 표수|표수]]가 2가 아니며, <math>-1</math>의 제곱근 <math>\mathrm i \in K</math>가 존재할 경우 이 행렬은 두 고윳값 <math>\pm\mathrm i</math>을 가지며, 따라서 대각화 가능 행렬이다. 만약 <math>K</math>에서 <math>-1</math>이 제곱수가 아닐 경우, 이 행렬은 [[고윳값]]을 갖지 않으며, 따라서 대각화 가능 행렬이 아니다. 만약 <math>K</math>의 [[체의 표수|표수]]가 2일 경우, <math>-1=1</math>은 하나의 제곱근만을 가지며, 이 행렬은 하나의 [[고윳값]] (1)을 가지며, 그 [[고유 공간]]은 1차원이므로, 따라서 이 행렬은 대각화 가능 행렬이 아니다.
 
=== 대각화의 예 ===