# Thread: Injectivity of Holomorphic function

1. ## Injectivity of Holomorphic function

Let U be an open disk around the origin in $\mathbb{C}$.
Suppose $f:U \rightarrow \mathbb{C}$ is holomorphic on $U$ , $f(0) = 0$ and $f'(0) = 1$.

I want to show that there exists a neighborhood $V$ of $0$, $V \subset U$, so that $f$ is injective on $V$.

Anybody can help?

2. Originally Posted by EinStone
Let U be an open disk around the origin in $\mathbb{C}$.
Suppose $f:U \rightarrow \mathbb{C}$ is holomorphic on $U$ , $f(0) = 0$ and $f'(0) = 1$.

I want to show that there exists a neighborhood $V$ of $0$, $V \subset U$, so that $f$ is injective on $V$.

Anybody can help?
Isn't there a nice complex analysis analogue of the implicit function theorem which takes care of this quite nicely?

3. Yes, it seems like a general statement for a holomorphic function to be locally invertible if it has non vanishing derivative. Something like an inverse function theorem, but I cant find it anywhere, if someone has a proof of this fact or a reference would be great.

4. Originally Posted by EinStone
Yes, it seems like a general statement for a holomorphic function to be locally invertible if it has non vanishing derivative. Something like an inverse function theorem, but I cant find it anywhere, if someone has a proof of this fact or a reference would be great.
There is a proof in this book, page 26.