전체 조망

하나의 추상화에서 시작한다

위상수학의 모든 것은 한 가지 깨달음에서 출발한다 — 거리공간에서 우리가 신경 쓰는 위상적 개념(수렴·연속·콤팩트)은 거리값이 아니라 "무엇이 열린집합인가"에만 의존한다. 그래서 거리를 버리고 열린집합의 공리 세 개만 남긴다(위상공간). 이 한 번의 추상화가 거리공간·순서집합·함수공간을 하나의 언어로 통합한다.

핵심 정의 둘이 분야를 떠받친다: - 연속 = 열린집합의 역상이 열림(연속사상과 위상동형). ε–δ 없는 이 한 줄. - 위상동형 = 양방향 연속 전단사 = "위상적으로 같음". 위상수학의 근본 질문은 "두 공간이 위상동형인가?"

네 개의 관문

1. 연속사상과 위상동형 — 연속과 위상동형. 모든 것의 언어. 기저·부분기저(기저와 부분기저)로 위상을 간편히 명시하고, 부분·곱·몫(부분·순서·유한곱 위상, 곱위상, 몫위상)으로 새 공간을 짓는다. 곱위상이 "올바른" 이유는 함수의 연속성이 성분별로 환원되기 때문.

2. 콤팩트성 — 가장 중요한 성질. "무한을 유한으로 길들이기". 연속상으로 보존되는 불변량이자(연결성와 짝) 최대최소·Heine–Borel·균등연속의 원천. 임의 곱으로의 확장이 tychonoff theorem(AC와 동치). 거리공간에서는 콤팩트=점렬콤팩트=완비+전유계(콤팩트성의 변형들, complete metric spaces).

3. 우리손 거리화 정리 — 언제 거리에서 오는가. 분리공리의 사다리($T_1\subset T_2\subset T_3\subset T_4$, 분리공리)를 오르면 정규공간에서 urysohn lemma가 연속함수를 길어 올리고, 이를 좌표로 써서 정규+제2가산 공간을 거리화한다. tietze extension theorem은 그 강화.

4. 호모토피와 기본군 — 구멍을 세다. 점-집합 불변량으로 구별 못 하는 공간(원판 vs 원환)을 기본군 $\pi_1$이 대수적으로 구별한다. covering spaces가 $\pi_1(S^1)\cong\mathbb{Z}$를 계산하고, classification of surfaces가 모든 콤팩트 곡면을 방향가능성+Euler 지표로 완전 분류한다.

세 가지 큰 통찰

• 성질의 보존이 불변량을 만든다. 콤팩트성·연결성은 연속함수가 보존한다 ⟹ 두 공간이 이들에서 다르면 위상동형이 아니다. 이것이 "$[0,1]\not\cong(0,1)$", "$\mathbb{R}\not\cong\mathbb{R}^2$"의 증명 원리이고, 궁극에는 기본군으로 정밀해진다.
• 반례가 개념의 경계를 그린다. 하한위상 $\mathbb{R}_\ell$, 두 점 직선, Sorgenfrey 평면, 위상수학자의 사인곡선 — 이 표준 반례들이 "성립할 것 같지만 안 되는" 경계(가분≠제2가산, 정규는 곱으로 안 유전 등)를 보여준다.
• 좋은 공간일수록 함수가 풍부하다. 정규성 → Urysohn 함수 → 거리화·확장. 완비성 → Banach 고정점·Baire. "공간의 질"이 곧 "그 위 연속함수의 풍부함".

다른 수학과의 연결

• 해석학(analysis): 거리공간·콤팩트성·연결성·연속·완비성을 공유 — 위상은 그 일반화. 실해석이 ℝⁿ에서 한 것을 위상이 임의 공간으로 확장.
• 집합론(settheory): 선택공리·Zorn·울트라필터가 Tychonoff·거리화·기저 존재를 떠받침.
• 복소해석: 한점 콤팩트화(Riemann 구면), 단순연결(Cauchy 정리의 가설).
• 미분기하: 다양체는 거리화가능 위상공간; Gauss–Bonnet이 Euler 지표를 곡률과 연결.
• 대수: 기본군은 군; 덮개공간↔부분군 대응은 Galois 이론과 평행.

어떻게 읽을까

읽기 경로의 7부 순서를 권한다. 2장(연속·위상동형)과 3장(콤팩트·연결)을 분수령으로 삼아라 — 이후 모든 것이 이 위에 선다. 4–5장(분리·거리화·Tychonoff)이 일반위상의 절정이고, 대수위상(9–14장)은 더 깊은 세계로의 발판.