カラテオドリの定理 (等角写像)

複素解析学において、1913 年にコンスタンティン・カラテオドリ^[1]によって証明されたカラテオドリの定理 (Carathéodory's theorem) は、U が複素平面 C の単連結な開部分集合であってその境界がジョルダン曲線であれば（そのような領域をジョルダン領域という）、U から単位（開）円板 D へのリーマン写像（すなわち双正則写像）

f: U → D

は境界に連続に拡張し、Γ から単位円 S¹ への同相写像

F: Γ → S¹

が与えられるという定理である。

言い換えると、この定理が述べているのは、ジョルダン領域 U に対し、U の閉包から単位閉円板 cl(D) への同相写像

F: cl(U) → cl(D)

であってその内部への制限がリーマン写像であるようなものが存在するということである。

カラテオドリの定理の別の標準的な定式化は、ジョルダン曲線 Γ₁ と Γ₂ に囲まれた単連結開集合 U と V の任意の対に対して、等角写像

f: U → V

は同相写像

F: cl(U) → cl(V)

に拡張し、その Γ₁ への制限は Γ₂ への同相写像になる。

この主張は最初の主張から一方のリーマン写像の逆をもう一方のリーマン写像と合成することによって得られる。

より一般的に述べると以下のようになる。

g: D → U

をリーマン写像の逆写像とする、ただし D ⊂ C は単位円板で、U ⊂ C は単連結領域。すると g が連続に

G: cl(D) → cl(U)

に拡張することと、U の境界が局所連結であることが同値である。この結果は最初 Marie Torhorst によって 1918 年の学位論文^[2] において、ハンス・ハーンの指導の下、カラテオドリの prime ends（英語版） の理論を用いて、述べられ証明された。