놈 공간의 부분 집합이 유계 집합일 필요충분조건 📂바나흐공간

놈 공간의 부분 집합이 유계 집합일 필요충분조건

정의

지름

놈 공간 $(X, \left\| \cdot \right\|)$ 가 주어졌다고 하자. 공집합이 아닌 부분 집합 $M \subset X$ 의 지름^diameter $\diam M$ 을 다음가 같이 정의한다. $\diam M =: \sup\limits_{x, y \in M} \left\| x - y \right\|$

유계

$\diam M \lt \infty$ 를 만족하면, $M$ 을 유계^bounded라 한다.

설명

놈 공간에서는 메트릭을 $d (x, y) =: \left\| x - y \right\|$ 와 같이 자연스럽게 유도할 수 있으므로, 위 정의를 거리공간에서 말하자면 다음과 같다.

$\diam M =: \sup\limits_{x, y \in M} d(x, y)$

아래의 정리로부터 놈 공간의 부분 집합이 유계라는 것은 원소의 놈들의 집합이 유계라는 것과 같다는 사실을 알 수 있다.

정리

①놈 공간 $X$ 의 부분 집합 $M \subset X$ 가 유계인 것의 필요충분조건은 ②양수 $c \gt 0$ 가 존재하여 모든 $x \in M$ 에 대해서 $\left\| x \right\| \le c$ 가 성립하는 것이다.

증명

$\text{\textcircled 1} \Longrightarrow \text{\textcircled 2}$

$M \subset X$ 가 유계라고 가정하자. 즉 어떤 $C > 0$ 에 대해서 다음이 성립한다.

$\sup\limits_{x, y \in M} \left\| x - y \right\| \lt C \tag{1}$

고정된 $y \in M$ 에 대해서, $c$ 를 $c = C + \left\| y\right\|$ 라 두자. 그러면 모든 $x \in M$ 에 대해서 다음이 성립한다.

$\begin{align*} \left\| x \right\| &= \left\| x - y + y \right\| \\ &\le \left\| x - y \right\| + \left \| y \right\| & \text{by triangle inequality} \\ &\lt C + \left\| y \right\| & \text{by } (1) \\ &= c \end{align*}$

$\text{\textcircled 1} \Longleftarrow \text{\textcircled 2}$

$\sup \limits_{x, y \in M} \left\| x - y \right\| \lt \infty$

■