로그인하고 있지 않습니다. 편집하면 당신의 IP 주소가 공개적으로 기록됩니다. 계정을 만들고 로그인하면 편집 시 사용자 이름만 보이며, 위키 이용에 여러 가지 편의가 주어집니다.스팸 방지 검사입니다. 이것을 입력하지 마세요!=== 힐베르트 평면 === 힐베르트 평면이란 쌍곡 기하학의 모델 중에서 가장 많이 쓰이는 모델로서, [[다비드 힐베르트]]의 이름을 땄다. [[복소평면]] 중 위쪽 절반을 사용하며,<ref><math>x</math>축을 제외한 나머지 복소평면으로 확장한 버전을 쓰기도 하나, 기본적인 개념은 동일하다.</ref> 독특한 [[거리 함수]]를 가지고 있다. 정확한 정의는 다음과 같다. #힐베르트 평면 <math>\mathbb{H}^2=\left\{z|\Im\left(z\right)>0\right\}</math> #매개변수화 된 경로를 <math>\gamma\left(t\right)=\left(x\left(t\right),y\left(t\right)\right)=x\left(t\right)+iy\left(t\right),\,a\leq t\leq b</math>라 하자. 그럼, 경로의 길이는<br /><math>l\left(\gamma\right)=\int_a^b\frac{\left|\gamma'\left(t\right)\right|}{\Im\left(\gamma\left(t\right)\right)}\mathrm{d}t</math>로 정의한다. #두 점 사이의 '''측지선(Geodesic)'''은 두 점을 잇는 여러 경로 중에서 길이가 제일 짧은 것으로 정의한다. 우선 제일 간단한 경로의 길이를 구해보자. ;예시 1 {{숨기기|수평선의 길이| #<math>x+i,\,0\leq x\leq1</math>: <math>\int_0^1\frac{1}{1}\mathrm{d}x=1</math> #<math>x+2i,\,0\leq x\leq1</math>: <math>\int_0^1\frac{1}{2}\mathrm{d}x=\frac{1}{2}</math> #<math>x+3i,\,0\leq x\leq1</math>: <math>\int_0^1\frac{1}{3}\mathrm{d}x=\frac{1}{3}</math> 뭔가 이상하다는 사실을 눈치챘는가? 분명히 우리 눈에는 길이가 같은 수평선인데, 힐베르트 평면에서는 길이가 다르다. 허수부가 커질수록(평면의 위쪽으로 갈 수록) 길이는 점점 짧아지게 되는 것이다. 세 선의 길이를 같게 만드려면 2, 3번 선의 (유클리드) 길이를 각각 2배, 3배로 늘려야 한다.<br />그럼 이게 실생활에서는 무엇을 의미할까? 바로 [[원근법]]이다. 종이에 자로 동일한 길이의 수평선을 몇 개 위로 쌓고, 종이를 책상 위에 눕혀놓고 멀리서 바라보자. 원근법에 의해서 위쪽에 그린 선은 분명히 동일한 길이인데도 불구하고 '''시각적'''으로 길이가 짧아보인다. 눈에 보이는 길이를 같게 만드려면 결국 위쪽에 그린 선을 길게 그려야한다. 힐베르트 평면의 길이 재는 방법은 원근법을 보정한 것이라 이해할 수 있다.}} ;예시 2 {{숨기기|두 점 사이의 거리| <math>P=\left(0,1\right),\,Q=\left(2,1\right)</math>이라 하자. 이 두 점을 잇는 첫 번째 경로를 수평선, 두 번째 경로를 ∧모양의 경로라 하자. #예시 1과 같은 방법으로 하면 길이가 2임을 알 수 있다. #우선 ∧모양의 경로를 매개변수화 하자. #:<math>\begin{cases}t+\left(1+t\right)i,&\text{ if }0\leq t\leq1\\t+\left(3-t\right)i,&\text{ if }1\leq t\leq2\end{cases}</math> :이제 경로의 길이를 구하자. ::<math>\begin{align}&\int_0^1\frac{\left|1+i\right|}{1+t}\mathrm{d}t+\int_1^2\frac{\left|1-t\right|}{3-t}\mathrm{d}t\\=&\int_0^1\frac{\sqrt2}{1+t}\mathrm{d}t+\int_1^2\frac{\sqrt2}{3-t}\mathrm{d}t\\=&\sqrt2\left[\ln\left|1+t\right|\right]_0^1+\sqrt2\left[-\ln\left|3-t\right|\right]_1^2\\&=2\sqrt2\ln2\approx1.96<2\end{align}</math> 놀랍게도, 직선의 길이가 더 길다는 것을 알 수 있다. 직선의 정의가 두 점을 잇는 가장 짧은 경로라는 것을 생각하면, 우리가 아는 직선이 힐베르트 평면에서는 직선이 아닌 것이다. 그렇기 때문에 측지선이라는 용어를 쓰는 것이다.}} 예시 2를 읽었다면, 쌍곡 기하학에서의 직선(=측지선)이 무엇인지 의문이 갈 것이다. 수평선은 직선이 아니지만, 다행히 수직선은 직선이다. 생각해보면 당연한데, 힐베르트 평면에서는 수직 위로 갈 수록 길이가 짧아지고 수평 좌우는 길이를 줄이는데 아무런 도움이 되지 않는다. 그렇기 때문에 수직선은 가장 짧은 길이고, 이는 곧 수직선이 측지선이라는 사실을 의미한다.<ref>대수적인 증명이 불가능한 것은 아니지만, 계산이 조금 복잡하므로 생략한다.</ref> 수직선의 길이는 다음과 같다. :<math>\gamma\left(t\right)=x+ti,\,a\leq t\leq b</math>, <math>l\left(\gamma\right)=\int_a^b\frac{1}{t}\mathrm{d}t=\ln\frac{b}{a}</math> [[파일:Hyperbolic geodesics.jpg|thumb|right|힐베르트 평면의 측지선]] 그럼 수평 거리는 어떻게 재야 최소일까? 증명은 하지 않겠지만, 중심이 실수축 위에 있는 [[원 (도형)|반원]]이 바로 찾고자 하는 선이다.<ref>증명은 [https://people.maths.ox.ac.uk/hitchin/hitchinnotes/Geometry_of_surfaces/Chapter_4_Hyperbolic_geometry.pdf 여기 참조]</ref> 정리하면, 쌍곡 기하학에서의 측지선은 '''수직선'''과 '''중심이 실수축 위에 있는 반원'''이다. 앞으로 특별한 말이 없으면 "직선=측지선"이라 생각하자. 요약: 리브레 위키에서의 모든 기여는 크리에이티브 커먼즈 저작자표시-동일조건변경허락 3.0 라이선스로 배포됩니다(자세한 내용에 대해서는 리브레 위키:저작권 문서를 읽어주세요). 만약 여기에 동의하지 않는다면 문서를 저장하지 말아 주세요. 글이 직접 작성되었거나 호환되는 라이선스인지 확인해주세요. 리그베다 위키, 나무위키, 오리위키, 구스위키, 디시위키 및 CCL 미적용 사이트 등에서 글을 가져오실 때는 본인이 문서의 유일한 기여자여야 하고, 만약 본인이 문서의 유일한 기여자라는 증거가 없다면 그 문서는 불시에 삭제될 수 있습니다. 취소 편집 도움말 (새 창에서 열림) | () [] [[]] {{}} {{{}}} · <!-- --> · [[분류:]] · [[파일:]] · [[미디어:]] · #넘겨주기 [[]] · {{ㅊ|}} · <onlyinclude></onlyinclude> · <includeonly></includeonly> · <noinclude></noinclude> · <br /> · <ref></ref> · {{각주}} · {|class="wikitable" · |- · rowspan=""| · colspan=""| · |} {{lang|}} · {{llang||}} · {{인용문|}} · {{인용문2|}} · {{유튜브|}} · {{다음팟|}} · {{니코|}} · {{토막글}} {{삭제|}} · {{특정판삭제|}}(이유를 적지 않을 경우 기각될 가능성이 높습니다. 반드시 이유를 적어주세요.) {{#expr:}} · {{#if:}} · {{#ifeq:}} · {{#iferror:}} · {{#ifexist:}} · {{#switch:}} · {{#time:}} · {{#timel:}} · {{#titleparts:}} __NOTOC__ · __FORCETOC__ · __TOC__ · {{PAGENAME}} · {{SITENAME}} · {{localurl:}} · {{fullurl:}} · {{ns:}} –(대시) ‘’(작은따옴표) “”(큰따옴표) ·(가운뎃점) …(말줄임표) ‽(물음느낌표) 〈〉(홑화살괄호) 《》(겹화살괄호) ± − × ÷ ≈ ≠ ∓ ≤ ≥ ∞ ¬ ¹ ² ³ ⁿ ¼ ½ ¾ § € £ ₩ ¥ ¢ † ‡ • ← → ↔ ‰ °C µ(마이크로) Å °(도) ′(분) ″(초) Α α Β β Γ γ Δ δ Ε ε Ζ ζ Η η Θ θ Ι ι Κ κ Λ λ Μ μ(뮤) Ν ν Ξ ξ Ο ο Π π Ρ ρ Σ σ ς Τ τ Υ υ Φ φ Χ χ Ψ ψ Ω ω · Ά ά Έ έ Ή ή Ί ί Ό ό Ύ ύ Ώ ώ · Ϊ ϊ Ϋ ϋ · ΐ ΰ Æ æ Đ(D with stroke) đ Ð(eth) ð ı Ł ł Ø ø Œ œ ß Þ þ · Á á Ć ć É é Í í Ĺ ĺ Ḿ ḿ Ń ń Ó ó Ŕ ŕ Ś ś Ú ú Ý ý Ź ź · À à È è Ì ì Ǹ ǹ Ò ò Ù ù · İ Ż ż ·  â Ĉ ĉ Ê ê Ĝ ĝ Ĥ ĥ Î î Ĵ ĵ Ô ô Ŝ ŝ Û û · Ä ä Ë ë Ï ï Ö ö Ü ü Ÿ ÿ · ǘ ǜ ǚ ǖ · caron/háček: Ǎ ǎ Č č Ď ď Ě ě Ǐ ǐ Ľ ľ Ň ň Ǒ ǒ Ř ř Š š Ť ť Ǔ ǔ Ž ž · breve: Ă ă Ğ ğ Ŏ ŏ Ŭ ŭ · Ā ā Ē ē Ī ī Ō ō Ū ū · à ã Ñ ñ Õ õ · Å å Ů ů · Ą ą Ę ę · Ç ç Ş ş Ţ ţ · Ő ő Ű ű · Ș ș Ț ț