|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 写 ： [しゃ] 【名詞】 1. photograph 2. copy 3. transcribe 4. duplicate 5. reproduce 6. trace 7. describe 8. picture ・ 写像 ： [しゃぞう] 1. (n,vs) image 2. map ・ 像 ： [ぞう] 1. (n,n-suf) statue 2. image 3. figure 4. picture 5. portrait ・ 定理 ： [ていり] 【名詞】 1. theorem 2. proposition ・ 理 ： [り] 【名詞】 1. reason
複素解析において、リーマンの写像定理 (Riemann mapping theorem) は、 が空でない単連結な開集合（単連結な領域）のとき、''U'' から単位開円板 : への双正則な写像（全単射な正則写像）''f'' が存在することを言っている定理である〔この ''f'' の存在は、グリーン函数の存在と同値である。〕。 この写像はリーマンの写像 (Riemann mapping) として知られている。 直感的には、''U'' が単連結であることは ''U'' には「穴」があいていないことを意味する。''f'' が双正則であることは、それが等角写像であり、従って角度を保つことを意味する。直感的には、そのような写像は、回転したり拡大・縮小したりはする（ただし折り返してはいけない）が、十分に小さな形を保存する。 アンリ・ポアンカレ (Henri Poincaré) は、写像 ''f'' が本質的に一意的であることを証明した。''z''0 を ''U'' の元とし、φ を任意の角度とすると、ちょうど一つだけ以下を満たす上記のような ''f'' が存在する。''f''(''z''0) = 0 であり、かつ点 ''z''0 における ''f'' の微分の偏角が φ に等しくなる。この一意性はシュワルツの補題より容易に導ける。 この定理の系として、リーマン球面の少なくとも 2 点を取り除いた任意の 2つの単連結な開部分集合は、互いに共形的に写像することができる（理由は共形同値は同値関係だからである）。 ==歴史== この定理は、1851年のベルンハルト・リーマンの学位論文にて（U の境界が区分的に滑らかであると仮定して）記述された。ラース・アールフォルスはかつて、この定理の元々の定式化について「現代の方法を以てしても、いかなる証明の試みをも拒絶するような言葉で定式化されていた」と述べている。リーマンの誤った証明はディリクレの原理（命名はリーマンによる）に依存しており、この原理は当初正しいと考えられていたが、カール・ワイエルシュトラスが一般には成り立たないことを発見した。後にダフィット・ヒルベルトが再考し、ディリクレの原理がリーマンが用いた仮定の下で広い範囲で有効であることを証明した。しかし、有効となるためには、ディリクレの原理は U の境界に関する一般の単連結領域では成り立たないある仮定を必要とする。任意の境界を持つ単連結領域は により初めて扱われた。 正しい初の証明はコンスタンティン・カラテオドリにより1912年に出版された。彼の証明はリーマン面を使っていたが、2年後にがこれを使わない形に簡素化した。 別証明としてとリース・フリジェシュが1922年に出版したものがあり、これは以前の証明より大幅に短い。この証明では、リーマンによる証明と同様に、求める写像は極値問題の解として得られる。フェジェ＝リースの証明はとカラテオドリにより更に簡素化された。
|