1
$\begingroup$

We know the following things:

$f(z)$ is holomorphic on $\mathbb{C}$, $f(z)$ is injective and $f(z)$ is a polynomial, so $f'(z)$ is a polynomial too.

(1) Why is $f'(z) \neq 0$? Or why does $f$ have only one zero?

(2) Why is $f'(z)$ constant if (1) holds?

1 Answers 1

2

Injective means that, in particular, $f(z_1) = f(z_2) =0$ implies $z_1=z_2.$ This means $f(z)=a(z-z_1)^n$, with $a\ne 0,$ $n= \deg f.$ Since $f(z_1 + \omega )=1$ where $\omega $ is an $n$th root of unity, injectivity gives once again that $n=1.$ Hence $f'(z) = a.$

What's more interesting is that you don't need to require that $f$ is a polynomial - here you actually use the fact that $f$ is entire.

EDIT: Here's a sketch.

$f$ is injective and analytic, so the open mapping theorem says that $f( B_{\epsilon }(1) )$ contains a neighborhood of $f(1).$ Define $g(z) = f(\frac{1}{z}).$ If $f$ does not have a power series expressible as a polynomial, $g$ has an essential singularity at $0.$ Since $g$ is holomorphic on $\mathbb{C} / \{ 0 \} ,$ the Casorati-Weierstrass Theorem lets us construct a sequence $\{ \zeta_n \}$ converging to $0$ such that $g( \zeta_n ) $ converges to $f(1).$ For $n$ sufficiently large, $z_n \notin B_{\epsilon }(1),$ contradicting injectivity.

  • 0
    Dear Tim, thanks for your explanation. No, Casorati-Weierstrass is not especially elementary but the proofs I had in mind were even less so: Picard or uniformization theorem !2012-06-18