リーマンの写像定理

alt=H → D, z &mapsto; i(z - i)/(z + i)
複素解析においてリーマンの写像定理 (Riemann mapping theorem) は、 が空でない単連結な開集合（単連結な領域）のとき、U から単位開円板

への双正則な写像（全単射な正則写像）f が存在することを言っている定理である。
この写像はリーマンの写像 (Riemann mapping) として知られている。
直感的には、U が単連結であることは U には「穴」があいていないことを意味する。f が双正則であることは、それが等角写像であり、従って角度を保つことを意味する。直感的には、そのような写像は、回転したり拡大・縮小したりはする（ただし折り返してはいけない）が、十分に小さな形を保存する。
アンリ・ポアンカレ (Henri Poincaré) は、写像 f が本質的に一意的であることを証明した。z0 を U の元とし、φ を任意の角度とすると、ちょうど一つだけ以下を満たす上記のような f が存在する。f(z0) = 0 であり、かつ点 z0 における f の微分の偏角が φ に等しくなる。この一意性はシュワルツの補題より容易に導ける。
この定理の系として、リーマン球面の少なくとも 2 点を取り除いた任意の 2つの単連結な開部分集合は、互いに共形的に写像することができる（理由は共形同値は同値関係だからである）。

**歴史**
この定理は、1851年のベルンハルト・リーマンの学位論文にて（U の境界が区分的に滑らかであると仮定して）記述された。ラース・アールフォルスはかつて、この定理の元々の定式化について「現代の方法を以てしても、いかなる証明の試みをも拒絶するような言葉で定式化されていた」と述べている。リーマンの誤った証明はディリクレの原理（命名はリーマンによる）に依存しており、この原理は当初正しいと考えられていたが、カール・ワイエルシュトラスが一般には成り立たないことを発見した。後にダフィット・ヒルベルトが再考し、ディリクレの原理がリーマンが用いた仮定の下で広い範囲で有効であることを証明した。しかし、有効となるためには、ディリクレの原理は U の境界に関する一般の単連結領域では成り立たないある仮定を必要とする。任意の境界を持つ単連結領域は year=1900 により初めて扱われた。
正しい初の証明はコンスタンティン・カラテオドリにより1912年に出版された。彼の証明はリーマン面を使っていたが、2年後にPaul Koebeがこれを使わない形に簡素化した。
別証明としてLipót Fejérとリース・フリジェシュが1922年に出版したものがあり、これは以前の証明より大幅に短い。この証明では、リーマンによる証明と同様に、求める写像は極値問題の解として得られる。フェジェ＝リースの証明はAlexander Ostrowskiとカラテオドリにより更に簡素化された。

**重要性**
リーマンの写像定理の一意性と影響力の詳細を以下に列挙する。- たとえ相対的に単純なリーマンの写像でも（例えば、円の内部から正方形の内部への写像）初等関数のみを使い明確な公式として表すことはできない。- 平面上の単連結な開集合は非常に難しい。例えば、集合それ自身は有界であったとしても、境界は無限の長さをもついたるところで微分可能でなくフラクタルな曲線が存在する。そのような集合が角度を保持するような方法でうまく正規な円板に写像することができるという事実は、直感に反するように見える。- さらに複雑な領域のリーマンの写像定理の類似は正しくない。次に単純である場合は、二重連結な領域(doubly connected domain)（一つだけ穴を持った領域）である。穴のあいた円板や任意のや穴のあいた平面を除く任意の二重連結領域は、アニュラス、つまり、0 0 が与えられたとすると、U を 単位円板へ z0 を 0 へ移すような函数 f を構成したい。これをスケッチするために、リーマンが行ったように、U は有界で境界が滑らかと仮定しよう。また、

と書くこととする。ここに g = u + iv は、実部が u で虚部が v であるような正則函数（を定義するために）とおく。すると、明らかに、z0 は f の唯一のゼロ点である。全ての z ∈ ∂U に対して、|f(z)| = 1 を要求すると、境界上では 

が必要となる。u は正則函数の実部であるので、u が必然的に調和函数となり、すなわち、ラプラス方程式を満たす。
従って、問題は次のようになる。全ての U の上で定義され、与えられた境界をもつ実数に値をもつ調和函数 u は存在するであろうか？これへの肯定的な回答はディリクレの原理で与えられる。一度 u の存在が確立すると、正則函数 g のコーシー・リーマンの関係式より、v を見つけることができる（この議論は U が単連結であるという前提に依存する）。一度、u と v が構成されると、結果として現れる函数 f が実際に全て要求された性質を満たすことをチェックする必要がある。

**一意化定理**
リーマンの写像定理は、リーマン面の脈絡で一般化することが可能である。U をリーマン面の単連結な開部分集合とすると、U はリーマン球面、複素平面 C、開円板 D のうちの一つとなる。この定理は、一意化定理として知られている。

**滑らかなリーマンの写像定理**
滑らかな境界をもった単連結な有界領域の場合は、リーマンの写像函数とその全ての微分は、連続性により領域の閉包へと拡張される。これは、Sobolev spaces for planar domains#Application to smooth Riemann mapping theorem、あるいは、Neumann-Poincaré operator#Solution of Dirichlet and Neumann problemsに従うディリクレの境界値問題の正規な性質を使い証明することができる。リーマン写像定理を証明するもう一つの方法は、kernel function(kernel function)を使う方法 や、Beltrami equation#Smooth Riemann mapping theorem(Beltrami equation)を使う方法である。

**関連項目**
 カラテオドリの定理 (等角写像) (Carathéodory's theorem)- Measurable Riemann mapping theorem(Measurable Riemann mapping theorem)- Schwarz–Christoffel mapping(Schwarz–Christoffel mapping) - 上半平面から単体ポリゴンの内部上への共形変換- ド・ブランジュの定理(ビーベルバッハの予想）

**脚注**

**参考文献**
isbn=0-8493-8270-X
*John B. Conway (1978) Functions of one complex variable, Springer-Verlag, ISBN 0-387-90328-3
*John B. Conway (1995) Functions of one complex variable II, Springer-Verlag, ISBN 0-387-94460-5- pages=47–94
*Steven G. Krantz (2006) Geometric Function Theory, chapter 4: Riemann Mapping Theorem and its Generalizations, pp 83–108, Birkhäuser ISBN 0-8176-4339-7 .
*Citation | last1=Osgood | first1=W. F. | title=On the Existence of the Green's Function for the Most General Simply Connected Plane Region | jstor=1986285 | publisher=American Mathematical Society | location=Providence, R.I. | jfm=31.0420.01 | year=1900 | journal=Transactions of the American Mathematical Society | issn=0002-9947 | volume=1 | issue=3 | pages=310–314
*Reinhold Remmert (1998) Classical topics in complex function theory, Springer-Verlag, ISBN 0-387-98221-3
*Bernhard Riemann (1851)  Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse, Göttingen.
*Citation | last1=Walsh | first1=J. L. | title=History of the Riemann mapping theorem | jstor=2318448 | mr=0323996 | year=1973 | journal=The American Mathematical Monthly | issn=0002-9890 | volume=80 | pages=270–276

**外部リンク**
last= Dolzhenko