비유클리드 기하학

유클리드 기하학

유클리드 기하학(-幾何學, Euclidean geometry)은 그리스의 수학자 유클리드(Euclid, BC330?~BC275?)에 의해 구축된 수학 체계로, 그의 《원론》은 기하학에 관한 최초의 체계적인 논의로 알려져 있다. 유클리드의 방법은 직관적으로 인지되는 공리를 참으로 간주함에 바탕을 두며, 그것들로부터 연역적으로 명제(정리)를 이끌어낸다. 이러한 공리론적 구성법에서는 직선 · 평면 등의 기본적인 개념이 무정의(無定意) 요소이다. 2천년 동안 유클리드의 공리는 어떤 정리도 유도해 낼 수 있을 만큼 직관적으로 매우 명백한 것으로 보였고, 절대적인 의미에서 참으로 간주되었다.

비유클리드 기하학의 탄생

유클리드의 다섯번째 공준인 평행선 공준은 다른 네 공준이 자와 컴퍼스를 이용해 경험적으로 이해될 수 있는 것과 달리 복잡하고 직관적이지 못하다. 따라서 몇몇 수학자들은 이 공준이 다른 명제들로부터 증명될 수 있을지도 모른다고 생각했다. 또한 다른 몇몇 수학자들은 이 공준의 부정을 가정하여 모순을 이끌어내려고 하였다.
대표적으로 이탈리아의 수학자 사케리(Girolamo Saccheri, 1667~1733)는 다섯 번째 공리를 부정해 모순을 증명하려고 했다. 그 과정에서 사케리는 새로운 정리를 많이 얻었으나 새로운 사실을 알았음에도 불구하고 다섯 번째 공리의 모순을 얻지 못했다는 이유로 연구한 것을 모두 버렸다.
결국 19세기에 이탈리아의 수학자 벨트라미(Eugenio Beltrami, 1835~1899)에 의해 이 공준은 증명될 수 없음이 밝혀졌고, 또한 이것의 반대 상황을 가정해도 모순이 없다는 것이 밝혀졌다. 1829년 러시아의 니콜라이 이바노비치 로바쳅스키(Nikolai Ivanovich Lobachevskii, 1792~1856)는 평행선 공리를 도입하지 않은 새로운 기하학을 한 러시아 저널에 발표하였다.
독일의 가우스(1777~1855)는 제5공준 대신 평행선을 몇 개나 그을 수 있다는 공리에서 출발하여도, 모순이 없는 비유클리드 기하학(쌍곡기하학)이 만들어진다는 것을 보여주었다. 이 비유클리드 기하학 연구는 발표되지 않았고 1831년 가우스의 친구 보여이 퍼르커시의 아들인 헝가리의 보여이 야노시에 의해서 연구되어 그의 아버지의 논문에 발표되었다.
1854년 가우스의 제자인 베른하르트 리만(1826~1866)은 기하학의 기초에 관한 강연을 했다. 그는 곡률이라는 개념을 도입해 다섯 번째 공리가 성립하는 공간은 곡률이 0인 공간(유클리드 기하학)이고 평행선 공리 없이, 곡률이 1이면 구면처럼 평행선이 없는 공간(구면기하학 또는 타원기하학), 곡률이 -1이면 평행선이 무수히 많은 공간이 된다는 것을 이론으로 발표했다. 나아가 곡률이 정해진 수로 나타나지 않는 공간에 대한 이론도 세워 곡면 위의 기하학으로 일반화하였다.

쌍곡선 기하학의 탄생

논리적으로 완벽하다고 믿어왔던 유클리드 기하학의 여러 공리 중에서 평행선 공준에 모순이 있다는 것을 발견하였다. 유클리드 기하학은 구부러지지 않은 평평한 면과 공간을 대상으로 하였기 때문에 이런 평면과 공간에서 평행선 공준은 아무런 문제점을 갖지 않지만, 관점을 달리하면 그렇지 않다. 즉, 구부러진 곡면과 공간에서는 다른 공리 · 공준들은 모두 성립하지만 평행선 공준은 성립하지 않는다. 따라서 새로운 기하학의 필요성이 제기되었고, 그 결과 유클리드의 다른 공리들은 모두 받아들여지면서 평행선 공준만을 바꾼 비유클리드 기하학이 만들어지게 되었다.

쌍곡선 기하학의 공간

그리고 공간을 곡률에 따라서 곡률이 0인 공간, 양수인 공간, 음수인 공간으로 구분함으로써 유클리드 기하학과 함께 비유클리드 기하학의 대상이 된 공간이 설명될 수 있었다. 이것으로 비유클리드 기하학은 더 이상 기괴한 것이 아니라 논리적으로 합당한 또 하나의 기하학으로 인정받았다.
쌍곡 기하학은 비유클리드 기하학의 시초라고 할 수 있다. 이 쌍곡 기하학은 가우스, 로바쳅스키, 볼리아이가 만든 기하학이다. 쌍곡 기하학은 바로 곡률이 음수로 일정한 공간에서 성립하는 기하학으로, 위구(또는 의구)와 같은 공간에서 성립한다.
이 공간은 양쪽 끝 쪽으로 갈수록 점점 작아져서 그 간격이 0에 가까워지고, 가운데로 갈수록 점점 커져 그 간격이 무한대로 커지는 공간으로, 안으로 휘어진 공간이다. 쉽게 말하면 나팔 두 개를 서로 맞대어 붙여 놓은 것과 비슷한 모양이다. 이 공간에서 직선 l과 l위에 있지 않은 점 P가 주어졌을 때 점 P를 지나면서 l과 평행한 직선은 몇 개일까?
평행선은 만나지 않는 선이므로 직선 l과 만나지 않는 직선을 그려보면 여러 개가 존재한다. 점 P를 지나면서 직선 l과 평행한 직선은 m과 n이 있다. 그리고 m과 n 사이에 있는 모든 직선도 직선 l과 만나지 않으므로 평행하게 되고, 결국 평행선은 무수히 많이 존재한다. 또한 이 공간에서 두 평행선 사이의 거리는 양쪽 끝 방향으로 가면 0에 점점 가까워지고(하지만 만나지는 않는다) 가운데 방향으로 가면 그 거리가 무한히 된다.

쌍곡선 기하학에서의 삼각형 내각

이 공간에서는 삼각형의 세 내각의 크기의 합은 180°라는 유클리드 기하학의 정리도 성립하지 않는다. 이 공간에서는 평행선 공준이 성립하지 않으므로 평행선상에서 동위각과 엇각의 크기가 같다는 성질이 성립하지 않기 때문이다. 삼각형의 세 내각의 크기의 합이 180°라는 것은 평행선상에서 동위각과 엇각의 크기가 같다는 성질을 이용해서 증명되는 것인데, 쌍곡면 위에서는 이러한 성질이 성립하지 않기 때문에 삼각형의 세 내각의 크기의 합이 180°가 아니다.
쌍곡면 위에서는 삼각형을 그려보면 공간 자체가 안으로 굽은 공간이기 때문에 삼각형 자체도 안으로 굽은 오목한 삼각형이 그려진다. 따라서 삼각형의 세 내각의 크기가 모두 작아지게 되어 그 합이 180°보다 더 작게 된다. 그리고 삼각형의 크기가 커질수록 삼각형의 변도 안으로 더 많이 휘어지므로 세 내각의 크기의 합이 점점 작아진다.

타원 기하학

비유클리드 기하학으로 분류되는 타원면 위에서 법칙을 설명하는 기하학이다. 타원 기하학 중 가장 간단한 구면 기하학은 리만 기하학이라고 불리기도 한다.
구면에서는 유클리드의 평행선 공리, 즉 한 직선이 있고 그 위에 있지 않은 어떤 점을 지나면서 그 직선에 평행한 직선은 오직 하나 있다는 것이 위배된다. 대신 타원기하학에서 평행선 공리는 한 직선이 있고 그 위에 있지 않은 어떤 점을 지나면서 그 직선과 만나지 않는 직선은 존재하지 않는다는 것이다. 타원 기하학의 모형으로는 좌표공간의 한 정점으로부터 같은 거리에 있는 점의 집합인 구를 생각할 수 있다. 이때 정점을 구 의 중심, 같은 거리를 구의 반지름의 길이라고 한다. 구에서 중심을 지나는 평면과 구의 교선을 직선으로 정의하면 평행공리의 불능이 성립함을 알 수 있다. 또한 타원기하학에서 구면에 그린 삼각형 내각의 합은 180도보다 크게 나타난다. 이러한 타원기하학은 도형을 도표에 의해 표현할 때마다 변형을 피할 수 없음을 의미한다. 하나의 관점, 즉 직선의 곧음성을 충실하게 표현하는 도표들은 다른 관점, 즉 길이나 각들을 변형시킬 것이다.

절대 기하학

절대 기하학은 보여이 야노시가 1832년에 고안한 비유클리드 기하학이다. 유클리드 기하학의 제5 공준인 평행선 공준을 만족하지 않으며 측지선을 바탕으로 한다. 절대 기하학은 중립 기하학이라는 별칭을 갖고 있다.
절대기하학 법칙은 비유클리드기하학인 쌍곡 기하학에서 만들어졌다. 절대기하학은 순서기하가 확정된 것이고 따라서 순서기하의 법칙이 절대기하학에서도 성립한다. 하지만 그 역은 성립하지 않는다. 절대기하학은 아핀기하학에 반대하기 위해 유클리드의 첫 번째 공리를 추측하였는데 그것은 유클리드의 세 번째, 네 번째 법칙을 추측하지는 않았다. 순서기하는 절대기하학과 아핀기하학의 공통된 기초이다.
절대기하학은 타원기하학과 반대된다. 이론적으로 평행한 선은 존재하지 않기 때문에 유클리드의 평행선은 곧바로 오류로 증명된다. 반면, 평행선이 인정하는 것은 절대기하학의 법칙이다.
절대기하학이 불충분하다고 생각될 수 있지만 꼭 그렇지만은 않다. 물론, 유클리드 공리에서는 처음 28개의 명제가 평행선을 사용하지 않았고 따라서 절대기하학에서는 타당하다. 절대기하학으로 외각법칙(삼각형의 외각이 remote angle보다 크다)과 삼각형의 합은 180°라는 사케리-르장드르 정리를 증명할 수 있다.

비유클리드 기하학의 중요성

비유클리드 기하학은 과학사에 중요한 패러다임의 전환이 되었다.
공간을 설명하는 데에 있어서 유클리드 기하학은 수학적 모델로서 2천년간 절대적인 권위를 갖고 있었기 때문에, 인간의 사고 역시 유클리드 공간 내에서만 사고하는 데에 그쳤다. 여기에 철학자 칸트(Kant, 1724-1804)는 산술과 유클리드 기하학은 선험적인 것이지, 분석적인 것은 아니라고 주장을 하였다. 경험에 의하지 않고서, 이성에서부터 발생되는 관념의 존재를 인정하여, 이것은 경험적인 관념보다 우월하며 보편타당적이고 또한 필연적이라고 하였다.
비유클리드 기하학과 공간의 성질에 대한 이해가 점진적으로 이루어지면서 유클리드 기하학의 관점은 크게 흔들리게 되었고, 논리와 산술에서 논쟁의 주제로 남게 되었다. 로바쳅스키는 자신의 신기하학(비유클리드 기하학)은 천문학 연구 및 미소(微小) 현상의 범위 연구에 주어진다고 생각하고, 통상의 유클리드 기하학은 지구상의 차원에 적용된다고 했다. 이 견해는 칸트의 인식론에서 얘기되는 공간의 아 프리오리설에 큰 타격을 가했다. 로바쳅스키에 의하면, 인식은 지각을 통해 획득되는 것이며, 의식에 선천적으로 부여된 무엇인가의 작용에 의한 것이 아니다.
새로운 기하학이 발표된 지 약 60년 뒤, 아인슈타인(Albert Einstein, 1879~1955)은 우주가 평평하지 않고 중력에 의해서 휘어 있음을 보였다. 그리고 일반상대성이론은 공간에 대한 기초 이론을 비유클리드 기하학에서 찾았다. 이처럼 유클리드의 다섯 번째 공리에 관한 의심에서 출발한 비유클리드 기하학은 미시공간과 극대 공간을 해석하는 이론으로 폭넓게 사용되고 있다.
“나는 기하학의 이러한 해석이 대단히 중요하다고 생각한다. 만일 내가 그 기하학을 몰랐다면 나는 결코 상대성 이론을 만들어 낼 수 없었을 것이다.” – 알베르트 아인슈타인