핵작용소

틀:위키데이터 속성 추적 함수해석학에서, 핵작용소(核作用素, 틀:Llang)는 그 성분들의 $p$거듭제곱들의 합이 수렴하는 콤팩트 작용소이다. 특히, $p=1$일 경우(즉, 성분들의 합이 절대 수렴)를 대각합류 작용소(對角合類作用素, 틀:Llang)라고 하며, 이 경우 무한 차원의 경우에도 대각합을 정의할 수 있다. $p=2$인 경우를 힐베르트-슈미트 작용소(Hilbert-Schmidt作用素, 틀:Llang)라고 한다.

정의

$𝕂\in \{ℝ,ℂ\}$가 실수체 또는 복소수체 가운데 하나라고 하자. 임의의 양의 실수 $p\in {ℝ}^{+}$가 주어졌다고 하자.

두 $𝕂$-힐베르트 공간 $V$, $W$ 사이의 유계 작용소

$T:V\to W$

가 다음과 같은 꼴의 급수로 표현될 수 있다면, $T$를 $p$차 핵작용소($p$次核作用素, 틀:Llang)라고 한다.

$T=\sum _{0\le i<N}{\alpha }_i{f}_i⟨e_i,-⟩$

여기서

• $0\le N\le \mathrm{\infty }$이다.
• $(e_i{)}_{0\le i<N}$는 $V$ 속의 정규 직교열이다. 즉, $⟨e_i,e_j⟩={\delta }_{ij}$이어야 한다. (그러나 $(e_i{)}_{0\le i<N}$는 $V$의 정규 직교 기저일 필요가 없다. 예를 들어, 만약 $V$가 분해 가능 공간이 아니라면 이는 정규 직교 기저일 수 없다.)
• $(f_i{)}_{0\le i<N}$는 $W$ 속의 정규 직교열이다. 즉, $⟨f_i,f_j⟩={\delta }_{ij}$이어야 한다. (그러나 $(f_i{)}_{0\le i<N}$는 $W$의 정규 직교 기저일 필요가 없다. 예를 들어, 만약 $W$가 분해 가능 공간이 아니라면 이는 정규 직교 기저일 수 없다.)
• $({\alpha }_i{)}_{0\le i<N}\in {\mathrm{L}}^p(\{i{\}}_{0\le i<N};𝕂)$. (여기서 ${\mathrm{L}}^p(\{i{\}}_{0\le i<N};𝕂)$은 크기 $N$의 이산 공간 위의 르베그 공간이다. 만약 $N=\mathrm{\infty }$라면 이는 ${\ell }^p(𝕂)$이며, $N<\mathrm{\infty }$라면 이는 ${𝕂}^N$이다.)
• 급수의 수렴은 유계 작용소 공간 $\mathrm{B}(V,W)$의 작용소 노름에 대한 것이다.

만약 $p=1$일 경우, 1차 핵작용소는 대각합류 작용소 또는 단순히 핵작용소라고 불린다.틀:Rp 만약 $p=2$일 경우, 2차 핵작용소는 힐베르트-슈미트 작용소라고 불린다.틀:Rp

$V$와 $W$ 사이의 $p$차 핵작용소들의 $𝕂$-벡터 공간을

${𝔖}_p(V,W)\subseteq \mathrm{B}(V,W)$

로 표기하자. 이는 유계 작용소 공간 $\mathrm{B}(V,W)$의 부분 공간이므로, 따라서 $𝕂$-노름 공간을 이룬다.

바나흐 공간의 경우

핵작용소의 정의는 $0<p\le 1$의 경우 바나흐 공간으로 일반화될 수 있다. 그러나 $p>1$일 경우 이는 그렇지 않다.

연산

대각합

임의의 $𝕂$-힐베르트 공간 $V$에 대하여, ${𝔖}_1(V,V)$ 위에 다음과 같은 함수를 정의할 수 있으며, 이를 대각합이라고 한다.

$\mathrm{tr}:{𝔖}_p(V,V)\to 𝕂$

$\mathrm{tr}(\sum _{0\le i<N}⟨e_i,-⟩{\alpha }_{ij}{e}_j)=\sum _{i=0}^N{\alpha }_{ij}$

이는 사용되는 정규 직교 벡터열 $e_i$에 의존하지 않음을 보일 수 있다.

이는 ${𝔖}_1(V,V)$ 위의 $𝕂$-선형 변환을 이룬다.

샤텐 노름

마찬가지로, ${𝔖}_p(V,W)$ 위에 다음과 같은 샤텐 $p$-노름(틀:Llang)을 정의할 수 있다.

$\Vert {\Vert }_p:{𝔖}_p(V,W)\to {ℝ}_{\ge 0}$

$\Vert {\Vert }_p:T\mapsto {\mathrm{tr}}_V(T^{*}T{)}^{p/2}={\mathrm{tr}}_W(T{T}^{*}{)}^{p/2}$

($T^{*}$는 에르미트 수반이다. $1/q$거듭제곱을 취하는 것은 $T^{*}T$가 자기 수반 작용소이기 때문에 가능하며, 그 결과는 항상 ${𝔖}_1$에 속한다.) (물론, $p<1$일 경우 샤텐 $p$-노름은 사실 노름이 아니다.) 이는 위와 동치로 $T$의 (대수적 중복수를 고려한) 특잇값 $(s_i{)}_{i=0}^N$들이 주어졌을 때

$\Vert T\Vert =\sum _{0\le i<N}|s_i{|}^p$

로 정의될 수 있다.

위와 같은 $p$-노름을 부여하면, ${𝔖}_p(V,W)$는 $𝕂$-바나흐 공간을 이룬다.틀:Rp

힐베르트-슈미트 내적

특히, $p=2$인 경우, ${𝔖}_2(V,W)$는 힐베르트 공간을 이룬다. 구체적으로, 그 내적은 다음과 같다.

$⟨S,T⟩=\mathrm{tr}(S^{*}T)$

이 내적은 힐베르트-슈미트 내적(Hilbert-Schmidt內積, 틀:Llang)이라고 한다.

이에 따라, 다음과 같은 $𝕂$-힐베르트 공간 사이의 동형(유니터리 변환)이 존재한다.

${𝔖}_2(V,W)\to \overline{V}{\hat{\otimes }}_{𝕂}W$

$\sum _{0\le i<N}⟨e_i,-⟩{\alpha }_{ij}{f}_j\mapsto \sum _{0\le i<N}{\alpha }_{ij}{\overline{e}}_i{\otimes }_{𝕂}{f}_j$

여기서 ${\hat{\otimes }}_{𝕂}$는 (대수적) $𝕂$-텐서곱의 완비화 (=힐베르트 텐서곱)를 뜻한다.

임의의 $0<p<2$에 대하여, ${𝒮}_p(V,V)$ 위에도 힐베르트-슈미트 내적을 부여할 수 있으나, 이 경우 일반적으로 이 내적 공간은 힐베르트 공간을 이루지 못하며, 내적에 대한 완비화는 ${𝔖}_2(V,V)$이다.

성질

포함 관계

정의에 따라, 임의의 $0<p\le p^{\prime }<\mathrm{\infty }$에 대하여 다음이 성립한다.

${𝔖}_p(V,W)\subseteq {𝔖}_{p^{\prime }}(V,W)$

또한, 만약 $V$와 $W$가 무한 차원이라면 이 포함 관계는 일치하지 않는다. (만약 $V$와 $W$가 유한 차원이라면 물론 항상 ${𝔖}_p(V,W)=\mathrm{B}(V,W)$이다.)

특히, 두 $𝕂$-힐베르트 공간 사이의 선형 변환에 대하여 다음과 같은 포함 관계가 성립한다.

선형 변환 ⊇ 유계 작용소 ⊇ 콤팩트 작용소 ⊇ 힐베르트-슈미트 작용소 ⊇ 대각합류 작용소

연산에 대한 닫힘

임의의 $0<p<\mathrm{\infty }$에 대하여, ${𝔖}_p(V,W)$는 $𝕂$-벡터 공간을 이룬다. 즉, 이들은 유한 합과 스칼라 곱에 대하여 닫혀 있다. 또한, 임의의 $T\in {𝔖}_p(V,W)$에 대하여, 그 에르미트 수반 역시 다음과 같은 핵작용소이다.

$T^{*}\in {𝔖}_p(W,V)$

만약 $V=W$일 경우, 임의의 $0<p<\mathrm{\infty }$에 대하여, ${𝔖}_p(V,V)\subseteq \mathrm{B}(V,V)$는 바나흐 대수 $\mathrm{B}(V,V)$의 양쪽 아이디얼을 이룬다.틀:Rp

다음과 같은 곱셈 정리(-定理, 틀:Llang)가 성립한다. 임의의

$0<p,q<\mathrm{\infty }$

에 대하여,

$1/r=1/p+1/q$

를 정의하면, 임의의 세 $𝕂$-힐베르트 공간 $U,V,W$에 대하여 다음이 성립한다.틀:Rp

${𝔖}_q(V,W){𝔖}_p(U,V)\subseteq {𝔖}_r(U,W)$

$\Vert TS{\Vert }_{r}r\le \Vert T{\Vert }_q\Vert S{\Vert }_p\mathrm{\forall }S\in {𝔖}_p(U,V),T\in {𝔖}_q(V,W)$

위상수학적 성질

힐베르트 공간 $V$에 대하여 다음 두 조건이 서로 동치이다.

• ${𝔖}_2(V,V)\subseteq \mathrm{B}(V,V)$는 (유계 작용소들의 바나흐 대수 $\mathrm{B}(V,V)$에 작용소 노름 위상을 부여하였을 때) 닫힌집합이다.
• $V$는 유한 차원 $𝕂$-힐베르트 공간이다.

고윳값과의 관계

다음이 주어졌다고 하자.

• $𝕂$-힐베르트 공간 $V$
• 대각합류 작용소 $T\in {𝔖}_1(V,V)$
• $T$의 고윳값들이 (대수적 중복수를 포함하여) $({\lambda }_i{)}_{0\le i<{\dim }_{𝕂}\mathscr{H}}$라고 하자.

그렇다면, 리츠키 정리(Лидский定理, 틀:Llang)에 따르면 다음이 성립한다.

$\mathrm{tr}T=\sum _{0\le i<{\dim }_{𝕂}\mathscr{H}}{\lambda }_i$

예

힐베르트-슈미트 작용소의 대표적인 예는 힐베르트-슈미트 적분 작용소(틀:Llang)이다.

연결 열린집합 $U\subseteq {ℝ}^n$ 및 함수

$f\in {\mathrm{L}}^2(U\times U;ℂ)$

가 주어졌다고 하자. 그렇다면, $f$에 대응하는 힐베르트-슈미트 적분 작용소는 다음과 같다.

$T:{\mathrm{L}}^2(U;ℂ)\to {\mathrm{L}}^2(U;ℂ)$

$Tu(x)=\underset{U}{\int }f(x,y)u(y)\mathrm{d}y$

이 경우, 그 힐베르트-슈미트 노름은 $f$의 L² 노름과 같다.

$\Vert T{\Vert }_2=\Vert f{\Vert }_{{\mathrm{L}}^2}$

역사

힐베르트-슈미트 적분 작용소는 다비트 힐베르트와 에르하르트 슈미트 가 1900년대에 연구하였다. 이후 그 특성을 임의의 힐베르트 공간에 대하여 추상화하여 힐베르트-슈미트 작용소의 개념이 도입되었다.

힐베르트 공간에서, 임의의 $p$에 대한 $p$-핵작용소의 개념은 로베르트 샤텐(틀:Llang, 1911~1977)과 존 폰 노이만이 1948년에 도입하였다.틀:Rp

리츠키 정리는 우크라이나 태생의 수학자 빅토르 보리소비치 리츠키(틀:Llang, 틀:Llang, 1924~2008)가 증명하였다.

외부 링크

• 틀:Eom
• 틀:Eom
• 틀:Eom
• 틀:Eom
• 틀:매스월드
• 틀:매스월드
• 틀:매스월드
• 틀:Nlab
• 틀:웹 인용