길이를 버리고 연결만 보다 — 다리·구멍·매듭·데이터의 형태

걷지 않고도 불가능을 판정하다 — 홀수 차수의 법칙

한 점에 닿는 다리 수가 홀수라면, 그곳을 중간에 방문할 때 들어오는 다리와 나가는 다리를 짝지을 수 없다. 쾨니히스베르크의 네 점은 모두 홀수 차수이므로 시작과 끝 두 곳만 예외일 수 있는 한붓길이 존재하지 않는다. 1735년에 작성된 논문은 상트페테르부르크 학술원 회보에 1741년 출판됐다. 이는 그래프 이론의 이른 출발점이자 위상적 사고의 전조지만, 오늘날 위상수학 전체가 이 한 논문에서 완성됐다는 뜻은 아니다.

면을 찌그러뜨려도 남는 계산을 찾다 — V−E+F

베를린에서 오일러는 다면체의 꼭짓점 V, 모서리 E, 면 F 사이에 `V−E+F=2`가 성립하는 현상을 논문으로 정리했다. 정육면체를 둥글게 부풀려도 세 종류의 수가 맺는 관계는 남는다. 다만 모든 표면에 무조건 2가 되는 공식은 아니다. 구와 같은 닫힌 표면, 셀 분할의 조건, 구멍 수에 따라 값이 달라진다는 후대의 일반화가 이 관찰을 진짜 불변량으로 키웠다.

위치를 재는 대신 위치 관계를 연구하다 — Listing의 Topologie

요한 베네딕트 리스팅은 괴팅겐에서 출판한 《Vorstudien zur Topologie》에서 그리스어 topos와 logos를 결합한 이름으로 위치 관계의 학문을 조직했다. 자르거나 붙이지 않는 변형 아래 무엇이 유지되는지가 독립 질문이 됐다. 오일러의 다리, 가우스의 곡면, 리스팅의 용어는 서로 연결되지만 한 번에 현대적 정의로 이어진 직선 계보는 아니다. 이름이 생겼다고 분야의 공리와 도구가 그날 완성된 것도 아니다.

앞면을 따라갔는데 뒷면 없이 돌아오다 — Möbius의 띠

아우구스트 페르디난트 뫼비우스는 띠를 반 바퀴 비틀어 양끝을 붙이면 안과 밖을 둘로 나눌 수 없는 한쪽 면이 된다는 사실을 연구했다. 연필을 떼지 않고 중앙선을 따라가면 출발점의 ‘반대편’을 지나 다시 돌아온다. 길이보다 방향과 경계가 본질이 되는 놀라운 표면이다. 같은 구조를 리스팅도 독립적으로 찾았으므로 익숙한 이름 하나가 발견의 전부를 소유한다고 말하지 않는다.

한쪽 면을 독립적으로 기록하다 — Listing의 뒤엉킨 고리

리스팅은 괴팅겐에서 비틀린 고리와 방향을 바꾸는 표면을 독립적으로 다뤘고 1861년 이를 출판했다. 두 연구자의 거의 같은 시기 발견은 ‘기묘한 종이 장난감’이 당시 곡면·결합·방향 문제에서 자연스럽게 떠오를 조건이 있었음을 보여 준다. 오늘날 말하는 비가향성은 표면 위에서 국소 방향을 한 바퀴 일관되게 보존할 수 없는 성질이다. 뫼비우스 띠의 오일러 표수만으로 방향 가능성까지 모두 판정할 수는 없다.

틀린 원자 모형에서 살아남은 분류표 — Tait의 매듭

켈빈은 원자를 에테르 속 소용돌이 매듭으로 설명하려 했고, 에든버러의 피터 거스리 테이트는 서로 다른 매듭을 체계적으로 그려 분류했다. 소용돌이 원자론은 사라졌지만 ‘끈을 자르지 않고 두 매듭을 서로 바꿀 수 있는가’라는 문제는 남았다. 실패한 과학 이론도 정확한 표와 조작 규칙을 요구하면서 독립적인 수학을 낳을 수 있다. Tait의 표는 중요한 시작이지 모든 매듭의 완전 분류나 오류 없는 목록은 아니었다.

구멍을 숫자보다 풍부한 대수로 번역하다 — Analysis Situs

번역망 · 렌즈가 주목한 장면

앙리 푸앵카레의 《Analysis Situs》는 공간 속 순환과 경계를 대수적으로 비교하려 했다. 닫힌 길이 가운데 어떤 것은 한 점으로 줄일 수 있고 어떤 것은 구멍에 걸려 줄일 수 없다는 차이를, Betti 수와 이후 homology로 자라날 언어에 연결했다. 그림의 직관을 계산 가능한 관계로 옮긴 대수적 위상수학의 전환이다. 논문에는 후대에 수정된 오류도 있었고, 오늘날의 군·사슬복합체 정의가 한 번에 완성되어 있지는 않았다.

우리가 사는 3차원 공간을 고리로 알아볼 수 있을까 — Poincaré 추측

푸앵카레는 닫힌 3차원 다양체 안의 모든 고리가 끊지 않고 한 점으로 줄어든다면 그 공간이 3-구와 같은지 물었다. 2차원 표면에서는 구멍 수로 익숙한 분류가 되지만 3차원에서는 놀랍도록 어려워진다. 장면은 파리에서 활동하며 쓴 1904년 보충 논문을 따르고 실제 저널 출판지는 팔레르모였다는 경계를 남긴다. ‘구멍이 없다’는 초급 비유만으로 단순연결성과 닫힌 3-다양체 조건을 대신하지 않는다.

평면을 선으로 구겨 넣어도 차원은 사라지지 않는다 — Brouwer

브라우어르는 서로 다른 차원의 열린 공간이 위상적으로 같을 수 없음을 보이는 차원 불변성 연구를 완성했다. 종이 위에 공간을 촘촘히 그리거나 선 하나가 사각형을 가득 채우게 만들 수 있어도, 연속적 일대일 대응과 연속적 역함수를 함께 요구하면 1차원과 2차원은 같아지지 않는다. 이 결과는 직관적인 ‘좌표 수’를 위상적 사실로 엄밀하게 만든다. 같은 1911년의 고정점 정리와 관련은 있지만 동일 정리는 아니다.

고무판 그림조차 버리고 ‘가까움’의 규칙만 남기다 — Hausdorff

펠릭스 하우스도르프의 《Grundzüge der Mengenlehre》는 점의 근방과 열린집합을 통해 매우 일반적인 공간을 다루는 공리적 언어를 정리했다. 서로 다른 두 점을 겹치지 않는 근방으로 분리할 수 있다는 Hausdorff 조건은 수열 극한의 유일성과 좋은 공간의 경계를 드러낸다. 라이프치히 핀은 1914년 책의 출판지를 가리키며 하우스도르프의 당시 활동지를 뜻하지 않는다. 위상수학은 이제 실제 고무판이 없어도 관계의 규칙만으로 공간을 세울 수 있었다.

구멍을 세는 수에서 변환되는 군으로 — Noether의 세미나

1920년대 괴팅겐에서 에미 뇌터와 파벨 알렉산드로프가 나눈 세미나·대화는 Betti 수처럼 결과만 세는 대신 cycle과 boundary를 군과 사상으로 조직하는 관점을 밀어 올렸다. 군을 쓰면 구멍의 개수뿐 아니라 구조와 변환, 서로 다른 차원 사이의 관계를 보존할 수 있다. 이 전환은 대수적 위상수학의 현대 문법이 됐다. 그러나 구전 영향의 정확한 한 날짜나 단독 저자를 고정하기 어려워 1925년은 근사 앵커로 표시한다.

매듭에 다항식 지문을 찍다 — Alexander polynomial

번역망 · 렌즈가 주목한 장면

제임스 알렉산더는 매듭의 보완공간에서 얻은 대수 정보를 Laurent 다항식으로 압축했다. 그림을 이리저리 바꿔도 같은 매듭이면 값이 유지되므로 많은 매듭을 빠르게 구별할 수 있다. ‘모양 비교’를 ‘계산 결과 비교’로 바꾼 강력한 발상이다. 다만 서로 다른 매듭이 같은 Alexander 다항식을 가질 수 있으므로 이 지문 하나가 완전한 신분증은 아니다.

같은 구인데 미분은 다르게 작동하다 — Milnor의 이국적 7-구

존 밀너는 위상적으로는 표준 7차원 구와 같지만 매끄러운 좌표변환으로는 같지 않은 다양체를 발견했다. 찢거나 붙이지 않는 위상적 동치보다, 미분 가능한 구조를 보존하는 동치가 더 엄격하다는 뜻이다. 우리가 그릴 수 없는 7차원에서도 불변량은 서로 다른 ‘같음’을 분리한다. 프린스턴 핀은 《Annals of Mathematics》 출판·연구망을 나타내며 발견을 한 건물의 순간으로 축소하지 않는다.

고차원에서는 손잡이로 공간을 해체하다 — Smale

스티븐 스메일은 다양체를 임계점과 손잡이 부착으로 분석하는 Morse 이론을 이용해 5차원 이상의 일반화 푸앵카레 추측을 풀었다. 차원이 높으면 피할 공간이 많아 변형을 정리하기 쉬워지는 역설적 면이 있다. 그러나 이 성공은 4차원과 3차원에 그대로 내려오지 않았다. 차원마다 사용할 수 있는 기법과 매끄러운 구조가 다르다는 사실이 한 세기의 문제를 여러 갈래로 나눴다.

매듭 밖의 대수에서 새 매듭 지문이 튀어나오다 — Jones

본 존스는 von Neumann 대수의 부분인자와 braid 표현을 연구하다 예상 밖의 매듭 다항식을 발견했다. Jones 다항식은 Alexander 다항식이 놓치는 많은 매듭을 구별하고 매듭의 거울상도 감지하는 경우가 있다. 한 분야의 계산이 다른 분야의 불변량으로 번역된 장면이다. 그래도 모든 매듭을 완전히 구별하지는 않으며, 양자장론 해석은 이후 Witten 등이 확장한 별도 단계다.

공간을 흐르게 해 모양을 드러내다 — Perelman의 세 preprint

그리고리 페렐만은 2002~2003년 세 편의 arXiv preprint에서 해밀턴의 Ricci flow 프로그램에 엔트로피·붕괴 제어·수술 논증을 더했다. 울퉁불퉁한 계량을 열처럼 흐르게 하며 특이점을 통제하면 3차원 다양체의 기하 조각이 드러난다. 국제 공동체의 수년간 검증을 거쳐 기하화 추측과 푸앵카레 추측의 해결이 받아들여졌다. ‘고독한 천재가 무에서 한 번에 증명했다’는 이야기로 선행 프로그램과 검증 노동을 지우지 않는다.

점구름에서 오래 살아남는 구멍을 추적하다 — persistent homology

번역망 · 렌즈가 주목한 장면

Afra Zomorodian과 Gunnar Carlsson은 데이터 점들 사이 연결 반경을 키워 가며 생겼다 사라지는 성분과 고리를 계산하는 persistent homology의 알고리즘 틀을 정교화했다. 짧게 나타났다 사라지는 특징과 여러 척도에서 오래 남는 특징을 barcode로 비교할 수 있다. 위상수학이 데이터의 형태를 읽는 도구가 된 장면이다. 하지만 입력 표현·거리·filtration 선택이 결과를 만들며, 오래 남는 고리가 자동으로 의미 있는 원인이나 진실임을 보장하지 않는다.