Euclidean Geometry(유클리드 기하학), Projective Geometry(사영 기하학), Non-Euclidean Geometry(비유클리드 기하학)
기하학(Geometry)은 공간과 도형의 성질을 연구하는 수학의 한 분야임.
기하학은 여러 종류가 있으며, 각각의 기하학은 서로 다른 공리와 개념에 기반함.
이 글에서는 Euclidean Geometry(유클리드 기하학), Projective Geometry(사영 기하학), Non-Euclidean Geometry(비유클리드 기하학)에 대해 소개함.
일반적으로 Euclidean Geometry와 Non-Euclidean Geometry가 중요하나,
Computer Vision 등에서 중요한 Projective Geometry를 같이 정리함.
Euclidean Geometry(유클리드 기하학)
Euclidean Geometry(유클리드 기하학)은
고대 그리스 수학자 Euclid(유클리드)가 기원전 300년경에 제안한 기하학임.
(5개의 axiom(공리)에 기반!) : 원론의 10가지 axiom들 중 5개가 기하학 관련임
(기하학 관련 axiom를 postulate(공준)이라고도 부르면서 5개의 다른 axiom와 구분하기도 함)
postulate(공준)과 axiom(공리)의 차이점은
공리는 모든 학문에 공통적인 가정인 반면,
공준은 특별한 학문에 고유한 가정을 가르킴.
엄격하게 말하면 차이가 있으나, 공리(axiom)라고 하고 처리하는 경우도 많음.
https://blog.naver.com/mszoo11/30100620734
2022.09.01 - [.../Math] - [Math] Definition, Proposition, Axiom, and Theorem
Euclidean Geometry(유클리드 기하학)은 다음과 같은 기본 개념을 포함함:
- Point(점): 위치만을 가지며 크기가 없는 기본적인 단위임.
- Line(선): 두 점을 잇는 직선으로, 무한히 뻗어 나가는 것임.
- Plane(면): 이차원적인 확장으로, 무한히 확장되는 것임.
- Parallel lines(평행선): 한 평면 내에서 서로 만나지 않는 두 직선임.
- Angle(각): 두 직선이 한 점에서 만날 때 이루는 도형임.
- Triangle(삼각형): 세 개의 변과 세 개의 각을 가진 도형임.
- Pythagorean theorem(피타고라스의 정리): 직각삼각형에서 직각을 이루는 두 변의 제곱합이 빗변의 제곱과 같음.
Euclidean Geometry(유클리드 기하학)에서
공간은 Curvature(곡률)이 0인 평평한 공간임.
이 기하학은 우리가 일상생활에서 경험하는 물리적 공간을 설명하는 데 사용됨.
건축, 공학, 천문학 등 다양한 분야에 적용됨.
참고: 역사적인 Projective Geometry와 Non-Euclidean Geometry와의 관계
- 사영기하학과 비유클리드 기하학 은 19세기 기하학 연구의 중요한 분야 중 하나로 등장함.
특히, 평행선 공리(유클리드의 다섯 번째 공리)가 성립하지 않는 기하학을 연구하는 과정에서
사영기하학(projective geometry)과 비유클리드 기하학(non-Euclidean geometry)이 큰 주목을 받음. - 유클리드 기하학에서 평행선 공리는 매우 중요한 역할을 하는데, 이 공리가 성립하지 않는 기하학적 체계를 연구함으로써 다양한 새로운 기하학적 구조와 이론이 발견됨.
Projective Geometry(사영 기하학)
Projective Geometry(사영 기하학)은
- 평행선이 만나는 점(ideal point, 이상점)을 도입하여,
- Euclidean Geometry(유클리드 기하학)의 평행 개념을 제거한 기하학임.
- Projective Geometry(사영 기하학)에서는 모든 직선이 교차 ("하나의 일반 point" 아니면 "ideal point에서")한다고 가정함.
Curvature가 0인 평평한 공간을 다룬다는 점에서 다른 Non-Euclidean Geometry와 차이점을 가짐.
projective geometry는 평평한 공간을 확장하여 무한원("infinity" or "ideal point")을 포함하는 기하학적 구조를 가짐.
주요 개념은 다음과 같음:
- Point(점), Line(선), Plane(면): 기본적인 요소임.
- Homogeneous coordinates(동차 좌표계): 점들을 하나의 차원을 추가하여 표현하여 계산을 단순화하는 좌표계임.
- Duality(듀얼리티): 점과 선의 관계가 상호 교환 가능하다는 성질임.
2024.06.28 - [.../Math] - [Math] Duality of Projective Geometry
Projective Geometry는 다음의 다양한 Projective transformation을 다룸.
- Persipective Projection
- Orthographic Projection
- Oblicque Projection
- Stereographic Projection (sphere의 점들을 평면에 투영하는 projective geometry의 일종)
Projective Geometry(사영 기하학)은
- 예술,
- Computer Graphics,
- Computer Vision,
- 촬영,
- 원근법(perspective) 설명 등에 사용됨.
Projective Geometry 는
- 점과 직선의 위치 관계를 변환하면서도 일정한 성질을 유지하는 기하학적 변환을 다루는 학문.
- Projective Geometry 는 원근법(perspective)과 변환 이론에 중요한 기여를 함.
2024.06.16 - [.../Math] - [Math] Homogeneous Coordinate and Projective Geometry
2024.07.06 - [.../Math] - [Math] Projective Space: $\mathbb{P}^n$, n차원 투영공간
Non-Euclidean Geometry(비유클리드 기하학)
Non-Euclidean Geometry(비유클리드 기하학)은
- Euclidean Geometry(유클리드 기하학)의 평행선 공리가 성립하지 않는 기하학임.
- 평행선 공리를 부정하여 새로운 기하학적 구조를 만들어냄.
- 주로 곡면에서의 성립하는 기하학적 구조를 다룸.
크게 다음의 두 종류가 있음:
- Hyperbolic Geometry(쌍곡 기하학):
- 한 직선에 대해 평행하지 않은 여러 직선이 존재함: 평행선이 무수히 많음.
- 이 기하학에서는 공간의 Curvature(곡률)가 음수임.
- 쌍곡 평면은 안장이 휘어진 것처럼 보이며, 삼각형의 내각의 합이 180도보다 작음.
- Elliptic Geometry(타원 기하학):
- 모든 직선이 교차(두 점에서 만남)하며, 평행선이 존재하지 않음.
- 일반적으로 Curvature(곡률)가 양수인 모든 타원형 공간을 포함함 (구면기하학을 포함).
- 타원 기하학에서는 삼각형의 내각의 합이 180도보다 큼.
Elliptic Geometry(타원 기하학)은 Non-Euclidean Geometry(비유클리드 기하학)의 한 예로, 모든 직선이 서로 교차하며 평행선이 없다는 특징이 있음. 이는 구의 표면에서의 기하학(Spherical Geometry, 구면기하학)과 유사함. 예를 들어, 지구의 표면에서 두 개의 "직선"은 결국 만나게 됨.
Riemannian Geometry(리만 기하학)은
- Non-Euclidean Geometry(비유클리드 기하학)의 한 종류로,
- Hyperbolic Geometry(쌍곡 기하학)과
- Elliptic Geometry(타원 기하학)을 모두 포함함.
독일 수학자 Bernhard Riemann(베른하르트 리만, 1826-1866)이 창시한 이 기하학은 곡면 위의 기하학을 연구함. 이는 일반 상대성 이론의 수학적 기초가 됨.
주요 수학자들
Nikolai Lobachevsky(니콜라이 로바체프스키):
- 러시아 수학자인 Nikolai Lobachevsky(니콜라이 로바체프스키, 1792-1856)는 19세기 초반 Non-Euclidean Geometry(비유클리드 기하학)을 독립적으로 개발한 것임.
- Euclidean Geometry(유클리드 기하학)의 평행선 공리를 대체하는 새로운 공리를 제안하였음.
- 그의 연구는 초기에는 큰 반향을 일으키지 못했으나, 후에 Non-Euclidean Geometry(비유클리드 기하학)의 중요성이 인정됨.
János Bolyai(요한 보야이):
- 헝가리 수학자인 János Bolyai(요한 보야이, 1802-1860)도 비슷한 시기에 Non-Euclidean Geometry(비유클리드 기하학)을 독립적으로 개발한 것임.
- 아버지인 Farkas Bolyai(팔 보야이, 1775-1856)도 유명한 수학자로, 아들의 연구를 격려하였음.
- János Bolyai(요한 보야이)는 자신의 연구를 통해 Euclidean Geometry(유클리드 기하학)의 한계를 극복하려고 노력하였음.
Carl Friedrich Gauss(카를 프리드리히 가우스):
- 독일 수학자인 Carl Friedrich Gauss(카를 프리드리히 가우스, 1777-1855)는 Non-Euclidean Geometry(비유클리드 기하학)의 기초를 다지는 데 중요한 기여를 한 인물임.
- Gauss(가우스)는 평행선 공리를 대체하는 연구를 수행했으며, Non-Euclidean Geometry(비유클리드 기하학)의 개념을 처음으로 명확히 정의한 것임.
- 그의 연구는 Lobachevsky(로바체프스키)와 Bolyai(보야이)의 연구와 독립적으로 진행되었음.
- Gauss(가우스)는 Riemann(리만)의 지도 교수였으며, Riemann(리만)의 연구에 큰 영향을 미쳤음.
Johann Poncelet(요한 폰셀레):
- 프랑스 수학자인 Johann Poncelet(요한 폰셀레, 1788-1867)는 Projective Geometry(사영 기하학)을 체계적으로 발전시킨 것임.
- 군복무 중 러시아에서 포로로 잡혔을 때 Projective Geometry(사영 기하학)에 대해 깊이 연구하였음.
- 그의 연구는 이후 컴퓨터 그래픽스와 현대 기하학 이론의 발전에 큰 기여를 하였음.
Bernhard Riemann(베른하르트 리만):
- 독일 수학자인 Bernhard Riemann(베른하르트 리만, 1826-1866)은 Non-Euclidean Geometry(비유클리드 기하학)의 발전에 큰 공헌을 한 인물임.
- Riemann(리만)은 곡면 위의 기하학을 연구하여 Riemannian Geometry(리만 기하학)을 창시함.
- 이는 Hyperbolic Geometry(쌍곡 기하학)과 Elliptic Geometry(타원 기하학)을 모두 포함하며, Curvature(곡률)를 가진 공간을 이해하는 데 중요한 역할을 함. 또한, 일반 상대성 이론의 수학적 기초가 되었음.
요약
기하학(Geometry)은 공간과 도형의 성질을 연구하는 수학의 한 분야로,
- Euclidean Geometry(유클리드 기하학),
- Projective Geometry(사영 기하학),
- Non-Euclidean Geometry(비유클리드 기하학)으로 나눌 수 있음.
Euclidean Geometry(유클리드 기하학)은
- 평행선이 만나지 않는다는 가정하에 기하학을 전개하며, Curvature(곡률)가 0인 평평한 공간을 다룸.
Projective Geometry(사영 기하학)은
- 모든 직선이 하나의 ideal point(이상점)에서 만난다고 가정함.
Non-Euclidean Geometry(비유클리드 기하학)은
- 평행선 공리가 성립하지 않으며,
- Hyperbolic Geometry(쌍곡 기하학)과
- Elliptic Geometry(타원 기하학)을 포함함.
Hyperbolic Geometry(쌍곡 기하학)은
- Curvature(곡률)가 음수인 공간을,
Elliptic Geometry(타원 기하학)은
- Curvature(곡률)가 양수인 공간을 다룸.
Riemannian Geometry(리만 기하학)은 Non-Euclidean Geometry(비유클리드 기하학)의 발전에 큰 기여를 하였으며, 일반 상대성 이론의 수학적 기초가 되었음.
Non-Euclidean Geometry(비유클리드 기하학)을 개발한 수학자들로는 Nikolai Lobachevsky(니콜라이 로바체프스키), János Bolyai(요한 보야이), 그리고 Carl Friedrich Gauss(카를 프리드리히 가우스)가 있으며, Projective Geometry(사영 기하학)을 발전시킨 수학자로는 Johann Poncelet(요한 폰셀레)가 있음. Bernhard Riemann(베른하르트 리만)은 Riemannian Geometry(리만 기하학)을 창시하여 Hyperbolic Geometry(쌍곡 기하학)과 Elliptic Geometry(타원 기하학)을 모두 포함하는 이론을 개발함으로써 Non-Euclidean Geometry(비유클리드 기하학)의 발전에 큰 기여를 하였음.
같이 보면 좋은 자료들
https://youtu.be/bPSc07uEAmk?si=Bs_PwAJhEL461qvU
https://youtu.be/LCnpoRgcaHo?si=HO7dICRCOl_FQMoq
https://youtu.be/IURbSk0MrFE?si=27xozFetJgtmodEF
'... > Math' 카테고리의 다른 글
[Math] Ex: Lagrange Method: Tangency Condition (0) | 2024.06.19 |
---|---|
[Math] Example of Lagrange Method (0) | 2024.06.19 |
[Math] Homogeneous Coordinate and Projective Geometry (1) | 2024.06.16 |
[CV] Intersection and Ideal Point; Homogeneous Coordinate and Cross Product (1) | 2024.06.16 |
[Math] Weighted Least Square (1) | 2024.06.13 |