📂바나흐공간

유한 차원 놈 공간은 완비성을 가짐을 증명

정리 ¹

유한 차원 놈 공간은 완비성을 가진다.

설명

이에 따라 유한 차원 벡터 공간은 놈이 정의되는 것만으로 바나흐 공간이 된다. 대표적으로 많이 쓰이는 $\mathbb{R}^{n}$ 혹은 $\mathbb{C}^{n}$ 이 있기 때문에 특히 유용한 팩트다.

증명

전략: 유한차원 벡터 공간이라는 점을 이용해 모든 벡터를 기저 단위로 찢은 후 다루기 편한 놈을 정의한다. 놈의 동치관계를 타서 추상적인 계산을 직접적인 계산으로 바꾼다.

---

유한 차원 놈 공간 $(X, \| \cdot \|_{0} )$ 에 대해 기저 $\left\{ e_{1} , \cdots , e_{n} \right\}$ 가 존재한다.

• Part. 1

  $X$ 의 코시 수열 $\left\{ x_{k} \right\}_{k \in \mathbb{N} }$ 을 다음과 같이 정의하자.

  $$x_{1} = \lambda_{1}^{(1)} e_{1} + \cdots + \lambda_{n}^{(1)} e_{n}$$

  $$x_{2} = \lambda_{1}^{(2)} e_{1} + \cdots + \lambda_{n}^{(2)} e_{n}$$

  $$\vdots$$

  $$x_{k} = \lambda_{1}^{(k)} e_{1} + \cdots + \lambda_{n}^{(k)} e_{n}$$

• Part 2.

  $$\| \lambda_{1} e_{1} + \cdots + \lambda_{n} e_{n} \| : = \sum_{k=1}^{n} | \lambda_{k} |$$

  놈 $\| \cdot \|$ 를 위와 같이 선형 결합의 계수의 절댓값을 모두 더한 값으로써 정의해보자.

$X$ 은 유한 차원 놈 공간이므로 $\| \cdot \|_{0} \sim \| \cdot \|$ 이고, 어떤 $m , M > 0$ 에 대해

$$m \| x_{k} - x_{m} \| \le \| x_{k} - x_{m} \|_{0} \le M \| x_{k} - x_{m} \|$$

• Part 3.

  $\| \cdot \|$ 의 정의에 따라

  $$m \| x_{k} - x_{m} \| \le \| x_{k} - x_{m} \|_{0}$$

  $$\implies m \left( \left| \lambda_{1}^{(k)} - \lambda_{1}^{(m)} \right| + \cdots + \left| \lambda_{n}^{(k)} - \lambda_{n}^{(m)} \right| \right) \le \| x_{k} - x_{m} \|_{0}$$

  $\left\{ x_{k} \right\}_{k \in \mathbb{N} }$ 는 코시 수열이므로 $k,m \to \infty$ 일 때 $\| x_{k} - x_{m} \|_{0} \to 0$ 이다. 그러면 모든 $1 \le i \le n$ 에 대해

  $$\lim_{k,m \to \infty } m \left( \left| \lambda_{i}^{(k)} - \lambda_{i}^{(m)} \right| \right) \to 0$$

  따라서 $\left\{ \lambda_{i}^{(k)} \right\}_{k \in \mathbb{N}}$ 들은 코시 수열이고, $\mathbb{C}$ 는 완비 공간이므로 어떤 $\lambda_{i} \in \mathbb{C}$ 로 수렴한다.

• Part 4.

  $x := \lambda_{1} e_{1} + \cdots + \lambda_{n} e_{n}$ 이라고 하면

  $$\| x_{k} - x \|_{0} \le M \| x_{k} - x \|$$

  $$\implies \| x_{k} - x \|_{0} \le M \left( \left| \lambda_{1}^{(k)} - \lambda_{1} \right| + \cdots + \left| \lambda_{n}^{(k)} - \lambda_{n} \right| \right)$$

  $$\implies 0 \le \lim_{k \to \infty} \| x_{k} - x \|_{0} \le \lim_{k \to \infty} M \left( \left| \lambda_{1}^{(k)} - \lambda_{1} \right| + \cdots + \left| \lambda_{n}^{(k)} - \lambda_{n} \right| \right)$$

  $$\implies \lim_{k \to \infty} \| x_{k} - x \|_{0} = 0$$

  따라서 $X$ 의 코시 수열 $\left\{ x_{k} \right\}_{k \in \mathbb{N} }$ 은 $x \in X$ 으로 수렴한다.

■