리만 사상 정리 문서 원본 보기

{{위키데이터 속성 추적}}
[[복소해석학]]에서 '''리만 사상 정리'''(Riemann寫像定理, {{llang|en|Riemann mapping theorem}})는 [[복소평면]]의 구멍이 없는 두 부분집합은 항상 [[쌍정칙 함수]]를 통해 [[동형]]이라는 정리다.

== 정의 ==
'''리만 사상 정리'''에 따르면, 임의의 두 [[연결 공간|연결]] [[단일 연결]] [[열린 집합|열린]] [[진부분집합]] <math>U,U'\subsetneq\mathbb C</math> 사이에, 다음 성질들을 만족시키는 [[정칙함수]] <math>\phi\colon U\to U'</math>이 존재한다.
* <math>\phi</math>는 [[전단사 함수]]이다.
* <math>\phi^{-1}\colon U'\to U</math> 역시 [[정칙함수]]이다.
열린 집합은 기하학적으로 매우 복잡한 형태를 할 수 있다. 예를 들어, 심지어 <math>U</math>의 경계가 [[프랙털]]이어도 리만 사상 정리가 여전히 성립한다.

=== 조건의 필요성 ===
리만 사상 정리에서 등장하는 집합들은 [[단일 연결]] 복소 1차원 [[리만 곡면]]이다. 이 두 조건 가운데 하나를 생략하면 더 이상 리만 사상 정리는 성립하지 않는다.
* [[복소평면]]의 하나의 구멍을 가진 [[열린집합]] <math>U\subset\mathbb C</math>은 항상 <math>\mathbb C\setminus\{0\}</math> 또는 어떤 실수 <math>0\le r<1</math>에 대한 <math>\{z\colon r<|z|<1\}</math>와 쌍정칙함수에 대하여 동형이다. 그러나 이들 사이에는 쌍정칙 함수가 존재하지 않는다.
* 고차원의 경우, [[등각 사상]]은 매우 드물며, 사실상 [[뫼비우스 변환]]밖에 없다.

== 스케치 증명 ==
''U''에서 점 ''z'' <sub>0</sub> 가 주어 졌을 때 우리는 ''U''를 단위 디스크에 그리고 ''z'' <sub>0</sub>에서 0으로 매핑하는 함수 ''f''를 만든다.이 스케치에서 우리는 ''U'' 가 경계 지어졌고 그 경계가 Riemann 이라고 할 수 있다.

<math>f(z)=(z-z_0)e^{g(z)}</math>

여기서 ''g'' = ''u'' + ''iv''는 실수 부 ''u'' 와 허수 부 ''v를'' 갖는 결정될 형태 함수이다. 그렇다면 ''z'' <sub>0</sub> 가 ''f'' 의 유일한 0이라는 것은 명백하다. 우리는 | ''f'' ( ''z'' ) | = 1에 대해 ''z'' ∈ ∂ ''U'' 이므로, 우리는

경계에. ''u''는 홀형 함수의 실제 부분이므로 ''u''는 반드시 고조파 함수 라는 것을 알고 있다. 즉, 그것은 라플라스 방정식을 만족시킨다.

그런 다음 질문이 생긴다. 모든 ''U''에 정의되고 주어진 경계 조건을 갖는 실수 값 하모닉 함수 ''u'' 가 존재합니까? 긍정적 인 답변은 디리클렛 원리에 의해 제공된다. 일단 ''u'' 의 존재가 확립되면, 정형 함수 ''g에'' 대한 Cauchy-Riemann 방정식 은 우리가 ''v''를 찾을 수있게 해준다. (이 주장은 ''U'' 가 단순히 연결되어 있다는 가정에 의존한다.) 일단 ''u'' 와 ''v'' 가 만들어지면 결과 함수 ''f'' 가 실제로 필요한 모든 속성을 가지고 있는지 확인해야 한다.

== 역사 ==
1851년에 [[베른하르트 리만]]이 박사 학위 논문에서, <math>\partial U,\partial U'</math>이 조각마다 매끄럽다는 가정 아래 이 정리를 증명하였다.<ref>{{서적 인용|이름=Bernhard|성=Riemann|저자링크=베른하르트 리만|날짜=1851|url=http://www.emis.de/classics/Riemann/Grund.pdf|제목=Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse|기타=박사 학위 논문|출판사=[[괴팅겐 대학교]]|언어=de|access-date=2014-10-30|archive-date=2007-06-09|archive-url=https://web.archive.org/web/20070609104235/http://www.emis.de/classics/Riemann/Grund.pdf}}</ref> 이 증명에서 리만은 [[디리클레 원리]]를 사용하였는데, 당시 이 원리는 "당연히" 옳다고 여겨졌다. 그러나 이후 [[카를 바이어슈트라스]]가 디리클레의 원리가 특수한 경우 성립하지 않는다는 반례를 제시하였고, 이후 [[다비트 힐베르트]]는 경계가 조각마다 매끄럽다는 가정 아래, 리만의 원래 증명에서 사용되는 형태의 디리클레의 원리가 옳다는 것을 보였다.

1912년에 [[콘스탄티노스 카라테오도리]]가 경계에 대한 아무런 추가 조건 없이 리만 사상 정리를 증명하였다. 이후 1922년에 [[리스 프리제시]]와 [[페예르 리포트]]({{llang|hu|Fejér Lipót}})가 카라테오도리의 증명보다 더 간단한 증명을 발표하였다.

== 각주 ==
{{각주}}
* {{저널 인용 | last=Walsh | first=Joseph L. | title=History of the Riemann mapping theorem | jstor=2318448 | doi=10.2307/2318448 | mr=0323996 | zbl=0273.30003 | 날짜=1973 | journal=The American Mathematical Monthly | issn=0002-9890 | volume=80 | pages=270–276 | 언어=en}}
* {{서적 인용 | last=Gray | first=Jeremy | 장=On the history of the Riemann mapping theorem | 장url=http://www.math.stonybrook.edu/~bishop/classes/math401.F09/GrayRMT.pdf | mr=1295591  | zbl = 0810.01005 | 편집자 = Umberto Bottazzini |제목 = Studies in the history of modern mathematics | 날짜=1994 | 총서=Rendiconti del Circolo Matemático di Palermo. Serie II. Supplemento | 권=34 | 쪽=47–94 | 언어=en}}
* {{서적 인용|이름=Steven G.|성=Krantz|날짜=2006|제목=Geometric function theory|출판사=Birkhäuser|isbn=0-8176-4339-7|언어=en}}
* {{서적 인용|이름=Reinhold|성=Remmert|날짜=1998|제목=Classical topics in complex function theory|출판사=Springer|isbn= 0-387-98221-3|언어=en}}
* {{서적 인용|last=Bell|first=Steven R.|title= The Cauchy transform, potential theory, and conformal mapping|series= Studies in Advanced Mathematics|publisher= CRC Press|날짜= 1992|isbn=0-8493-8270-X|언어=en}}

== 외부 링크 ==
* {{eom|title=Riemann theorem}}
* {{매스월드|id=RiemannMappingTheorem|title=Riemann Mapping Theorem}}
* {{웹 인용|url=http://www.math.sunysb.edu/~bishop/classes/math626.F08/rmt.pdf|제목=The Riemann mapping theorem|이름=Christopher J.|성=Bishop|날짜=2008|언어=en}}

[[분류:복소해석학 정리]]
[[분류:베른하르트 리만]]