正則領域
数学の多変数複素函数の理論において、正則領域(せいそくりょういき、英: domain of holomorphy)とは、その集合よりも大きい集合に拡張出来ないような正則函数がその集合上に存在するという意味において「極大」であるような集合である。
正式に言うと、n 次元複素空間 C n {\displaystyle {\mathbb {C} }^{n}} 内のある開集合 Ω {\displaystyle \Omega } が正則領域であるとは、 Ω {\displaystyle \Omega } 上のすべての正則函数 f {\displaystyle f} に対して f = g {\displaystyle f=g} を U {\displaystyle U} 上で満たす V {\displaystyle V} 上の正則函数 g {\displaystyle g} が存在するような、空でない開集合 U ⊂ Ω {\displaystyle U\subset \Omega } および空でない連結開集合 V ⊂ C n {\displaystyle V\subset {\mathbb {C} }^{n}} で V ⊄ Ω {\displaystyle V\not \subset \Omega } および U ⊂ Ω ∩ V {\displaystyle U\subset \Omega \cap V} を満たすものが存在しないことを言う。