함께 배우는 수업 · 수학

일반위상수학: 콤팩트성과 연결성

거리(Metric)조차 없는 추상적인 집합 위에서 '연속성'과 '수렴'을 정의하기 위한 개집합 계(Topology)의 공리, 유한 부분 피복 콤팩트성, 연결성 및 하우스도르프 분리공리를 탐구합니다.

이 수업에서 해 볼 일

  • 실수 유클리드 공간에서 닫힘·유계성과 콤팩트성을 구별한다

먼저 알면 좋은 것: 집합론(임의의 합집합·유한 교집합, 데카르트 곱) · 실해석학의 거리공간(Metric Space) · 함수의 상(Image)과 역상(Preimage)

오늘의 목표

가입 없이 시작할 수 있어요. 설명을 읽고, 함께 연습한 뒤, 처음 보는 문제에서 직접 확인합니다.

판단 과정과 비교 사례

콤팩트성의 정의는 모든 열린 덮개에서 유한 부분덮개를 고를 수 있다는 것이다. 덮개 자체가 처음부터 유한해야 한다는 뜻은 아니다.유클리드 공간의 표준 위상에서는 닫히고 유계인 집합이 콤팩트하다. 이 기준을 임의의 위상공간에 조건 없이 확장하지 않는다.콤팩트 집합의 연속상과 닫힌 부분집합은 콤팩트하다. 유한 집합도 콤팩트하지만 콤팩트 집합이 반드시 유한한 것은 아니다.

1. 개념 정의와 직관적 원리: 거리 없는 공간에서 정의하는 위상(Topology)과 연속함수

실수 공간 Rn\mathbb{R}^n에서는 두 점 사이의 거리 d(x,y)d(x, y)를 이용한 ε\varepsilon-δ\delta 논법으로 연속함수를 정의했습니다. 그러나 거리 개념이 없는 추상적 공간에서도 "가까움"과 "연속적 변형"을 다루기 위해, 열린구간(Open Interval)의 핵심 성질만 추출하여 공리화한 것이 위상공간(Topological Space)입니다. 집합 XX의 부분집합들의 모임 T⊆P(X)\mathcal{T} \subseteq \mathcal{P}(X)가 다음 위상의 3대 공리를 만족할 때, T\mathcal{T}를 XX 위의 위상(Topology)이라 하고 T\mathcal{T}의 원소 U∈TU \in \mathcal{T}를 열린집합(개집합, Open Set)이라 부릅니다: 1. 공집합과 전체집합은 열린집합이다: ∅∈T\emptyset \in \mathcal{T}, X∈TX \in \mathcal{T} 2. 임의의(무한 개도 허용!) 열린집합들의 합집합은 열린집합이다: ⋃α∈IUα∈T\bigcup_{\alpha \in I} U_\alpha \in \mathcal{T} 3. 유한 개의 열린집합들의 교집합은 열린집합이다: ⋂i=1nUi∈T\bigcap_{i=1}^{n} U_i \in \mathcal{T} 열린집합의 여집합 F=X∖UF = X \setminus U를 닫힌집합(폐집합, Closed Set)이라 합니다. 이때 두 위상공간 사이의 함수 f:(X,TX)→(Y,TY)f: (X, \mathcal{T}_X) \to (Y, \mathcal{T}_Y)가 연속(Continuous)이라는 것은 ε\varepsilon-δ\delta 없이 단 한 줄로 정의됩니다:
공역 Y의 모든 열린집합 V에 대하여, 그 역상 f−1(V)가 정의역 X에서 열린집합이다!\text{공역 } Y\text{의 모든 열린집합 } V\text{에 대하여, 그 역상 } f^{-1}(V)\text{가 정의역 } X\text{에서 열린집합이다!}
🎯 위상의 제3공리에서 왜 교집합은 '유한 개'로만 제한할까요? 실수 R의 보통위상에서 열린구간 U_n = (-1/n, 1/n) 들을 무한히 교집합하면 ∩_{n=1}^∞ (-1/n, 1/n) = {0} (한 점 집합)이 되어 열린집합이 깨지고 닫힌집합이 되기 때문입니다!

2. 핵심 공식 유도 및 성질: 콤팩트성(Compactness)과 연결성(Connectedness)

위상동형사상(Homeomorphism)에 의해 보존되는 가장 중요한 위상적 불변량(Topological Invariant) 두 가지는 콤팩트성과 연결성입니다. 1) 콤팩트 공간 (Compact Space) — 유한집합의 위상적 일반화: 위상공간 XX를 덮는 임의의 열린집합들의 모임(열린 피복, Open Cover) U={Uα}α∈I\mathcal{U} = \{U_\alpha\}_{\alpha \in I} (X=⋃α∈IUαX = \bigcup_{\alpha \in I} U_\alpha)에 대하여, 그중 유한 개만 골라내어도 여전히 XX 전체를 덮을 수 있을 때 (X=Uα1∪⋯∪UαnX = U_{\alpha_1} \cup \cdots \cup U_{\alpha_n}인 유한 부분 피복, Finite Subcover 존재), 공간 XX를 콤팩트(Compact)하다고 정의합니다. - 하이네-보렐 정리 (Heine-Borel Theorem): 유클리드 공간 Rn\mathbb{R}^n의 보통위상에서 부분집합 K⊆RnK \subseteq \mathbb{R}^n가 콤팩트일 필요충분조건은 KK가 닫혀있고 유계(Closed and Bounded)인 것입니다. 2) 연결 공간 (Connected Space): 공간 XX를 공집합이 아닌 두 개의 서로소인 열린집합 U,VU, V의 합집합(X=U∪V,  U∩V=∅X = U \cup V, \; U \cap V = \emptyset)으로 쪼갤 수 없을 때(즉, XX 안에서 열린집합인 동시에 닫힌집합인 개폐집합 Clopen Set이 ∅\emptyset과 XX뿐일 때) XX를 연결 공간이라 합니다. 3) 연속함수의 보존 정리: 연속함수 f:X→Yf: X \to Y에 대하여 XX가 콤팩트이면 상 f(X)f(X)도 콤팩트(최대·최소 정리의 일반화)이고, XX가 연결이면 상 f(X)f(X)도 연결(사잇값 정리의 일반화)입니다!

예제로 살펴보기

실수 R의 보통위상에서 열린구간 X = (0, 1)이 유계임에도 불구하고 왜 콤팩트 공간이 아닌지, 유한 부분 피복을 갖지 않는 구체적인 열린 피복 {U_n}을 제시하여 증명하시오.
  1. 1) 자연수 n ≥ 3 에 대하여 열린구간 U_n = (1/n, 1) 을 생각합시다. 2) 임의의 x ∈ (0, 1) 에 대하여 아르키메데스 성질에 의해 1/n < x 인 자연수 n이 존재하므로, ∪_{n=3}^∞ (1/n, 1) = (0, 1) 이 되어 {U_n}_{n=3}^∞ 은 (0, 1)의 열린 피복입니다. 3) 이제 이 피복에서 임의로 유한 개만 뽑은 부분 모임 {U_{n_1}, U_{n_2}, ..., U_{n_k}} 를 택합시다. 4) N = max(n_1, n_2, ..., n_k) 라 하면, 포함 관계에 의해 유한 합집합은 ∪_{i=1}^k U_{n_i} = (1/N, 1) 이 됩니다. 5) 이는 (0, 1/N] 구간의 점들을 전혀 덮지 못하므로 유한 부분 피복이 존재하지 않습니다. 따라서 (0, 1)은 콤팩트가 아닙니다.
확인: 위상(Topology)은 ∅, X를 포함하고 임의의 합집합과 '유한 개의 교집합'에 대해 닫혀 있는 열린집합들의 모임이다.

3. 심화 응용 및 실전 빈출 함정 분석: 하우스도르프(T2) 공간과 콤팩트·닫힌집합의 관계

대학원 입시 및 임용고시 위상수학에서 가장 자주 출제되는 3대 핵심 명제와 반례 함정을 완벽히 정리합니다. 1) 하우스도르프 공간 (Hausdorff Space, T2T_2 공간)과 두 콤팩트·폐집합 정리: 임의의 서로 다른 두 점 x≠yx \neq y에 대하여 서로 만나지 않는(U∩V=∅U \cap V = \emptyset) 각각의 열린 근방 x∈U,y∈Vx \in U, y \in V가 항상 존재하는 공간을 하우스도르프 공간이라 합니다(모든 거리공간은 하우스도르프 공간입니다). 하우스도르프 공간에서는 수렴하는 점열의 극한이 유일하며, 다음 두 정리가 결합되어 엄청난 위력을 발휘합니다: - 정리 A: 임의의 위상공간에서 콤팩트 공간의 닫힌 부분집합은 항상 콤팩트이다. - 정리 B: 하우스도르프 공간에서 콤팩트 부분집합은 항상 닫힌집합이다! - 따름정리 (전단사 연속함수의 위상동형 정리): 콤팩트 공간 XX에서 하우스도르프 공간 YY로 가는 연속 전단사 함수 f:X→Yf: X \to Y는 역함수 f−1f^{-1}의 연속성을 따로 보일 필요 없이 자동으로 위상동형사상(Homeomorphism)이 됩니다! 2) 실전 빈출 반례 함정 2선: - 함정 1 ("닫힌집합이 아니므로 열린집합이다?" →\rightarrow 거짓!): 집합은 '문(Door)'이 아닙니다! 반열린구간 [0,1)[0, 1)은 R\mathbb{R}에서 열린집합도 아니고 닫힌집합도 아니며, 반대로 ∅\emptyset과 XX는 열린집합인 동시에 닫힌집합입니다. - 함정 2 ("경로연결(Path-connected)과 연결(Connected)은 동치이다?" →\rightarrow 거짓!): 경로연결이면 항상 연결이지만, 역은 성립하지 않습니다. 대표적인 반례가 위상수학자의 사인 곡선(Topologist's Sine Curve) S={(x,sin⁡(1/x)):x∈(0,1]}∪{(0,y):y∈[−1,1]}S = \{(x, \sin(1/x)) : x \in (0, 1]\} \cup \{(0, y) : y \in [-1, 1]\}로, 이는 연결 공간이지만 경로연결 공간이 아닙니다!⚠️ 위상수학 단골 함정: '콤팩트 부분집합은 닫힌집합이다'라는 명제는 일반적인 위상공간에서는 거짓입니다! (예: 비이산위상이나 여유한위상). 이 명제가 참이 되려면 전체 공간이 반드시 '하우스도르프(T₂) 공간'이라는 조건이 있어야 합니다.

참고 근거와 확인 범위

설명·예제·문제 구성 및 오류 수정 책임: 프리런. 위 자료는 표시한 주제를 확인하거나 더 읽기 위한 근거이며, 외부 기관의 공식 수업이나 감수본을 뜻하지 않습니다.

참고 자료 연결 점검: 2026-11-02. 제작 방식·검수 범위와 수정 기록에서 확인 범위를 볼 수 있습니다. 오류는 상단의 의견 보내기 또는 contact@freelearn.io로 알려 주세요.

이 단원의 개념서 읽기 →