고유치 문제

(고윳값 문제에서 넘어옴)
대수학
이론
기본대상방정식부등식산술
수 체계실수 · 복소수 · 사원수
구조와 관심대상
군(Group)군의 작용, 실로우 정리
환(Ring)가환대수학
체(Field)갈루아 이론
가군(Module)
대수(Algebra)
정리
대수학의 기본정리 · 나머지 정리
다항식 · 유클리드 호제법 · 대수#s-1 · 노름
분야와 관심대상
대수학
정수론대수적 정수론 · 해석적 정수론
선형대수학벡터 · 행렬 · 선형변환
대수기하학스킴 · 모티브 · 사슬 복합체

고유치(eigenvalue[1], characteristic value) 문제란 고유치와 고유다항식, 고유벡터에 대한 문제이다. 많은 경우, 행렬의 대각화를 다루며 이 문제를 풀기 시작할 것이다. 고유치 문제는 행렬의 대각화에 대한 쓸모와는 별개로, 행렬에 대한 다양한 정보들을 준다. 행렬선형 변환 사이에는 1-1 대응이 있기에 선형 변환에 대해서도 마찬가지이다.

"고유"라는 단어는 영어 "characteristic", 독일어 "eigen"의 번역으로, "고유"에 대한 외국어 표기를 쓸 때에는 공간 상의 이유로, 영문 표기만 따로 적겠다.

여기서는 [math]F[/math] 위의 유한 차원 벡터 공간[math]V:=F^{n}[/math], [math]A\in M_{n}\left(F\right)[/math]에 대해 다룬다.

1 유한 차원 벡터 공간에서의 선형 변환과 고유치 문제

고유치 문제는, 정사각 행렬에 대해 다루는 것이 논하기 편하다. 그런데 유한 차원 벡터 공간 [math]V[/math]에 대해, 그 위의 선형 변환[math]T[/math]을 행렬로 변환시켜 행렬과 마찬가지의 논의를 할 수 있다. 이는, [math]V[/math]의 두 기저 [math]B_{1}[/math], [math]B_{2}[/math]에 대해, 행렬 [math]\left[T\right]_{B_{1}}[/math][math]\left[T\right]_{B_{2}}[/math]의 성질이 완전히 같기 때문에 가능한 일이다. [math]\left[T\right]_{B_{1}}[/math][math]\left[T\right]_{B_{2}}[/math]상사라는 관점에서, 상사인 행렬은 근본적으로 다를 바 없다는 것을 보여준다.

2 고유 다항식과 고유치, 고유 벡터, 고유 공간

영어로는 각각 characteristic polynomial, characteristic value (eigenvalue), characteristic vector (eigenvector), characteristic space (eigenspace)라 한다.
행렬대각화에서는 [math]\lambda x=Ax[/math][math]\lambda\in F[/math], [math]0\neq x\in V[/math]을 찾고 싶었다. 이는 [math]\left|\lambda I-A\right|=0[/math]여야 가능한 일이다. 즉, [math]\lambda\in F[/math]가 다항식 [math]\left|xI-A\right|\in F\left[x\right][/math]의 근이어야 한다. [math]\left|xI-A\right|[/math]고유 다항식(characteristic polynomial)이라 한다. 그리고 그 근 [math]\lambda\in F[/math]고유치(characteristic value)라 한다.[2] [math]\left|\lambda I-A\right|=0[/math]이므로, [math]0\neq x\in V[/math]가 존재하여 [math]\left(\lambda I-A\right)x=0[/math] 즉, [math]\lambda x=Ax[/math]이다. 이 [math]x\in V[/math][math]\lambda\in F[/math]에 대응하는 고유 벡터(characteristic vector)라 한다.고유 벡터의 모임[math]W_{\lambda}:=\left\{ x\in V:\lambda x=Ax\right\} [/math][math]\lambda\in F[/math]에 대응하는 고유 공간(characteristic space)라 한다. 명백히, [math]{\displaystyle \bigoplus_{\lambda\text{:char. val.}}}W_{\lambda}\ltV[/math]이다. 그리고 대각화 가능할 필요충분 조건은 [math]{\displaystyle \bigoplus_{\lambda\text{:char. val.}}}W_{\lambda}=V[/math]이다.

3 최소 다항식(minimal polynomial)

행렬[math]M_{n}\left(F\right)[/math][math]n^{2}[/math]차원 [math]F[/math]-벡터 공간이기도 하다. 따라서, [math]\left\{ A^{i}:0\leq i\leq n^{2}\right\} [/math]는 선형 종속이다. 따라서, 다항식 [math]0\neq p\in F\left[x\right][/math]가 존재하여, [math]\left(p\right)=\left\{ q\in F\left[x\right]:q\left(A\right)=O\right\} [/math]이고 [math]\deg p\leq n^{2}[/math]이다. 이 [math]p[/math][math]A[/math]의 최소 다항식이라 한다.

케일리-해밀턴 정리에 따라서, [math]A[/math]의 특성 다항식 [math]f[/math]에 대해, [math]p\mid f[/math]이다.

또, 기약 다항식 [math]i\in F\left[x\right][/math]에 대해, [math]i\nmid f[/math]면, [math]i\nmid p[/math]임이 알려져 있다.
  1. 붙여쓴다.
  2. 여기서 고유치를 논할 때에는, 고유 다항식의 근으로 다루었다. 그러나 무한 차원에서의 선형 변환 [math]T[/math]에 대해서까지 정의를 하고자 하면, [math]\lambda I-T[/math]가 비가역인 것이라 하면 된다.