정의
콤팩트 작용소(compact operator)는 함수해석학에서 바나흐 공간 또는 힐베르트 공간 상에서 정의된 선형 작용소의 일종으로, 유계 집합(bounded set)을 상대 콤팩트 집합(relatively compact set)으로 보내는 작용소를 말한다. 즉, 선형 작용소 $ T: X \to Y $가 콤팩트 작용소라는 것은 $ X $의 임의의 유계 집합 $ B $에 대해 $ T(B) $의 닫힘(closure)이 $ Y $에서 콤팩트 집합이 되는 것을 의미한다.
개요
콤팩트 작용소는 무한 차원 함수 공간에서의 적분 방정식, 스펙트럼 이론, 그리고 미분 방정식의 해에 대한 해석에서 중요한 역할을 한다. 유한 차원 공간에서의 선형 변환은 모두 콥렉트 작용소와 유사한 성질을 가지지만, 무한 차원 공간에서는 작용소의 연속성과 콤팩트성 사이에 명확한 차이가 존재한다. 콤팩트 작용소는 유한 차원 작용소의 일반화로 간주되며, 특히 힐베르트 공간에서는 특이값 분해(singular value decomposition)를 통해 명확히 표현될 수 있다.
어원/유래
"콤팩트 작용소"라는 용어는 'compact'와 'operator'의 합성어로, 'compact'는 위상수학에서 집합의 콤팩트성(임의의 열린 덮개에 유한 부분 덮개가 존재하는 성질)에서 유래하였다. 'operator'는 함수해석학에서 함수 공간 사이의 사상을 일컫는 일반적인 용어이다. 이 개념은 20세기 초, 적분 방정식 이론을 다루던 수학자들에 의해 도입되었으며, 프레드홀름(Fredholm)의 적분 방정식 연구에서 그 기원을 찾을 수 있다. 이후 리스(Frigyes Riesz) 등에 의해 수학적으로 정립되었다.
특징
- 콤팩트 작용소는 항상 연속(유계) 선형 작용소이다.
- 콤팩트 작용소의 극한(작용소 노름 수렴)은 콤팩트 작용소이다. 즉, 콤팩트 작용소들의 공간은 유계 작용소 공간의 닫힌 부분공간이다.
- 힐베르트 공간에서 콤팩트 작용소는 유한 차원 작용소들의 극한으로 표현될 수 있다.
- 콤팩트 작용소의 스펙트럼은 0을 제외하면 고립된 고윳값들로 구성되며, 고윳값은 0에만 집적될 수 있다.
- 항등작용소(identity operator)가 콤팩트 작용소가 되기 위한 필요충분조건은 공간의 차원이 유한한 것이다.
관련 항목
- 선형 작용소
- 유계 작용소
- 스펙트럼 이론
- 프레드홀름 작용소
- 힐베르트-슈미트 작용소
- 프레드홀름 적분 방정식
- 바나흐 공간
- 힐베르트 공간