Welcome to MathOverflow

Question

3

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!

edited Oct 13 at 17:33

Francesco Polizzi
19.2k●2●36●56

asked Oct 13 at 17:25

theStudent
41●4

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. – Theo Johnson-Freyd Oct 13 at 18:13

Anything dense in an open ball, surely, just by analyticity – Yemon Choi Oct 13 at 18:14

1

@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 – Yemon Choi Oct 13 at 18:15

@Yemon Choi, How can a sequence which is dense in an open ball converge to $0$? – Liran Shaul Oct 13 at 18:18

1

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. – Donu Arapura Oct 13 at 18:25

show 1 more comment

Pietro Majer · Accepted Answer · 2012-10-13 19:04:12Z UTC

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.

A sequence that tell us if a holomorphic function of several variables is identically zero

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.