正則領域

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

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

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

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

同値な条件

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

1. $\Omega$ は正則領域
2. $\Omega$ は正則凸
3. $\Omega$ は擬凸
4. $\Omega$ はレヴィ凸。すなわち、ある集合 $\Gamma$ に対して $S_{n}\rightarrow S,\partial S_{n}\rightarrow \Gamma$ を満たすような解析的コンパクト曲面のすべての列 $S_{n}\subseteq \Omega$ に対し、$S\subseteq \Omega$ が成立する（$\partial \Omega$ は解析的曲面の列によって「内側から触れられる」ことはない）
5. $\Omega$ は局所レヴィ性を持つ。すなわち、すべての点 $x\in \partial \Omega$ に対して、$x$ の近傍 $U$ に対し、$U\cap \Omega$ 上の正則函数 $f$ で $x$ のどのような近傍にも拡張できないものが存在する。

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

性質

• $\Omega _{1},\dots ,\Omega _{n}$ が正則領域であるなら、それらの共通部分 $\Omega =\bigcap _{j=1}^{n}\Omega _{j}$ もまた正則領域である。
• $\Omega _{1}\subseteq \Omega _{2}\subseteq \dots$ が正則領域の昇列であるなら、それらの合併 $\Omega =\bigcup _{n=1}^{\infty }\Omega _{n}$ もまた正則領域である（ベーンケ＝シュタインの定理を参照）。
• 正則領域 $\Omega _{1},\Omega _{2}$ の積 $\Omega =\Omega _{1}\times \Omega _{2}$ もまた正則領域である。
• クザンの第一問題は正則領域において常に解くことが出来る。いくつかの位相空間論的な仮定の下では、クザンの第二問題も同様に正則領域において解くことが出来る。

関連項目

• ベーンケ＝シュタインの定理
• レヴィ擬凸
• シュタイン多様体

参考文献

• Steven G. Krantz. Function Theory of Several Complex Variables, AMS Chelsea Publishing, Providence, Rhode Island, 1992.
• Boris Vladimirovich Shabat, Introduction to Complex Analysis, AMS, 1992

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Domain of holomorphyの本文を含む