5
$\begingroup$

I can't do this exercise of Conway's Book: For $r>0$ let $A=\{w:w=\exp(1/z), 0<|z|, determine the set $A$. Any hints?

  • 1
    I think you're right. $A$ is also equivilent to {$w:w=exp(z)$, |z|>$1/r$}. The exponential function maps $C$ onto $C-\{0\}$. You can then use periodicity to argue that if |z|<$ 1/r$ then there exists $t$ such that |t|>$ 1/r$ and exp(z)=exp(t). Hence, the range or your function is the same as the range of the exponential function on all of $C$. Namely,$C-\{0\}$. The interesting thing is that this is true no mater how small $r$ is. That's the point of the Casorati Weierstrass theorem.2011-01-09

3 Answers 3

3

Let's prove that $A = \mathbb{C} - \{0\}$. Let's pick $r > 0$. First, we'll prove that $A \subset \mathbb{C} - \{0\}$, then we'll show that $\mathbb{C} - \{0\} \subset A$.

  1. Let's show that $A \subset \mathbb{C} - \{0\}$. This amounts to showing that $0$ does not belong to A. Given any $w, z$ such that $w = exp(1/z)$ and $0 < |z| < r$, we can write: $1/z = a + ib$ (with $a, b \in \mathbb{R}$). Then $|w| = e^a|e^ {ib}| > 0$. Thus, $0$ is not in A.
  2. Now, let's show that any non-zero complex number $x$ can be written as $x = \exp(1/z)$ with $0 < |z| < r$. This will demonstrate that $A \subset \mathbb{C} - \{0\}$. For that, we pick $x \neq 0$. We write $x$ in exponential form ($\rho, \theta \in \mathbb{R}$): \begin{eqnarray} x & = & \rho e^{i\theta}\\ & = & \exp(ln(\rho) + i\theta) \end{eqnarray} Let's pick $k \in \mathbb{N}$ such that $|ln(\rho) + i\theta + 2k\pi| > 1/r$. Then $z = ln(\rho) + i\theta + 2k\pi$ verifies $0 < |z| < r$ and we have $x = exp(1/z)$. Thus $x$ belongs to $A$.

We have shown that A both contains and is a subset of $\mathbb{C} - \{0\}$. Thus $A = \mathbb{C} - \{0\}$

  • 0
    You're right: since r > 0 we have $|r| = r$, so I could have written$r$instead of |r|. Also, point 1 was incorrect. I fixed my answer.2018-08-27
3

The Big Picard Theorem (http://en.wikipedia.org/wiki/Picard_theorem) is a great generalization of Casorati-Weierstrass which says that in the neighborhood of an essential singularity a holomorphic function assumes all complex values with possibly one exception. In this case, that is clearly $0$. So the set is $\mathbb{C}-\{0\}$.

  • 1
    The "Big Picard Theorem" is a very deep theorem about essential singularities of arbitrary holomorphic functions, and you will not see a proof of it in an undergraduate course. But here we have a very special function whose behavior we can describe in an elementary way. So there is no need to appeal to such heavy machinary. Just look at, e.g., the answer of Jonas Meyer.2011-01-12
3

$\exp$ maps each horizontal strip of height $2\pi$ onto $\mathbb{C}\setminus \{0\}$, and for all $r\gt0$, $\{w: w=\frac{1}{z},0\lt|z|\lt r\}$ contains infinitely many such strips.