0
$\begingroup$

I would say holomorphic everywhere, injective and bijective only in $D=\mathbb{R}\times [-\pi,\pi]$, so also only biholomorph in that D.

Is that true? Are there alternatives?

1 Answers 1

2

It fails to be injective (so to be bijective, too) in $\Bbb R\times[-\pi,\pi]$, actually. Consider for example $\exp(-i\pi)$ and $\exp(i\pi)$. Bear in mind that $\exp(z)$ has period $2\pi i$ (you may want to prove this as an exercise, if you've never seen this result). That should give you an idea how you can fix that issue to get injectivity back.

Now, if we're talking about surjectivity, we have to have a codomain specified. If your codomain is $\Bbb C\smallsetminus\{0\}$, then surjectivity can be obtained when the domain is a sufficiently large subset of $\Bbb C$--such as $\Bbb R\times[-\pi,\pi]$--but there is no $z$ such that $\exp(z)=0$, so we'll never get surjectivity if the codomain given is $\Bbb C$.

Once you've chosen an appropriate domain and codomain to get bijectivity, you are correct about $\exp(z)$ being biholomorphic.

  • 0
    It's also (perhaps) worth remarking that for any real $a$, the strip $\Bbb R\times(a-\pi,a+\pi)$ gets mapped bijectively by $\exp(z)$ to the plane with some slit removed from the origin to the point at $\infty$. In particular, If $a$ is *any* even multiple of $\pi$ (not just $0$), then it will be mapped to the plane with the nonnegative reals removed.2012-09-12