사영기하학
개요
사영기하학(射影幾何학, Projective Geometry)은 점, 직선, 평면 등 기하학적 대상들을 사영(point of view) 변환에 따라 연구하는 수학의 한 분야이다. 기본적인 아이디어는 평면이나 공간의 모든 직선이 무한히 멀리 있는 ‘점’인 극점(점 at infinity)에 만나도록 확장함으로써, 평행선도 하나의 점에서 교차하게 만든다. 이를 통해 원근법(perspective) 의 수학적 모델을 제공하고, 유클리드 기하학·아핀 기하학을 포함하는 더욱 일반적인 구조를 형성한다.
1. 역사
| 연도 | 사건 | 주요 인물 |
|---|---|---|
| 19세기 초 | 사영 변환의 초기 개념이 입체화됨 | 장-비에르·시몽 파스칼, 피에르·프루베 |
| 1832 | 피에르·푸아송, 사영 변환을 이용한 기하학 연구 | 푸아송 |
| 1840~1850 | 사영 기하학의 체계적 정립 | 장-비에르·시몽 파스칼, 장·프리드리히·라우슈바르, 이탈리아의 조세프·아카노그라프 |
| 1865 | 야코프·프라게와 마리·라부아르가 ‘사영 공간’ 개념을 도입 | 프라게·라부아르 |
| 1880~1900 | 호머·멤버트와 오귀스트·모비우스가 동차 좌표(Homogeneous Coordinates)와 사영 변환 행렬을 정식화 | 멤버트·모비우스 |
| 20세기 | 대수기하학과 결합, 현대 사영대수학(Algebraic Geometry) 발전 | 베르너·히일베르크, 알프레드·케스토우 등 |
| 현재 | 컴퓨터 비전, 로보틱스, 그래픽스 등 실용 분야에 폭넓게 적용 | 다양한 학문·산업 분야 |
2. 기본 개념
2.1 사영 공간 (Projective Space)
- 정의: n 차원 실수(또는 복소수) 벡터 공간 $\mathbb{R}^{n+1}$ (또는 $\mathbb{C}^{n+1}$)에서 영벡터를 제외한 모든 벡터를 스칼라 배에 따라 동일시한 집합을 $\mathbb{P}^n$ 로 표기한다.
- 동차 좌표: $[x_0:x_1:\dots:x_n]$ 로 나타내며, $(\lambda x_0,\dots,\lambda x_n)$와 같은 모든 $\lambda eq0$에 대해 동일한 점을 의미한다.
2.2 사영 변환 (Projective Transformation)
- 선형 변환 $A\in GL_{n+1}$ 가 동차 좌표에 작용하여 $[x]\mapsto [Ax]$ 로 정의된다.
- 고차원 일반선형군 $PGL_{n+1}$ 은 사영 변환 전체를 이루며, 크로스비(Cross Ratio) 나 다중극점 같은 불변량을 보존한다.
2.3 무한점 및 극점 (Points at Infinity)
- 평면에 존재하는 평행선들은 사영 평면에서는 무한점에서 만나며, 이는 극점(line at infinity)이라고 부른다.
- 이러한 무한점 집합은 극선(line at infinity) 으로, 아핀 공간을 사영 공간에 삽입하는 과정에서 자동으로 추가된다.
2.4 이중성 (Duality)
- 사영 기하학에서는 점 ↔ 직선 (또는 점 ↔ 초평면) 사이에 대칭적인 관계가 존재한다.
- 예를 들어, 두 점을 잇는 직선은 두 직선이 만나게 하는 점과 대등한 개념으로 다루어진다.
2.5 교차비 (Cross Ratio)
- 네 점 $A,B,C,D$ 가 한 직선 위에 있을 때 정의되는 비율
$$ (A,B;C,D)=\frac{AC\cdot BD}{AD\cdot BC} $$ - 사영 변환에 대해 불변이며, 원근법과 카메라 모델링에 핵심 역할을 한다.
3. 주요 정리·정리
- 데시메이즈 정리(Desargues' Theorem): 두 삼각형이 서로 다른 평면에 놓여 있을 때, 대응하는 변의 연장선이 한 점에서 교차하면, 삼각형의 꼭짓점들을 잇는 직선도 한 점에서 교차한다.
- 펜로즈 정리(Pappus' Theorem): 두 직선 위에 각각 세 점이 놓여 있을 때, 교차점들의 직선 역시 한 직선 위에 놓인다.
- 라그랑주·시라드(Velocity) 이론: 사영 변환에 대한 무한 차원 일반선형군의 구조적 특성을 밝혀, 사영 기하학과 대수기하학을 연결한다.
4. 응용 분야
| 분야 | 구체적 적용 예시 |
|---|---|
| 컴퓨터 비전 | 카메라 캘리브레이션, 이미지 정규화, 다중 뷰 기하학(에피폴라 기하) |
| 컴퓨터 그래픽스 | 원근 투영, 3D 렌더링 파이프라인, 씬 그래프 좌표 변환 |
| 로보틱스 | 스테레오 비전, 로봇 팔의 시점 변환, SLAM (동시적 위치추정 및 지도작성) |
| 건축·예술 | 원근법 설계, 투시도(프레스펙티브) 분석 |
| 대수기하학 | 사영 다양체(프로젝트 다양체) 이론, 초곡선 및 초표면 연구 |
| 물리학 | 양자역학에서 상태 공간의 사영, 일반 상대성 이론의 콘포멀 변환 연구 |
5. 관련 분야
- 아핀 기하학: 사영 기하학에서 무한점(극점)을 제거한 경우.
- 유클리드 기하학: 사영 기하학이 포함하는 하위 체계.
- 대수기하학: 사영 다양체와 사영 사상에 대한 대수적 접근.
- 위상수학: 사영 공간의 위상적 성질(예: 실사영공간 $\mathbb{RP}^n$ 은 콤팩트하고 비분리).
6. 참고 문헌
- H. S. M. Coxeter, Projective Geometry, Springer, 2006.
- J. G. Semple, G. T. Kneebone, Algebraic Projective Geometry, Oxford University Press, 1952.
- R. Hartshorne, Algebraic Geometry, Springer, 1977 (Chapter I: Projective Space).
- R. Hartley, A. Zisserman, Multiple View Geometry in Computer Vision, Cambridge University Press, 2003.
- K. H. Kim, 사영기하학 입문, 한빛아카데미, 2018.
7. 외부 링크
이 문서는 사영기하학에 대한 기본 개념과 역사, 주요 정리, 현대적 응용을 포괄적으로 정리한 백과사전 수준의 정보를 제공한다.