재생핵 힐베르트 공간

함수해석학에서, **재생핵 힐베르트 공간**(再生核Hilbert空間, )은 값매김 연산자가 유계 작용소인, 함수로 구성된 힐베르트 공간이다. 함수의 동치류로 구성된 르베그 공간 따위와 달리, 재생핵 힐베르트 공간은 함수로 구성되어야 한다. (르베그 공간의 경우, 주어진 점에서 함수 동치류의 원소들이 임의의 값을 가질 수 있어 값매김 연산자를 정의할 수 없다.)

## 정의
\mathbb K\in\{\mathbb R,\mathbb C\}가 주어졌다고 하자. **재생핵 <math>\mathbb K</math>-힐베르트 공간** (H,X,\iota,K)는 다음과 같은 데이터로 구성된다.
* \mathbb K-힐베르트 공간 (H,\langle-|-\rangle)
* 집합 X
* 단사 실수 선형 변환 \iota\colon H \hookrightarrow \mathbb K^X
* 사상 K \colon X\to H, x\mapsto K_x
이 데이터는 다음 조건을 만족시켜야 한다.
* 임의의 x\in X 및 f\in H에 대하여, \operatorname{ev}_x(\iota(f)) = \langle K_x|f\rangle
여기서
:\operatorname{ev}_x\colon\mathbb K^X \to \mathbb K
:\operatorname{ev}_x\colon f\mapsto f(x)
는 함수 공간 위의 값매김 사상이다. 즉, 다음과 같은 가환 그림이 성립하여야 한다.
:\begin{matrix}
X \times H & \overset{(\operatorname{id},\iota)} \to & X \times\mathbb K^X \\
{\scriptstyle(K,\operatorname{id})}\downarrow{\color{White}\scriptstyle(K,\operatorname{id})} & & {\color{White}\scriptstyle{\operatorname{ev}}}\downarrow{\scriptstyle{\operatorname{ev}}} \\
H \times H & \underset{\langle-|-\rangle}\to & \mathbb R
\end{matrix}

이 경우, (H,K,\iota,K)의 **재생핵**은 다음과 같은 함수이다.
:K(-,-) \colon X\times X \to \mathbb K
:K(x,y) = \langle K_x|K_y\rangle

## 분류
\mathbb K\in\{\mathbb R,\mathbb C\}라고 하자. 함수
:K\colon X\times X \to \mathbb K
가 주어졌다고 하자. 이 경우, 임의의 유한 부분 집합 Y\subseteq X, |Y|에 대하여, 이를 표준적으로
:K\colon \mathbb K^Y \times \mathbb K^Y \to \mathbb K
:K \colon \left(\sum_{x\in Y}a_xx,\sum_{y\in Y}b_yy\right) \mapsto \sum_{x,y\in Y}\bar a_xa_yK(x,y)
로 선형으로 확장할 수 있다.

함수
:K\colon X\times X \to \mathbb K
가 다음 조건들을 만족시킨다면, 이를 X 위의 **양의 정부호 핵**()이라고 한다.
* (대칭성) K(x,y) = \overline{K(y,x)}\qquad\forall x,y\in X
* (양의 부정부호) 임의의 유한 부분 집합 Y\subseteq X 및 \vec x,\vec y\in\mathbb K^Y에 대하여, K(\vec x,\vec y)\ge0
* (비퇴화성) 임의의 유한 부분 집합 Y\subseteq X 및 \vec x\in\mathbb K^Y에 대하여, K(\vec x,\vec x) = 0일 필요 조건은 \vec x=\vec 0인 것이다.

X 위의 양의 정부호 핵 K가 주어졌다고 하자. 그렇다면, 다음과 같은 꼴의 함수들을 생각하자.
:f(y) = \sum_{x\in X}^\infty a_x K(x)
:\sum_{x\in X} a_x^2 K(x,x) 
:|\{x\in X\colon a_x \ne 0\}| \le \aleph_0
이러한 함수들의 공간을 H라고 하자. 그 위에 내적
:\left\langle\sum_xa_xK_x\Bigg|\sum_yb_yK_y\right\rangle = \sum_{x,y}a_xa_yK(x,y)
을 정의하면, H는 힐베르트 공간을 이루며
:\forall x\in X\colon K_x \in H
이다. 또한, 임의의
:f = \sum_ya_yK_y
에 대하여,
:\left\langle K_x\Bigg|\sum_ya_yK_y\right\rangle = \sum_ya_yK(x,y) = f(x) 
이다. 즉, (H,X,K)는 재생핵 힐베르트 공간을 이룬다.

반대로, 모든 재생핵 힐베르트 공간은 위와 같은 꼴로 유일하게 표현될 수 있다.

## 예
### 유한 집합 위의 재생핵 힐베르트 공간
X가 유한 집합이라고 하자. 그렇다면,
:H = \mathbb K^X
:K(x,y) = \delta(x,y) (크로네커 델타)
는 재생핵 힐베르트 공간을 이룬다.

보다 일반적으로, H 위의 재생핵 \mathbb K-힐베르트 공간은 모든 고윳값이 양의 실수인 |X|\times|X| 대칭 행렬(\mathbb K=\mathbb R) 또는 에르미트 행렬(\mathbb K=\mathbb C)로 주어진다.

### 페일리-위너 공간
실수선 X = \mathbb R 위의 함수 공간
:H = \{f \in\mathcal C^0(\mathbb R,\mathbb K)
\colon\operatorname{supp}(\mathcal Ff) \subseteq[-a,a]\}
을 생각하자. 즉, 이는 연속 함수 가운데, 푸리에 변환 아래 주파수들의 절댓값이 a 이하인 것들의 공간이다.
그 위의 힐베르트 내적은
:\langle f|g\rangle = \int_{-\infty}^\infty \overline{f(x)}g(x)\,\mathrm dx
=\int_{-a}^a \overline{\mathcal Ff(\omega)}\mathcal Fg(\omega)\,\mathrm d\omega

이다.

이 경우, 재생핵은 다음과 같이 주어진다.
:K(x,y) = \frac{\sin(a(y-x))}{\pi(y-x)}
:K_x\colon y \mapsto K(x,y)
이 경우
:\mathcal FK_x(\omega) = \exp(-\mathrm i\omega x) [-a\le\omega\le a]
이다 ([\dotsb]는 아이버슨 괄호). 구체적으로, 임의의 f\in H에 대하여
:\langle K_x|f\rangle = \int_{-a}^a \overline{\mathcal FK_x(y)} f(y)\,\mathrm dy = \frac1{2\pi}\int_{-a}^a \mathcal Ff(\omega)\exp(\mathrm i\omega x)\,\mathrm d\omega = f(x) 
이다.

재생핵 K_x는 일종의 ‘주파수 한정’ 디랙 델타로 생각할 수 있다. 만약 a\to\infty 극한을 취할 경우, 분포로서 K(x,y) \to \delta(y-x)가 된다.

### 베르그만 공간
복소평면 속의 원
:\mathbb D=\{z\in\mathbb C\colon |z|
위의 **베르그만 공간**() H는 L2 노름이 유한한 정칙 함수 \mathbb D\to \mathbb C들의 집합이며, 그 힐베르트 내적은 물론 L2 노름으로 유도된다. 이 경우, 재생핵
:K(w,z) = \frac1{(1-\bar wz)^2}
을 부여하면, (\mathbb D,H,K)는 복소수 재생핵 힐베르트 공간을 이룬다.

### 콤팩트 공간 위의 함수
다음이 주어졌다고 하자.
* 콤팩트 공간 X
* X 위의 유한 보렐 측도 \mu\colon\operatorname{Borel}(X)\to[0,\infty). 또한, 모든 열린집합의 측도가 양의 실수라고 하자.
* 연속 함수인 양의 정부호 핵 K\colon X\times X\to\mathbb R
그렇다면, K는 연산자
:T_K \colon \operatorname L^2(X)\to \operatorname L^2(X)
:T_K \colon f \mapsto \left(x\mapsto \int_X K(x,y)f(y)\,\mathrm d\mu(y)\right)
를 정의한다. 이 경우, **머서 정리**()에 의하여, T_K는 유계 작용소이며 콤팩트 작용소이며 자기 수반 작용소이며, 어떤 함수열
:([f_i])_{i=0}^\infty \subseteq \operatorname L^2(X)
을 고유 벡터로 가지며, 그 고윳값
:T_K[f_i] = \sigma_i T_K
들은 음이 아닌 실수 값의 감소 수열
:\infty > \sigma_0 > \sigma_1 > \dotsb > 0
을 이룬다. 또한, ([f_i])_{i=0}^\infty는 힐베르트 공간 \operatorname L^2(X)의 정규 직교 기저를 이룬다. 또한, 함수 동치류 [f_i]의 대표원 f_i \colon X\to\mathbb K를 (유일하게) 연속 함수로 잡을 수 있다.

즉,
:K(x,y) = \sum_{i=0}^\infty \sigma_if_i(x)f_i(y)
의 꼴이다. 이 경우,
: H = \left\{f\in\operatorname L^2(X;\mathbb K) \cap \mathcal C^0(X,\mathbb K)\colon \sum_{i=0}^\infty \sigma_i^{-1}|\langle f|\phi\rangle_{\operatorname L^2}|^2 
:\langle f|g\rangle_H = \sum_{i=0}^\infty \sigma_i^{-1} \langle f|\phi_i\rangle_{\operatorname L^2}\langle \phi_i|g\rangle_{\operatorname L^2}
로 놓으면, (H,X,K)는 X 위의 재생핵 힐베르트 공간을 이룬다.

## 참고 문헌

## 외부 링크
* 

분류:함수해석학
분류:힐베르트 공간