보렐-르벡 정리

보렐-르벡 정리

정리

거리 공간 $(X, \rho)$ 에 대해 다음은 모두 동치다.

(a) $X$ 는 컴팩트 공간이다.

(b) $X$ 는 시퀀셜리 컴팩트 공간이다.

(c) $X$ 는 완비 공간이고 완전 유계 공간이다.

설명

거리 공간 $X$ 가 시퀀셜리 컴팩트Sequentially Compact 공간이라는 것은 $X$ 의 모든 시퀀스가 $X$ 의 한 점으로 수렴하는 서브 시퀀스를 갖는 공간이라는 뜻이다.보렐-르벡 정리는 거리 공간에서 컴팩트의 여러 필요충분조건을 제공한다. 다만 이 이름은 별로 유명하지 않고, 그냥 거리 공간에서 컴팩트의 동치조건 정도로만 소개되는 경우가 많다.

증명

$\left\{ x_n \right\}_{n \in \mathbb{N}}$ 가 $X$ 에서 정의된 코시 시퀀스라고 하자. $X$ 가 시퀀셜리 컴팩트라는 것은 시퀀스 $\left\{ x_n \right\}_{n \in \mathbb{N}}$ 가 수렴하는 서브 시퀀스 $\left\{ x_{n_{k}} \right\}_{k \in \mathbb{N}}$ 를 가진다는 것이다. 다시 말해 $k \to \infty$ 일 때 어떤 $x \in X$ 에 대해 $x_{n_{k}} \to x$ 인데, 주어진 $\varepsilon >0$ 에 대해 $i, j \ge N$ 가 무엇이 되든 $\rho(x_{i}, x_{j}) < \varepsilon / 2$ 이 성립하게끔 충분히 큰 $N \in \mathbb{N}$ 을 잡자. 그리고 $\rho(x_{n_{k}} , x) < \varepsilon/2$ 이 성립하게끔 $n_{k} \ge N$ 을 잡으면

$$ \begin{align*} \rho(x,x_{N}) \le & \rho(x,x_{n_{k}}) + \rho (x_{n_{k}} , x_{N}) \\ =& \varepsilon/2 + \varepsilon/2 \\ =& \varepsilon \end{align*} $$

따라서 $X$ 는 완비 공간이다. 이제 $X$ 가 완전 유계 공간임을 보이기 위해 $X$ 가 유한히 많은 반경 $\varepsilon$ 의 볼들로 커버되지 않는다고 가정해보자. 시퀀스 $\left\{ x_n \right\}_{n \in \mathbb{N}}$ 를 다음과 같이 잡자.

$$ x_{1} \in X \\ x_{2} \in X \setminus B_{\rho}(x_{1};\varepsilon) \\ x_{3} \in X \setminus B_{\rho}(x_{1};\varepsilon) \setminus B_{\rho}(x_{2} ; \varepsilon) \\ \vdots $$

이 시퀀스는 수렴하는 서브 시퀀스를 갖지 않으므로 $X$ 가 시퀀셜리 컴팩트라는 가정에 모순이다. 따라서 $X$ 는 완전 유계 공간이어야한다.

$S_{1}$ 은 유한 집합이므로 가장 마지막 원소 $y_{k_{1}}^{(1)}$ 를 특정할 수 있고, $ B_{\rho} \left( y_{k_{1}}^{(1)} ; {{ 1 } \over { 1 }} \right)$ 는 $\left\{ x_n \right\}_{n \in \mathbb{N}}$ 의 점을 무수히 많이 가진다. 이 중 하나를 골라 $z_{1} \in B_{\rho} \left( y_{k_{1}}^{(1)} ; {{ 1 } \over { 1 }} \right)$ 을 정한다. $s_{2}$ 도 유한 집합이므로 가장 마지막 원소 $y_{k_{2}}^{(2)}$ 를 특정할 수 있고, 비슷하게 $z_{2} \in B_{\rho} \left( y_{k_{1}}^{(1)} ; {{ 1 } \over { 1 }} \right) \cap B_{\rho} \left( y_{k_{2}}^{(2)} ; {{ 1 } \over { 2 }} \right)$ 을 정한다. 이렇게 모든 $m \in \mathbb{N}$ 에 대해 $\displaystyle z_{k} \in \bigcap_{i=1}^{m} B_{\rho} \left( y_{k_{i}}^{(i)} ; {{ 1 } \over { m }}\right)$ 을 잡으면 $\left\{ z_{n} \right\}$ 는 자연스럽게 코시 수열이 된다. $X$ 는 완비 공간이므로 $z_{n}$ 는 $X$ 의 한 점으로 수렴한다. 임의의 시퀀스 $\left\{ x_n \right\}_{n \in \mathbb{N}}$ 에 대해 수렴하는 서브 시퀀스 $\left\{ z_n \right\}_{n \in \mathbb{N}}$ 가 존재함을 보였으므로 $X$ 는 시퀀셜리 컴팩트다.

댓글