| 기하학 |
| --- |
| 한 구를 평면에 사영하기 |
| * 윤곽
* 역사 (연표(Timeline))
 |
| 분야(branches)
* 유클리드
* 비유클리드
	+ 타원
		- 구면
	+ 쌍곡
* 비아르키메데스(non-Archimedean)
* 사영
* 아핀
* 종합(synthetic)
* 해석
* 대수
	+ 산술(arithmetic)
	+ 디오판토스
* 미분
	+ 리만
	+ 심플레틱(symplectic)
	+ 이산 미분(discrete differential)
* 복소
* 유한(finite)
* 이산/결합(ciscrete/ccmbinatorial)
	+ 디지탈(digital)
* 볼록(convex)
* 계산
* 프랙탈
* 발생(incidence)
* 비가환 기하학
	+ 비가환 대수(Noncommutative algebraic)
 |
| * 개념
* 특징
차원
* 컴퍼스와 자 작도
* 각도
* 곡선
* 대각선
* 직교 (수직선)
* 평행
* 꼭짓점
* 합동
* 닮음
* 대칭
 |
| 0차원
* 점
 |
| 1차원
* 직선
	+ 선분
	+ 반직선(ray)
* 길이
 |
| 2차원

|  |
| --- |
| * 평면
* 넓이
* 다각형
 |
| 삼각형 |
| * 높이(altitude)
* 빗변
* 피타고라스 정리
 |
| 평행사변형 |
| * 정사각형
* 직사각형
* 마름모
* 편능형(Rhomboid)
 |
| 사각형 |
| * 사다리꼴
	+ 등변사다리꼴
* 연꼴
 |
| 원 |
| * 지름
* 원둘레
* 면적(Area)
 |

 |
| 3차원
* 부피

* 정육면체
	+ cuboid
* 원기둥
* 십이면체
* 이십면체
* 팔면체
* 각뿔
* 정다면체
* 구
* 사면체
 |
| 4차원- / 다른 차원
* 정팔포체
* 초구
 |
| 기하학자(list of geometers) |
| 이름별
* 아이다
* 아리아바타
* 아메스
* 알하이삼
* 아폴로니오스
* 아르키메데스
* 아티야
* 보드하야나(Baudhayana)
* 보여이
* 브라흐마굽타(Brahmagupta)
* 카르탕
* 콕서터
* 데카르트
* 유클리드
* 오일러
* 가우스
* 그로모프
* 힐베르트
* 제하데바
* 카티야나(Kātyāyana)
* 하이얌
* 클라인
* 로바쳅스키
* 마나바(Manava)
* 민코프스키
* 명안도
* 파스칼
* 피타고라스
* Parameshvara(파라메쉬바라)
* 푸앵카레
* 리만
* 사카베(Sakabe)
* 시찌(Sijzi)
* 알투시
* 베블런
* 비라세나(Virasena)
* 양휘
* 알-야사민(al-Yasamin)
* 장형
* 기하학자 목록(List of geometers)
 |
| 시대별

| 기원전(BCE) |
| --- |
| * 아메스
* 보드하야나(Baudhayana)
* 마나바(Manava)
* 피타고라스
* 유클리드
* 아르키메데스
* 아폴로니오스
 |
| 
1–1400년대 |
| * 장형
* 카티야나(Kātyāyana)
* 아리아바타
* 브라흐마굽타(Brahmagupta)
* 비라세나(Virasena)
* 알하이삼
* 시찌(Sijzi)
* 하이얌
* 알-야사민(al-Yasamin)
* 알투시
* 양휘
* Parameshvara(파라메쉬바라)
 |
| 
1400년대–1700년대 |
| * 제하데바
* 데카르트
* 파스칼
* 명안도
* 오일러
* 사카베(Sakabe)
* 아이다
 |
| 
1700년대–1900년대 |
| * 가우스
* 로바쳅스키
* 보여이
* 리만
* 클라인
* 푸앵카레
* 힐베르트
* 민코프스키
* 카르탕
* 베블런
* 콕서터
 |
| 
현재 |
| * 아티야
* 그로모프
 |

 |
| * v
* t
* e
 |

미분기하학에서 **심플렉틱 다양체**(symplectic多樣體, symplectic manifold) 또는 **사교다양체**(斜交多樣體)는 닫힌 비퇴화 2차 미분 형식을 갖춘 매끄러운 다양체다. 여접다발의 개념을 일반화한 것으로 생각할 수 있으며, 항상 짝수 차원을 가진다. 심플렉틱 다양체의 성질을 연구하는 수학 분야를 **심플렉틱 기하학**(symplectic幾何學, 영어: symplectic geometry), **사교기하학**(斜交幾何學), **심플렉틱 위상수학**(symplectic位相數學, 영어: symplectic topology) 또는 **사교위상수학**(斜交位相數學)이라고 한다.

정의
--

**심플렉틱 다양체** (M,\omega )는 매끄러운 다양체 M와, 그 위에 정의된 닫힌 비퇴화 2차 미분 형식 \omega 으로 이루어진 순서쌍이다. 여기서 \omega 를 **심플렉틱 형식**(symplectic form)이라고 한다.

심플렉틱 형식이 만족하여야 하는 조건은 구체적으로 다음과 같다.

* 반대칭성: 2차 미분 형식이란 정의상 반대칭 (0,2)차 텐서장 \omega (X,Y)=-\omega (Y,X)다.
* 닫힘: {\displaystyle \mathrm {d} \omega =0}. 여기서 {\displaystyle \mathrm {d} }는 미분 형식의 외미분이다. 다시 말해, 국소적으로 \omega =d\theta 인 1차 미분 형식 \theta 가 존재한다. 이 1차 미분 형식은 간혹 **심플렉틱 퍼텐셜**(영어: symplectic potential)이라 불린다.
* 비퇴화성: 임의의 점 p\in M에서, 임의의 0이 아닌 벡터 X\in T\_{p}M에 대하여, \omega (X,Y)\neq 0인 벡터 Y\in T\_{p}M이 존재한다. 다시 말해, X가 0이 아니면 1차 미분형식 \omega (X,\cdot )도 0이 아니다. 따라서 \omega 는 벡터 공간 T\_{p}M과 여벡터 (1차 형식) 공간 T\_{p}^{\*}M 사이에 동형사상을 정의한다. 이 점에서 심플렉틱 형식은 리만 다양체의 계량 텐서와 유사하다.

비퇴화 2차 미분형식은 짝수 차원에만 존재하므로, 심플렉틱 다양체는 짝수 차원을 가진다. 만약 \omega 가 다른 조건은 만족하지만 닫혀 있지 않으면 이를 **거의 심플렉틱 형식**(영어: almost symplectic form)이라고 하고, 이를 갖춘 다양체를 **거의 심플렉틱 다양체**(almost symplectic manifold)라고 한다.

**심플렉틱 다양체의 범주**는 심플렉틱 다양체를 대상으로 하고, 심플렉틱 형식을 보존하는 매끄러운 함수를 사상으로 하는 범주다. 즉, 두 심플렉틱 다양체 (M,\omega ), (M',\omega ') 사이의 사상이란

f^{\*}\omega '=\omega 
를 만족하는 매끄러운 함수 f\colon M\to M'이다. (여기서 f^{\*}는 f로의 당김을 뜻한다.)

**심플렉틱 동형 사상**(영어: symplectomorphism 심플렉토모피즘[\*])은 심플렉틱 다양체의 범주에서의 동형 사상이다. 즉, 두 심플렉틱 다양체 (M,\omega ), (M',\omega ') 사이의 심플렉틱 동형 사상 f는 f^{\*}\omega '=\omega 를 만족하는 미분동형사상 f\colon M\to M'이다. 심플렉틱 동형 사상은 해밀턴 역학에서 정준변환이라고 불린다.

성질
--

### 부피 형식

심플렉틱 다양체 (M,\omega )는 표준적으로 부피 형식을 가지며, 따라서 표준적으로 유향 다양체를 이룬다. 구체적으로,

{\displaystyle {\frac {1}{n!}}\underbrace {\omega \wedge \omega \wedge \dotsb \wedge \omega } \_{(\dim M)/2}\in \Omega ^{\dim M}(M)}
는 최고차 미분 형식이며, \omega 가 비퇴화이므로 항상 부피 형식을 정의한다.

### 위상수학적 성질

모든 심플렉틱 다양체는 짝수 차원의 유향 다양체이다. 콤팩트 심플렉틱 다양체 (M,\omega )의 경우, 2차 베티 수가 0일 수 없다. 이는 \omega ^{n}/n!이 부피 형식이므로, 0\neq [\omega ]\in {\mathbb H}^{2}(M;{\mathbb Q})이기 때문이다.

모든 심플렉틱 다양체는 호환되는 개복소구조를 가지므로, 개복소구조의 존재는 심플렉틱 구조가 존재할 필요 조건이다. 특히, 4차원 다양체 M의 경우, 개복소구조가 존재할 필요 조건은 다음과 같다.

1-b\_{1}(M)+b\_{2}^{+}(M)\equiv 0{\pmod 2}
여기서 b\_{i}는 베티 수이고, b\_{2}^{\pm }는 2차 코호몰로지 가운데, 교차 형식 아래 고윳값이 \pm 1인 것의 수이다.

차원과 방향을 제외하면, 위 조건들은 모두 호모토피 불변량이다. 이 밖에도, 자이베르그-위튼 불변량을 통해, 호모토피 불변이 아닌, 심플렉틱 구조의 존재에 대한 필요 조건을 유도할 수 있다.

### 미분기하학적 성질

다르부 정리에 따라서, 모든 심플렉틱 다양체는 국소적으로 평탄한 공간과 동형이다. 즉, 심플렉틱 다양체는 국소적인 기하학을 갖지 않는다.

대역적으로, 심플렉틱 다양체는 부피를 가지며, 부피 밖에도 심플렉틱 용량이라는 2차원적 "넓이"를 갖는다.

### 음악 동형

 이 부분의 본문은 음악 동형입니다.
리만 다양체의 경우와 마찬가지로, 심플렉틱 다양체 (M,\omega )의 접다발과 공변접다발은 표준적으로 동형이다. 구체적으로, 이 동형은 다음과 같은 **음악 사상**(영어: musical morphism)으로 정의된다.

{\displaystyle \sharp \colon \mathrm {T} ^{\*}M\to \mathrm {T} M}
{\displaystyle \flat \colon \mathrm {T} M\to \mathrm {T} ^{\*}M}
{\displaystyle \sharp \colon \alpha \mapsto \omega ^{-1}(\alpha ,-)}
{\displaystyle \flat \colon v\mapsto \omega (v,-)}
(복소수 벡터 다발과 달리 모든 실수 벡터 다발은 스스로의 쌍대 다발과 동형이지만, 리만 계량이나 심플렉틱 형식이 없다면 이 동형은 일반적으로 표준적으로 주어지지 않는다.)

또한, 심플렉틱 다양체의 접다발의 부분 벡터 다발 {\displaystyle E\subseteq \mathrm {T} M}이 주어졌을 때, 그 **직교 여다발**(영어: orthogonal complement)

{\displaystyle E^{\perp }=\{v\in \mathrm {T} M\colon \omega (E,v)=0\}=\ker E^{\flat }}
을 정의할 수 있다.

예
-

초구 \mathbb {S} ^{n}가 심플렉틱 구조를 가질 수 있는 필요충분조건은 n=0,2인 것이다. n이 홀수인 경우는 물론 불가능하며, n>2인 경우는 2차 베티 수가 0이기 때문이다.

### 여접다발

임의의 n차원 매끄러운 다양체 M의 여접다발 T^{\*}M은 자연스러운 심플렉틱 구조를 지닌다. 여접다발 안의 임의의 점 (x,\phi )를 생각하자. 또한, x\in M 근처에 국소좌표계 q^{i}를 잡자. 그렇다면 임의의 1차 형식 \phi \in T\_{x}^{\*}M은 \phi =p\_{i}dq^{i}의 꼴로 전개할 수 있다. 즉 M의 국소좌표계 q^{i}로부터 T\_{x}M의 좌표계 (이는 벡터 공간이므로 기저) p\_i를 유도할 수 있다. 따라서, (q^{i},p\_{i})는 여접다발 T^{\*}M의 ((x,\phi ) 근처에서의) 국소좌표계를 이룬다. 그렇다면 심플렉틱 퍼텐셜 \theta 를

\theta =\sum \_{{i=1}}^{n}p\_{i}dq^{i}
와 같이 정의할 수 있다. 이에 따라 심플렉틱 형식 \omega 는
\omega =d\theta =\sum \_{{i=1}}^{n}dp\_{i}\wedge dq^{i}
이고, (T^{\*}M,\omega )는 2n차원 심플렉틱 다양체를 이룬다.
### 리만 곡면

임의의 리만 곡면 (2차원 유향 다양체) 위에서, 적절한 리만 계량을 주고, 이에 대한 부피 형식을 심플렉틱 형식으로 잡으면 심플렉틱 다양체를 이룬다. 즉, 2차원에서는 가향성 밖에는 심플렉틱 구조의 존재의 방해물이 존재하지 않는다.

### 복소수 대수 곡면

엔리퀘스-고다이라 분류에 따라, 1차 베티 수가 짝수인 모든 4차원 (=복소수 2차원) 단일 연결 복소다양체는 켈러 다양체의 구조를 가질 수 있으며, 따라서 심플렉틱 구조를 가질 수 있다.:§4.1

응용
--

심플렉틱 다양체는 해밀턴 역학에서 계의 페이즈 공간으로서 등장한다. 위상 공간은 짜임새 공간의 여접다발을 일반화한 것이다. 해밀턴 방정식이 연립 미분 방정식으로부터 계의 시간 진화를 도출할 수 있도록 하는 것과 같은 방식으로 심플렉틱 형식은 해밀턴 함수 *H*의 미분 *dH*로부터 계의 흐름을 설명하는 벡터장을 얻을 수 있도록 해야 한다. 따라서 접다양체 TM에서 여접다양체 T^{\*}M로 가는 선형 사상 {\displaystyle TM\rightarrow T^{\*}M} 또는 동등하게 {\displaystyle T^{\*}M\otimes T^{\*}M}의 원소가 필요하다. *\omega* 가{\displaystyle T^{\*}M\otimes T^{\*}M}의 단면을 나타내도록 하면 *\omega* 가 축퇴하지 않는다는 요구 사항은 모든 미분 *dH*에 대해 *{\displaystyle dH=\omega (V\_{H},\cdot )}*가 되는 유일한 대응 벡터장 *{\displaystyle V\_{H}}*가 있음을 보장한다. 해밀토니안이 흐름선을 따라 일정하기를 원하기 때문에 *{\displaystyle \omega (V\_{H},V\_{H})=dH(V\_{H})=0}*이어야 하며, 이는 *\omega* 가 교대적이고 따라서 제 2미분형식임을 의미한다. 마지막으로, *\omega* 가 흐름선 아래에서 변경되지 않아야 한다는 요구 사항을 만든다. 즉, *{\displaystyle V\_{H}}*를 따라 *\omega* 의 리 미분이 0이다. 카르탕 공식을 적용하면 (여기서 {\displaystyle \iota \_{X}}는 내부곱이다):

{\displaystyle {\mathcal {L}}\_{V\_{H}}(\omega )=0\;\Leftrightarrow \;\mathrm {d} (\iota \_{V\_{H}}\omega )+\iota \_{V\_{H}}\mathrm {d} \omega =\mathrm {d} (\mathrm {d} \,H)+\mathrm {d} \omega (V\_{H})=\mathrm {d} \omega (V\_{H})=0}
대응하는 {\displaystyle V\_{H}}가 이 과정이 적용되는 각 점에서 접공간을 생성하는 다른 매끄러운 함수 H에 대해 이 과정을 반복할 때, 임의의 매끄러운 함수 H에 대응하는 {\displaystyle V\_{H}}의 흐름을 따른 리 미분이 사라진다는 조건은 *\omega 가* 닫힌 형식이라는 조건과 동일하다.

참고 문헌
-----

1. ↑  Cannas da Silva, Ana (2006). 〈Chapter 3. Symplectic geometry〉. 《Handbook of Differential Geometry (vol. 2)》. North-Holland Press. 79–188쪽. arXiv:math/0505366. Bibcode:2005math......5366C. doi:10.1016/S1874-5741(06)80006-3. ISBN 978-0-444-52052-4.
2. ↑  Webster, Ben (2012년 1월 9일). "What is a symplectic manifold, really?".
3. ↑  Cohn, Henry. "Why symplectic geometry is the natural setting for classical mechanics".

* Golé, Christophe (2010). "Symplectic maps". 《Scholarpedia》 **5** (3): 3722. doi:10.4249/scholarpedia.3722.
* 조용승 (2000). "심플렉틱 다양체의 불변량". 《Communications of the Korean Mathematical Society》 **15** (3): 391–434. ISSN 1225-1763. 2015년 7월 13일에 원본 문서에서 보존된 문서. 2015년 7월 13일에 확인함.
* Cannas da Silva, Ana. 《Lectures on symplectic geometry》 (PDF). Lecture Notes in Mathematics (영어) **1764**. Springer. doi:10.1007/978-3-540-45330-7. ISBN 978-3-540-42195-5. ISSN 0075-8434.
* Weinstein, Alan (1981). "Symplectic geometry". 《Bulletin of the American Mathematical Society》 **5** (1): 1–13. doi:10.1090/S0273-0979-1981-14911-9. MR 614310. Zbl 0465.58013.
* Gompf, Robert E. (2001). "The topology of symplectic manifolds". 《Turkish Journal of Mathematics》 (영어) **25** (1): 43–59. 2015년 7월 13일에 원본 문서에서 보존된 문서. 2015년 7월 12일에 확인함.
* McDuff, Dusa (1998년 9월). "Symplectic structures: a new approach to geometry" (PDF). 《Notices of the American Mathematical Society》 (영어) **45** (8): 952–960. Zbl 0906.53023.