가분 힐베르트 공간의 그램-슈미트 정규직교화

가분 힐베르트 공간의 그램-슈미트 정규직교화

Gram Schmidt Orthonormalization of Separable Hilbert Space

정리1

모든 가분 힐베르트 공간은 정규직교기저를 가진다.

증명

전략: 유한차원 벡터 공간에서의 그램-슈미트 정규직교화와 본질적으로 같다. 일반적인 힐베르트 공간은 유한차원 벡터 공간과 달리 기저의 존재성이 보장되지 않으므로 가분성에 따라 정규직교화를 거치기 전의 직교 기저인 $\left\{ \mathbf{v}_{k} \right\}_{k \in \mathbb{N}}$ 를 잡아주어야한다.


$$ \overline{\text{span}} \left\{ \mathbf{v}_{k} \right\}_{k \in \mathbb{N}} = H $$

힐베르트 공간 $H$이 가분 공간이라고 하면 위를 만족하는 $\left\{ \mathbf{v}_{k} \right\}_{k \in \mathbb{N}} \subset H$가 존재한다. 이에 대해 $\left\{ \mathbf{e}_{k} \right\}_{k=1}^{n}$ 을 다음과 같이 정의하자.

$$ \mathbf{e}_{1} := {{ \mathbf{v}_{1} } \over { \left\| \mathbf{v}_{1} \right\| }} \\ \mathbf{e}_{2} := {{ \mathbf{v}_{2} - \left\langle \mathbf{v}_{2} , \mathbf{e}_{1} \right\rangle \mathbf{e}_{1} } \over { \left\| \mathbf{v}_{2} - \left\langle \mathbf{v}_{2} , \mathbf{e}_{1} \right\rangle \mathbf{e}_{1} \right\| }} \\ \mathbf{e}_{n+1} := {{ \mathbf{v}_{n+1} - \sum_{k=1}^{n} \left\langle \mathbf{v}_{n+1} , \mathbf{e}_{k} \right\rangle \mathbf{e}_{k} } \over { \left\| \mathbf{v}_{n+1} - \sum_{k=1}^{n} \left\langle \mathbf{v}_{n+1} , \mathbf{e}_{k} \right\rangle \mathbf{e}_{k} \right\| }} $$

$\left\{ \mathbf{v}_{k} \right\}_{k \in \mathbb{N}}$는 $H$의 직교기저이므로 $\left\langle \mathbf{e}_{i} , \mathbf{e}_{j} \right\rangle = \delta_{ij}$ 고, 모든 $n \in \mathbb{N}$ 에 대해 다음이 성립한다.

$$ \text{span} \left\{ \mathbf{v}_{k} \right\}_{k = 1}^{n} = \text{span} \left\{ \mathbf{e}_{k} \right\}_{k =1}^{n} $$

따라서

$$ \overline{\text{span}} \left\{ \mathbf{e}_{k} \right\}_{k = 1}^{\infty} = \overline{\text{span}} \left\{ \mathbf{v}_{k} \right\}_{k =1}^{\infty} = H $$

힐베르트 공간의 샤우더 베이시스

$H$ 가 힐베르트 공간이라고 하자.

$\left\{ \mathbf{e}_{k} \right\}_{k \in \mathbb{N}} \subset H$가 정규직교 집합이면 다음은 동치다.

  1. $\left\{ \mathbf{e}_{k} \right\}_{k \in \mathbb{N}} \subset H$는 $H$의 샤우더 기저다.

${}$

  1. $\overline{\text{span}} \left\{ \mathbf{e}_{k} \right\}_{k \in \mathbb{N}} = H$

$\overline{\text{span}} \left\{ \mathbf{e}_{k} \right\}_{k \in \mathbb{N}} = H$ 이므로 $\left\{ \mathbf{e}_{k} \right\}_{k \in \mathbb{N}}$ 는 $H$ 의 기저고, 특히 $\left\langle \mathbf{e}_{i} , \mathbf{e}_{j} \right\rangle = \delta_{ij}$ 이므로 정규직교기저다.


  1. Ole Christensen, Functions, Spaces, and Expansions: Mathematical Tools in Physics and Engineering (2010), p82 ↩︎

댓글