개념
유클리드의 다섯째 공준을 다른 공준에서 증명하려던 오랜 시도가 실패하면서, 그 부정을 가정해도 일관된 다른 기하가 가능하다는 사실이 드러났다. 비유클리드 기하는 하나의 이론 이름이 아니라 쌍곡·타원 기하와 더 일반적인 곡률 공간을 여는 전환이다.
한 호흡으로 이해하기
"평행선이 반드시 만나지 않는다는 유클리드 5번째 공준이 틀릴 수도 있다." 19세기 가우스·로바체프스키·볼리아이가 독립적으로 발견한 곡면 위의 기하학. 60년 후 일반상대성이론에서 우주 자체가 휘어있다는 것이 밝혀지며 진짜 물리 도구가 됐다. 구면(양의 곡률)에서는 삼각형 내각합 > 180°.
한눈에 보기
공간 | 곡률 | 삼각형 내각합 | 한 점을 지나는 평행선 | 실제 모델 |
|---|---|---|---|---|
유클리드 (평면) | 0 | = 180° | 정확히 1개 | 책상 위 |
구면 (타원) | + | > 180° | 0개 (모두 만남) | 지구 표면 |
쌍곡 (로바체프스키) | − | < 180° | 무한히 많음 | 말 안장 모양 |
우주 전체는 곡률이 거의 0이지만 — 거대 질량 근처에서는 국소적으로 휘어있다(일반상대성).
핵심 식
평행선이 만나거나(구면) 무한히 멀어지는(쌍곡) 기하
핵심 순간
유클리드의 다섯째 공준
《원론》의 원문은 교차선 한쪽의 안각 합이 두 직각보다 작으면 두 직선이 그쪽에서 만난다는 문장이다. “한 점을 지나는 평행선은 정확히 하나”는 후대 Playfair의 동치 표현이다.
하이얌 — 증명 시도 속 대안 가정
하이얌은 같은 밑변 위 두 수직선으로 만든 사변형을 분석해 다섯째 공준을 더 자명한 가정에서 재구성하려 했다. 완성된 쌍곡기하는 아니지만 어떤 가정을 쓰는지 드러냈다.
로바체프스키와 보여이 — 독립된 공개 체계
로바체프스키는 1829~1830년 카잔에서, 보여이는 1832년 트란실바니아에서 서로 독립적으로 쌍곡적 기하를 공개했다. 가우스의 관련 작업은 주로 사적 서신과 노트에 남았다.
리만 — 차원·계량·곡률을 다시 묻다
리만은 괴팅겐 강연에서 길이를 재는 법과 곡률이 공간마다 달라질 수 있는 일반 틀을 제시했다. 강연은 1854년, 사후 출판은 1868년이다.
벨트라미 — 모형과 상대적 무모순성
유클리드 기하 안에 쌍곡기하의 모형을 만들어, 유클리드 기하가 일관되다면 새 기하도 함께 일관됨을 보이는 길을 열었다.
아인슈타인 — 시공간 기하와 중력
일반상대론은 물질·에너지와 의사리만 시공간의 곡률을 연결한다. 이것은 “모든 비유클리드 공간이 실제 우주”라는 증명이나 우주의 전역 모양을 하나로 확정한 선언이 아니다.
오늘날의 응용
일반상대성이론의 의사리만 시공간, 우주론의 공간 곡률 모형, 곡면 위 측지학, 쌍곡 공간을 이용한 계층형 데이터·네트워크 임베딩에 쓰인다. GPS는 특수·일반상대론 보정을 사용하지만 “쌍곡기하 장치” 하나로 작동하는 것은 아니다.
MathVoyage 너머로
불러오는 중…