미적분학 30단계 · 10단계 · 위상적 구조
10. 컴팩트성 (Heine–Borel 정리)
해석학에서 컴팩트(Compact) 개념은 유한 집합이 가진 좋은 성질들을 무한 집합으로 확장하기 위한 장치입니다.
"무한히 쪼개진 덮개들 중 아주 일부(유한 개)만 골라도 집합 전체를 덮을 수 있는가?"라는 질문에 답하며, 이는 함수의 연속적 성질이 '붕괴'되지 않도록 지탱해 주는 뼈대가 됩니다.
1. 개념 기반 목표 지향 수업 지도안
수업 목표 1 열린 덮개(Open Cover)와 유한 부분 덮개의 정의를 정확히 설명한다.
수업 목표 2 하이네-보렐 정리를 통해 유클리드 공간에서의 컴팩트성을 판정한다.
수업 목표 3 컴팩트 집합의 연속 사상은 항상 컴팩트임을 증명한다.
수업 목표 4 볼차노-바이어슈트라스 정리가 컴팩트성과 맺는 관계를 이해한다.
수업 흐름
도입 : "무한 수열은 항상 수렴하는 부분 수열을 가질까?"라는 질문으로 집합의 '갇힌(Bounded)' 성질을 논한다.
탐구 1 : 위상적 정의(Open Cover) 학습: 임의의 열린 덮개가 유한 부분 덮개를 가질 때 컴팩트라 한다.
탐구 2 : 하이네-보렐 정리: $\mathbb{R}^n$에서 $K$가 컴팩트 $\iff$ $K$는 유계인 닫힌 집합(Closed and Bounded).
정리 : 컴팩트 집합 위에서 정의된 연속함수가 왜 최대-최소값을 가질 수밖에 없는지 논리적으로 연결한다.
확장 : 유계가 아닌 구간(예: $[0, \infty)$)이나 열린 구간(예: $(0, 1)$)이 왜 컴팩트가 아닌지 반례를 분석한다.
2. 개념 상세 설명
개념 1. 열린 덮개와 컴팩트성
집합 $K \subseteq \mathbb{R}$의 열린 덮개(Open Cover) 란 그 합집합이 $K$를 포함하는 열린 집합들의 모임 $\{G_\alpha\}$를 말한다.
이때, $K$가 컴팩트 하다는 것은 다음과 같다.
$K$의 임의의 열린 덮개 $\{G_\alpha\}$에 대하여, $K \subseteq \bigcup_{i=1}^n G_{\alpha_i}$를 만족하는 유한 개 의 집합이 존재한다.
개념 2. 하이네-보렐 정리 (Heine–Borel Theorem)
실수계 $\mathbb{R}$(또는 $\mathbb{R}^n$)의 부분집합 $K$에 대하여 다음은 동치이다.
$$K \text{ 는 컴팩트(Compact)이다.} \iff K \text{ 는 유계(Bounded)이고 닫힌(Closed) 집합이다.}$$
※ 주의: 이 정리는 무한 차원 공간에서는 성립하지 않을 수 있습니다.
개념 3. 연속함수와 컴팩트성
컴팩트성은 연속함수에 의해 보존되는 성질입니다.
$f$가 연속이고 $K$가 컴팩트이면, 함숫값의 집합 $f(K)$도 컴팩트이다.
따라서 $f(K)$는 유계이고 닫힌 집합이므로, 반드시 최대값과 최소값 을 포함한다. (최대-최소 정리의 근거)
3. Graph 및 시각적 이해
시각화 1. 열린 덮개와 유한 부분 덮개
컴팩트 집합 K
무수히 많은 덮개들 중 유한 개로 충분!
임의의 복잡한 덮개(Cover)가 와도, 단 몇 조각(Finite)만으로 $K$를 완벽히 덮을 수 있는 상태입니다.
시각화 2. 반례: (0, 1)이 컴팩트가 아닌 이유
덮개 $G_n = (1/n, 1)$을 잡으면, $n$을 무한히 키워도 유한 개의 합으로는 0 근처를 덮을 수 없습니다.
0 지점을 못 덮음
4. 주요 판정 정리
집합 $S$
유계?
닫힘?
컴팩트 여부
$[0, 10]$
Yes
Yes
Compact
$(0, 1)$
Yes
No
Not Compact
$[0, \infty)$
No
Yes
Not Compact
$\{1, 2, 3\}$ (유한집합)
Yes
Yes
Compact
5. 기초 5문항
1. 실수계에서 컴팩트 집합이기 위한 필요충분조건 2가지는?
정답 : 유계(Bounded)이고 닫힌 집합(Closed set)이어야 함.
2. 집합 $S = (2, 5]$는 컴팩트인가? 그 이유는?
정답 : 아니오. 2를 포함하지 않는 열린 집합이므로 닫힌 집합이 아님.
3. "모든 유계인 수열은 수렴하는 부분 수열을 갖는다"는 정리의 이름은?
정답 : 볼차노-바이어슈트라스 (Bolzano-Weierstrass) 정리
4. 자연수 집합 $\mathbb{N}$은 컴팩트인가?
닫힌 집합이지만 위로 유계가 아니다.
정답 : 아니오
5. 공집합이 아닌 컴팩트 집합 $K$에 대하여 $\sup K$와 $\inf K$는 항상 $K$에 속하는가?
정답 : 예 (닫힌 집합은 자신의 집적점을 포함하므로)
6. 응용 5문항
1. 컴팩트 집합 $K$의 닫힌 부분집합 $F$는 항상 컴팩트임을 증명하시오.
2. $f(x) = \frac{1}{x^2+1}$일 때, 실수 전체 집합 $\mathbb{R}$의 상 $f(\mathbb{R})$은 컴팩트인가?
$f(\mathbb{R}) = (0, 1]$ 이다. 닫힌 집합이 아니므로 컴팩트가 아니다.
3. 컴팩트 집합 위에서 연속인 함수는 반드시 균등연속(Uniformly Continuous)임을 말하는 정리의 이름은?
정답 : 하이네-칸토어 (Heine-Cantor) 정리
4. 두 컴팩트 집합의 합집합 $K_1 \cup K_2$는 항상 컴팩트임을 열린 덮개 정의를 사용하여 보이시오.
5. 유계가 아닌 집합 $S$에서 $S$를 덮으면서 유한 부분 덮개를 갖지 않는 열린 덮개의 예를 하나 드시오.
정답 : \(\mathbb{R}\)에 대해 \(G_n = (-n, n)\)
7. 심화 5문항
1. 하이네-보렐 정리를 사용하여 '최대-최소 정리'를 엄밀히 증명하시오.
2. 축소구간 정리(Nested Intervals Theorem)를 사용하여 하이네-보렐 정리의 한 방향을 증명하는 논리를 서술하시오.
3. 거리 공간(Metric Space)에서 '순차적 컴팩트(Sequentially Compact)'와 '컴팩트'가 동치임을 논하시오.
4. '임의의 컴팩트 집합 $K$와 $K$에 속하지 않는 점 $p$ 사이에는 서로 소인 열린 집합 $U, V$가 존재한다'는 사실을 통해 컴팩트 집합이 Hausdorff 공간에서 닫혀 있음을 보이시오.
5. 유한 차원 벡터 공간의 단위 구(Unit Sphere)가 컴팩트인 것과 공간의 차원이 유한한 것이 동치임을 설명하시오. (Riesz's Lemma 관련)