L2 공간

L2 공간

정의 1

함수공간 $L^{2}$를 다음과 같이 정의한다.

$$ L^{2} (E) := \left\{ f : \left( \int_{E} | f |^2 dm \right)^{{1} \over {2}} < \infty \right\} $$

성질

  1. $L^{2}$는 벡터공간이다.
  2. $L^{2}$는 놈 공간이다.
  3. $L^{2}$는 완비공간이다.
  4. $L^{2}$는 내적공간이다.

설명

$L^{2}$ 공간은 $L^{p}$ 공간의 $p=2$일 때의 특수한 경우이며, $L^{p}$ 공간 중 유일하게 내적이 정의되는 공간이다. 완비공간인 내적공간을 특별히 힐베르트 공간Hilbert space라 부른다. 따라서 $L^{2}$는 힐베르트 공간이다. 힐베르트 공간은 편미분방정식, 양자역학을 위시한 여러 분야에서 등장하는 중요한 공간이다.

$L^{p}$ 공간에 대해서 일반화된 증명은 여기를 참고하자.

증명

2.

놈의 정의

$V$를 $\mathbb{F}$상에서의 벡터공간이라고 하자. 함수 $\left\| \cdot \right\| : V \to \mathbb{F}$가 $\mathbf{u}, \mathbf{v} \in V$와 $k \in \mathbb{F}$에 대해서 다음 세 조건을 만족시키면 $\left\| \cdot \right\|$ 을 $V$상에서의 놈이라고 정의한다.

  • 정부호: $\left\| \mathbf{u} \right\| \ge 0$이고 $\mathbf{u} = \mathbb{0} \iff \left\| \mathbf{u} \right\| = 0$
  • 동질성: $\left\|k \mathbf{u} \right\| = | k | \left\| \mathbf{u} \right\| $
  • 삼각부등식: $\left\| \mathbf{u} + \mathbf{v}\right\| \le \left\|\mathbf{v} \right\| + \left\| \mathbf{u} \right\|$

$L ^{2}$의 놈을 $\displaystyle \left\| f \right\|_{2} := \left( \int_{E} | f |^2 dm \right)^{{1} \over {2}}$과 같이 정의하자.

4.

내적의 정의

$H$를 벡터 공간이라고 하자. $x,y,z \in H$와 $\alpha, \beta \in \mathbb{C}$에 대해서 다음의 조건을 만족하는 함수

$$ \langle \cdot , \cdot \rangle : H \times H \to \mathbb{C} $$

내적이라 정의하고 $\left( H, \langle \cdot ,\cdot \rangle \right)$를 내적공간이라 한다.

  • 선형성: $\langle \alpha x + \beta y ,z \rangle =\alpha \langle x,z\rangle + \beta \langle y,z\rangle$
  • 켤레대칭성: $\langle x,y \rangle = \overline{ \langle y,x \rangle}$
  • 정부호: $\langle x,x \rangle \ge 0 \quad \text{and} \quad \langle x,x \rangle = 0\iff x=0$

$L ^{2}$의 내적을 $\displaystyle \langle f , g \rangle := \int_{E} f \overline{g} dm$과 같이 정의하자.

성질 2. 의 Part 1에 의해 증명이 끝난다.

같이보기


  1. Capinski. (1999). Measure, Integral and Probability: p131. ↩︎

댓글