0
$\begingroup$

Let $K$ be a compact subset of the domain of the definition of a holomorphic function $f$. And the function $f$ satisfies the following two conditions:

(1) $f$ is injective on $K$;

(2) $f$ has no critical point on $K$. PS: $z$ is a critical point of $f$, if $f'(z)=0$.

Question: Does there exists a neighborhood of $K$ on which $f$ is injective? Prove or disprove!

  • 0
    Could you be a little more specific about what $K$ is? If it can be a point the answer is obviously no.2012-10-16
  • 0
    If $K$ is a single point, of course , $f$ is injective near this point!2012-10-16
  • 0
    Really? What if $f=0$?2012-10-16
  • 0
    Do you know what is a critical point? If $f=0$, then every point is the critical point of $f$.2012-10-16
  • 0
    I was mistaken in my original comment. Since if $K=\{x\}$ is a singleton then if $x$ is not a critical point of $f$ it has a neighborhood where it's injective. It seems like for this problem you'd want to cover $K$ with such neighborhoods and then extract a finite subcover.2012-10-16

1 Answers 1

1

Yes, there is such a neighborhood. The proof is by contradiction.

Let $D$ be the domain of $f$. If there is no such neighborhood, then every neighborhood $U$ of $K$ ($K\subset U\subset D$) contains two different points $\zeta,\eta\in U\setminus K$ such that $f(\zeta)=f(\eta)$. We can find two sequences $\{z_n\}$ and $\{w_n\}$ such that $z_n,w_n\not\in K$, $z_n\ne w_n$, $f(z_n)=f(w_n)$ and $z_n\to z\in K$, $w_n\to w\in K$. By continuity $f(z)=f(w)$, and since $f$ is injective in $K$, it follows that $z=w$. Then $f'(z)\ne0$. The inverse function theorem implies that $f$ is injective in a neighborhood of $z$, arriving at a contradiction.

  • 0
    How get the contradiction???? for any $z\in K$, we have $f'(z)\ne 0.$2012-10-16
  • 0
    The inverse function theorem implies that $z$ has a neigbourhood in which $f$ is injective.2012-10-16
  • 0
    I don't think there is a contradiction. $f$ is injective in a neighborhood of $z$ does not imply $f$ is injective in a neighborhood of $K$. That is to say: locally injective does not imply globally injective. For example; let $f(z)=e^{z}$,2012-10-17
  • 0
    Since $f'(z)\ne0$ $f$ is injective in a neighborhood $V$ of $z$. Since $\{z_n\}$ and $\{w_n\}$ converge to $z$, there is an $m$ large enough such that $z_m,w_m\in V$. But by construction $z_m\ne w_m$ and $f(z_m)=f(w_m)$, contradicting the fact that $f$ is injective in $V$.2012-10-17
  • 0
    thank yuu very much.I got it !2012-10-17