If z is in the upper half plane, z is closer to i than (-i). So |z-i|<=|z+i|, so |(z-i)/(z+i)| <= 1, so f(z) is in the unit disk. And the image of the upper half plane is the unit disk.
The question:
For the mapping f(z) = \frac{z − i}{z + i}, ﬁnd the image of {z ∈ C : Im(z) ≥ 0}
I'm confused as to how to attempt this. I tried setting f(z) = w, the rearranged to make z the subject. I then set w = a + ib and found the imaginary part. But it was just a big mess, and I'm fairly sure I have no idea what I'm doing. My text is quite brief on this topic.
Any assistance would be great.
That's a very nice little trick in xxp9's comment. It gets the solution very slickly, but it misses the fact that w=1 is omitted. To see that, it's better to use a less imaginative method.
If then (where the bar denotes the complex conjugate). Since is purely imaginary, the imaginary part of z is . The numerator tells you that if then . But also, the denominator has to be nonzero, which tells you that .
Right I didn't show that the map is surjective or not. Actually there is still a nice way to visualize. The inverse of the stereographic projection sends the upper half plane to the half sphere.
Now check f(z)=(z-i)/(z+i)=[i(z-i)/(z+i)] * [(-i)] = h( g(z) )
On the sphere, g(z)=i(z-i)/(z+i) sends i to 0( south pole), -i to infinity( north pole), 0( south pole) to -i, infinity( north pole) to i. g is the rotation by 90 along the real axis, with -1 and 1 fixed.
And h(z) = -iz rotates the sphere along the z-axis, keeping the south and north poles fixed, sending i to 1 and -i to -1.
In this process, the upper half plane is
1) sent to the half sphere first,
2) then rotated to south half sphere by g,
3) then this south half sphere is rotated along the z-axis by h, keeping in south sphere.
4) Then the stereographic projection sends the south sphere to the unit disk.
To see that 1 is omitted, note that the first step 1) is not surjective. The north pole is never covered.