도시 지도를 점 네 개와 선 일곱 개로 접은 순간부터 269년을 걷습니다. 길이와 각도를 버린 추상이 불가능성을 증명하고, 표면의 구멍과 매듭의 지문을 만들며, 끝내 데이터 점구름에서 오래 남는 고리를 찾는 과정을 따라갑니다.
이 항로에서 붙잡을 질문
모양을 알아보려면 무엇을 버려야 하고, 연결·방향·차원·구멍 가운데 무엇을 남겨야 하며, 그 불변량은 어디까지 같은 대상을 보장할까요?
이 강이 주장하지 않는 것
이 강은 실제 지리가 아닙니다. 강을 따라 내려간 거리는 흐른 시간이고, 세기가 흐르는 동안 빛이 새벽에서 황혼으로 바뀝니다. 비석 곁의 사물은 사건의 종류와 그 세기 구간에 수학을 쓰고 계산한 방식을 상징할 뿐 실제 유물을 재현하지 않습니다. 정거장 둘레의 땅은 그 장면이 일어난 실제 장소의 자연·지리를 개략으로 따르고, 대표 건축은 그 해에 이미 서 있던 것만 세웁니다. 장면마다 실제 장소와 근거를 그대로 두었으니, 어디서 일어났는지는 지도에서 읽어 주세요. 이 선은 한 학파가 쾨니히스베르크에서 스탠퍼드까지 직접 지식을 전달한 계보가 아닙니다. 문제의 무대·저술·출판·세미나·독립 발견·후대 계산을 구분한 편집 항로이며, graph theory와 topology, topological sameness와 smooth sameness, persistence와 의미를 서로 같은 것으로 만들지 않습니다.
이 강에서 보이는 것
- 하늘의 도해
- 일곱 다리 문제 — 점 넷과 선 일곱
- 강의 들머리에 선 상징물
- 한 면만 있는 뫼비우스의 띠
- 정거장 둘레의 실제 장소
- 비석 둘레의 땅은 그 장면이 일어난 실제 장소의 자연·지리(바다·호수, 평야·구릉·산, 땅빛, 흔한 나무)를 따르고, 그 장소를 이루는 지형이 있으면 뒤편에 세웁니다(화산·설산·화강암 봉우리·대지·사구·피오르·섬·바위 언덕·협곡·황토 계단). 정거장 가까운 물은 그곳 강·바다의 물빛을, 안개는 그곳 기후의 빛을 띱니다. 비석 머리의 작은 지구본이 그 위치와 앞 장소에서 온 길을 보여 줍니다. 그 도시의 대표 건축이 장면의 해에 이미 서 있었다면 정거장 뒤편에 도식적인 실루엣으로 솟고 카드에 이름을 적습니다. 땅은 오늘의 지형과 기후대를 따른 개략이고, 실루엣은 실측 복원이 아닙니다. 정거장 사이의 강은 여전히 상징입니다.
- 정거장마다 선 도해판
- 판마다 그 장면의 수학을 그렸습니다. 배가 닿으면 작도가 그려지고 핵심 결과가 붉게 떠오릅니다. 도해는 설명을 위한 도식이며 당시의 원본 그림이 아닙니다.
- 둑을 따라 바뀌는 세기 구간
- 1450–1749년 · 대리석 비석 · 쇠 등롱 · 세 아치 다리 · 풍차와 시계탑 마을 · 범선
- 1750–1899년 · 주철 명판 · 가스등 · 철골 트러스 다리 · 공장 굴뚝과 철도·증기기관차 · 증기선
- 1900–1969년 · 콘크리트 표지 · 전기 가로등 · 콘크리트 다리 · 송전탑과 아파트·라디오탑 · 바지선 · 비행기
- 1970년 이후 · 유리 표지 · LED 불빛 · 사장교 · 유리 빌딩과 풍력 발전기·데이터 센터 · 여객선 · 인공위성
세기 구간이 바뀌는 자리에서는 배가 새 구간의 다리 밑을 지나갑니다. 마을·방아·공장·송전탑·빌딩은 그 세기의 기술을 상징할 뿐, 실제 장소나 특정 건축 양식이 아닙니다.
01·1736년·쾨니히스베르크(근거: 기타)
도시 지도를 점 네 개와 선 일곱 개로 접다 — 다리 문제
프레겔강의 두 섬과 양쪽 강변을 잇는 일곱 다리를 각각 정확히 한 번 건너는 산책은 가능할까? 오일러의 결정적 선택은 거리·다리 모양·섬 넓이를 계산하지 않는 것이었다. 네 육지를 점으로, 다리를 선으로 바꾸자 도시의 거의 모든 정보는 사라졌지만 ‘어디가 어디와 연결되는가’만 남았다. 이 핀은 문제의 무대이며 오일러가 논문을 쓴 장소나 1736년에 방문했다는 증거가 아니다.
- 잠깐 멈춰 묻기
- 도시의 길이와 모양을 모두 지우고도 이 산책의 가능 여부를 판정할 수 있을까요?
- 생각이 달라진 점
- 강변과 섬을 꼭짓점, 다리를 변으로 바꾸어 계량 지도를 연결 관계만 남은 그래프로 압축합니다.
- 말할 수 없는 것
- 1736은 문제의 통상 표기 연도이며, 이 핀은 문제의 무대이지 오일러의 방문·집필 장소를 증명하지 않습니다.
- 이 장소
- 프레겔강의 두 섬과 여러 지류가 만든 실제 도시 구조는 ‘각 다리를 한 번’이라는 질문을 자연스럽게 보이게 했습니다. (프레겔강변 · 활엽수 · 평지 · 54.7°N 20.5°E · 랜드마크: 쾨니히스베르크성 (1257년))
- 강 위의 도해
- 두 섬과 두 강변, 일곱 다리의 지도에서 길이와 모양을 지우고, 땅 넷은 점으로 다리 일곱은 선으로 남긴다.
- 강 위의 표시
- 활동이 이어진 자리라 항로의 상징물만 세웠다 · 1450–1749년 (대리석 비석 · 쇠 등롱 · 세 아치 다리 · 풍차와 시계탑 마을 · 범선)
02·1741년·상트페테르부르크(근거: 출판)
걷지 않고도 불가능을 판정하다 — 홀수 차수의 법칙
한 점에 닿는 다리 수가 홀수라면, 그곳을 중간에 방문할 때 들어오는 다리와 나가는 다리를 짝지을 수 없다. 쾨니히스베르크의 네 점은 모두 홀수 차수이므로 시작과 끝 두 곳만 예외일 수 있는 한붓길이 존재하지 않는다. 1735년에 작성된 논문은 상트페테르부르크 학술원 회보에 1741년 출판됐다. 이는 그래프 이론의 이른 출발점이자 위상적 사고의 전조지만, 오늘날 위상수학 전체가 이 한 논문에서 완성됐다는 뜻은 아니다.
- 잠깐 멈춰 묻기
- 모든 경로를 직접 시험하지 않고 꼭짓점의 숫자만으로 불가능을 어떻게 증명할까요?
- 생각이 달라진 점
- 중간 방문은 들어옴과 나감이 쌍을 이룬다는 관찰을 차수의 홀짝 조건으로 바꿉니다.
- 말할 수 없는 것
- graph theory의 이른 출발과 위상적 사고의 전조를 말하되 현대 위상수학 전체의 단일 탄생으로 부르지 않습니다.
- 이 장소
- 상트페테르부르크 학술원 회보는 멀리 떨어진 도시 문제를 재사용 가능한 증명으로 공개하는 매체였습니다. (네바강 하구 바다 · 자작나무 · 평지 · 59.9°N 30.3°E · 랜드마크: 페트로파블롭스크 대성당 (1733년))
- 강 위의 도해
- 네 점의 차수가 5·3·3·3으로 모두 홀수라, 중간에 들르는 점마다 들어옴과 나감을 짝지을 수 없어 한붓길이 없다.
- 강 위의 표시
- 쌓아 둔 책 · 1450–1749년 (대리석 비석 · 쇠 등롱 · 세 아치 다리 · 풍차와 시계탑 마을 · 범선)
03·1750년·베를린(근거: 저술)
면을 찌그러뜨려도 남는 계산을 찾다 — V−E+F
베를린에서 오일러는 다면체의 꼭짓점 V, 모서리 E, 면 F 사이에 `V−E+F=2`가 성립하는 현상을 논문으로 정리했다. 정육면체를 둥글게 부풀려도 세 종류의 수가 맺는 관계는 남는다. 다만 모든 표면에 무조건 2가 되는 공식은 아니다. 구와 같은 닫힌 표면, 셀 분할의 조건, 구멍 수에 따라 값이 달라진다는 후대의 일반화가 이 관찰을 진짜 불변량으로 키웠다.
- 잠깐 멈춰 묻기
- 다면체를 둥글게 찌그러뜨려도 꼭짓점·모서리·면 사이에 무엇이 남을까요?
- 생각이 달라진 점
- 개별 길이와 각도 대신 세기 값의 결합 `V−E+F`를 표면 전체의 지문으로 봅니다.
- 말할 수 없는 것
- `χ=2`는 모든 공간의 무조건적 법칙이 아니라 구와 같은 닫힌 표면 및 적절한 셀 분할에서 출발하는 관계입니다.
- 이 장소
- 베를린 학술원에서 일하던 오일러는 다면체 문제를 두 편의 논문으로 정리했지만 인쇄는 훗날 상트페테르부르크 회보에서 이루어졌습니다. (슈프레 강변 · 소나무 · 평지 · 52.5°N 13.4°E)
- 강 위의 도해
- 정육면체를 둥글게 부풀려도 꼭짓점 8, 모서리 12, 면 6의 관계 V − E + F = 2는 그대로 남는다.
- 강 위의 표시
- 쓰고 읽힌 기록을 올려 둔 책상 · 1750–1899년 (주철 명판 · 가스등 · 철골 트러스 다리 · 공장 굴뚝과 철도·증기기관차 · 증기선)
04·1848년·괴팅겐(근거: 출판)
위치를 재는 대신 위치 관계를 연구하다 — Listing의 Topologie
요한 베네딕트 리스팅은 괴팅겐에서 출판한 《Vorstudien zur Topologie》에서 그리스어 topos와 logos를 결합한 이름으로 위치 관계의 학문을 조직했다. 자르거나 붙이지 않는 변형 아래 무엇이 유지되는지가 독립 질문이 됐다. 오일러의 다리, 가우스의 곡면, 리스팅의 용어는 서로 연결되지만 한 번에 현대적 정의로 이어진 직선 계보는 아니다. 이름이 생겼다고 분야의 공리와 도구가 그날 완성된 것도 아니다.
- 잠깐 멈춰 묻기
- 거리나 각도를 재지 않는 ‘위치 관계의 학문’은 어떻게 독립된 이름을 얻었을까요?
- 생각이 달라진 점
- 서로 붙어 있음·감싸고 있음·경계와 방향 같은 관계를 계량기하와 구분된 연구 대상으로 조직합니다.
- 말할 수 없는 것
- 용어의 공개는 현대 위상공간 공리나 대수적 위상수학이 이미 완성됐다는 뜻이 아닙니다.
- 이 장소
- 괴팅겐의 측지·기하 연구와 대학 출판망은 리스팅의 *Topologie*를 전문 용어와 프로그램으로 공개할 기반이었습니다. (숲 구릉 · 활엽수 · 작은 강 · 51.5°N 9.9°E · 랜드마크: 괴팅겐 천문대 (1816년))
- 강 위의 도해
- 원을 자르거나 붙이지 않고 찌그러뜨려도, 안에 든 점·감싸는 고리·맞닿은 경계라는 위치 관계는 그대로다.
- 강 위의 표시
- 쌓아 둔 책 · 1750–1899년 (주철 명판 · 가스등 · 철골 트러스 다리 · 공장 굴뚝과 철도·증기기관차 · 증기선)
05·1858년·라이프치히(근거: 발견)
앞면을 따라갔는데 뒷면 없이 돌아오다 — Möbius의 띠
아우구스트 페르디난트 뫼비우스는 띠를 반 바퀴 비틀어 양끝을 붙이면 안과 밖을 둘로 나눌 수 없는 한쪽 면이 된다는 사실을 연구했다. 연필을 떼지 않고 중앙선을 따라가면 출발점의 ‘반대편’을 지나 다시 돌아온다. 길이보다 방향과 경계가 본질이 되는 놀라운 표면이다. 같은 구조를 리스팅도 독립적으로 찾았으므로 익숙한 이름 하나가 발견의 전부를 소유한다고 말하지 않는다.
- 잠깐 멈춰 묻기
- 종이 띠의 앞면과 뒷면을 나누는 상식은 반 바퀴 비틀었을 때 왜 무너질까요?
- 생각이 달라진 점
- 표면의 길이와 모양보다 한 바퀴 이동 뒤 방향이 보존되는지를 본질적 성질로 읽습니다.
- 말할 수 없는 것
- 리스팅도 같은 구조를 독립적으로 발견했으며 ‘Möbius strip’이라는 이름이 단독 발견권을 증명하지 않습니다.
- 이 장소
- 라이프치히의 천문·기하 연구와 대학 활동 속에서 뫼비우스는 1858년 비틀린 띠의 한쪽 성질을 연구했습니다. (강가 숲 · 활엽수 · 평야 · 51.3°N 12.4°E)
- 강 위의 도해
- 반 바퀴 비틀어 붙인 띠에서 가운데 선을 따라가면 뒷면처럼 보이던 쪽을 지나 떼지 않고 제자리로 돌아온다.
- 강 위의 표시
- 더 밝게 켠 봉화 · 1750–1899년 (주철 명판 · 가스등 · 철골 트러스 다리 · 공장 굴뚝과 철도·증기기관차 · 증기선)
06·1861년·괴팅겐(근거: 출판)
한쪽 면을 독립적으로 기록하다 — Listing의 뒤엉킨 고리
리스팅은 괴팅겐에서 비틀린 고리와 방향을 바꾸는 표면을 독립적으로 다뤘고 1861년 이를 출판했다. 두 연구자의 거의 같은 시기 발견은 ‘기묘한 종이 장난감’이 당시 곡면·결합·방향 문제에서 자연스럽게 떠오를 조건이 있었음을 보여 준다. 오늘날 말하는 비가향성은 표면 위에서 국소 방향을 한 바퀴 일관되게 보존할 수 없는 성질이다. 뫼비우스 띠의 오일러 표수만으로 방향 가능성까지 모두 판정할 수는 없다.
- 잠깐 멈춰 묻기
- 같은 기묘한 표면을 거의 동시에 두 사람이 찾았다면 발견의 이야기는 어떻게 달라질까요?
- 생각이 달라진 점
- 한쪽 면의 놀라움을 비가향성이라는 일반 질문으로 바꾸고, 독립 발견을 문제 환경의 증거로 읽습니다.
- 말할 수 없는 것
- 오일러 표수·경계 수·방향 가능성은 서로 관련되지만 하나의 숫자가 나머지 성질을 모두 판정하지는 않습니다.
- 이 장소
- 괴팅겐의 곡면 연구·강의·출판 환경은 리스팅의 비틀린 고리 분석을 보존하고 다른 연구와 비교하게 했습니다. (숲 구릉 · 활엽수 · 작은 강 · 51.5°N 9.9°E · 랜드마크: 괴팅겐 천문대 (1816년))
- 강 위의 도해
- 양끝을 거꾸로 붙인 띠를 한 바퀴 돈 방향 표시는 뒤집혀 돌아오고(↻ ≠ ↺), 원통과 띠는 둘 다 χ = 0이다.
- 강 위의 표시
- 쌓아 둔 책 · 1750–1899년 (주철 명판 · 가스등 · 철골 트러스 다리 · 공장 굴뚝과 철도·증기기관차 · 증기선)
07·1877년·에든버러(근거: 출판)
틀린 원자 모형에서 살아남은 분류표 — Tait의 매듭
켈빈은 원자를 에테르 속 소용돌이 매듭으로 설명하려 했고, 에든버러의 피터 거스리 테이트는 서로 다른 매듭을 체계적으로 그려 분류했다. 소용돌이 원자론은 사라졌지만 ‘끈을 자르지 않고 두 매듭을 서로 바꿀 수 있는가’라는 문제는 남았다. 실패한 과학 이론도 정확한 표와 조작 규칙을 요구하면서 독립적인 수학을 낳을 수 있다. Tait의 표는 중요한 시작이지 모든 매듭의 완전 분류나 오류 없는 목록은 아니었다.
- 잠깐 멈춰 묻기
- 원자 모형이 틀렸어도 그 모형이 요구한 매듭 분류표는 왜 수학으로 살아남았을까요?
- 생각이 달라진 점
- 물질의 후보 목록을 만들던 그림을 끊지 않는 변형 아래 닫힌 곡선을 분류하는 독립 문제로 바꿉니다.
- 말할 수 없는 것
- 소용돌이 원자론의 실패는 매듭 이론의 실패가 아니며, Tait 표도 모든 매듭의 완전하고 무오한 분류는 아니었습니다.
- 이 장소
- 에든버러 대학·왕립학회의 수리물리 네트워크는 Tait가 계산·실험·도표를 결합해 매듭 목록을 공개할 장을 제공했습니다. (포스만 · 아서스 시트 바위 · 활엽수 · 56.0°N 3.2°W · 랜드마크: 에든버러성 (1100년))
- 강 위의 도해
- 끊지 않고 서로 바꿀 수 있는지를 묻는 닫힌 곡선들을 교차 수 0·3·4·5에 따라 칸마다 그려 분류한 표.
- 강 위의 표시
- 쌓아 둔 책 · 1750–1899년 (주철 명판 · 가스등 · 철골 트러스 다리 · 공장 굴뚝과 철도·증기기관차 · 증기선)
08·1895년·파리(근거: 출판)
구멍을 숫자보다 풍부한 대수로 번역하다 — Analysis Situs
앙리 푸앵카레의 《Analysis Situs》는 공간 속 순환과 경계를 대수적으로 비교하려 했다. 닫힌 길이 가운데 어떤 것은 한 점으로 줄일 수 있고 어떤 것은 구멍에 걸려 줄일 수 없다는 차이를, Betti 수와 이후 homology로 자라날 언어에 연결했다. 그림의 직관을 계산 가능한 관계로 옮긴 대수적 위상수학의 전환이다. 논문에는 후대에 수정된 오류도 있었고, 오늘날의 군·사슬복합체 정의가 한 번에 완성되어 있지는 않았다.
- 잠깐 멈춰 묻기
- 그림 속 구멍을 눈대중이 아니라 계산하고 비교할 수 있는 대상으로 어떻게 바꿀까요?
- 생각이 달라진 점
- 순환과 경계의 관계를 수와 대수 구조로 번역해 연속 변형에 남는 정보를 계산합니다.
- 말할 수 없는 것
- 푸앵카레의 전환은 결정적이지만 오늘날의 사슬복합체·군 정의가 한 논문에 완성됐거나 선행 연구가 없었다는 뜻은 아닙니다.
- 이 장소
- 파리의 에콜 폴리테크니크 강의·학술지·수리물리 공동체는 푸앵카레가 여러 분야의 순환 문제를 한 언어로 묶게 했습니다. (센강변 · 활엽수 · 평야 · 48.9°N 2.4°E · 랜드마크: 에펠탑 (1889년), 노트르담 대성당 (1250년))
- 강 위의 도해
- 원환면 위의 작은 고리는 한 점으로 줄어들지만(∼ 0), 구멍을 두르는 두 고리는 걸려서 줄어들지 않는다(≁ 0).
- 강 위의 표시
- 쌓아 둔 책 · 1750–1899년 (주철 명판 · 가스등 · 철골 트러스 다리 · 공장 굴뚝과 철도·증기기관차 · 증기선)
09·1904년·파리(근거: 저술)
우리가 사는 3차원 공간을 고리로 알아볼 수 있을까 — Poincaré 추측
푸앵카레는 닫힌 3차원 다양체 안의 모든 고리가 끊지 않고 한 점으로 줄어든다면 그 공간이 3-구와 같은지 물었다. 2차원 표면에서는 구멍 수로 익숙한 분류가 되지만 3차원에서는 놀랍도록 어려워진다. 장면은 파리에서 활동하며 쓴 1904년 보충 논문을 따르고 실제 저널 출판지는 팔레르모였다는 경계를 남긴다. ‘구멍이 없다’는 초급 비유만으로 단순연결성과 닫힌 3-다양체 조건을 대신하지 않는다.
- 잠깐 멈춰 묻기
- 공간 안의 모든 고리를 한 점으로 줄일 수 있다는 사실만으로 3-구를 알아볼 수 있을까요?
- 생각이 달라진 점
- 표면의 구멍 분류를 닫힌 3-다양체의 단순연결성이라는 더 높은 차원 인식 문제로 확장합니다.
- 말할 수 없는 것
- ‘구멍이 없다’는 비유는 단순연결성과 닫힌 3-다양체 조건을 생략하며, 실제 출판지는 파리가 아니라 팔레르모였습니다.
- 이 장소
- 파리에서 활동하던 푸앵카레는 앞선 논문의 오류와 예외를 보충하며 새로운 질문을 썼고, 논문은 팔레르모 학술지에 실렸습니다. (센강변 · 활엽수 · 평야 · 48.9°N 2.4°E · 랜드마크: 에펠탑 (1889년), 노트르담 대성당 (1250년))
- 강 위의 도해
- 공간 안의 모든 고리가 끊지 않고 한 점으로 줄어든다면, 그 닫힌 3차원 공간 M³은 3-구 S³와 같을까(?)
- 강 위의 표시
- 쓰고 읽힌 기록을 올려 둔 책상 · 1900–1969년 (콘크리트 표지 · 전기 가로등 · 콘크리트 다리 · 송전탑과 아파트·라디오탑 · 바지선 · 비행기)
10·1911년·암스테르담(근거: 주요활동)
평면을 선으로 구겨 넣어도 차원은 사라지지 않는다 — Brouwer
브라우어르는 서로 다른 차원의 열린 공간이 위상적으로 같을 수 없음을 보이는 차원 불변성 연구를 완성했다. 종이 위에 공간을 촘촘히 그리거나 선 하나가 사각형을 가득 채우게 만들 수 있어도, 연속적 일대일 대응과 연속적 역함수를 함께 요구하면 1차원과 2차원은 같아지지 않는다. 이 결과는 직관적인 ‘좌표 수’를 위상적 사실로 엄밀하게 만든다. 같은 1911년의 고정점 정리와 관련은 있지만 동일 정리는 아니다.
- 잠깐 멈춰 묻기
- 선을 아주 복잡하게 접어 평면을 채우면 1차원과 2차원은 정말 같아질까요?
- 생각이 달라진 점
- 연속 함수가 이미지를 채운다는 사실과 연속적 역함수를 가진 위상동형을 구분해 차원을 불변량으로 세웁니다.
- 말할 수 없는 것
- 차원 불변성과 같은 시기 고정점 정리는 서로 관련된 초기 위상수학 결과지만 하나의 정리가 아닙니다.
- 이 장소
- 암스테르담 대학의 브라우어 연구·강의 환경은 집합론의 역설과 기하 직관을 엄밀한 위상 정리로 다룰 기반이었습니다. (암스텔강·운하 · 느릅나무 · 평지 · 52.4°N 4.9°E · 랜드마크: 베스테르케르크 (1638년))
- 강 위의 도해
- 선분을 연속으로 접어 정사각형을 가득 채울 수는 있어도, 연속 역함수까지 갖춘 대응으로는 1차원과 2차원이 같아지지 않는다(≇).
- 강 위의 표시
- 활동이 이어진 자리라 항로의 상징물만 세웠다 · 1900–1969년 (콘크리트 표지 · 전기 가로등 · 콘크리트 다리 · 송전탑과 아파트·라디오탑 · 바지선 · 비행기)
11·1914년·라이프치히(근거: 출판)
고무판 그림조차 버리고 ‘가까움’의 규칙만 남기다 — Hausdorff
펠릭스 하우스도르프의 《Grundzüge der Mengenlehre》는 점의 근방과 열린집합을 통해 매우 일반적인 공간을 다루는 공리적 언어를 정리했다. 서로 다른 두 점을 겹치지 않는 근방으로 분리할 수 있다는 Hausdorff 조건은 수열 극한의 유일성과 좋은 공간의 경계를 드러낸다. 라이프치히 핀은 1914년 책의 출판지를 가리키며 하우스도르프의 당시 활동지를 뜻하지 않는다. 위상수학은 이제 실제 고무판이 없어도 관계의 규칙만으로 공간을 세울 수 있었다.
- 잠깐 멈춰 묻기
- 실제 표면을 그리지 않고 점들이 ‘가깝다’는 규칙만으로 공간을 만들 수 있을까요?
- 생각이 달라진 점
- 거리 공식 대신 근방·열린집합·분리 공리를 사용해 함수공간까지 포괄하는 추상 공간을 정의합니다.
- 말할 수 없는 것
- Hausdorff 공간은 모든 위상공간의 정의가 아니라 서로 다른 점을 근방으로 분리하는 추가 조건입니다.
- 이 장소
- 라이프치히의 출판사는 하우스도르프의 1914 집합론 책을 유통했지만, 핀은 그의 당시 재직지를 뜻하지 않습니다. (강가 숲 · 활엽수 · 평야 · 51.3°N 12.4°E)
- 강 위의 도해
- 거리 공식 없이 점마다 근방을 주고, 서로 다른 두 점 x·y를 겹치지 않는 근방 U·V로 갈라놓는 조건을 붙인다.
- 강 위의 표시
- 쌓아 둔 책 · 1900–1969년 (콘크리트 표지 · 전기 가로등 · 콘크리트 다리 · 송전탑과 아파트·라디오탑 · 바지선 · 비행기)
12·약 1925년·괴팅겐(근거: 발표)
구멍을 세는 수에서 변환되는 군으로 — Noether의 세미나
1920년대 괴팅겐에서 에미 뇌터와 파벨 알렉산드로프가 나눈 세미나·대화는 Betti 수처럼 결과만 세는 대신 cycle과 boundary를 군과 사상으로 조직하는 관점을 밀어 올렸다. 군을 쓰면 구멍의 개수뿐 아니라 구조와 변환, 서로 다른 차원 사이의 관계를 보존할 수 있다. 이 전환은 대수적 위상수학의 현대 문법이 됐다. 그러나 구전 영향의 정확한 한 날짜나 단독 저자를 고정하기 어려워 1925년은 근사 앵커로 표시한다.
- 잠깐 멈춰 묻기
- 구멍의 개수만 세는 대신 구멍들이 서로 어떻게 더해지고 변환되는지 기록하면 무엇이 보일까요?
- 생각이 달라진 점
- Betti 수를 cycle·boundary의 군과 사상으로 들어 올려 위상 변화에 대한 구조적 계산 언어를 만듭니다.
- 말할 수 없는 것
- 영향은 구전·공동 세미나에 크게 의존하므로 1925는 근사 앵커이며 한 논문·한 사람의 단독 발명으로 고정하지 않습니다.
- 이 장소
- 괴팅겐의 소규모 세미나와 대수 연구 공동체는 뇌터·알렉산드로프가 출판 전 아이디어를 언어 자체의 변화로 밀어갈 수 있게 했습니다. (숲 구릉 · 활엽수 · 작은 강 · 51.5°N 9.9°E · 랜드마크: 괴팅겐 천문대 (1816년))
- 강 위의 도해
- 원환면의 두 고리 a·b를 세기만 하지 않고 더하고(a + b) 옮길 수 있는 군의 격자로 조직한다.
- 강 위의 표시
- 쓰고 읽힌 기록을 올려 둔 책상 · 1900–1969년 (콘크리트 표지 · 전기 가로등 · 콘크리트 다리 · 송전탑과 아파트·라디오탑 · 바지선 · 비행기)
13·1928년·프린스턴(근거: 출판)
매듭에 다항식 지문을 찍다 — Alexander polynomial
제임스 알렉산더는 매듭의 보완공간에서 얻은 대수 정보를 Laurent 다항식으로 압축했다. 그림을 이리저리 바꿔도 같은 매듭이면 값이 유지되므로 많은 매듭을 빠르게 구별할 수 있다. ‘모양 비교’를 ‘계산 결과 비교’로 바꾼 강력한 발상이다. 다만 서로 다른 매듭이 같은 Alexander 다항식을 가질 수 있으므로 이 지문 하나가 완전한 신분증은 아니다.
- 잠깐 멈춰 묻기
- 복잡한 매듭 그림을 하나의 다항식으로 압축하면 어떤 차이를 계산으로 판정할 수 있을까요?
- 생각이 달라진 점
- 매듭 보완공간의 관계를 Laurent 다항식으로 바꾸어 그림 변형에 남는 대수적 지문을 만듭니다.
- 말할 수 없는 것
- 같은 매듭이면 같은 다항식을 갖지만 서로 다른 매듭도 같은 값을 가질 수 있어 완전 판별기는 아닙니다.
- 이 장소
- 프린스턴의 대학·Annals·미국수학회 출판 생태계는 새 위상 불변량이 도표를 넘어 계산법으로 유통될 기반이었습니다. (숲 · 활엽수 · 완만한 저지 · 40.4°N 74.7°W)
- 강 위의 도해
- 모양이 다른 두 트레포일 그림은 같은 다항식 t − 1 + t⁻¹을 주고, 8자 매듭은 다른 값을 준다.
- 강 위의 표시
- 쌓아 둔 책 · 1900–1969년 (콘크리트 표지 · 전기 가로등 · 콘크리트 다리 · 송전탑과 아파트·라디오탑 · 바지선 · 비행기)
14·1956년·프린스턴(근거: 출판)
같은 구인데 미분은 다르게 작동하다 — Milnor의 이국적 7-구
존 밀너는 위상적으로는 표준 7차원 구와 같지만 매끄러운 좌표변환으로는 같지 않은 다양체를 발견했다. 찢거나 붙이지 않는 위상적 동치보다, 미분 가능한 구조를 보존하는 동치가 더 엄격하다는 뜻이다. 우리가 그릴 수 없는 7차원에서도 불변량은 서로 다른 ‘같음’을 분리한다. 프린스턴 핀은 《Annals of Mathematics》 출판·연구망을 나타내며 발견을 한 건물의 순간으로 축소하지 않는다.
- 잠깐 멈춰 묻기
- 위상적으로 같은 두 구에서 미분 가능한 좌표계가 서로 다를 수 있다는 것은 무슨 뜻일까요?
- 생각이 달라진 점
- homeomorphism과 diffeomorphism을 분리해 공간의 모양 위에 놓인 smooth structure도 분류 대상으로 봅니다.
- 말할 수 없는 것
- ‘이국적’은 위상 자체가 다른 구라는 뜻이 아니라 같은 topological sphere 위 smooth structure가 다르다는 뜻입니다.
- 이 장소
- 프린스턴의 《Annals of Mathematics》와 다양체 연구 공동체는 7차원 예를 고차원 분류의 중심 문제로 확산시켰습니다. (숲 · 활엽수 · 완만한 저지 · 40.4°N 74.7°W)
- 강 위의 도해
- 위상으로는 같은 7-구 두 개(C⁰ =)가 매끄러운 좌표 그물로는 서로 옮겨지지 않는다(C^∞ ≠).
- 강 위의 표시
- 쌓아 둔 책 · 1900–1969년 (콘크리트 표지 · 전기 가로등 · 콘크리트 다리 · 송전탑과 아파트·라디오탑 · 바지선 · 비행기)
15·1961년·버클리(근거: 주요활동)
고차원에서는 손잡이로 공간을 해체하다 — Smale
스티븐 스메일은 다양체를 임계점과 손잡이 부착으로 분석하는 Morse 이론을 이용해 5차원 이상의 일반화 푸앵카레 추측을 풀었다. 차원이 높으면 피할 공간이 많아 변형을 정리하기 쉬워지는 역설적 면이 있다. 그러나 이 성공은 4차원과 3차원에 그대로 내려오지 않았다. 차원마다 사용할 수 있는 기법과 매끄러운 구조가 다르다는 사실이 한 세기의 문제를 여러 갈래로 나눴다.
- 잠깐 멈춰 묻기
- 왜 낮은 차원보다 높은 차원에서 푸앵카레 문제를 먼저 풀 수 있었을까요?
- 생각이 달라진 점
- 함수의 임계점과 handle 분해로 다양체를 조립·해체하며 차원마다 가능한 이동 공간을 분석합니다.
- 말할 수 없는 것
- 1961 결과는 5차원 이상이며 4차원과 3차원의 정리·방법을 자동으로 포함하지 않습니다.
- 이 장소
- 1960~1961년 버클리의 기하·동역학 연구 환경에서 Smale은 Morse 이론을 고차원 위상 문제에 적용했습니다. (샌프란시스코만 · 참나무·유칼립투스 · 언덕 · 37.9°N 122.3°W · 랜드마크: 세이더 타워 (1914년))
- 강 위의 도해
- 세운 원환면을 높이 f로 자르면 임계점 넷(지수 0·1·1·2)에서 손잡이가 붙고, 이 분해로 n ≥ 5 차원의 문제를 푼다.
- 강 위의 표시
- 활동이 이어진 자리라 항로의 상징물만 세웠다 · 1900–1969년 (콘크리트 표지 · 전기 가로등 · 콘크리트 다리 · 송전탑과 아파트·라디오탑 · 바지선 · 비행기)
16·1984년·버클리(근거: 발견)
매듭 밖의 대수에서 새 매듭 지문이 튀어나오다 — Jones
본 존스는 von Neumann 대수의 부분인자와 braid 표현을 연구하다 예상 밖의 매듭 다항식을 발견했다. Jones 다항식은 Alexander 다항식이 놓치는 많은 매듭을 구별하고 매듭의 거울상도 감지하는 경우가 있다. 한 분야의 계산이 다른 분야의 불변량으로 번역된 장면이다. 그래도 모든 매듭을 완전히 구별하지는 않으며, 양자장론 해석은 이후 Witten 등이 확장한 별도 단계다.
- 잠깐 멈춰 묻기
- 매듭과 무관해 보이는 연산자대수 계산에서 왜 새 매듭 지문이 나타났을까요?
- 생각이 달라진 점
- 부분인자·braid 표현을 매듭 불변량으로 번역해 서로 먼 분야의 구조적 동일성을 이용합니다.
- 말할 수 없는 것
- Jones 다항식도 모든 매듭을 완전히 구별하지 않으며 Witten의 양자장론 해석은 후대의 별도 발전입니다.
- 이 장소
- 버클리의 operator algebra와 위상 연구망은 Jones가 뜻밖의 다항식을 매듭 연구자들과 빠르게 비교할 접점을 제공했습니다. (샌프란시스코만 · 참나무·유칼립투스 · 언덕 · 37.9°N 122.3°W · 랜드마크: 세이더 타워 (1914년))
- 강 위의 도해
- 두 가닥 땋임에서 닫힌 트레포일과 그 거울상은 알렉산더 다항식 Δ가 같지만 존스 다항식 V는 서로 다르다.
- 강 위의 표시
- 더 밝게 켠 봉화 · 1970년 이후 (유리 표지 · LED 불빛 · 사장교 · 유리 빌딩과 풍력 발전기·데이터 센터 · 여객선 · 인공위성)
17·2003년·상트페테르부르크(근거: 주요활동)
공간을 흐르게 해 모양을 드러내다 — Perelman의 세 preprint
그리고리 페렐만은 2002~2003년 세 편의 arXiv preprint에서 해밀턴의 Ricci flow 프로그램에 엔트로피·붕괴 제어·수술 논증을 더했다. 울퉁불퉁한 계량을 열처럼 흐르게 하며 특이점을 통제하면 3차원 다양체의 기하 조각이 드러난다. 국제 공동체의 수년간 검증을 거쳐 기하화 추측과 푸앵카레 추측의 해결이 받아들여졌다. ‘고독한 천재가 무에서 한 번에 증명했다’는 이야기로 선행 프로그램과 검증 노동을 지우지 않는다.
- 잠깐 멈춰 묻기
- 울퉁불퉁한 공간의 계량을 열처럼 흐르게 하면 원래의 위상 구조를 어떻게 알아낼 수 있을까요?
- 생각이 달라진 점
- 고정된 공간을 분류하는 대신 Ricci flow의 시간 변화와 특이점 제어로 기하 조각을 드러냅니다.
- 말할 수 없는 것
- 세 preprint는 핵심 돌파였지만 Hamilton의 선행 프로그램과 이후 공동체의 세부 검증을 지우는 단독 영웅담으로 만들지 않습니다.
- 이 장소
- 상트페테르부르크 Steklov 연구소의 기하 공동체와 국제 서신·preprint 망은 Perelman이 기존 Ricci-flow 프로그램을 밀어갈 기반이었습니다. (네바강 하구 바다 · 자작나무 · 평지 · 59.9°N 30.3°E · 랜드마크: 페트로파블롭스크 대성당 (1733년), 성 이삭 대성당 (1858년))
- 강 위의 도해
- 울퉁불퉁한 계량을 리치 흐름으로 매끈하게 흘리다 가늘어진 목을 수술로 잘라 막으면, 기하 조각들이 드러난다.
- 강 위의 표시
- 활동이 이어진 자리라 항로의 상징물만 세웠다 · 1970년 이후 (유리 표지 · LED 불빛 · 사장교 · 유리 빌딩과 풍력 발전기·데이터 센터 · 여객선 · 인공위성)
18·2005년·스탠퍼드(근거: 출판)
점구름에서 오래 살아남는 구멍을 추적하다 — persistent homology
Afra Zomorodian과 Gunnar Carlsson은 데이터 점들 사이 연결 반경을 키워 가며 생겼다 사라지는 성분과 고리를 계산하는 persistent homology의 알고리즘 틀을 정교화했다. 짧게 나타났다 사라지는 특징과 여러 척도에서 오래 남는 특징을 barcode로 비교할 수 있다. 위상수학이 데이터의 형태를 읽는 도구가 된 장면이다. 하지만 입력 표현·거리·filtration 선택이 결과를 만들며, 오래 남는 고리가 자동으로 의미 있는 원인이나 진실임을 보장하지 않는다.
- 잠깐 멈춰 묻기
- 흩어진 점만 있을 때 어떤 성분과 고리가 잡음보다 오래 남는지 여러 척도에서 어떻게 비교할까요?
- 생각이 달라진 점
- 한 임계값에서 모양을 고정하지 않고 filtration 전체에서 feature의 탄생·죽음을 barcode와 persistence module로 기록합니다.
- 말할 수 없는 것
- TDA는 거리를 완전히 버리지 않습니다. 데이터 표현·metric·filtration 선택이 필요하며 오래 남는 feature도 의미·인과를 자동 보증하지 않습니다.
- 이 장소
- 스탠퍼드의 computational geometry·대수위상·데이터 연구 접점은 persistent homology를 계산 가능한 알고리즘으로 만들었습니다. (마른 풀 · 참나무 · 완만한 구릉 · 37.4°N 122.2°W · 랜드마크: 후버 타워 (1941년))
- 강 위의 도해
- 점구름 둘레의 반지름 r을 키우며 성분과 고리의 탄생·죽음을 barcode 막대로 적고, 오래 사는 고리 하나를 가려낸다.
- 강 위의 표시
- 쌓아 둔 책 · 1970년 이후 (유리 표지 · LED 불빛 · 사장교 · 유리 빌딩과 풍력 발전기·데이터 센터 · 여객선 · 인공위성)