2
$\begingroup$

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.

1 Answers 1

1

You're almost there. Now just add in the Cassorati-Weierstrass Theorem: http://en.wikipedia.org/wiki/Casorati%E2%80%93Weierstrass_theorem

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

  • 0
    Casorati–Weierstrass guarantees that f(\{|z| > |z_0|\}) is dense, but how do you know that it contains $w$? I thought Picard’s Theorem might do it, but if you look at the generalization to the Riemann sphere, you must throw out *two* values, so you can’t merely reason that because $\infty$ isn’t hit, $w$ has to be hit.2016-07-27