콤팩트성

개요 — 동기·문제의식

콤팩트성(compactness)은 "유계인 닫힌집합" 같은 유클리드 공간의 직관을 임의의 위상공간에 적용할 수 있도록 일반화한 개념이다. 미적분에서 닫힌유계구간 위 연속함수가 항상 최댓값·최솟값을 갖는다는 사실(최대최소 정리)과 균등연속성을 보장받는다는 사실은 모두 "콤팩트성"이라는 단 하나의 위상적 성질에서 따라 나온다.

콤팩트성의 정의("모든 열린덮개가 유한 부분덮개를 가짐")는 처음 보면 작위적으로 느껴지지만, 이 페이지가 보여주려는 핵심은 그 정의가 무한을 유한으로 환원시키는 만능 도구라는 점이다 — 무한히 많은 열린집합으로 덮인 공간을 다룰 때, 콤팩트성 덕분에 유한 개만 살펴봐도 충분해진다. 이 환원이 가능해지면 르베그 수 보조정리, 균등연속성, 무한곱의 콤팩트성(Tychonoff 정리)처럼 해석학과 위상수학 전반에 걸친 강력한 결과들이 따라온다. 연결성와 함께 두 공간을 구별하는 가장 강력한 한 쌍의 도구이기도 하다.

직관 (그림으로 보는 콤팩트성)

$(0,1)$을 열린구간 $(1/n, 1)$들로 덮으면($n=2,3,4,\dots$) 아무리 유한 개를 골라도 $0$ 근처의 작은 부분은 영원히 못 덮는다 — $(0,1)$은 "끝까지 좁혀들어가는 탈출구"가 있어서 콤팩트하지 않다. 반면 $[0,1]$을 같은 방식으로 덮으려 하면 $0$이라는 점 자체가 포함돼 있어 어떤 열린집합이 $0$을 덮든 그 집합은 $[0,\varepsilon)$ 같은 구간을 포함하게 되고, 결국 유한 개의 열린집합으로 전체를 덮을 수 있다. 콤팩트성은 직관적으로 "공간이 무한히 먼 곳이나 경계의 빠진 점으로 도망갈 곳이 없다"는 뜻이며, 콤팩트한 공간 위의 연속함수는 그 어디로도 발산하거나 상한에 닿지 못한 채 영원히 가까워지기만 하는 일이 없다 — 그래서 최댓값이 항상 달성된다.

정의

$X$의 부분집합족 $\mathcal{A}=\{A_\alpha\}$가 $X$의 열린덮개(open covering)¹ $\iff$ 각 $A_\alpha$가 열려 있고 $X=\bigcup_\alpha A_\alpha$.

$X$가 콤팩트(compact) $\iff$ $X$의 모든 열린덮개가 유한 부분덮개를 가짐: 즉 임의의 열린덮개 $\{A_\alpha\}$에 대해 유한개의 색인 $\alpha_1,\dots,\alpha_n$이 있어 $X=A_{\alpha_1}\cup\cdots\cup A_{\alpha_n}$.

• $K\subseteq X$가 콤팩트 $\iff$ $K$가 부분공간 위상에서 콤팩트 (동치로: $X$의 열린집합들로 $K$를 덮을 때마다 유한 부분덮개 존재).
• 유한교차성질(finite intersection property, FIP): 집합족의 임의의 유한 부분족의 교집합이 항상 비공이면 그 족이 FIP를 가짐 — 콤팩트성을 "닫힌집합들의 언어"로 재진술할 때 쓰인다(닫힌집합족이 FIP를 가지면 전체 교집합도 비공 $\iff$ 콤팩트, 열린덮개 정의의 쌍대).

주요 정리

정리 (연속상 보존, Munkres Thm 26.5).¹ $f:X\to Y$ 연속, $X$ 콤팩트이면 $f(X)$ 콤팩트.

정리 (콤팩트의 닫힌부분집합은 콤팩트). $X$ 콤팩트, $C\subseteq X$ 닫힘이면 $C$ 콤팩트.

정리 (Hausdorff 공간에서 콤팩트는 닫힘, Munkres Thm 26.3).² $Y$ Hausdorff, $C\subseteq Y$ 콤팩트이면 $C$는 $Y$에서 닫힘.

정리 (유한곱의 콤팩트성, Munkres Thm 26.7 — Tychonoff의 유한 버전). $X,Y$ 콤팩트이면 $X\times Y$ 콤팩트(곱위상).

정리 (Heine–Borel, $\mathbb{R}^n$ 특수화, Munkres Thm 27.3).⁴ $A\subseteq\mathbb{R}^n$ 콤팩트 $\iff$ $A$가 닫혀 있고 유계.

정리 (최대최소 정리, EVT). $f:X\to\mathbb{R}$ 연속, $X$ 콤팩트이면 $f$는 $X$에서 최댓값과 최솟값을 달성.

정리 (콤팩트+Hausdorff의 위력 — 따름정리 모음). - 연속전단사는 자동으로 위상동형: $f:X\to Y$ 연속전단사, $X$ 콤팩트, $Y$ Hausdorff이면 $f$는 위상동형(연속사상과 위상동형, 몫위상의 콤팩트-Hausdorff 충분조건과 같은 메커니즘). - 콤팩트 Hausdorff는 정규(normal, $T_4$): 분리공리 사다리의 상위 칸을 자동 획득. - 균등연속: 콤팩트 거리공간 사이의 연속함수는 자동으로 균등연속. - 르베그 수 보조정리(Lebesgue number lemma, Munkres Lemma 27.5):⁵ $X$가 콤팩트 거리공간이고 $\mathcal{A}$가 $X$의 열린덮개이면, $\delta>0$(르베그 수)가 존재해 지름이 $\delta$보다 작은 모든 부분집합이 $\mathcal A$의 어떤 원소 하나에 통째로 포함된다. 증명 스케치: 콤팩트성으로 유한 부분덮개 $A_1,\dots,A_n$을 얻고, 함수 $g(x)=\frac1n\sum_i d(x, X\setminus A_i)$(각 항은 $x\in A_i$일 때 양수)가 콤팩트 집합 위에서 최솟값 $\delta>0$을 달성함을 이용.

예제

예제 1 (기본 콤팩트/비콤팩트). $[0,1]$ 콤팩트(Heine–Borel). $(0,1)$ 비콤팩트: 덮개 $\{(1/n,1):n\ge2\}$가 유한 부분덮개를 갖지 않음(어떤 유한 부분집합을 골라도 가장 작은 $1/n$보다 작은 점들을 못 덮음). $\mathbb{R}$도 비콤팩트(유계 아님).

예제 2 (불변량 활용). $[0,1]\not\cong(0,1)$, $S^1\not\cong\mathbb{R}$ — 콤팩트성의 차이로 위상동형이 아님을 즉시 보일 수 있다(콤팩트는 연속상으로 보존되므로, 한쪽이 콤팩트인데 다른 쪽이 아니면 위상동형 불가능).

예제 3 (Hausdorff 없이는 콤팩트가 닫힘을 보장 못함). 두-원점 직선(real line with two origins, 극한점과 하우스도르프에서 다룬 비Hausdorff 공간)에서 한쪽 원점만 제외한 전체 직선은 콤팩트이지만 닫혀 있지 않다 — Hausdorff 가정이 빠지면 "콤팩트 ⟹ 닫힘" 정리가 무너지는 직접적 사례.

예제 4 (무한차원 함정 — 닫히고 유계여도 콤팩트가 아닐 수 있음). $\ell^2$(제곱합이 유한한 실수열 공간)의 닫힌 단위공 $\{x:\|x\|\le1\}$은 닫혀 있고 유계이지만 콤팩트가 아니다[synthesis] — 표준기저벡터들의 수열 $e_1,e_2,\dots$($\|e_i-e_j\|=\sqrt2$, $i\ne j$)이 어떤 수렴하는 부분수열도 갖지 않는다. Heine–Borel 정리가 $\mathbb{R}^n$(유한차원)이라는 가정에 본질적으로 의존함을 보여주는 핵심 반례 — 콤팩트성의 진짜 본질은 "유계+닫힘"이 아니라 덮개 조건임을 일깨운다.

예제 5 (Cantor 집합). Cantor 집합은 $[0,1]$의 닫힌 부분집합이므로 콤팩트(닫힌부분집합은 콤팩트 정리) — 콤팩트하면서 완전비연결(totally disconnected)·완전(perfect, 고립점이 없음)인 흥미로운 공간이며, 곱위상에서 본 $\{0,1\}^\omega$와 위상동형이다.

예제 6 (콤팩트화로 본 Tychonoff 정리의 위력). $\mathbb{R}\cup\{\infty\}\cong S^1$처럼 무한대를 나타내는 점 하나를 추가해 비콤팩트 공간을 콤팩트로 만드는 한점콤팩트화(one-point compactification)는[synthesis] 사영기하·복소해석의 리만 구면($\mathbb{C}\cup\{\infty\}\cong S^2$)과 같은 아이디어다. 한편 캔터 집합 $\{0,1\}^\omega$이 콤팩트 공간들의 가산무한곱으로서 콤팩트라는 사실은 tychonoff theorem(선택공리와 동치)이 없으면 일반적으로 보장되지 않는다 — 박스위상에서는 같은 무한곱이 콤팩트성을 잃는 등 병리적 현상이 발생한다(곱위상 참고).

흔한 오해와 함정

• "콤팩트 = 닫혀 있고 유계" — 이는 $\mathbb{R}^n$(유한차원 유클리드 공간)에서만 성립하는 Heine–Borel 정리이지 일반 위상공간의 정의가 아니다. 예제 4의 $\ell^2$ 단위공이 정확한 반례.
• "콤팩트 부분집합은 항상 닫혀 있다" — Hausdorff 가정이 빠지면 거짓(예제 3). Hausdorff는 이 함의의 필요조건.
• "콤팩트성은 전체 공간에 의존하지 않으므로 닫힘·열림과 무관하다고 봐도 된다" — 콤팩트성 자체(부분공간 위상으로 본 내재적 성질)는 어떤 공간에 담겨 있느냐와 무관하지만, 그 부분집합이 "닫혀 있는지/열려 있는지"는 전적으로 주변 공간에 의존한다 — 이 둘을 혼동하지 않아야 한다.
• "유한 부분덮개가 존재하는 덮개가 하나라도 있으면 콤팩트" — 정의는 모든 열린덮개에 대해 유한 부분덮개가 존재해야 한다는 전칭 조건이다. 특정 덮개 하나가 유한 부분덮개를 가진다는 사실만으로는 아무것도 보장되지 않는다.
• "콤팩트가 아닌 곳에서도 모든 연속함수는 균등연속" — 거짓. 예컨대 $f(x)=1/x$는 $(0,1)$(비콤팩트)에서 연속이지만 균등연속이 아니다 — 콤팩트성이 균등연속을 보장하는 핵심 조건.

큰 그림 / 연결

콤팩트성은 연결성와 함께 위상공간을 분류하는 가장 강력한 두 불변량을 이루며, 둘 다 연속사상과 위상동형의 연속상으로 보존된다는 공통 패턴을 따른다. 거리위상에서는 콤팩트 거리공간이 완비성(complete metric spaces)과 전유계성을 동시에 갖는다는 동치 특성화가 있다(거리공간에서는 콤팩트 = 완비 + 전유계 = 점렬콤팩트, 더 섬세한 변형은 콤팩트성의 변형들). 곱위상의 tychonoff theorem은 콤팩트성이 임의의(가산이든 비가산이든) 곱에서 보존된다는 놀라운 결과이며, 이는 선택공리와 동치라는 점에서 집합론(set-theory-and-foundations)과도 깊이 얽혀 있다. 몫위상의 "콤팩트-Hausdorff 충분조건" 정리는 사영평면·토러스 같은 곱·몫 구성으로 얻은 공간이 좋은 분리공리를 만족하는지 점검할 때 핵심 도구로 쓰인다. 해석학의 EVT·균등연속성·르베그 적분의 여러 극한정리는 모두 이 페이지에서 다룬 콤팩트성 정리의 직접적 응용이다.

연습문제

1. $S^n$(단위 구면)이 콤팩트임을 Heine–Borel로 보여라.
2. 콤팩트 공간의 닫힌 부분집합이 콤팩트임을 증명하라.
3. $f:[0,1]\to\mathbb{R}$ 연속이면 $f([0,1])$이 닫힌유계구간(또는 한 점)임을 보여라.
4. $X$가 콤팩트, $Y$가 Hausdorff, $f:X\to Y$가 연속이고 단사이면 $f$가 $f(X)$ 위로의 위상동형임을 증명하라.
5. 무한 이산공간이 콤팩트가 아님을 직접 덮개로 증명하고, 이로부터 이산공간이 콤팩트 $\iff$ 유한임을 보여라.
6. 르베그 수 보조정리를 이용해, 콤팩트 거리공간 사이의 연속함수가 균등연속임을 증명하라(스케치).
7. $\ell^2$의 닫힌 단위공이 콤팩트가 아님을 표준기저벡터 수열로 증명하라.
8. 관 보조정리(tube lemma)를 이용해 $X\times Y$ ($X,Y$ 콤팩트)가 콤팩트임을 증명하는 핵심 단계를 설명하라.

관련 개념

• 콤팩트성의 변형들 — 극한점·점렬·국소 콤팩트
• 연결성 — 짝을 이루는 또 다른 핵심 불변량
• tychonoff theorem — 임의 곱의 콤팩트성, 선택공리와 동치
• 연속사상과 위상동형 — 보존되는 불변량, 지름길 정리
• 곱위상 — 유한곱(관 보조정리), 박스위상과의 대조
• 거리위상 — 콤팩트=완비+전유계, complete metric spaces
• 몫위상 — 콤팩트-Hausdorff 충분조건
• 극한점과 하우스도르프 — Hausdorff와 콤팩트의 상호작용
• 해석학: Heine–Borel·최대최소 → analysis 위키 compactness