(*Make a plot of the vertical lines x=a for a=-1,-1/2,1/2,1 and the horizontal lines y=b for

b=-1,-1/2,1/2,1. Find the plot of the grid under the mapping w=f(z)=1/z. *)

Taking into account the point at infinity, we see that the image of the line x = 0 is the line u = 0; that
is, the y axis is mapped onto the v axis.
Similarly, the x axis is mapped onto the u axis. Again, the inverse mapping is
1 u -v
z = = + , so if a ≠ 0, the vertical line x = a is mapped onto the set of (u, v) points
w u2 +v2 u2 +v2
u
satisfying = a. For (u, v) ≠ (0, 0), this outcome is equivalent to
u2 +v2

1 1 1 2 2
u2 - u+ + v2 = u -  + v2 =  21a  ,
a 4 a2 2a

1 1
which is the equation of a circle in the w plane with center w0 = 2a
and radius 2a
. The point at
infinity is mapped to (u,v)=(0,0).
Similarly, the horizontal line y = b is mapped onto the circle

1 1 1 2 2
u 2 + v2 + v+ = u2 + v +  =  21b 
b 4 b2 2b

1
which has center w0 = - 2b and radius 2b
.
y v
1
2 b=€€€€
€€
€
2
-1 1
a=-1 a=€€€€
€€
€ a=€€
€
€ a=1
2 2
1 b=1
1 b=-1
1
b=€€
€
€
2 a=-1 a=1
u
x -2 -1 1 2
-1 1

-1
b=€€€€ -1 1
2 a=€€€€
€€
€ -1 a=€€
€
€
2 b=1 2
-1 b=-1
1
-2 b=€€
€
€
2
2 prct. 7_Updated.nb

z = x +  y;
A5 = ContourPlot[{Abs[1 / z - 1 / 2]  1 / 2, Abs[1 / z + 1 / 2]  1 / 2,
Abs[1 / z - 1 / 4]  1 / 4, Abs[1 / z + 1 / 4]  1 / 4, Abs[1 / z - I / 2]  1 / 2,
Abs[1 / z + I / 2]  1 / 2, Abs[1 / z - I / 4]  1 / 4, Abs[1 / z + I / 4]  1 / 4},
{x, - 5, 5}, {y, - 5, 5}, Axes  True, AxesLabel  {x, y}, AxesOrigin  {0, 0}];
w = u +  v;
A7 = ContourPlot[
{Abs[w - 1 / 2]  1 / 2, Abs[w + 1 / 2]  1 / 2, Abs[w - 1 / 4]  1 / 4, Abs[w + 1 / 4]  1 / 4,
Abs[w - I / 2]  1 / 2, Abs[w + I / 2]  1 / 2, Abs[w - I / 4]  1 / 4, Abs[w + I / 4]  1 / 4},
{u, - 1, 1}, {v, - 1, 1}, Axes  True, AxesLabel  {u, v}, AxesOrigin  {0, 0}];
GraphicsRow[{A5, A7}]

y v
1.0
4

0.5
2

0 x 0.0 u

-2
-0.5

-4
-1.0
-4 -2 0 2 4 -1.0 -0.5 0.0 0.5 1.0