Sstrhsrtj

定義で述べられている集合の図

数学の多変数複素函数の理論において、正則領域（せいそくりょういき、英: domain of holomorphy）とは、その集合よりも大きい集合に拡張出来ないような正則函数がその集合上に存在するという意味において「極大」であるような集合である。

正式に言うと、n 次元複素空間 ${displaystyle {mathbb {C} }^{n}}$ 内のある開集合 $Omega$ が正則領域であるとは、 $Omega$ 上のすべての正則函数 $f$ に対して ${displaystyle f=g}$ を $U$ 上で満たす $V$ 上の正則函数 $g$ が存在するような、空でない開集合 ${displaystyle Usubset Omega }$ および空でない連結開集合 ${displaystyle Vsubset {mathbb {C} }^{n}}$ で ${displaystyle Vnot subset Omega }$ および ${displaystyle Usubset Omega cap V}$ を満たすものが存在しないことを言う。

$n=1$ の場合、すべての開集合は正則領域である。すなわち、その領域の境界上の至る所で集積する零点を持つような正則函数を定義することが出来る。そのような境界はしたがって、逆函数の定義域に対する自然境界でなければならない^[要出典]。 $ngeq 2$ に対しては、ハルトークスの補題によって、上述の主張は真にはならない。

同値な条件

領域 $Omega$ に対して、以下の条件は同値である：

$Omega$ は正則領域

$Omega$ は正則凸

$Omega$ は擬凸

$Omega$ はレヴィ凸。すなわち、ある集合 $Gamma$ に対して ${displaystyle S_{n}rightarrow S,partial S_{n}rightarrow Gamma }$ を満たすような解析的コンパクト曲面のすべての列 ${displaystyle S_{n}subseteq Omega }$ に対し、 $Ssubseteq Omega$ が成立する（ ${displaystyle partial Omega }$ は解析的曲面の列によって「内側から触れられる」ことはない）

$Omega$ は局所レヴィ性を持つ。すなわち、すべての点 ${displaystyle xin partial Omega }$ に対して、 $x$ の近傍 $U$ に対し、 ${displaystyle Ucap Omega }$ 上の正則函数 $f$ で $x$ のどのような近傍にも拡張できないものが存在する。

関係 ${displaystyle 1Leftrightarrow 2,3Leftrightarrow 4,1Rightarrow 4,3Rightarrow 5}$ は標準的な結果である。 ${displaystyle 1Rightarrow 3}$ については岡の補題を参照されたい。 ${displaystyle 5Rightarrow 1}$ の証明、すなわち局所的にのみ定義される拡張不可能な函数から、拡張を許さないような大域的正則函数を構成するという作業は、他のものと比べて困難である。この問題は、（エフジェニオ・エリア・レヴィ（英語版）(Eugenio Elia Levi)に因み）レヴィの問題と呼ばれ、岡潔によって初めて解かれた。その後、ラース・ヘルマンダーは函数解析と偏微分方程式の手法を使ってその問題を解いた（ ${bar {partial }}$ -問題の帰結である）。

性質

${displaystyle Omega _{1},dots ,Omega _{n}}$ が正則領域であるなら、それらの共通部分 ${displaystyle Omega =bigcap _{j=1}^{n}Omega _{j}}$ もまた正則領域である。

${displaystyle Omega _{1}subseteq Omega _{2}subseteq dots }$ が正則領域の昇列であるなら、それらの合併 ${displaystyle Omega =bigcup _{n=1}^{infty }Omega _{n}}$ もまた正則領域である（ベーンケ＝シュタインの定理を参照）。