1

MSO202: Introduction To Complex Analysis

Lecture 2

za
Geometrical Interpretation of H a  {z : Im( )  0}, b  0
b
z
We first give the geometrical of H 0  {z : Im( )  0, b  1} , i.e.
b
when a = 0 and b  1.

In this case, write z  r (cos   i sin  ) and b  cos   i sin  ,

then
z
 r[cos(   )  i sin(   )] .
b  means line ka upper region
a

b
La
 

z
Now, z  H 0  sin(   )  0 ( Im( )  0)
b
 0  
     

 H 0 is the half plane lying to the left of line L passing


through origin, if one walks along L in the direction of b .
2

Now,
awa w
w  H 0  a  w  H a ( Im( )  Im( )  0) .
b b
Therefore, H a is the half plane lying to the left of line La

 a and in the direction of b (as we walk in the
passing through
direction of b ).

Ellipses in terms of Complex Numbers

z  a  z  a  2 r represents an ellipse for r > 0 and a  r

z
r
a 0 a

z  a  z  a  2 r represents the interior of the above ellipse

z  a  z  a  2r represents the exterior of the above ellipse.

Annulus

r1  z  a  r2 r2

 z
a r1
3

Half ‐Plane in terms of Complex Numbers

H 0  {z : z  1  z  1}represents the right half plane.

1 1
i

Another way to represent H 0 is

  z  
H 0   z : Im    0   z : Re z  0
  i  

Hyperbola in terms of Complex Numbers

The hyperbola is represented by the parametric equation

1 1
z  t  i ( x  t , y   xy  1)
t t
Intersections of open sets are open sets
Annulus is an open set
Union of open sets are open sets
4

Interior Point of a Set, Open Set, Connected Set and Domain

of Complex Numbers:
Interior Point, Exterior Point of a Set: A point is called
interior point of a set A  C if an open disk centered at this
point and contained in A can be found.
A point is called exterior point of a set A if it is an interior
point of Ac (complement of A ).

Example: Every point of A  {z : z  a  z  a  2r}is an interior

point of set A. Every point of A*  {z : z  a  z  a  2r} is an
exterior point of set A.

Open Set: A set G  C is called an open set if every point of G

is an interior point of G .

Example: The set A  {z : z  a  z  a  2 r} is an open set.

Connected Set: A set A  C is called connected, if for every pair

of points in A, a continuous curve contained in A can be found
that joins these points.

Example: (i) The set A  {z : z  a  z  a  2 r} is connected

(ii) union of two disjoint disks is not a connected set.

Domain: A set A  C which is both open and connected is

called domain.
5

Example: (i) The set A  {z : z  a  z  a  2 r} is a domain (ii)

union of two disjoint disks is not a domain (iii) The set
A  {z : z  a  z  a  2r} is not a domain.

Convergent Sequences of Complex Numbers. A sequence

zn  of complex numbers is said to be convergent if, for some
z0   and every   0 , there exists a non‐negative integer
n0 such that is

zn  z0   for all n  n0 (*)

z0 is called limit of the sequence and we use the notation

z0  lim zn .
n 

It is easily seen that zn  xn  i yn  converges to z0  x0  i y0 iff

and only if xn converges to x0 and yn converges to y0 (use
| xn  x0 || zn  z0 |,| yn  y0 || zn  z0 |)
6

All the results as well as their proofs about convergence of

sequences of complex numbers are analogous to
corresponding results and their proofs for convergence of
sequences of real numbers.

For example, it can be easily shown by arguments similar to

those for real sequences that the sequence {z n }converges to
complex number 0 as n   if z  1 (using (*)), while, for
| z |  1, the sequence {z n } does not converge, since
cos n  i sin n , real , does not converge (since, the sequence
cos n  of its real part does not converge as n   ).
7

Continuous Functions. A function f :    is called

continuous at z0   , if for any  0 , there exists a   0 such
that
f ( z )  f ( z0 )   for z  z0   .

The function f is said to be continuous in a set A if f is

continuous at all the points of A.

The definition of continuity is meaningful only if f is defined in

some neighbourhood of z0 (i.e. a disk centered at z0 ).

Example 1: Let
 xy z2
 2  Im( ) if ( x, y )  (0,0)
f ( x, y )   x  y 2
2z
2


0 if ( x, y )  (0,0)
m
Then, f ( x, y )  along the line y  mx as ( x, y )   0,0  .
1 m 2

Consequently, f is not continuous at (0, 0).

8

Example 2: Let
 x2 y
 4 if ( x, y )  (0,0)
f ( x, y )   x  y 2

0 if ( x, y )  (0,0)

Then, f ( x, y )  0 along the line y  mx as ( x, y )   0,0 
1
but f ( x, y )  along y  x 2 as ( x, y )  (0,0) .
2
Consequently, f is not continuous at (0, 0).
9

Proposition 1. TFAE ( The following are equivalent)

(i) f is continuous at z0
(ii) zn  z0  f ( zn )  f ( z0 )

Proof.

Equivalence of (i) and (ii)

(i )  (ii ) : Let for any   0 , there exists a   0 such that

f ( z )  f ( z0 )   for z  z0   . ……………(1)
Now, zn  z0  zn  z  z0   for all n  n0
 f ( zn )  f ( z0 )   for all n  n0
 f ( zn )  f ( z0 )

(ii )  (i ) : Let zn  z0  f ( zn )  f ( z0 ) . Let f be not

continuous at z0 . Then,   0 such that, for every natural
number n,
0  z  z0  1 / n contains a point zn* satisfying
f ( zn* )  f ( z0 )   0 .
 zn*  z0 but f ( zn* )  f ( z0 ) .
10

Proposition 2. The functions f  g ,  f , fg , f / g ( g  0) are

continuous whenever f and g are continuous. Converse need
not be true.

Proposition 3. If f is continuous in A and g is continuous in the

range of f, then g  f is continuous in A.

The proofs of above propositions are analogous to

corresponding proofs for real valued functions of real
variables.
11

Examples.

(i) Any polynomial in z is continuous in 

(use Proposition 2).

(ii) f is continuous if and only if Re( f ) and Im( f ) are

continuous
(use Proposition 2 and Re( f )  f , Im( f )  f ).

(iii) f is continuous if and only if f is continuous

(use f  f ).

(iv) f is continuous, then f is continuous. Converse need

not be true, e.g. consider, f ( z )  u ( z )  i v ( z ) , where
 , if z has rational coordinates
u( z )   , v( z )   .
  , otherwise
12

Differentiable Functions.

A function f :    is called differentiable at z0 if

f ( z 0   )  f ( z0 )
lim (1)
 0 

exists finitely. In that case, the limit in (1) is called the

derivative of f(z) at the point z0 and is denoted by f ( z0 ) . Note
that f ( z0 ) can also be written as

f ( z0  z )  f ( z0 ) f ( z )  f ( z0 )
f ( z0 )  lim  lim
z 0 z z  z0 z  z0
(take z  z0  z )

Remark. All the results on differentiability of functions

f :    are true for differentiability of functions
f :  and can be proved analogously.
13

Note: If f is diff. it is cont. but the converse need not be true.

2
(Ex. f ( z )  z is cont. everywhere but is diff. only at 0)
___
2 2 2 2 2
z0  z  z0 z0  z  z0 z  z0 z  z0
lim  lim
z 0 z z 0 z
___
___z
 lim ( z0  z  z0 )
z  0 z
= 0 if z0  0 (limit does not exist if z0  0 )
14

Analytic Function. A function f is said to be analytic at z0 if f

(i) f is differentiable at z0 and (ii) f is differentiable in some
neighbourhood of z0 (i.e. in a disk centered at z0 ).
The function f is said to be analytic in a set A, if f is analytic at
all points of A.

It is clear that if f is differentiable in any open set G   , then

f is analytic in G . Converse holds obviously.

Examples:
2
(i) z is not analytic anywhere.
(ii) Any polynomial is analytic at all points of  .