푸앵카레 원반

<rowcolor=#fff> ' 기하학· 위상수학 Geometry· Topology '
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px"	평면기하학에 대한 내용은 틀:평면기하학 참고.
기본 대상
공리		유클리드 기하학 · 비유클리드 기하학
도형	기본 도형	평면 · 부피 · 꼬인 위치 · 각기둥 · 각뿔 · 원기둥 · 원뿔 · 구 ( 공 모양) · 전개도 · 겨냥도 · 다면체 ( 정다면체) · 정사영 · 대칭( 선대칭 · 점대칭)
	곡면	타원면 · 타원포물면 · 쌍곡포물면 · 원환면
	프랙털 도형	시에르핀스키 삼각형 · 시에르핀스키 사각형( 멩거 스펀지) · 망델브로 집합 · 코흐 곡선 · 드래곤 커브
	기타	다포체 · 초구 · 준구 · 일각형 · 이각형
다루는 대상과 주요 토픽
대수기하학		대수다양체 · 층 · 스킴 · 에탈 코호몰로지 · 모티브 · 타원곡선
미분기하학		미분다양체 · 측지선 · 곡률( 스칼라 곡률 · 리만-크리스토펠 곡률 텐서 · 리치 텐서) · 열률 · 텐서 · 쌍곡 공간( 쌍곡삼각형 · 푸앵카레 원반) · 타원 공간( 구면삼각형) · 아핀접속
위상수학	위상 공간	유계 · 옹골 집합 · 다양체 · 택시 거리 공간 · 연결 공간 · 위상수학자의 사인곡선
	위상도형	사영평면 · 뫼비우스의 띠 · 클라인의 병 · 매듭( /목록)
	주요 성질·정리	분리공리 · 우리손 거리화정리( 우리손 보조정리) · 베르 범주 정리
대수적 위상수학		호모토피 · 사슬 복합체 · 호몰로지 이론( 호몰로지 · 코호몰로지) · 사상류 군 · 닐센-서스턴 분류
기타		차원 · 좌표계 · 거리함수 · 그물 · 쾨니히스베르크 다리 건너기 문제 · 사이클로이드
정리·추측
실베스터-갈라이 정리 · 해안선 역설 · 바나흐-타르스키 역설 · 라이데마이스터 변환 · 오일러 지표 · 푸앵카레 정리 · 페르마의 마지막 정리 · 호지 추측^미해결 · 버치-스위너턴다이어 추측^미해결
분야
논증기하학 · 대수기하학 · 미분기하학 · 해석 기하학 · 매듭이론 · 프랙털 이론 · 정보기하학 · 위상 데이터분석			}}}}}}}}}

1. 개요2. 설명

푸앵카레 원반을 나타내는 마우리츠 코르넬리스 에스허르의 작품

1. 개요

Poincaré disk model

앙리 푸앵카레가 쌍곡 공간을 설명하기 위해 도입한 모델.

2. 설명

반지름이 1인 원판 위에서 다음의 설정을 주어 만드는 공간이다.

점: 열린 원판 위의 점 (경계는 포함하지 않는다.)
직선: (1) 원판의 중심을 지나는 직선 또는 (2) 원판과 직교하는 원[1] 중 원판의 내부에 속해있는 원호
선분: 위에서 정의한 직선의 일부분
각: 두 곡선에서 그은 (통상적) 접선이 이루는 각

이 이상한 설정의 정당성은 다음과 같이 비직관적인 '거리'의 세팅에서 온다.

거리: 원점에서 멀어질수록 거리의 배율이 무한히 높아진다. 정확히 말하면 원점에서부터 거리가 [math(r = \sqrt{x^2+y^2})]인 곳에서 거리의 배율은 [math(\displaystyle \frac{1}{1-r^2})]이 된다. 리만 기하학 관점에서 엄밀하게 서술한다면 리만 계량(Riemannian metric)이 [math(\displaystyle ds^2 = \frac{dx^2+dy^2}{(1-r^2)^2})]로 주어진다고 얘기할 수 있다.

대충 이야기하자면 원판의 원점에서 출발해서 0.01만큼 갔을 때 원판상에서도 대략 0.01만큼[2] 움직인 것처럼 보이지만, 만약 절반 정도까지 왔으면 3/4배의 배율이 적용되어 0.01만큼 이동했다고 해도 원판상에서는 0.0075밖에 못 간 것이다. 만약 원판의 중심에서 0.99만큼 떨어져 있다면 원판 안에서의 거리 배율 차이는 약 50배가 되어, 원반 안에서 0.01을 갔다고 생각해도 밖에서는 그 1/50밖에 간 걸로 안 보인다. 이 배율은 원반 끝으로 갈수록 증가하므로, 아무리 걸어나가도 원반 안에서는 결코 끝에 도달할 수 없다. 즉 푸앵카레 원반 안의 세계는 무한히 뻗어나가 있으며 그 넓이도 무한하다.

사실 푸앵카레 원반에서의 선분 개념도 위 거리 개념을 적용했을 때의 최단 거리[3]으로 유도되어 나오는 것이다. 물론 엄밀히 이걸 증명하려면 미분기하학을 알아야 한다. (사실 구면에서 대원이 최단거리라는 것을 증명하는 것도 마냥 쉽지만은 않다.) 또한 평행선 공리를 제외하고는 모든 공리를 만족시킨다는 것을 보일 수 있다. 따라서 평행공리와 연관된 부분만을 제외한다면 의외로 친숙하게 느낄 수 있는 공간이다.

푸앵카레 원반에는 아래와 같이 다양한 성질들이 있다.

푸앵카레 원반도 의외로 균일한(homogeneous) 공간이다. 길이가 같은 선분 AB와 CD가 있을 때, AB를 CD로 겹쳐 놓는 합동변환이 존재한다. 이건 공리에도 있는 거지만, 처음 볼때는 원반의 중심과 경계에 가까운 점 위에서의 상황이 동일하다는 것이 어색할 수도 있다.
대신에 닮음변환의 개념이 없다. 정확히 말하면 닮음이 존재하는 세계에서는 평행선 공리가 증명되어 버린다.
평행공리를 부정하기 위한 기하학답게 원반 내의 직선은 무한히 많은 평행선이 존재한다.
구면삼각법과 비슷하게 쌍곡선함수를 사용한 사인 법칙과 코사인 법칙이 존재한다. 다만 지구라는 현실적인 쓰임새가 있어 고대 그리스 때부터 연구되어 온 구면삼각법과는 달리 딱히 큰 의미는 없는 것 같다.
삼각형의 넓이에 대해서는 다음 공식이 있다. (원판의 반지름이 달라지면 여기에 반지름의 제곱을 곱한다.)
[math( S = \pi - (\angle A + \angle B + \angle C) )]
일반적인 다각형에 대해서도 (외각[4]의 총합 - [math(2\pi)])가 넓이가 된다. 증명은 구면과는 다르게 초등적인 방법이 없고, 보통은 미분기하학의 가우스-보넷 정리에 기대는 것이 편하다.

즉 특별히 삼각형의 내각의 합은 180도보다 작다. 세 내각의 조합은 0보다 크며 합이 180보다 작은 조건 하에선 얼마든지 바뀔 수 있지만, 세 내각이 정해지면 변의 길이도 자동적으로 정해진다. 즉 AAA 합동조건을 생각할 수 있다. 이건 구면도 마찬가지.

미분기하학을 배웠다면 모든 점 위에서 곡률이 -1이라는 사실을 증명할 수 있다.

수학자들에게 추앙받는 예술가 에셔의 다양한 작품들(특히 Circle Limit 계열)이 푸앵카레 원반을 사용한 것으로, 삼각형으로 푸앵카레 원반을 테셀레이션한 모양을 띄고 있다. 겉으로 보면 전혀 그렇게 안 보이지만, 원반 안의 삼각형들은 모든 각의 크기가 같고 변의 길이도 같은 합동이다. 물론 각의 크기가 같다고 정해질 필요는 없다. 각이 얼마든지 작아질 수 있으므로 한 점 주변에 똑같은 삼각형을 몇 개든지 붙일 수 있는 것이다.

파라콤팩트인 {∞,n}, {n,∞}, {∞,∞}의 경우 다각형이 원반의 끝에 닿게 된다.

푸앵카레 원반을 3차원으로 확장시킨 푸앵카레 공(Poincaré ball)[5]도 존재한다. 콤팩트인 {3,5,3}, {5,3,4}, {4,3,5}, {5,3,5}를 나타낼 수 있으며 파라콤팩트의 경우 경계선에 속하게 된다. 논콤팩트의 경우는 푸앵카레 공 안에서도 구멍이 뚫린 형태로 나타내진다.
4차원 이상의 푸앵카레 초공도 존재하며 {5,3,3,3}, {3,3,3,5}, {5,3,3,4}, {4,3,3,5}, {5,3,3,5}를 여기에 나타낼 수 있다. n=2 이상의 자연수일때 푸앵카레 5차원 공의 경우 전부 파라콤팩트 이상이 되며 6차원 이상은 모두 논콤팩트라 구멍이 뚫리게 된다.

허수 차원으로 넓히자면 2차원에서 iπ/λ각형이라 할때 푸앵카레 선에서 하이퍼볼릭 다각형이며 3차원에서도 iπ/λ각형을 사용할 경우 구멍이 뚫린 형태가 나타난다.

[1] 직교원(orthogonal circles)이란 두 원의 교점에서 접선을 그었을 때 직각으로 만나는 두 원을 말한다. [2] '대략'이라고 한 이유는 원점에서 이동하면서 동시에 거리가 미묘하게 바뀌기 때문이다. [3] 정확히 말하면 측지선(geodesic) [4] (외각)[math(=\pi-)](내각) [5] 2차원의 경우 둘레를 원, 속이 꽉 찬 것을 원반이라고 하듯, 3차원의 경우 겉부분은 구, 속이 꽉 찬(solid) 것은 공이라고 한다.

푸앵카레 원반

1. 개요

2. 설명

분류