I'm stuck with the following part of exercise 1.1.8 in Hubrechts book Complex geometry:
Prove that, if U⊂Cn is open connected, then U∖Z(f), the complement of zero set of a non trivial holomorphic function f:U→C, is connected.
I know I could use Riemann extension theorem, but I'm messing things with this point: suppose U∖Z=A∪B with A and B open non-empty disjoint; how do I see that there's point x∈¯A∩¯B∩Z?
Answer
Suppose ¯A∩¯B∩Z=∅. Since A and B are open (in U, or equivalently in Cn), we have
¯A∩B=∅=A∩¯B,
and thus ¯A∩¯B⊂Z. The supposition thus implies that ¯A and ¯B are disjoint, and thus
∅=∘Z=U∖¯U∖Z=U∖¯A∪B=U∖(¯A∪¯B),
which means that U is the disjoint union of the nonempty closed sets ¯A and ¯B, and therefore U is not connected. This contradicts the premise that U is connected, hence the supposition ¯A∩¯B∩Z=∅ must have been wrong.
So the conclusion that ¯A∩¯B∩Z≠∅ follows if Z is any nowhere dense closed subset of U. Since there are nowhere dense closed sets F⊂U such that U∖F is not connected, you need special properties of the zero sets of holomorphic functions to conclude that U∖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