Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $n\in\mathbf{N}$ be fixed, and $f$ entire and $|f^{-1}(\left\lbrace w\right\rbrace)|\leq n$ for every $w\in\mathbf{C}$. Then $f$ is a polynomial of degree at most $n$. I try to prove this statement, and I think one can prove it as follows: consider $f(1/z)$. $0$ cannot be an essential singularity of $f(1/z)$, for the big picard theorem would imply that on any neighborhood of $0$ $f(1/z)$ takes on all possible complex values (with at most one exception) infinitely often, but this is contrary to $|f^{-1}(\left\lbrace w\right\rbrace)|\leq n$. Then $f(1/z)$ has a pole of order $k$ say, and since $f$ is holomorphic it is a polynomial of degree $k$ (for its principal part vanishes). By the fundamental theorem of algebra, $k\leq n$.

Is it possible here to avoid using picard's thoerem?

share|improve this question
Please what is $|f^{-1}(w)|$? Is it the number of elements in $f^{-1}(w)$? –  1015 Jan 26 '13 at 22:58
@mrf It's 100% what julien says. –  k.stm Jan 26 '13 at 23:02
Indeed, $|f^{-1}(w)|$ is the number of $z\in\mathbf{C}$ such that $f(z)=w$. I thought that writing $|X|$ for the cardinality of a set $X$ is standard notation, sorry. By the way, I think my argument is somewhat a bit flawed, but I'm not sure. –  Karl Jan 26 '13 at 23:05
Fairly standard indeed! I was just making sure. –  1015 Jan 26 '13 at 23:07
Anyway, I changed the notation to $|f^{-1}(\left\lbrace w\right\rbrace)|$. I think the notation should be obvious now. –  Karl Jan 26 '13 at 23:18
add comment

1 Answer

up vote 3 down vote accepted

Here's a solution avoiding big Picard, but using Casorati-Weierstrass and Baire instead.

Assume that $f$ is not a polynomial. Then $f$ has an essential singularity at $\infty$. Let $k \in \mathbb{N}$ and let $D_k = \{ |z| > k \}$. By Casorati-Weierstrass, $f(D_k)$ is dense in $\mathbb{C}$, and by the open mapping theorem, $f(D_k)$ is open.

Baire's category theorem shows that $\bigcap_k f(D_k)$ is non-empty, so there is some $w \in \mathbb{C}$ (in fact, an open dense set of $w$:s) such that the equation $f(z) = w$ has infinitely many solutions, which is our desired contradiction.

share|improve this answer
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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