상징의 강 · 강의 물길은 실제 지리가 아닙니다
1 / 15기원전 약 300년알렉산드리아근거: 저술
상징: 쓰고 읽힌 기록을 올려 둔 책상시대 구간: 499년까지장소 풍경: 지중해 바닷가 · 대추야자 · 모래 평지
《원론》의 다섯째 공준은 한 직선이 두 직선을 가로지를 때 같은 쪽 안각의 합이 두 직각보다 작으면 그 두 직선이 그쪽에서 만난다는 긴 문장이다. 오늘 교과서의 ‘직선 밖 한 점을 지나는 평행선은 정확히 하나’는 Playfair 공리라는 동치 표현이지 유클리드의 원문이 아니다. 다른 공준보다 복잡해 보인다는 불편이 이후 수많은 증명 시도를 낳았지만, 유클리드가 비유클리드 기하를 숨겨 두었다고 소급할 수는 없다.
장면 전체 읽기드래그해 둘러보기 · ← / → 장면 이동
아홉 번째 항로 · 공간은 하나가 아니었다
증명하려던 문장이 독립된 선택지가 되고, 낯선 기하가 모형을 얻고, 마침내 별빛의 경로를 묘사하는 언어가 되기까지 2,200년을 걷습니다.
이 항로에서 붙잡을 질문
공간의 규칙은 눈앞의 직관이 정하는 진리일까요, 선택한 공준의 결과일까요, 아니면 관측으로 시험해야 할 물리 가설일까요?
이 강이 주장하지 않는 것
이 강은 실제 지리가 아닙니다. 강을 따라 내려간 거리는 흐른 시간이고, 세기가 흐르는 동안 빛이 새벽에서 황혼으로 바뀝니다. 비석 곁의 사물은 사건의 종류와 그 세기 구간에 수학을 쓰고 계산한 방식을 상징할 뿐 실제 유물을 재현하지 않습니다. 정거장 둘레의 땅은 그 장면이 일어난 실제 장소의 자연·지리를 개략으로 따르고, 대표 건축은 그 해에 이미 서 있던 것만 세웁니다. 장면마다 실제 장소와 근거를 그대로 두었으니, 어디서 일어났는지는 지도에서 읽어 주세요. 이 선은 하나의 원고·민족·학파가 Alexandria에서 Príncipe까지 이동한 전파 경로가 아니라, 서로 다른 세대가 평행선·곡률·모형·관측의 관계를 다시 편집한 비교 경로입니다. 비유클리드 기하가 곧 일반상대론이라는 뜻도 아닙니다.
세기 구간이 바뀌는 자리에서는 배가 새 구간의 다리 밑을 지나갑니다. 마을·방아·공장·송전탑·빌딩은 그 세기의 기술을 상징할 뿐, 실제 장소나 특정 건축 양식이 아닙니다.
01기원전 약 300년알렉산드리아(근거: 저술)
《원론》의 다섯째 공준은 한 직선이 두 직선을 가로지를 때 같은 쪽 안각의 합이 두 직각보다 작으면 그 두 직선이 그쪽에서 만난다는 긴 문장이다. 오늘 교과서의 ‘직선 밖 한 점을 지나는 평행선은 정확히 하나’는 Playfair 공리라는 동치 표현이지 유클리드의 원문이 아니다. 다른 공준보다 복잡해 보인다는 불편이 이후 수많은 증명 시도를 낳았지만, 유클리드가 비유클리드 기하를 숨겨 두었다고 소급할 수는 없다.
021077년이스파한(근거: 주요활동)
오마르 하이얌은 유클리드의 평행선 이론을 설명하는 논고에서 밑변에 수직인 두 같은 변을 세운 사변형을 분석하고, 더 자명하다고 본 가정들로 다섯째 공준을 재구성하려 했다. 뒤의 Saccheri 사변형과 닮은 구조가 대안 가정의 결과를 오래 계산하게 만들었다. 논고는 1077년 12월 완성됐지만 필사본의 도시명이 결락되어 이스파한 핀은 셀주크 궁정·관측 활동망을 가리킬 뿐 정확한 집필실은 아니다.
03약 1259년마라게(근거: 주요활동)
나시르 앗딘 알투시는 하이얌 계열의 논의를 이어 평행선 공준을 증명하려 했고, 삼각형의 각합이 두 직각보다 작아지는 가정에서 나오는 성질까지 다뤘다. 1259년 무렵 세워진 마라게 천문대는 그가 여러 지역 학자와 기하·천문 모형을 비교할 제도적 기반을 보여 준다. 평행선 논고의 정확한 집필 시점·방을 천문대 개원과 같게 만들거나, 이 작업을 완성된 쌍곡기하의 발명으로 부르지는 않는다.
041733년밀라노(근거: 출판)
예수회 수학자 조반니 사케리는 밀라노에서 출판한 《Euclides ab Omni Naevo Vindicatus》에서 다섯째 공준의 대안을 가정하고 모순으로 몰아 유클리드를 ‘흠 없이’ 만들려 했다. 그는 둔각 가정을 배제하고 예각 가정 아래 훗날 쌍곡기하의 정리가 되는 결과를 여러 개 얻었지만 마지막 모순 주장은 유클리드적 직관을 다시 끌어들였다. 의도는 비유클리드 기하의 창설이 아니었어도, 부정한 가정을 오래 밀어붙이는 계산이 새 구조를 드러냈다.
051824년괴팅겐(근거: 서신 발신)
가우스는 괴팅겐에서 타우리누스에게 보낸 1824년 편지 등에서 다섯째 공준을 버린 기하가 모순 없이 전개될 가능성과 그 낯선 결과를 논했다. 그러나 체계적 공개 저작으로 우선권을 세우지 않았고, 뒤에 로바체프스키와 보여이의 출판을 보고 자신의 오랜 생각과 닮았다고 반응했다. 비공개 노트와 서신의 선행은 중요하지만 공개 검증과 독립 발표를 지우는 ‘진짜 최초’ 증서가 아니다.
061829년카잔(근거: 출판)
니콜라이 로바체프스키는 1826년 카잔 대학에서 새 기하를 발표한 뒤 1829~1830년 《카잔 메신저》에 첫 논문을 실었다. 한 점에서 주어진 직선과 만나지 않는 선의 경계가 두 방향으로 갈라지는 기하를 삼각법까지 갖춘 체계로 전개했다. 러시아어 지역 간행물 탓에 처음에는 널리 읽히지 않았지만, ‘평행선이 무수히 많다’는 구호보다 공리에서 일관된 계산을 공개했다는 변화가 핵심이다.
071832년트르구무레슈(근거: 출판)
야노시 보여이는 아버지 퍼르커시의 《Tentamen》에 붙인 라틴어 Appendix를 1832년 마로슈바샤르헤이에서 출판해 평행선 공준에 의존하지 않는 ‘절대기하’와 쌍곡적 경우를 전개했다. 로바체프스키의 논문을 알지 못한 독립 작업이었고, 가우스가 자신도 오래 생각했다고 답한 일은 보여이에게 깊은 좌절을 주었다. 두 공개 체계를 하나의 경쟁 순위로 만들기보다 서로 다른 주변 출판망이 같은 논리적 가능성에 닿은 장면으로 본다.
081854년괴팅겐(근거: 발표)
리만은 괴팅겐 교수자격 강연에서 공간의 차원, 길이를 재는 계량, 점마다 달라질 수 있는 곡률을 묻는 일반 틀을 제시했다. 기하의 성질이 직관만으로 주어지는지, 물리적 공간에서는 경험이 어떤 역할을 하는지도 분리해 물었다. 1854년 강연 원고가 널리 출판된 것은 1868년 사후였고, 오늘의 리만 다양체 정의와 일반상대론이 그날 한 번에 완성된 것은 아니다.
091868년나폴리(근거: 출판)
에우제니오 벨트라미는 나폴리 수학 학술지에 낸 논문에서 일정한 음의 곡률을 가진 표면과 사영적 표현으로 쌍곡기하의 명제를 유클리드 기하 안에서 해석했다. 유클리드 기하가 일관되다면 이 모형이 나타내는 비유클리드 기하도 함께 일관된다는 상대적 무모순성의 길이 열렸다. 첫 pseudosphere 모형은 전체 쌍곡평면을 덮지 않으므로 한 장의 굽은 나팔이 모든 문제를 끝냈다고 말하지 않는다.
101872년에를랑겐(근거: 발표)
펠릭스 클라인은 1871년 비유클리드 모형 연구에 이어 1872년 에를랑겐 취임 강연에서 각 기하를 특정 변환군 아래 변하지 않는 성질의 연구로 비교하는 프로그램을 제시했다. 유클리드·사영·비유클리드 기하가 서로 배제하는 세계관만이 아니라 어떤 변환을 허용하느냐에 따른 구조로 보이기 시작했다. 이 강연 하나가 모든 현대 기하를 완성했거나 서로 다른 곡률의 차이를 지웠다는 뜻은 아니다.
111881년파리(근거: 출판)
푸앵카레는 1881년 파리 과학아카데미 보고와 논문들에서 Fuchsian 함수와 군을 연구하며 원판과 반평면 안의 쌍곡기하를 실제 계산 언어로 사용했다. 비유클리드 기하는 공준 논쟁의 기묘한 가능성에서 복소해석·미분방정식과 연결되는 생산적 도구로 이동했다. 원판 모형의 모든 요소를 한순간 혼자 발명했다고 말하지 않고 벨트라미·클라인·슈바르츠와 서신 논쟁의 선행을 함께 본다.
121908년쾰른(근거: 발표)
민코프스키는 쾰른의 자연과학자 회의에서 특수상대론을 공간 세 축과 시간 한 축이 결합된 4차원 시공간으로 제시했다. 관찰자마다 시간과 공간의 분해는 달라도 시공간 간격과 빛원뿔 구조는 보존된다는 그림이 물리 법칙을 기하적으로 읽게 했다. 이 시공간은 평평한 의사유클리드 기하이며, 물질에 따라 곡률이 생기는 일반상대론이나 ‘시간도 보통 공간과 완전히 같다’는 주장은 아니다.
131913년취리히(근거: 저술)
취리히에서 아인슈타인은 중력을 가속과 연결한 물리적 직관을, 수학자 마르셀 그로스만은 리만·리치·레비치비타의 텐서와 곡률 도구를 가져와 1913년 Entwurf 이론을 함께 발표했다. 수학을 나중에 장식처럼 붙인 것이 아니라 물리 원리와 가능한 식을 서로 시험한 협업이었다. Entwurf 장방정식은 일반 공변성을 제한한 잘못된 초안이었고, 최종 일반상대론과 같다고 말할 수 없다.
141915년베를린(근거: 발표)
아인슈타인은 베를린 프로이센 학술원에서 1915년 11월 네 차례에 걸쳐 중력 이론을 고쳐 갔고, 25일 논문에서 오늘 쓰는 장방정식의 형태에 도달했다. 한쪽의 물질·에너지와 다른 쪽의 시공간 곡률을 연결해 자유낙하를 휘어진 시공간의 경로로 읽게 했다. 리만·리치·레비치비타·그로스만과 동시기 힐베르트의 작업을 지운 단독 번개 발명도, 우주의 전체 공간 곡률을 하나로 확정한 선언도 아니다.
151919년로사 순디(프린시페)(근거: 주요활동)
에딩턴과 코팅엄은 프린시페 로사 순디에서 개기일식 동안 태양 가까이 보이는 별을 촬영했고, Sobral 원정대의 plate와 함께 평상시 별 위치와 비교했다. 쓸 수 있던 프린시페 plate는 두 장뿐이었지만 종합 결과는 뉴턴식 값보다 아인슈타인의 빛 휨 예측을 지지하며 이론을 세계적 뉴스로 만들었다. 당시 오차와 장비 선택 논쟁을 숨기지 않으며, 한 일식이 일반상대론의 모든 예측을 최종 증명했다고 말하지 않는다.