최근 수정 시각 : 2022-05-28 07:19:52

위상수학


기하학 · 위상수학
Geometry · Topology
{{{#!wiki style="margin:0 -10px -5px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-6px -1px -11px"
{{{#!wiki style="letter-spacing: -1px"
평면기하학에 대한 내용은 틀:평면기하학 참고
기본 대상
공리 유클리드 기하학
비유클리드 기하학
도형 기본 도형 부피 · 꼬인 위치 · 각기둥 · 각뿔 · 원기둥 · 원뿔 · ( 공 모양 ) · 전개도 · 겨냥도 · 다면체 ( 정다면체 ) · 정사영
곡면 타원면 · 타원포물면 · 쌍곡포물면 · 원환면
프랙탈 도형 시에르핀스키 삼각형 · 시에르핀스키 사각형( 멩거 스펀지) · 망델브로 집합 · 코흐 곡선 · 드래곤 커브
기타 다포체 · 초구 · 일각형 · 이각형
다루는 대상과 주요토픽
위상수학 위상도형 사영평면 · 뫼비우스의 띠 · 클라인의 병 · 매듭( 목록)
위상 공간 택시 거리 공간 · 연결 공간 · 옹골 공간 · 다양체 · 위상수학자의 사인곡선
대수적 위상수학 호모토피 · 호몰로지
미분기하학 미분다양체 · 측지선 · 곡률 · 열률 · 텐서 · 쌍곡 공간( 쌍곡삼각형 · 푸앵카레 원반) · 타원 공간( 구면삼각형)
정리 · 추측
실베스터-갈라이 정리 · 해안선 역설 · 바나흐-타르스키 역설 · 라이데마이스터 변환 · 오일러 지표 · 푸앵카레 정리 · 호지 추측미해결
분야
논증기하학 · 미분기하학 · 해석기하학 · 매듭이론 · 프랙탈 이론 · 정보기하학 · 위상 데이터분석 }}}}}}}}}}}}

1. 개요2. 상세3. 역사4. 세부 분야
4.1. 위상공간론(general topology, point-set topology)4.2. 대수적 위상수학(algebraic topology)4.3. 미분 위상수학(differential topology)4.4. 기하학적 위상수학(geometric topology)4.5. 정수론적 위상수학(arithmetic topology)
5. 다른 학문과의 연관성6. 교재7. 기타

1. 개요

topology ·

위상동형사상에 의해 변하지 않는 성질을 연구하는 학문이다.

2. 상세

공간 속의 점·선·면 및 위치 등에 관하여, 양이나 크기와는 별개의 형상이나, 위치 관계를 연구하는 수학 분야. 역사적으로는 기하학에서 출발했지만, 현대 수학에서는 위상기하학, 미분위상수학 등 기하학과 직접적으로 연관이 있는 하위 분야가 아닌 이상 기하학과의 접점이 많다고 볼 수는 없고 오히려 일반위상수학(General Topology, Point-Set Topology) 같은 경우는 수학 전반에 쓰이는 도구로서 수학 기초론적인 성향을 띤다. 그래서 일반위상수학의 주요 개념은 수학과 고학년생을 위한 위상수학 수업에 앞서 저학년생을 위한 집합론과 해석학 등 다른 과목에서도 미리 한번쯤 다루게 된다. 그리고 저학년 때 다들 한번쯤 섭렵했지만 다른 내용과 아주 끈적하게 연계되지는 않다보니 기말시험 끝나면 다 까먹었을 가능성이 높은 일반위상수학의 툴은, 고학년이 되어 수강하는 다변수해석학, 실해석학, 복소해석학, 미분기하학등 여러 쟁쟁한 과목에서 폭우처럼 쏟아져내리며 넋나간 학생을 먼 바다까지 떠내려보낸다. 위상수학이라는 이름의 수업을 시작하기도 전부터!

위상수학에서는 선을 끊거나, 면을 자르거나, 구멍의 개수를 변화시키는 방법을 제외한 변형을 같은 모양(위상 동형)으로 취급한다. 이를테면 손잡이 달린 컵과 구멍 뚫린 도넛은 같은 모양으로 생각한다. 이해하기 쉽게 찰흙 반죽이나 만득이 반죽 같은걸 상상해보자. 임의의 방법으로 찌그러뜨리거나 늘려도 되지만, 표면을 터뜨리면 안 된다. 이 경우 원래 구멍이 난 물건은 어떻게 뭉그러뜨려도 구멍을 없앨 수 없고, 원래 구멍이 없는 물건은 표면을 터뜨리지 않는 이상 어떻게 찌그러뜨려도 구멍을 낼 수 없다는 걸 쉽게 상상할 수 있다.[1]

사실 위상수학에서 개념을 전개하는 방식은 위 서술된 바와 많이 다르고 본문 글은 위상수학을 배우지 않은 사람들도 쉽게 이해할 수 있도록 덜 엄밀하고 직관적으로 서술하고 있으므로 읽을 때 주의를 요한다. 선을 끊거나, 면을 자르거나, 구멍의 개수를 변화시키는 방법을 제외한 변형만을 다루는 것은 물론 아니고 정확하게 말하자면 위상수학은 거리개념을 배제함으로써[2][3] 수학적 대상들을 분류하는 쪽에 초점이 맞춰져 있다. 상술한 변형들은 사실 위상수학 위에서 논리를 전개하는 미분기하학에서 위상적 불변량을 통해 3차원 다양체들을 분류할 때 좀 더 직접적으로 다루지만, 교수님에 따라 학부 위상수학 강의에서도 어느 정도 다룰 수 있다. 물론 미분기하학을 배울 때라면 각오하자.

위 설명에서도 알 수 있듯이 애초에 중등교육이나 흔한 대학 1학년생 수준에서는 개념을 정확히 이해하기에도 상당히 무리가 있으며, 그로 인해 '또모르지'라는 별명으로도 불리는 애증의 과목이다. 대학에서도 수학과 및 인접학과가 아니면 깊이 배울 기회도 드물다. 수학을 좋아하지만 주로 응용분야를 써먹는 자연대, 공대 등의 이공학도들이 위상수학은 뭔가 하고 들어가 봤다가 놀라는 경우도 많다. 이러한 위상수학에 대한 생경한 시각은 외국도 딱히 다르지 않아서, 위상부도체가 주제였던 2016년 노벨물리학상 시상식에서 스웨덴 한림원 심사위원들이 기사를 어찌 써야 할지조차 막막해하는 기자들 앞에서 도넛과 빵조각을 들고 속성 강의를 벌인 바 있었다.

학부생에게는 해석학 선형대수학에서 고등수학의 직관과 논리가 충돌한다면 위상수학은 현대대수학과 함께 다루는 대상의 직관성과 추상성이 맞붙는 과목이다.[4] 하지만 수많은 학생들이 저러한 대상의 추상성에 익숙하지 않은 것이 문제. 특히 학부 교수님의 강의가 거리공간의 성질을 추상화해가는 방식이 아닌 밑바닥부터 시작하는 방식이라면 괴리감은 더욱 커진다. 결국 이해는 포기하고 달달달 외우는 학생들이 다반사. 시험 또한 다른 수학과 과목과는 달리 계산은 거의 없다고 봐도 된다.(크기를 구하는 문제가 없으므로.) 대신 위상수학 시험의 답안지를 보면 작문 시험이라고 봐도 될 정도로 장문의 글이 써져있는 것을 볼 수 있다. 거의 모든 답안은 충분조건 또는 필요충분조건을 맞추기 위한 단방향, 양방향, 3각, 심지어는 4각 이상의 동치관계 화살표[5]나 집합의 양방향 포함기호로 단락이 구분되며, 교수와 조교들은 그런 장문의 글에서도 틀린 점을 하나하나 다 뽑아내기 때문에 분명 답안지를 제출할 때엔 완벽하게 쓴 것 같은데도 성적표를 받아들면 점수가 왕창 깎여있는 상당히 엄밀하고 깐깐한 과목이라 할 수 있다.

위상수학에서는 다음의 8개를 기본적인 위상으로 다룬다.
  • (sphere)
  • 원환면(torus)
  • 두 구멍 토러스(2-holed torus)
  • 여러 개 구멍 토러스(g-holed torus)
  • 사영평면(projective plane)
  • 클라인의 병(klein bottle)
  • 안팎이 구분 안 되는 구(sphere with c cross-caps)
  • 안팎이 구분 안 되는 여러 개 구멍 토러스(2-manifold with g holes and c cross-caps)

반면에 학문 외적으로는 다음의 4개를 위상수학의 상징으로 여긴다.

3. 역사

보통 집합 위에서 위상공간을 추상적으로 정의하고 그 성질을 연구하는 것과 달리, 역사적으로는 말 그대로 도형의 모양을 연구하는 데에서 출발했다. 대개 출발을 쾨니히스베르크 다리 건너기 문제[6]로 생각하는데, 이는 레온하르트 오일러가 도형을 그 정확한 크기 등을 무시하고 형태만을 '개략적으로' 나타낸 것을 들어, 처음으로 학술적으로 위상수학적 접근이 나타났다고 말한다.

이후 19C 후반부터 20C 초반에 이르러, 펠릭스 클라인, 앙리 푸앵카레로 이어지며 대수적 위상수학(algebraic topology)의 기본개념인 호모토피(homotopy), 호몰로지(homology)에 대한 개념이 정립되면서 본격적으로 도형의 연속적인 성질을 연구할 수 있는 대수학적 도구가 만들어졌다.

한편, 19C 후반부터 해석학에서도 수직선 위의 연속함수와 부분집합에 대한 다양한 성질이 연구되고 있었다. 라이프니츠와 뉴턴 시대부터 미적분이 워낙 막장으로 정립됐어서 (...) 코시, 바이어슈트라스, 볼차노, 보렐 등 많은 수학자에 의해 미적분학의 내용을 (극한부터) 제대로 설명하는 시도가 있었고, 그 중 많은 성질이 실수의 열린집합(open set)의 성질에 의존한다는 것을 밝혔다.

또한, 평행선 공준(parallel postulate)에 대한 "반례"로, 가우스 리만을 필두로 한 구면기하학(spherical geometry) 혹은 쌍곡기하학(hyperbolic geometry)이 제시되었고, 이들 역시 등장변환(isometry)이라는 연속성에 대해 변하지 않는 성질이 몇몇 있음이 밝혀졌다.
  • 등장변환이란 거리함수 dd가 정의되어 있을 때, (X,dX),(Y,dY)\left(X, d_X\right) ,\left(Y, d_Y\right)의 두 거리공간상에서, dX(a,b)dY(f(a),f(b))d_X\left(a,b\right)\to d_Y\left(f(a), f(b)\right)를 만족하는 f:XYf:X\to Y로 정의된 함수 ff가 존재한다는 성질.

등장변환(등거리사상)이 보존하는 몇 가지 성질은 이름에서부터 알 수 있듯 거리 개념, 각, 그리고 가우스 곡률 이외에도 최소 두 가지 정도가 더 있는데, 등거리사상과 상술한 쌍곡 및 구면기하학을 통틀어 일컫는 리만기하학과의 연관성은 학부에서 배우지 않는다.

이 따로 노는 듯한 아이디어가, 칸토어의 집합론 관점 하에서 모두 묶는 과정이 20세기 초에 수학기초론에 대한 연구가 활발히 이루어지면서 차차 진행되었다. 그 결과,
  • 먼저 열린집합(open set)을 집합 위에서 정의하면
  • 연속함수(continuous function)을 정의할 수 있고
  • 이 연속함수의 모임에 대해 이런 저런 조작을 가해서 호모토피나 호몰로지를 집합론적으로 정립할 수 있고
  • 혹은, 열린집합의 모임이 잘 알려진 공간(예: ⁿ)의 열린집합과 위상동형(位相同型, homeomorphic)하다고 보고, 기타 미분에 쓸만한 성질을 추가하면 특수한 거리 개념을 지니는 기하학을 다룰 수 있다
는 점을 알 수 있었다. 때문에 학부 과정부터 시작하는 위상수학은 대개 열린집합의 성질과 연속함수의 기본적인 성질부터 출발해, 좀 더 복잡한 호모토피나 호몰로지, 또는 (미분)다양체의 성질을 다루게 된다.

4. 세부 분야

4.1. 위상공간론(general topology, point-set topology)

일반위상수학이라고도 한다. 모든 위상수학의 시작이라 부를 수 있는 개념을 다룬다. 어떻게 보면 대수학보다도 더 추상적인 내용이 많은지라 이해하는 데 어려움을 겪을 수도 있다. 다만, 너무 일반적인 경우를 다루고 있어, 해석학 중에서 함수해석학 정도에서만 심도있게 사용하는 분야이다. (위상공간 중에서 가지고 있는 성질 중에서 함수해석학에서 다루는 공간들에 적용이 가능하다.)

가장 기본적인 형태로써, 공간(space)을 집합(set)으로, 공간상에 있는 하나의 점(point)을 집합상에 있는 하나의 원소(element)로 해석하는 것에서부터 논리 전개를 시작한다. 결국 우리가 말하는 위상공간(topological space)또한 ‘특정한 정보’가 주어진 ‘집합’일 뿐이다. 우리가 이 공간에 대해서 해석하거나 특징을 이끌어 낼려면 이 ‘특정한 정보’는 반드시 있어야 한다.

근데 이 ‘특정한 정보’라는 것이 처음 배우는 사람에게 있어서 참 묘한데다 이해의 어려움이 생길 수 있다. 이 ‘특정한 정보’는 열린집합(open set)의 모임이라는, 해당 공간의 부분집합들을 모아둔 녀석들이다. 다만 서로 특정한 특징을 만족시키게끔 모아둔 녀석들인데, 이게 바로 해당 공간을 해석하는 원천, 근거가 된다. 이렇게 모아둔 집합을 바로 이 공간의 위상(topology)이라고 부른다. 그리고 위상에 대한 정보를 가진 공간(집합)이 위상공간이다.

오직 위상(topology)의 기본정리에 기반해서만 이야기를 이어나가기에는 어렵기 때문에 여기에 여러가지 제약조건이나 형태를 추가하여 우리에게 익숙한 공간의 성질이나 형태를 이끌어내기도 한다. 예를 들어 하우스도르프 공간(Hausdorff space) 성질이나 완비성(completeness)를 추가하여(이때는 metric space라는 보장이 필요하지만...) 우리가 익숙한 실수체계기반의 공간에 대한 광범위한 해석이 가능하다. 또는 콤팩트성(compactness)과 연속함수(continuous function)에 관한 정의를 추가해서 넓은 범위에서의 최대·최소 정리(extreme value theorem)를 증명하는 것도 가능하다.

재미있는 것은, closed set으로도 모두 정의가 가능하며, neighbourhood로도 가능하며, 더 나아가 closure function, convergence 등의 개념으로도 위 개념을 다 정의할 수 있다는 것이다. 하지만, open set로 정의하는 것이 암묵의 룰이다.

직접 위상공간의 성질만을 다루는 것 외에도 거리공간(metric space)[7], uniform space 등 위상공간과 연관되어 있는 다른 공간의 성질도 다루기도 한다. 이런 성질은 주로 해석학에서 쓰일 것을 염두에 두고 다루는 것이다.

위상수학의 시작은 도형이지만, 집합론으로 정의된 이후 부터는 도형과 전혀 관련없는 분야들에서 많이 쓰인다. 정의 자체가 그냥 집합이기만 하면 되는 식으로 엄청나게 일반적이기 때문에, 논리학 등 이산 집합에도 자주 쓰인다. 이런 경우에는 도형에서 다져진 직관력이 전혀 안 통하기 때문에 처음보는 사람들은 추상성에 이해의 어려움을 겪는다. 이런 부류의 증명중 가장 쉬우면서도 대표적인 것이, 소수가 무한대로 많이 존재한다는 유클리드 정리의 Furstenberg 버전 증명이다. 정수집합에 기발하게 위상을 정의하고 그것을 통해 간단히 증명을 하였다. 힐렐 퓌르스텐베르크(Hillel Fürstenberg) 교수가 위상을 배운 직후 20살에 아직 학부생일 때 발표한 증명이다.

간과하기 쉽지만 수학을 깊이 공부할수록 약방의 감초처럼 여기저기 적용될 수 있기에 소홀히 할 수 없는 분야인데, 아래의 '기하학적인' 위상수학과는 다르게 수학 기초론에 가까운 성격을 띄기 때문에 하위 수학 분야마다 용도에 맞는 적절한 위상을 설정해서 사용하는 경우가 많다. 전공자들의 커리큘럼에서는 학부 4학년, 빨라야 3학년에나 위상수학이라는 수업을 시작하는게 보통이지만 위상수학의 세부 챕터 중 하나인 이 위상공간론만큼은 2학년, 정말 빠르게는 1학년 때부터 배우는 해석학 입문과정에서 (훨씬 다루기 쉽고 익숙한 조건으로나마) 처음 소개되곤 한다. 교수가 위상수학의 기본 중의 기본인 이 위상공간론을 신나서 각 잡고 다룰수록 2학년 새싹들은 크게 좌절하는게 보통이지만, 이 부분은 일찍부터 단련시켜놓으면 본격적으로 위상수학을 배우기 전에 1~2년간 배울 많은 과목에서 큰 도움이 되기 때문에 해석학을 배울 때 교수가 진지하게 다루지 않더라도 따로 예습을 해두는 것이 좋다.

4.2. 대수적 위상수학(algebraic topology)

[[대수학|대수학
Algebra
]]
{{{#!wiki style="margin:0 -10px -5px; word-break: keep-all;"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="letter-spacing: -1px"
{{{#!wiki style="margin:-6px -1px -11px"
이론
기본 대상 연산 · 항등식( 가비의 이 · 곱셈 공식( 통분 · 약분) · 인수분해)) · 부등식( 절대부등식) · 방정식( 풀이 · ( 무연근 · 허근 · 비에트의 정리( 근과 계수의 관계) · 제곱근( 이중근호 · 개방법) · 환원 불능) · 부정 · 불능) · 비례식 · 다항식 · 산술( 시계 산술)
수 체계 자연수( 소수) · 정수( 음수) · 유리수 · 실수( 무리수( 초월수) · 초실수) · 복소수( 허수) · 사원수 · 대수적 수 · 벡터 공간
다루는 대상과 주요토픽
대수적 구조
군(group) 대칭군 · 기본군 · 자유군 · 리 군 · 괴물군 · 점군 · 순환군 · 군의 작용 · 동형 정리 · 실로우 정리
환(ring) 아이디얼
체(field) 갈루아 이론
대수 가환대수 · 리 대수 · 불 대수( 크로네커 델타)
마그마 · 반군 · 모노이드 자유 모노이드 · 가환 모노이드
선형대수학 벡터 · 행렬 · 선형사상 · 가군(Module)
정리 · 추측
대수학의 기본정리 · 나머지 정리 · 유클리드 호제법 · 부분분수분해 · PID 위의 유한생성 가군의 기본정리 · 산술·기하 평균 부등식 · 바이어슈트라스 분해 정리 · 호지 추측미해결 · 가환대수에서의 호몰로지 추측미해결
분야와 관심대상
대수기하학 대수다양체 · 스킴 · 에탈 코호몰로지 · 모티브 · 사슬 복합체
대수적 정수론 타원곡선 · 디오판토스 방정식 · 유리근 정리 · 모듈러성 정리
가환대수학 스펙트럼
표현론
기타 및 관련 문서
수학 관련 정보 · 1학년의 꿈 · 노름 · 혼합계산 · 분배법칙 · 교환법칙 · 결합법칙 · 교재 }}}}}}}}}}}}

파일:external/upload.wikimedia.org/HomotopySmall.gif
경로의 연속적 변형. 출처

위상공간의 대수적 불변량에 대해 공부한다.

위상공간 중에서도 특히 성질이 좋은 것, 가령 다양체(manifold)나 CW 복합체(CW complex)의 경우 보통 '도형' 하면 떠올리는 구, 다면체, 혹은 그래프[8]와 같은 것을 위주로 공부하는데 좀더 일반적으로는 compactly generated weak Hausdorff space까지만 공부한다. 그 이유는 이 조건이 수반함자를 공부할때 매우 중요하게 쓰이기 때문.

이들의 성질은 대개의 경우 위상공간의 위상동형 보다는 호모토피류에만 의존하는데, 기초적인 예시로는 호모토피군, 호몰로지군, 코호몰로지환 등이 있다.
좀더 구체적인 예로, 공간 위의 원이 연속적으로 변형되어(continuously deform; homotopy) 한 점이 될 수 없을 경우, 이 경로는 공간 내의 '구멍'에 의해 이러한 변형이 막힌다고 해석할 수 있다.

경로의 시작점과 끝점이 같은 경우, 경로의 연속적인 변형에 대한 동치류를 정의할 수 있는데, 이 동치류의 집합을 가지고 군(群, group)을 만들어 "계산"할 수 있고, 이러한 성질은 또한 공간의 호모토피류에 따른 불변량 중 하나이다.

이러한 조작을 하고 나면, 대수학에서 군, 모듈 등에 대한 성질을 가지고 공간에 대한 성질을 계산만으로 예측할 수 있고, 그에 따른 결과로 브라우베르 고정점 정리(Brouwer fixed point theorem), 보르수크-울람 정리(Borsuk-Ulam theorem) [9]등이 있다.

푸앵카레 추측 역시 3차원인 공간의 대수위상학적 성질에 대한 내용이다.[10]

4.3. 미분 위상수학(differential topology)

미분위상수학이란, 미분 다양체의 불변량을 공부하는 학문이다. 두 개의 미분다양체가 위상동형이라 하더라도 미분동형이 아닐 수 있는데, 그 구체적인 예시를 찾는 법은 쉽지 않다.

1956년 밀너는 7차원 구가 적어도 4개 이상의 미분구조를 가진다는 연구 결과를 발표하고 그 업적으로 1962년 필즈상을 수상했다. (그 후 밀너는 7차원 구가 정확히 28개의 미분구조를 가진다는 것을 증명했다.)

유클리드공간의 경우 4차원을 제외하고는 모두 유일한 미분구조를 가지지만, 4차원의 경우 비가산무한개 만큼의 미분구조를 가진다는 결과를 도날슨이 증명하고 1986년 필즈메달을 수상했다.

4.4. 기하학적 위상수학(geometric topology)

저차원 다양체를 분류하는 문제에 대한 분야이다.

다양체는 국소적으로 유클리드 공간과 비슷한 위상공간이다. 구를 예로 들어보자면, 구를 국소적으로 확대하면 평면처럼 생각할 수 있다. 지구는 구형이지만 이 위에서 지구의 몹시 작은 부분만 보고 있는 사람이 보기에 땅이 평평한 평면처럼 보이는 것에 대해 생각해 보면 이해가 쉬울 것이다. 즉 다양체는 유클리드 공간이 아닐 수도 있지만, 그 위의 아주 조그만 영역에서는 유클리드 공간처럼 보이는 위상공간이다.

이런 다양체는 일반적인 위상공간보다 훨씬 좋은 성질을 가진다. 1,2차원의 다양체는 너무 자명한 성질 밖에 가지고 있지 않고, 5차원 이상의 다양체들은 h-cobordism 정리에 의해 모두 비슷한 성질을 가지게 되어 수학적인 의미가 적지만, 3차원과 4차원 다양체에 대해서는 굉장히 특이한 성질을 많이 발견할 수 있다.

매듭이론이 3차원 다양체를 다루는 기하학적 위상수학의 분야 중 하나이다.

4.5. 정수론적 위상수학(arithmetic topology)

정수론에 위상수학을 접목한 분야이다. 한국인 수학자 김민형이 연구하고 있는 분야이다.

5. 다른 학문과의 연관성

1900년대 초 일반 상대성 이론에서 '공간의 휘어짐'이란 개념을 수학적으로 표현하는 데 (그 당시에는 수학자들한테도 최첨단의 학문이었던) 미분기하학상당수 쓰였으며, 지금도 물리학과, 천문학과 쪽에서는 천체물리학, 우주론은 물론 근래들어 고체물리학 전공자들에게도 모르면 안되는 개념이 되어가고 있다. 그래핀의 발견과 맞물려 나오기 시작한 위상부도체(topological insulator)의 대두로 기존에 밴드이론으로 물질을 이해하던 것에서 위상적인 개념이 추가되어버렸기 때문이다.

이런 배경이 생겨난 이후 전자공학에도 쓰이기 시작했다. AMD ZEN 시리즈의 칩간 통신에도 위상수학적 요소가 들어가 있다고 한다. 또한 회로이론등가 회로를 분석하는 문제 상황에서도 이 위상수학을 이용한 해결 감각이 크게 요구된다.

최근 기계학습, 통계학 쪽의 고차원 데이터 분석을 할 때도 사용되기 시작했다. 이러한 분야를 위상 데이터분석혹은 topological data analysis라고 한다.

분자생물학에서도 DNA 전사 번역을 연구하는 데 위상수학의 하위 과목인 매듭이론을 접목하고 있다.

경제학과 박사에 유학할 의향이 있는 학생들도 듣고 있다. 수학적 배경을 보여주는 신호로서 어필하기도 좋고, 실제로 미시경제학 등에서 fixed-point theorem( 부동점 정리) 등이 사용되는데 위상수학을 이용하여 증명하면 아주 아름답다. 또한, 일반균형 (General Equilibrium)을 분석할 때도 미분위상수학이 쓰이는 경우가 있으므로 미시경제학의 미학을 느끼고 싶다면 들어두는 것이 좋다.

6. 교재

교재는 여러 가지가 있으나 문제만 풀기 위해서라면 문제가 많은 교재를 무엇을 봐도 무방하다. 위상수학은 고도로 추상화된 학문이다 보니 교재별 문제가 별 차이가 없으며 난이도도 상 중 하 단계별로 나누기가 까다롭기 때문이다. 대부분 문제가 푼다, 못푼다로 간단하게(?) 나뉘는 만큼 교재 자체의 난이도를 보고 구매하는 것이 중요하지만, 강의를 맡은 교수자의 취향에 따라 조금씩 구성이 다른[11], 교재를 여럿 써먹기도 한다.

아래는 많이 추천되는 책들이다.
  • J. Munkres. Topology
    매우 많이 쓰이는 교재. 설명은 친절하지만 연습문제가 조금 어려운 것이 흠. 한국어 번역판에는 오타가 많다고 한다. 처음 공부 시 추상적이라 이미지를 잡기 쉽지 않은 위상수학 분야인데 수많은 예시를 들어가며 설명해주는 점이 평가가 좋다. 뒷부분에 호몰로지, 반-캄펜 정리등 기초적인 대수위상수학이 실려 있다.
  • 박대희, 위상수학
    전남대학교 수학과의 박대희 전임교수가 집필한 위상수학 입문서로, 위의 Munkres 저서를 매우 많이 참고한 듯한 느낌을 풍긴다. 한국어 위상수학 교재 중엔 가장 상세하게 쓰인 책이며 학부 과정에서 건드려봄직한 내용은 전부 들어가 있어서 한국어로 위상공간론 용어를 익혀야 하는 수학교육과 학생들과 임용 수험생들을 중심으로 독자층이 두텁다. 허나 어려운 분야를 차근차근 빼놓지 않고 친절하게 설명하다보니 수학과의 코어 과목 전공서적 중에서도 손에 꼽힐만큼 많이 두꺼운지라 수학과, 수학교육과 학생들의 근력 강화에 이바지했다. 덕분에 2018년 4판 개정에서는 상, 하권 분할과 그로 인한 가격 폭등(36,000원 하던 책이 12,000원이나 올랐다!)이 이뤄졌다. 2022년 3월 출간된 5판 기준으로는 급기야 52,000원이라는 충격적인 가격이 나왔다. 분권된 부분이 다른 책들이라면 함께 다룰법도 한 챕터들의 중간지점이다보니 컴팩트성과 가산성을 공부할 때에는 상하권을 수시로 넘나드는 혼란을 각오해야 한다. 당연하지만 전남대학교에서는 이 책을 저자직강으로 배운다.
  • Lipschutz, Schaum's Outlines of Theory and Problems of General Topology
    학부생들의 위상수학 입문용으로 좋은 교재. 원래 Schaum's Outlines 시리즈가 문제집에 가까운 시리즈로 알려져 있지만, 학부 수준의 위상수학 수업은 문제를 짜내봤자 고만고만한 과목이라 위상수학 교재만큼은 다른 교재들과 큰 차이가 없다. 그래서 입문, 복습, 부교재 등의 여러 용도로 많은 학생들이 쓰곤 한다. 특히 과제가 어려우면 이 책의 비슷비슷한 연습문제와 그 풀이를 읽어가며 답을 찾는 학생들이 많다. 다만 한국어 번역판은 오타는 물론 독자에게 떠넘기는 부분도 군데군데 있기 때문에 생각없이 무턱대고 베끼는 식으로 보다간 큰코다친다. 그리고 구닥다리로 옛날 방식으로 정의해놓은 것을 세심히 업데이트하지 않아서 다른 교재들과 용어상의 엇박자가 나기도 하므로 더욱 주의를 요한다.
  • 조용승, 위상수학
    박대희 저서보다는 덜 유명하지만 제법 널리 쓰이는 이화여대 조용승 명예교수의 위상수학 교재. 학부생들의 공통진도를 제외하면 대수위상수학에 관한 내용만 간단히 딸려 있는 대개의 교재들과 달리 저자가 좋아하는 미분위상수학의 토픽을 강조하였다. 그러나 미분위상수학의 토픽을 소개하는 점에 의의를 두기엔 책이 300페이지에도 미치지 못할만큼 얇다는 점이 단점. 조용승 교수가 저술한 미분위상수학을 다루는 다른 심화과정 저서도 참고하는 것이 좋다.
  • Croom, Principle of Topology
    Munkres저에 비해서는 난이도가 쉬운 편이라 입문용 교재로 적당하다. 하지만 Munkres저에 비해 쓰이는 빈도는 현지히 낮은 편.
  • B. Mendelson, Introduction to Topology
    역시 학부 수준 위상수학 입문서. 비교적 직관적으로 이해하기 쉬운 거리공간부터 시작해서 입문 난이도를 많이 낮췄다. 책 가격이 저렴한 것도 소소한 장점.
  • Theodore W. Gamelin & Robert Everist Greene, Introduction to Topology
    학부 수준의 위상수학 입문서로서 보기 드물게 솔루션이 기본적으로 제공되는 교재. 거리공간부터 다루며 시작하기 때문에 입문서적으로 좋은 책이지만, Munkres저 같은 두꺼운 책들에 비해 다루는 내용이 적다는 지적도 있다.
  • C. Adams & R. Franzosa, Introduction to Topology : Pure and Applied
    상당히 도발적인 구성을 자랑하는 교재. 초심자를 위한 기본적인 위상공간론부터 시작해 웬만큼 갖출 것은 다 갖췄는데, 동역학계, 그래프, 매듭, 다양체와 우주론 등 미친 존재감을 뿜어내는 챕터들이 포진해 있다. 저자는 매듭이론 교과서로도 잘 알려진 윌리엄스 칼리지의 콜린 아담스(Colin Adams) 교수로, 위상수학의 다른 학문으로의 응용에 대해 굉장히 폭넓게 소개하고 있다. 바로 윗 단락에서 언급한 위상수학의 여러 응용 분야들은 이 책에서 대부분 한번쯤은 짚고 넘어간다. 매듭 이론이나 그래프 등의 토픽에 대해 흥미가 있었거나 물리학 등 다른 복수전공을 수강하는 학생이라면 Munkres 저서나 박대희 저서 등의 다른 고전을 기본서로 공부하면서 부교재로 들여다볼만한 교과서이나, 이 책이 건드리는 분야가 워낙 넓어서 고려대 수학과, 전남대 수학교육과의 홍성복, 강성모 교수가 낸 번역판은 읽다보면 어지럽다. 응용에 대해 소개하느라 섭렵하는 토픽을 열거해보면, 우선 대표적으로 매듭 챕터와 관련된 탈리도마이드 같은 생화학 내용이 있고, 심방세동 피실험자 사망사건 같은 의학 내용이 대수학의 기본정리 바로 직전 단원으로 나오고, 브라우어 고정점 정리의 응용을 소개하는 의미에서 경제학으로 눈을 돌려 게임 이론과 내쉬 균형이 등판하며, 디지털 위상과 디지털 화상처리에 대해서도 언급한다. 대미를 장식하는 다양체와 우주론 챕터 같은 경우 푸앵카레 정리를 증명한 그리고리 페렐만을 언급함은 물론 우주배경복사 및 그를 다루는 COBE, WMAP 같은 노벨물리학상급 NASA 프로젝트들까지 소개한다. 그래도 교재 편집은 깔끔한 편이라 어지간한 수학 전공서적 번역서 수준의 번역을 생각하고 읽는다면 기본개념을 다루는 챕터 쯤은 그럭저럭 읽을 만하지만, 일부 챕터들은 아예 의사나 화학과, 물리학과 쪽 석박사들을 불러다가 위상수학을 가르쳐서 번역을 맡겨야만 그럴싸한 번역이 가능할 수준의 잡식성 교과서이다. 그러나 더 큰 문제는, 내용이 워낙 드넓다보니 수학만 공부한 사람으로서는 영어 원서를 읽으면 더 못 알아들을 가능성이 높다. 생화학과 우주론, 미시경제학에 대해 모두 학사 이상의 지식을 갖춘 응집물질 물리학자가 있기나 있을까 생각하다보면 역자들에게만 책임을 떠넘기기는 미안할 정도라서 그냥 원저자가 잘못했다고 봐야 할 지경.
  • A. Hatcher. Algebraic Topology
    대수위상수학 교재의 본좌. 저자인 앨런 해처(Allen Hatcher)는 코넬 대학교 수학과 명예교수이며, 자신의 홈페이지에 책 전문을 pdf로 공개해놓고 있다. 처음부터 끝가지 하나하나 친절하게 길게 설명해주는 스타일이 양날의 검인데, 읽다 보면 이해하기 쉬워서 좋다는 평도 있지만 말만 너무 늘어지게 써놔서 수학 책을 읽는건지 소설책을 읽는건지 모르겠다는 경우도 있다.
  • 노영순 교수의 위상수학
    역시 위에 기재된 책들과 같이 학부생들이 많이 참고하고 공부하는 책으로, 내용이 쉽게쉽게 설명되어 있다. 연습문제에 대한 모든 풀이가 수록되어있다.

7. 기타

위상수학을 이용한 문제풀이의 예시
위상수학의 기괴한 풀이를 맛볼 수 있는 영상. 폐곡선 위에 있는 점을 꼭짓점으로 하는 직사각형이 존재한다는 정리를 뫼비우스의 띠 모서리를 2차원 평면에 붙이는 과정에서 교차점이 생긴다는 점을 이용해 증명하고 있다.

모두가 잊어버리고 있지만 한국에서는 중학교 1학년 수학 시간에서 배우는 다면체에 잠깐 등장한다.[12] 단일폐곡선의 개념, 뫼비우스의 띠, 오일러의 공식, 한붓그리기 규칙 등을 간단히 언급하고 지나가는 정도이지만 그 내용이 얼마나 심오하고 혁신적인가는 잘 이야기되지 않는다. 애초에 가르치는 수학 선생님들조차도 대수학, 고전기하학, 해석학 등 중고등학교 수학의 다른 분야에 비해 이 쪽에는 정통한 경우가 드물다.[13] 가끔 수학에 큰 애착을 가진 선생님들이 수학 잘하는 제자들에게 신나서 가르치는 정도.

지하철 노선도가 지금처럼 '간결하게' 그려질 수 있게 된 것은 이 위상수학의 발달 덕분이다.[14] 처음에는 지도에다가 본을 떠서 그린 것처럼 상당히 '복잡하게' 그려졌었는데, 이로 인하여 오히려 승객이 감소하게 되자 지금과 같은 형태의 노선도가 나오게 되었다. 이후 전세계 지하철 노선도는 지금처럼 간결한 형태로 나오게 된다. 물론 지도를 본떠서 만든 노선도도 존재한다.[15] 뉴욕 지하철의 경우는 공식 노선도가 지도형 노선도이며, 홍콩 지하철도 원래 영국 식민지 시절 영국식 위상노선도였으나 중국으로 넘어간 이후 대륙의 기상으로 노선이 늘어나면서 위상노선도를 폐지하고 지도형으로 바꿨다. 산까이(신계)지역 노선도 표기문제 때문에 바꿀 수밖에 없었다고.

한때 인터넷을 달군 빨대 구멍 개수 논란의 키워드로 주목받기도 했다.

해석학을 뛰어넘는 기괴한 반례들이 많은 분야로도 유명하다. 아예 해당 반례들을 모은 책(Counterexamples in Topology)도 있을 정도.

고체물리학 · 응집물질물리학
{{{#!wiki style="word-break: keep-all; margin:0 -10px -5px; min-height:2em; word-break:keep-all"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-6px -1px -11px"
<colbgcolor=#056666>배경 이론 전자기학 · 양자역학 · 통계역학 · 이차양자화
결정학 고체 · 결정 · 결정 격자( 브라베 격자) · 군론( 점군 · 공간군) · 역격자( 브릴루앙 영역) · 구조 인자 · 결함 · 준결정
에너지띠 이론 결정 운동량 · 페르미 - 디랙 분포 · 자유 전자 모형(= 드루드-조머펠트 모형) · 분산 관계 · 원자가띠 · 전도띠 · 띠틈 · 페르미 준위 · 페르미 면 · 꽉묶음 모형 · 밀도범함수 이론 · 도체 · 절연체 · 반도체( 양공 · 도핑)
자성 강자성( 이징 모형) · 반자성 · 상자성 · 반강자성 · 준강자성 · 홀 효과 · 드루드 모형 · 앤더슨 불순물 모형( 콘도 효과) · 초전도체( 쿠퍼쌍 · 조지프슨 효과 · BCS 이론 · 보스-아인슈타인 응집 · 마이스너 효과)
강상 관계 상전이( 모트 전이) · 페르미 액체 이론 · 초유동체 · 준입자( 양공 · 엑시톤 · 포논 · 마그논 · 플라즈몬 · 폴라리톤 · 폴라론 · 솔리톤 · 스커미온) · 선형 응답 이론( 쿠보 공식 · 요동-흩어지기 정리) · 평균장 이론 · 그린 함수 · 스펙트럼 함수 · 파인만 다이어그램
위상 물리학 위상수학 · 위상부도체( 그래핀) · 기하학적 위상 · 양자 홀 효과 · 마요라나 페르미온( 마요라나 영준위 상태)
실험 및 장비 전자현미경( SEM · TEM · STM · AFM) · XRD · 분광학( NMR · 라만 분광법) · 방사광 가속기 }}}}}}}}}

위상부도체의 등장으로 위상수학 이론이 물리학에서도 쓰이기 시작하였다.
[1] 이와 관련된 내용이 2017학년도 수능대비 연계교재 EBS 수능특강 국어영역 독서에 출제되었다. [2] 다시 말해 위상수학에서만큼은 크기(크기는 거리에서 자연스럽게 정의되는 개념이다)라는 것을 망각해야 한다. 까마득하겠지만 초등학교 1학년 때 공 모양, 세모 모양, 네모 모양 등을 분류해본 적이 있을 것이다. 여기서는 '크기'를 묻는 문제가 없다는 점에서 위상수학적으로 접근함을 알 수 있다. [3] 위상수학 교과서에서 '크기'라는 말은 오히려 다른 뉘앙스로 쓰이곤 한다. 예를 들어 폐포의 정의는 어떤 집합을 포함하는 '가장 작은' 폐집합이라고 간단히 서술되곤 하는데, 이는 '어떤 집합을 포함하는 모든 폐집합'들의 교집합이라는 뜻이다. 또한 자명위상 Trivial Topology(비이산위상 Indiscrete Topology)은 가장 작은 위상이고 이산위상 Discrete Topology은 가장 큰 위상이라는 서술도 교과서나 교수에 따라 간혹 나오곤 하는데, 여기서의 크고 작음은 위상이 거친지 세밀한지에 대한 의미이다. 흔히 크기 하면 떠올리는 '거리'에 관한 개념이 위상수학 책에서 아예 안 나오는 것은 또 아닌데, 이것은 4가지 거리공리를 만족하는 거리함수에 의한 '거리공간 Metric Space'이라는 내용으로 일반화한 채 다뤄진다. 허나 이런 거리공간을 다루는 챕터에서도 계산의 비중은 해석학개론이나 선형대수학 등의 전공기초 과목에 비하면 매우 적은 편. [4] 학부 해석학은 주로 실복소 해석이기에 나름 직관적인 대상을 다루고 선형대수학 또한 나름 익숙한 사칙연산이 자연스레 성립하는 벡터 공간을 다룬다. 하지만 위상수학과 현대대수학의 입장에서 저런 주제들은 매우 좋은 성질을 추출했을 뿐 어디까지나 다루는 대상의 예시에 불과하다. 쉽게 말해 선형대수와 해석학에서는 논리적인 방법으로 직관적인 대상을 다루는데 반해 위상수학과 현대대수학은 논리적인 방법으로 추상적인 대상을 다루는 정도의 차이가 있다. [5] 예를 들어 위상수학의 기초가 되는 집합론의 내용 중 정렬원리, 선택공리, 하우스도르프의 극대원리, 조른의 보조정리가 모두 동치임을 4단계에 걸친 순환 증명으로 깔끔하게 써보면 매우 아름답다. 한국교원대학교 수학교육과의 한 학생이 작성한 문서를 보면 그 참맛을 느낄 수 있다. (박대희저 교과서에도 비슷한 증명이 나온다.) 귀류법 증명을 시도하면서 증명과정에 필요한 보조정리를 확보하기 위해 또 귀류법을 꺼내들며 두뇌가 360도 돌아버리는 아스트랄한 증명도 심심찮게 나온다. 보통의 학부 집합론 커리큘럼에서는 이런 선택공리 부분을 제외하면 증명이 나뉘어봤자 양방향, 3방향 선에서 끝나는 경우가 많지만, 위상수학 커리큘럼에서는 동치 명제들의 순환적 증명이 이렇게까지 많이 늘어지는 경우가 심심찮게 나온다. 비슷한 예로는 선형대수학에서 가역행렬의 성질을 다루면서 십수개 이상의 동치조건들을 책 전체에 걸쳐 쌓아나가는 경우가 있다. [6] 한붓그리기의 시초가 되었다는 그 다리 문제. [7] 집합 위에 거리함수(metric function)를 준 구조. 그 자체로 위상공간을 하나 만들기 때문에 위상공간의 성질에 의존하는 부분이 많지만, 거리공간이기 때문에 가지는 독특한 성질도 있다. 완비성(completeness), 베르의 범주 정리(Baire category theorem) 등. [8] 점과 선으로 이루어진 도형 [9] 어느 순간이든 지구 위에서 반대편과 온도가 같은 지점이 있다. [10] 그런데 재미있는건 이 문제를 증명한 그리고리 페렐만은 이 문제를 대수위상수학이 아닌 미분기하학을 이용하여 풀었다는 것이다. 사실 난제를 생판 다른 분야를 이용해 푸는 예는 꽤 있다. 당장 페르마의 마지막 정리의 최초의 증명법은 순수 정수론이 아닌 타원곡선 모듈러성 정리로 이루어졌는데, 이는 원래 대수기하학에 나오는 떡밥이다. 미분위상수학이라는 분야도 있으니만큼 FLT의 증명에 비하면 페렐만의 접근은 오히려 평범(?)한 편이라 할 수도 있을 것이다. [11] T3와 T4 공리를 다루는 단원에서 정칙, 정규공간을 어떻게 정의하느냐와 같은 소소한 차이가 있고, 연결성, 컴팩트성, 가산성, 분리성 등의 챕터 순서를 달리 가져가기도 한다. 여러 성질을 거리공간만을 대상으로 쫙 설명한 후 일반적인 위상공간을 대상으로 한바퀴 더 도는 구성으로 시작하는 책들도 있다. [12] 아닌게 아니라 다면체에 위상수학의 많은 개념을 그대로 적용할 수 있다! [13] 임용고시에서 위상수학도 범위에 들어가지만 수학교사들도 임용고시 합격하면 포맷행이다. 게다가 그리 심도 있는 내용은 거의 다루지 않고 기초적인 위상공간론만 다루고 넘어가는 수준이라 임용수준에서는 위상수학을 잘했다한들 정통했다고 하기는 어렵다. [14] 위상기하학이 등장하기 오래전 로마제국의 도로 지도인 포이팅거 테이블은 지하철 노선도와 비슷하게 방위와 축척을 무시하고 그려져있다. 여행자들이 지도를 휴대하기 편리하도록 길고 좁은 두루마리로 제작되었기 때문인데, 로마 제국의 주도 도로는 대단히 잘 정비되어 있었기 때문에 방위와 축적을 무시한 도로지도 만으로도 로마제국 전역을 여행하는 것이 가능했다 [15] 주로 역 플랫폼에서 볼 수 있다.