컴팩트 ⟺ 닫힘 + 유계(하이네–보렐): [0,1]은 열린 커버의 처음 6개 구간으로 덮이지만, (0,1]은 0 근처의 틈 때문에, [0,∞)는 무한대의 꼬리 때문에 유한 부분커버를 갖지 않습니다. 볼차노–바이어슈트라스의 수열 버전은 완전히 증명하고, 열린 커버 정의의 동치성은 아이디어 수준에서만 봅니다.
[0,1]이 순차 컴팩트임을 보이세요: [0,1] 안의 모든 수열은 극한이 [0,1] 안에 있는 수렴 부분수열을 갖습니다 (볼차노–바이어슈트라스).
(an)⊂[0,1]⇒∃(ank)→L∈[0,1]
K compact ⟺K closed and bounded(Heine–Borel)
k=6: 처음 6개 열린구간의 합집합 [−0.18,1.18]이 [0,1]을 덮습니다 — 유한 부분커버가 존재합니다.증명 보기
(an)을 [0,1] 안의 임의의 수열이라 하자. 이 수열은 유계이므로 볼차노–바이어슈트라스 정리에 따라 수렴하는 부분수열 (ank)→L이 존재한다.
모든 k에 대해 0≤ank≤1이므로, 극한을 취하면 부등식이 보존되어 0≤L≤1이다. 즉 L∈[0,1] — 닫힌 구간은 극한점을 놓치지 않는다.
따라서 [0,1] 안의 모든 수열은 극한이 [0,1] 안에 있는 수렴 부분수열을 갖는다: [0,1]은 순차 컴팩트이다.
R에서는 순차 컴팩트 ⟺ 컴팩트 (하이네–보렐: 닫힘 + 유계)이다. 열린 커버 쪽 그림도 같은 이야기이다: 위 장면처럼 처음 6개 구간 U1,…,U6의 합집합 [−0.18,1.18]이 [0,1] 전체를 덮는다 — 커버 전체를 다 쓸 필요가 없다. (열린 커버 정의의 동치성 증명은 아이디어 수준에서만 본다.)
(0,1]이 컴팩트가 아님을 보이세요: 수열 an=1/n은 (0,1] 안에 극한점을 갖는 수렴 부분수열을 하나도 갖지 않습니다.
an=n1→0,0∈/(0,1]
k=1⋃N(k1,2)=(N1,2): the gap (0,N1] is never covered
k=8: 8개 구간을 모두 써도 (0,1/8]이 남습니다 — 0이 빠져 있어 유한 부분커버가 없습니다.증명 보기
an=1/n이라 하자. 모든 n에 대해 an∈(0,1]이고, an→0이다.
수렴수열의 부분수열은 같은 극한으로 수렴하므로, (an)의 임의의 부분수열 (ank)도 0으로 수렴한다.
그런데 0∈/(0,1]이므로, 어떤 부분수열도 (0,1] 안의 점으로 수렴하지 않는다. 따라서 (0,1]은 순차 컴팩트가 아니며, 컴팩트도 아니다.
열린 커버 그림도 같은 실패를 보여준다: 커버의 구간 Uk=(k1,2) (k=1,…,8) 중에서 처음 N개를 골라도 그 합집합은 (N1,2) 꼴이라 틈 (0,N1]이 남는다 — k=8에서는 (0,1/8]이다. 틈이 메워지려면 0이 있어야 하는데, 0은 집합에 없다.
f는 x에서 연속이므로 f(xnk)→f(x)이다. 즉 부분수열 ynk=f(xnk)는 f(x)∈f(K)로 수렴한다.
따라서 f(K) 안의 모든 수열은 f(K) 안의 점으로 수렴하는 부분수열을 갖는다: f(K)는 순차 컴팩트이며, 따라서 컴팩트이다. 이것이 최댓값 정리(evt 씬)의 엔진이다 — [0,1] 위의 연속함수 f에 대해 f([0,1])이 컴팩트이므로 R에서 닫혀 있고 유계이며, 상한·하한을 실제로 취한다.