안내
읽기 경로
Munkres의 장별 진행과 관통하는 주제
읽음 0/0
갱신 2026-06-29
이 위키는 Munkres의 흐름을 따른다. 아래 7부 경로대로 읽으면 위상공간의 정의에서 거리화정리·Tychonoff·기본군까지 막히지 않고 도달한다. 각 페이지는 정의·정리·예제·연습문제를 모두 담아 위키만으로 학습+문제풀이가 가능하다.
0부. 왜 위상수학인가
- what is topology — 분야의 중심 아이디어: 거리를 버리고 열린집합만 남긴다. 먼저 이 조감도를 읽으면 이후 추상 정의들이 "무엇을 추출한 것인지" 보인다.
1부. 기초 (1장)
- set theory and foundations — 함수·관계·가산성·선택공리·정렬정리 (위상수학에 필요한 집합론 도구)
2부. 위상공간과 연속 (2장 전반)
- 위상공간 — 위상의 정의, 열린집합
- 기저와 부분기저 — 기저·부분기저로 위상 만들기
- 닫힌집합과 폐포 — 닫힌집합, 폐포, 내부
- 극한점과 하우스도르프 — 극한점, Hausdorff 공리
- 연속사상과 위상동형 — 연속함수, 위상동형
3부. 새 공간 만들기 (2장 후반)
- 부분·순서·유한곱 위상 — 부분공간·순서·유한곱 위상
- 곱위상 — 일반 곱위상 (곱 vs 상자)
- 거리위상 — 거리위상, 거리화가능성
- 몫위상 — 몫위상 (붙이기·접기)
4부. 연결성과 콤팩트성 (3장)
5부. 가산·분리공리와 거리화 (4장)
- 가산공리 — 제1·제2가산, 가분성
- 분리공리 — $T_1$·Hausdorff·정칙·정규
- urysohn lemma — Urysohn 보조정리 (정규공간의 핵심 도구)
- 우리손 거리화 정리 — Urysohn 거리화정리
- tietze extension theorem — Tietze 확장정리
6부. Tychonoff·완비성·Baire (5, 7, 8장)
- tychonoff theorem — Tychonoff 정리 (임의 곱의 콤팩트성, AC 동치)
- complete metric spaces — 완비거리공간, 완비화
- baire category theorem — Baire 범주정리
7부. 대수위상 (9–14장, orientation)
- 호모토피와 기본군 — 호모토피, 기본군 $\pi_1$
- covering spaces — 덮개공간, $\pi_1(S^1)\cong\mathbb{Z}$
- classification of surfaces — 곡면의 분류
관통 줄거리
| 단계 | 한 줄 요약 |
|---|---|
| 위상 | 거리를 버리고 열린집합 공리 3개만 남긴다. |
| 연속 | "열린집합의 역상이 열림" — ε–δ 없는 연속. 위상동형 = 위상적으로 같음. |
| 구성 | 부분·곱·몫으로 새 공간을 짓는다. 곱위상은 사영이 연속이게 하는 최소 위상. |
| 연결·콤팩트 | 연속함수가 보존하는 두 성질. 위상적 불변량. Heine–Borel. |
| 분리 | $T_1\subset T_2\subset T_3\subset T_4$. 정규공간이 함수를 떠받친다. |
| 거리화 | 언제 위상이 거리에서 오는가? Urysohn: 정규+제2가산 ⟹ 거리화. |
| Tychonoff | 임의 개수 콤팩트공간의 곱도 콤팩트 (AC와 동치). |
| 대수위상 | 구멍을 군으로 센다. $\pi_1$이 공간을 구별한다. |
공부 팁
- 반례를 수집하라. 위상수학의 이해는 "어떤 공간이 이 성질을 깨는가"를 아는 것. 하한위상 $\mathbb{R}_\ell$, 순서사각형, 두 점 직선을 친구로 삼아라.
- 그림을 그려라. 열린집합·폐포·연결성은 그림으로 즉시 보인다.
- 2–3장이 분수령. 연속·위상동형(2장)과 콤팩트·연결(3장)을 확실히 하라. 이후 모든 것이 이 위에 선다.
- 해석학(analysis) 위키의
metric-spaces,compactness,connectedness,continuity와 직접 겹친다 — 실해석 배경이 있으면 위상은 그 일반화로 빠르게 통과.
관련 개념
- 원전 소개 — Munkres — 소스 소개
- what is topology — 분야 조감