高校倫理1440914 views
世界の国564972 views
小学理科720199 views
高校生物551985 views
りんご211690 views
高校化学2925825 views
英語614322 views
小学算数1201030 views
いろは3013586 views
中学社会669002 views
Help
Tools
NewsSpreadsheetCalendarBookkeepingMarkdown TablesLanguage Model NewsLinux CommandsSlidesTier ListPen ToolIllustrationCrayonWatercolorPixel ArtASCII ArtPerspectiveEndless StairsGraphMind MapER DiagramFamily TreeMemeCurved TextImage EditorMosaicRetro FilterPencil SketchSwirl EffectLine ArtOCR/HighlighterMakeup EditorFaviconVideo TrimmerScrolling VideoVideo TitleColor PickerColor ExtractorBonfireFireworksCherry BlossomWater RippleWater SplashBreaking GlassGlass TextureFabric TextureWood GrainMarble TextureBrick Wall TextureMetal TextureWashi Paper TextureCardboard TextureCSS ButtonIcon MakerBar ChartGrouped Bar ChartStacked Bar ChartPie ChartLine ChartArea ChartStacked Area ChartScatter Plot3D Bar Chart3D Pie ChartBar Chart RaceBubble ChartPopulation PyramidPictogramEarningsCandlestick ChartInvestment RiskMortgage SimulatorCalculatorMatrix CalculatorFunction GraphPolynomial ExpansionVenn DiagramField VisualizerRubik's Cube Group TheoryTraveling SalesmanVoronoi and DelaunayFractalUniversity Entrance Exam MathColumn ArithmeticDraw Math FiguresArithmetic AnimationArithmetic Word ProblemsCounting with Tree DiagramsCube NetsRolling DiceCross SectionsMotion PathMechanicsWavesUniversity Entrance Exam Physics解析力学Quantum MechanicsStatistical MechanicsRelativityCelestial MechanicsAstrophysicsCosmologyElectromagnetic WavesCapacitorsLight and LensesThermodynamicsHow Semiconductors WorkMolecular StructuresAtomic OrbitalsElectrochemical CellsChemical EquilibriumCrystal LatticesBuffer pHOrganic Reaction MapPeriodic TableComplex IonsDNA Double HelixCell DivisionMembrane ChannelsNerve ImpulseMuscle ContractionHormones and HomeostasisRock ClassificationWeatherConstellationsSolar and Lunar Eclipses3D ModelingFloor PlanSeismic StructuresIntersection TurnMaglevCooking AnimationOrigamiLive Viewer CountGeoJSON MapRailway MapPopulation MapCrime MapLand Price MapSchool MapShrine and Castle MapHouse of Representatives MapWord MapSolitaireReversiHakoiri MusumeChessHamburgerRippleSlide Puzzle MakerNeon PinballNovel MakerJapanese Typing PracticePiano Score EditorMusic TheoryShogi StrategyPiano Rhythm Game

English

どんな単連結領域も円板になる、リーマンの写像定理はなぜ例外が一つだけか

複素平面全体でない単連結な領域は、どれも単位円板へ等角に、しかも 1 対 1 に写せます。

形がどれだけ入り組んでいても関係ありません。細長くても、ぎざぎざでも、切れ目が入っていても、円板と同じものだと言い切る定理です。

除かれるのは平面全体だけ[1]。空集合を別にすれば、例外はこの 1 つです。

領域の形という幾何の情報が、単連結かどうかという位相の情報だけに潰れてしまう。ここがこの定理の驚きどころ。

平面全体が除かれる理由

から円板への正則写像を考えると、それは有界な整関数です。リウヴィルの定理から定数になる。

定数写像は 1 対 1 ではありません。だから平面全体を円板へ等角に写すことはできない。

位相の意味では、平面と円板は同相です。 が全単射で連続な写像になる。等角という条件を課した瞬間に、できなくなります。

球面も除かれます。コンパクトなので、円板と同相にすらならない。

一意性

写像は 1 つに決まりません。円板の自己同型を後ろに合成すれば、別の写像ができます。

条件を 2 つ足すと一意になります。ある点 を原点へ送り、 を正の実数にする。

自由度は 3 つ[2] の位置で 2 つ、微分の偏角で 1 つです。円板の自己同型の自由度とちょうど一致します。

証明はシュワルツの補題から。2 つの写像が同じ条件を満たすなら、合成が原点を止める自己同型になり、恒等写像しかありえない[5]

決めた点がどこへ行くかと、そこでの回り方を固定して、はじめて 1 つに決まります。

証明の骨組み

存在の証明は 3 段階に分かれます。どれも直接には写像を書きません。

第 1 段は、 から円板への単射な正則写像を 1 つでも作ること。第 2 段は、そういう写像を全部集めた族の中で、指定した点での微分の大きさを最大にするものを選ぶこと。第 3 段は、その最大を実現する写像が全射だと示すことです。

第 1 段:円板の中へ入れる

が平面全体でないので、 に属さない点 がとれます。 は単連結なので、 の平方根が一価に定義できる。

は単射です。 なら 2 乗して

さらに は交わりません。交われば から となり、 すなわち になってしまう。

は開集合なので、そこに円板が入ります。その円板を避ける を、反転と平行移動で有界にすれば、円板の中へ収まる。

第 2 段:微分を最大にする

を固定し、 から円板への単射な正則写像で を満たすもの全部を とします。第 1 段から空ではありません。

の上限を とする。円板へ写すので族は局所有界で、モンテルの定理から正規です。

上限へ向かう列をとり、収束部分列を選ぶと極限 が得られます[3,4] が成り立つ。

極限が単射であることは、フルヴィッツの定理から出ます。単射な関数の列の広義一様極限は、単射か定数[7] なので定数ではありません。

第 3 段:全射でなければ改良できる

が全射でないとします。 に入らない点 をとる。

自己同型で を原点へ送り、平方根をとり、もう一度自己同型で原点へ戻す。この合成をシュワルツの補題で評価すると、微分の大きさが真に大きくなります。

係数は のとき より大きい。相加平均と相乗平均の関係からすぐ出ます。

が上限だったことに反するので、 は全射です。ケーベによるこの平方根の使い方が、証明の山場になります。

具体的に書ける例

証明は存在を言うだけで、写像の式は与えません。それでも、形の整った領域なら手で書けます。

上半平面。 で円板へ写る
開き の扇形。 で半平面へ広げてから円板へ
高さ の帯。 で半平面へ写してから円板へ
正の実軸を切り取った平面。 で半平面へ、それから円板へ

どれも、いったん上半平面を経由します。上半平面と円板の対応が 1 本あれば、あとはその手前をつなぐだけ。

多角形の内部へ写す場合は、シュワルツ・クリストッフェルの積分公式があります。頂点の角度から積分の形が決まる[8]

一般の領域では、閉じた式が書けません。数値的に近似する方法が研究されています。

境界はどうなるか

写像は領域の内部で定義されます。境界まで連続に延びるかどうかは、別の問題です。

境界が単純閉曲線なら、延びます。カラテオドリの定理と呼ばれ、閉円板から閉領域への同相写像に延長できる。

境界が複雑だと崩れます。たとえば内側へ無限に細い切れ目が入っていると、境界の点が 1 対 1 に対応しない。

局所連結であることが、連続に延びるための条件になります[6]

ケーベの 1/4 定理

写像がどれくらい像を広げるか、という定量的な結果もあります。

が単位円板で単射な正則関数、 とする。このとき の像は、原点を中心とする半径 の円板を含みます。

という値は最良です。ケーベ関数 の像が、負の実軸の から先を切り取った平面になる。

回転してもへこみの深さは変わりません。どの向きから見ても、原点から までは必ず像に入っています。

穴があると成り立たない

単連結という条件は外せません。円環領域は、どれも円板とは等角に対応しない。

さらに、円環どうしでも一般には対応しません。内半径と外半径の比が同じ円環だけが、互いに等角に写り合います。

この比をモジュラスと呼びます。穴が 1 つ増えるだけで、連続的に変わるパラメータが現れる。

穴が 個の領域では、パラメータの個数が増えていきます。パラメータがまったく現れない単連結の場合が、むしろ特別です。

一意化定理へ

リーマン面まで広げた形が一意化定理です。単連結なリーマン面は、円板か平面か球面のどれか 1 つに等角同値になります。

3 つしかない、という結論の強さがリーマンの写像定理と同じ性格を持っています。曲面の幾何が、双曲か放物か楕円かの 3 種類に分かれる。

平面の領域についての定理が、曲面の分類にまで届きます。

よくある誤り

平面全体は例外です。有界な整関数が定数になるので写せません
単連結でないと成り立ちません。円環は円板に写せない
証明は存在だけを言います。写像の式は与えません
一意にするには、点と偏角の 2 つを指定します。片方だけでは足りない
境界まで連続に延びるかどうかは別問題。境界の形しだいです
円環どうしでも、比が違えば写り合いません
位相の意味では平面と円板は同相です。等角にできないだけ
ケーベの 1/4 定理には という正規化が要ります

領域の形という細かい情報が、単連結かどうかという 1 ビットに潰れる。この定理は、複素解析の中でも特に強い言明のひとつです。

参考文献

Riemann mapping theorem - Wikipedia
Riemannscher Abbildungssatz - Wikipedia(ドイツ語)
Montel's theorem - Wikipedia
Normal family - Wikipedia
Schwarz lemma - Wikipedia
Carathéodory's theorem (conformal mapping) - Wikipedia)
Hurwitz's theorem (complex analysis) - Wikipedia)
Schwarz-Christoffel mapping - Wikipedia
細長くても、ぎざぎざでも、切れ目が入っていても関係ありません。領域の形という細かい情報が、単連結かどうかという一点に潰れます。除かれるのは平面全体だけで、その理由もリウヴィルの定理ひとつ。写像を一つに決めるには点と偏角を指定します。証明は三段構えで、平方根で円板の中へ押し込み、正規族から微分を最大にする要素を選び、落ちている値があれば必ず微分を増やせると示す。上半平面や扇形や帯の具体例、境界まで延びるかを決めるカラテオドリの定理、像が必ず半径 1/4 の円板を含むこと、円環では成り立たないことまで。