프레드홀름 작용소

틀:위키데이터 속성 추적 함수해석학에서 프레드홀름 작용소(Fredholm作用素, 틀:Llang)는 두 바나흐 공간 사이의, 핵과 여핵이 유한 차원인 유계 작용소이다. 이 경우, 핵의 차원과 여핵의 차원의 차를 그 지표(指標, 틀:Llang)라고 한다.

정의

$𝕂\in \{ℝ,ℂ\}$이며, $X$와 $Y$가 $𝕂$-바나흐 공간이라고 하자. $X$와 $Y$ 사이의 $𝕂$-유계 작용소 $T\in B(X,Y;𝕂)$에 대하여, 다음 세 조건들이 서로 동치이며, 이를 만족시키는 $𝕂$-유계 작용소를 프레드홀름 작용소라고 한다.

• $T$의 핵 $\ker T=T^{-1}(0)$과 여핵 $\mathrm{coker}T=Y/\mathrm{im}T$이 유한 차원의 벡터 공간이다.틀:Rp 여기서 $Y/\mathrm{im}T$는 공역의 그 상에 대한 몫공간이다.
• 핵 $\ker T$과 여핵 $\mathrm{coker}T$이 유한 차원이며, 또한 그 상 $T(X)$가 닫힌집합이다.
• $T$는 콤팩트 작용소를 제외하고 가역이다. 즉, 유계 작용소 $S\in B(Y,X)$가 존재하여, ${\mathrm{Id}}_X-ST$와 ${\mathrm{Id}}_Y-TS$ 둘 다 콤팩트 작용소이다.

프레드홀름 작용소 $T$의 지표 $\mathrm{ind}T$는 그 핵의 차원과 여핵의 차원의 차다.

$\mathrm{ind}T=\dim \ker T-\dim \mathrm{coker}T$.

성질

연산에 대한 닫힘

프레드홀름 작용소들은 합성에 대하여 닫혀 있으며, 이는 지표에 대하여 가법(加法)이다. 즉, 임의의 세 $𝕂$-바나흐 공간 사이의 두 프레드홀름 작용소

$X\stackrel{T}{\to }Y\stackrel{U}{\to }Z$

가 주어졌을 때, $U\circ T:X\to Z$ 역시 프레드홀름 작용소이며,

$\mathrm{ind}(U\circ T)=\mathrm{ind}(U)+\mathrm{ind}(T)$

이다.

프레드홀름 작용소와 콤팩트 작용소의 합은 프레드홀름 작용소이며, 그 프레드홀름 지표는 변하지 않는다. 즉, 두 $𝕂$-바나흐 공간 $X,Y$ 사이의 프레드홀름 작용소 $F:X\to Y$와 콤팩트 작용소 $K:X\to Y$가 주어졌을 때,

$\mathrm{ind}(F+K)=\mathrm{ind}(F)$

이다.

위상수학적 성질

$𝕂$-유계 작용소의 공간 $\mathrm{B}(X,Y;𝕂)$에 작용소 노름을 부여하자. 그렇다면, 프레드홀름 작용소들의 집합

$\mathrm{Fred}(X,Y;𝕂)\subseteq \mathrm{B}(X,Y;𝕂)$

은 그 속의 열린집합이다.

아티야-싱어 지표 정리

틀:본문 매끄러운 다양체 위의 매끄러운 벡터 다발의 매끄러운 단면 공간 위의 프레드홀름 작용소의 지표는 아티야-싱어 지표 정리로 계산된다.

예

만약 $X$와 $Y$가 유한 차원 바나흐 공간이라면, 그 사이의 모든 유계 작용소는 프레드홀름 작용소이다. 즉, 프레드홀름 작용소의 개념은 무한 차원에서만 의미가 있다.

임의의 $𝕂$-바나흐 공간 위의 항등 함수는 (자명하게) 지표 0의 프레드홀름 작용소이다.

밀기

분해 가능 $𝕂$-힐베르트 공간 $\mathscr{H}$의 정규 직교 기저

$(e_i{)}_{i=0}^{\mathrm{\infty }}$

를 생각하자. 그렇다면, 밀기 연산자(틀:Llang)

$S:e_i\mapsto e_{i+1}\mathrm{\forall }i\in \mathbb{N}$

를 생각할 수 있다. 이 경우

$\ker S=\{0\}$

$\mathrm{im}S={({\mathrm{Span}}_{𝕂}\{e_0\})}^{\perp }$

이므로

$\mathrm{ind}S=\dim \ker S-\dim \mathrm{coker}S=-1$

이다.

역사

적분 방정식 이론을 개척한 스웨덴의 수학자 에리크 이바르 프레드홀름의 이름을 땄다.

각주

• 틀:서적 인용
• 틀:서적 인용

외부 링크

• 틀:Eom