2 edited tags
1

# Domain of Holomorphy

I found the following definition of domain of holomorphy in several places.

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

From what I understand, intuitively speaking, $\Omega$ is a domain of holomorphy if we can find a function $g$ which is holomorphic on $\Omega$ such that it cannot be extended beyond the boundary of $\Omega$. Naively thinking, I would have written down the following definition for domain of holomorphy.

Def2: A connected open set $\Omega\subset \mathbb{C}^n$ is a domain of holomorphy if there is a $g$ which is homolorphic on $\Omega$ such for that any open $V\subset \mathbb{C}^n$ with $V\cap \partial\Omega\neq\phi$ there is no holomorphic function $F$ on $V$ with $F\vert_{V\cap\Omega}=g\vert_{V\cap\Omega}$.

Could someone please explain to me the need for the more complicated definition 1.