컴팩트 집합

컴팩트   ⟺  \iff 닫힘 + 유계(하이네–보렐): [0,1][0,1]은 열린 커버의 처음 6개 구간으로 덮이지만, (0,1](0,1]은 0 근처의 틈 때문에, [0,∞)[0,\infty)는 무한대의 꼬리 때문에 유한 부분커버를 갖지 않습니다. 볼차노–바이어슈트라스의 수열 버전은 완전히 증명하고, 열린 커버 정의의 동치성은 아이디어 수준에서만 봅니다.

K compact   ⟺  K closed and boundedK \text{ compact } \iff K \text{ closed and bounded}
∀ U open cover of K  ∃ U1,…,Un∈U:K⊆⋃k=1nUk\forall\, \mathcal{U} \text{ open cover of } K\; \exists\, U_1,\dots,U_n \in \mathcal{U} : K \subseteq \bigcup_{k=1}^{n} U_k
(an)⊂K⇒∃ (ank)→x∈K(a_n) \subset K \Rightarrow \exists\, (a_{n_k}) \to x \in K

이 씬이 포함된 학습 경로

예제

[0,1][0,1]이 순차 컴팩트임을 보이세요: [0,1][0,1] 안의 모든 수열은 극한이 [0,1][0,1] 안에 있는 수렴 부분수열을 갖습니다 (볼차노–바이어슈트라스).

(an)⊂[0,1]⇒∃ (ank)→L∈[0,1](a_n) \subset [0,1] \Rightarrow \exists\,(a_{n_k}) \to L \in [0,1]
K compact   ⟺  K closed and bounded(Heine–Borel)K \text{ compact } \iff K \text{ closed and bounded} \quad \text{(Heine--Borel)}
k=6k = 6: 처음 6개 열린구간의 합집합 [−0.18,1.18][-0.18, 1.18]이 [0,1][0,1]을 덮습니다 — 유한 부분커버가 존재합니다.
증명 보기
  1. (an)(a_n)을 [0,1][0,1] 안의 임의의 수열이라 하자. 이 수열은 유계이므로 볼차노–바이어슈트라스 정리에 따라 수렴하는 부분수열 (ank)→L(a_{n_k}) \to L이 존재한다.
  2. 모든 kk에 대해 0≤ank≤10 \le a_{n_k} \le 1이므로, 극한을 취하면 부등식이 보존되어 0≤L≤10 \le L \le 1이다. 즉 L∈[0,1]L \in [0,1] — 닫힌 구간은 극한점을 놓치지 않는다.
  3. 따라서 [0,1][0,1] 안의 모든 수열은 극한이 [0,1][0,1] 안에 있는 수렴 부분수열을 갖는다: [0,1][0,1]은 순차 컴팩트이다.
  4. R\mathbb{R}에서는 순차 컴팩트 ⟺ 컴팩트 (하이네–보렐: 닫힘 + 유계)이다. 열린 커버 쪽 그림도 같은 이야기이다: 위 장면처럼 처음 6개 구간 U1,…,U6U_1, \dots, U_6의 합집합 [−0.18,1.18][-0.18, 1.18]이 [0,1][0,1] 전체를 덮는다 — 커버 전체를 다 쓸 필요가 없다. (열린 커버 정의의 동치성 증명은 아이디어 수준에서만 본다.)

(0,1](0,1]이 컴팩트가 아님을 보이세요: 수열 an=1/na_n = 1/n은 (0,1](0,1] 안에 극한점을 갖는 수렴 부분수열을 하나도 갖지 않습니다.

an=1n→0,0∉(0,1]a_n = \frac{1}{n} \to 0, \qquad 0 \notin (0,1]
⋃k=1N(1k,2)=(1N,2): the gap (0,1N] is never covered\bigcup_{k=1}^{N} \left(\tfrac{1}{k}, 2\right) = \left(\tfrac{1}{N}, 2\right): \text{ the gap } \left(0, \tfrac{1}{N}\right] \text{ is never covered}
k=8k = 8: 8개 구간을 모두 써도 (0,1/8](0, 1/8]이 남습니다 — 00이 빠져 있어 유한 부분커버가 없습니다.
증명 보기
  1. an=1/na_n = 1/n이라 하자. 모든 nn에 대해 an∈(0,1]a_n \in (0,1]이고, an→0a_n \to 0이다.
  2. 수렴수열의 부분수열은 같은 극한으로 수렴하므로, (an)(a_n)의 임의의 부분수열 (ank)(a_{n_k})도 00으로 수렴한다.
  3. 그런데 0∉(0,1]0 \notin (0,1]이므로, 어떤 부분수열도 (0,1](0,1] 안의 점으로 수렴하지 않는다. 따라서 (0,1](0,1]은 순차 컴팩트가 아니며, 컴팩트도 아니다.
  4. 열린 커버 그림도 같은 실패를 보여준다: 커버의 구간 Uk=(1k,2)U_k = \left(\frac{1}{k}, 2\right) (k=1,…,8k = 1, \dots, 8) 중에서 처음 NN개를 골라도 그 합집합은 (1N,2)\left(\frac{1}{N}, 2\right) 꼴이라 틈 (0,1N]\left(0, \frac{1}{N}\right]이 남는다 — k=8k = 8에서는 (0,1/8](0, 1/8]이다. 틈이 메워지려면 00이 있어야 하는데, 00은 집합에 없다.

KK가 컴팩트이고 ff가 KK 위에서 연속이면, 상 f(K)f(K)도 컴팩트임을 보이세요.

yn=f(xn),xnk→x∈K⇒f(xnk)→f(x)∈f(K)y_n = f(x_n), \quad x_{n_k} \to x \in K \Rightarrow f(x_{n_k}) \to f(x) \in f(K)
K=[0,1] compact⇒f(K) compact ⇒max⁡f,min⁡f exist (EVT)K = [0,1] \text{ compact} \Rightarrow f(K) \text{ compact } \Rightarrow \max f, \min f \text{ exist (EVT)}
최댓값 정리의 엔진: [0,1][0,1]이 컴팩트이므로 연속상 f([0,1])f([0,1])도 컴팩트 — 최댓값·최솟값이 존재합니다.
증명 보기
  1. yn∈f(K)y_n \in f(K)를 임의의 수열이라 하자. 각 yn=f(xn)y_n = f(x_n)인 xn∈Kx_n \in K를 택한다.
  2. KK가 컴팩트이므로 (xn)(x_n)은 x∈Kx \in K로 수렴하는 부분수열 (xnk)(x_{n_k})를 갖는다 (순차 컴팩트).
  3. ff는 xx에서 연속이므로 f(xnk)→f(x)f(x_{n_k}) \to f(x)이다. 즉 부분수열 ynk=f(xnk)y_{n_k} = f(x_{n_k})는 f(x)∈f(K)f(x) \in f(K)로 수렴한다.
  4. 따라서 f(K)f(K) 안의 모든 수열은 f(K)f(K) 안의 점으로 수렴하는 부분수열을 갖는다: f(K)f(K)는 순차 컴팩트이며, 따라서 컴팩트이다. 이것이 최댓값 정리(evt 씬)의 엔진이다 — [0,1][0,1] 위의 연속함수 ff에 대해 f([0,1])f([0,1])이 컴팩트이므로 R\mathbb{R}에서 닫혀 있고 유계이며, 상한·하한을 실제로 취한다.

4. 위상