Sunday, 21 September 2014

general topology - complement of zero set of holomorphic function is connected



I'm stuck with the following part of exercise 1.1.8 in Hubrechts book Complex geometry:



Prove that, if $U \subset \mathbb C^n$ is open connected, then $U \setminus Z(f)$, the complement of zero set of a non trivial holomorphic function $f:U\to \mathbb C$, is connected.




I know I could use Riemann extension theorem, but I'm messing things with this point: suppose $U \setminus Z = A \cup B$ with $A$ and $B$ open non-empty disjoint; how do I see that there's point $x \in \overline A \cap \overline B \cap Z$?


Answer



Suppose $\overline{A}\cap\overline{B}\cap Z = \varnothing$. Since $A$ and $B$ are open (in $U$, or equivalently in $\mathbb{C}^n$), we have



$$\overline{A}\cap B = \varnothing = A\cap\overline{B},$$



and thus $\overline{A}\cap \overline{B} \subset Z$. The supposition thus implies that $\overline{A}$ and $\overline{B}$ are disjoint, and thus



$$\varnothing = \overset{\Large\circ}{Z} = U\setminus \overline{U\setminus Z} = U\setminus \overline{A\cup B} = U\setminus (\overline{A}\cup \overline{B}),$$




which means that $U$ is the disjoint union of the nonempty closed sets $\overline{A}$ and $\overline{B}$, and therefore $U$ is not connected. This contradicts the premise that $U$ is connected, hence the supposition $\overline{A}\cap\overline{B}\cap Z = \varnothing$ must have been wrong.



So the conclusion that $\overline{A}\cap\overline{B}\cap Z \neq \varnothing$ follows if $Z$ is any nowhere dense closed subset of $U$. Since there are nowhere dense closed sets $F\subset U$ such that $U\setminus F$ is not connected, you need special properties of the zero sets of holomorphic functions to conclude that $U\setminus Z$ must be connected. Off the top of my head, I can't think of another way than the Riemann extension theorem.


No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...