목차
소개
위상수학은 모양을 늘리거나 구부려도 자르거나 붙이지 않는 한 변하지 않는 성질을 연구합니다. 핵심 아이디어는 집합에 열린집합 체계를 부여해, 거리 없이도 연속성과 수렴을 다루는 보편 언어를 마련하는 것입니다. 이 관점은 구체적 길이나 각도 없이도 공간을 비교하도록 해 주며, 커피잔과 도넛처럼 구멍 수가 같은 물체를 위상적으로 같은 대상으로 이해하게 합니다.
기본 개념: 위상·연속성·항상동형
위상과 열린집합
집합 X의 부분집합족 T가 (i) ∅,X∈T, (ii) 임의 합에 닫힘, (iii) 유한 교집합에 닫힘을 만족하면 (X,T)를 위상공간이라 하고, T의 원소를 열린집합이라 부릅니다.
연속함수와 항상동형
함수 f:X→Y가 연속이라는 뜻은, Y의 임의의 열린집합 V에 대해 역상 f^{-1}(V)가 X에서 열려 있다는 것입니다. 일대일 전사이면서 양방향 연속인 함수가 존재하면 두 공간은 항상동형입니다.
핵심 성질: 연결성·콤팩트성·분리공리
연결성과 경로연결
공간이 둘의 서로소 열린집합으로 분해되지 않으면 연결입니다. 임의 두 점을 연속 경로로 이을 수 있으면 경로연결이며, 경로연결이면 언제나 연결입니다.
콤팩트성과 Heine–Borel
콤팩트성은 모든 열린덮개에서 유한부분덮개를 고를 수 있는 성질입니다. 유클리드 공간 R^n에서는 “닫힘+유계 ⇔ 콤팩트”가 성립하지만 일반 위상공간에서는 성립하지 않습니다.
분리공리 요약
| 기호 | 이름 | 핵심 설명 | 대표 성질 |
|---|---|---|---|
| T0 | Kolmogorov | 점 구분 정보 보유 | 상위 공리의 기초 |
| T1 | Fréchet | 모든 단일점이 닫힘 | — |
| T2 | Hausdorff | 서로 다른 두 점 분리 | 콤팩트 부분집합이 닫힘 |
| T3 | Regular | 점–닫힌집합 분리 | 연속 연장 기반 |
| T4 | Normal | 서로소 닫힌집합 분리 | Urysohn 보조정리 |
위상 불변량: 오일러 표수와 기본군
오일러 표수
다면체: χ=V-E+F, 폐곡면의 가면수 g: χ=2-2g. 예: 구면 S^2 → χ=2, 토러스 T^2 → χ=0.
| 공간 | 설명 | χ |
|---|---|---|
| S^2 | 구면 | 2 |
| T^2 | 토러스(구멍 1) | 0 |
| 가면수 g 폐곡면 | 구멍 g | 2-2g |
연결합에 대해 χ(M#N)=χ(M)+χ(N)-2.
기본군 π1
공간의 폐곡선을 연속변형 동치로 묶어 얻는 군.
제품위상 vs 박스위상
제품위상: 모든 사영이 연속이 되도록 하는 가장 약한 위상. 유한 곱에서는 박스위상과 동일하지만, 무한 곱에서는 박스위상이 더 섬세함.
| 상황 | 제품위상 | 박스위상 | 비고 |
|---|---|---|---|
| 유한 곱 | 동일 | 동일 | R^n 표준위상과 합치 |
| 무한 곱 | 더 조대 | 더 섬세 | 연결·콤팩트성 차이 |
| 범주론 관점 | 곱의 정의 충족 | 성질 과도 | 사영 연속성의 “최소” 보장 |
응용: TDA(지속적 동형) 최신 흐름
지속적 동형: 스케일 매개변수에 따라 단순체 복합체를 여과하고, 베티수의 변화를 바코드·다이어그램으로 요약.
| 분야 | 핵심 아이디어 | 요지 |
|---|---|---|
| 의료영상 | PH 특징 → 분류·예후 | 암 조직·MRI 분석 |
| 시계열 | Takens embedding | 동역학 위상 패턴 추출 |
| 단세포 RNA-seq | 고차원 구조 포착 | 세포 발달 궤적 추론 |
학습 로드맵
- 집합론·논리 기초
- 위상공간 정의와 예
- 연속성·항상동형
- 연결성·콤팩트성
- 분리공리·불변량
- 함수공간·곱위상
- 대수적 위상 입문
- TDA 실습
형상의 언어로 읽는 세상
위상수학은 “형태의 본질”을 다루는 언어입니다. 수학 이론일 뿐 아니라, 데이터·네트워크·물리 시스템의 패턴을 드러내는 렌즈이기도 합니다. 기하학적 제약을 벗어난 이 시선은, 변화 속에서도 변치 않는 구조를 발견하게 합니다.