Domain of holomorphy

In mathematics, in the theory of functions of several complex variables, a domain of holomorphy is a domain which is maximal in the sense that there exists a holomorphic function on this domain which cannot be extended to a bigger domain.

Formally, an open set ${\displaystyle \Omega }$ in the n-dimensional complex space ${\displaystyle {\mathbb {C} }^{n}}$ is called a domain of holomorphy if there do not exist non-empty open sets ${\displaystyle U\subset \Omega }$ and ${\displaystyle V\subset {\mathbb {C} }^{n}}$ where ${\displaystyle V}$ is connected, ${\displaystyle V\not \subset \Omega }$ and ${\displaystyle U\subset \Omega \cap V}$ such that for every holomorphic function ${\displaystyle f}$ on ${\displaystyle \Omega }$ there exists a holomorphic function ${\displaystyle g}$ on ${\displaystyle V}$ with ${\displaystyle f=g}$ on ${\displaystyle U}$

In the ${\displaystyle n=1}$ case, every open set is a domain of holomorphy: we can define a holomorphic function that is not identically zero, but whose zeros accumulate everywhere on the boundary of the domain, which must then be a natural boundary for a domain of definition of its reciprocal. For ${\displaystyle n\geq 2}$ this is no longer true, as it follows from Hartogs' lemma.