5
$\begingroup$

Is there any sequence $ \{ Z_{\nu} \}_{\nu \in \mathbb{N}}$ in $\mathbb{C}^{n}$, $Z_{\nu} \rightarrow 0$, such that any holomorphic function in $\mathbb{C}^{n}$ which vanishes in $Z_{\nu}$ for all $\nu \in \mathbb{N}$ is identically zero?

Thank you!

$\endgroup$
6
  • $\begingroup$ Hi theStudent: how can any sequence fail? From the sequence, you can compute all derivatives of your function at 0, which in holomorphic land is enough to determine your function. It's possible I've misunderstood your question, but most likely it isn't really appropriate for this site. Please read the faq, and if you still think it's appropriate, read howtoask. $\endgroup$ Oct 13, 2012 at 18:13
  • $\begingroup$ Anything dense in an open ball, surely, just by analyticity $\endgroup$
    – Yemon Choi
    Oct 13, 2012 at 18:14
  • 1
    $\begingroup$ @Theo: in several CV your holo function might vanish on some submanifold, so if your sequence is confined to that submanifold it won't detect the non-zero nature of the original function $\endgroup$
    – Yemon Choi
    Oct 13, 2012 at 18:15
  • $\begingroup$ @Yemon Choi, How can a sequence which is dense in an open ball converge to $0$? $\endgroup$
    – the L
    Oct 13, 2012 at 18:18
  • 1
    $\begingroup$ To fine tune Yemon's suggestion, take a countable set $Z_\nu'$ dense in the ball, and consider $Z\nu=\frac{1}{\nu} Z_\nu'$. I suspect this works, but surely "the Student" ought to check. $\endgroup$ Oct 13, 2012 at 18:25

1 Answer 1

4
$\begingroup$

Start from a countable dense subset $S$ of the unit ball, and take a sequence $Z_\nu$ such that for all $s\in S$, one has $\nu Z_\nu=s$ infinitely often. Then, any holomorphic function in $\mathbb{C}^n$ that vanishes along the sequence $Z_\nu$ has in particular a subsequence of zeros accumulating to the origin that belong to the complex line generated by any $s\in S$. Therefore it vanishes identically on that complex line, by the principle of isolated zeros in one variable. Since the union of these lines is dense in $\mathbb{C}^n$, the function is identically zero by continuity.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.