# Existence of infinitely many solutions for a complex equation

I'm trying to solve this problem: I have an entire function $f$ which is not a polynomial. I have to prove that there exists a dense subset $\Omega \subset \mathbb{C}$ such that for every $\omega \in \Omega$ the equation $f(z)=w$ has infinitely many solutions.

If $f$ is not a polynomial it must have an essential singularity at infinity, so for every $R$, $f(|z|>R)$ is an open dense subset of the complex plane, but I don't know if this is useful (it's the only thing about 'density' I could think of!). Thanks for any help.

-

Cassorati-Weierstrass gives a solution $z_0$ in some neighborhood of $\infty$. Now, we can apply the theorem again in the neighborhood of $\infty$ given by $\{z:|z|>|z_0|\}$. Repeating this process, we get infinitely many solutions.
By the way, there's a strengthened version of this theorem, which states that $\Omega$ is either $\mathbb{C}$ or $\mathbb{C}$ with a single point removed. This is Picard's Theorem (not to be confused with Picard's Little Theorem). http://en.wikipedia.org/wiki/Picard%27s_great_theorem
The part i cannot understand is how i can prove there are 'infintely many' solutions. If i fix an R, then i could take $\Omega=f(|z|>R)$. But then i only know that $\forall \omega \in \Omega \exists z$ s.t $|z|>R$ and f(z)=w... – balestrav Apr 15 '12 at 21:52
I got a doubt: I took $\Omega$ and i find a solution $z_0$ in $|z|>R$. If I then consider $|z|>|z_0|$ I know its image is dense, but I don't know if this image is exactly $\Omega$, so continuing this process how can i be sure i don't erase the preceding solutions found (e.g maybe $\omega=f(z_0) \notin f(|z|>|z_0|)$) – balestrav Apr 16 '12 at 21:29
The problems is as follows. You need to fix some choice of $\omega$ in $\Omega$. Then for that choice of $\omega$, you find a $z_0$ with $f(z_0)=\omega$. Then you shrink your domain and find $z_1$ with $f(z_1)=\omega$, etc. So for each fixed $\omega$ there are infinitely many values $z$ such that $f(z)=\omega$. Note that the $z$'s may come from anywhere in the complex plane. – Brett Frankel Apr 17 '12 at 2:04