12 Continuity
12 Continuity
Objectives
On the completion of this reading material, students will be able to:
2 Analytic Functions
2.2 Continuity
Definition 2.2.1. A function f is continuous at a point z0 if all the following conditions
are satisfied:
a. Conditions (1) and (2) are contained in Condition (3) since the existence of the
quantity in each side of the equation on (3) is needed.
b. By definition of limits, Condition (3) implies that for each ϵ > 0, there exists δ > 0
such that
d. The following are direct consequence of Theorem 2.1.7 of our lecture on limits
d.1. If two functions f (z) and g(z) are continuous at a given point z0 , then their
sum f (z) + g(z) are also continuous at z0 ;
f (z)
d.2. Consider the two functions in d.1. g(z)
are also continuous provided that
g(z) ̸= 0.
Figure 1: The neighborhoods |z − z0 | < δ, |f (z) − f (z0 )| < γ, and |g[f (z)] − g[f (z0 )]| < ϵ
points z0 , f (z0 ), and g[f (z0 )], respectively
Theorem 2.2.4. If a function f (z) is continuous and nonzero at a point z0 , then f (z) ̸= 0
throughout some neighborhood of z0
Proof. Suppose, by contradiction, that there exists a point z in the neighborhood |z−z0 | <
δ for which f (z) = 0. Since f (z) is continuous and nonzero at z0 , it satisfy Remark 2.2.2b.
Also, we can assign |f (z20 )| to ϵ in Remark 2.2.2b. It follows that there is δ > 0 such that
|f (z0 )|
|f (z) − f (z0 )| < whenever |z − z0 | < δ.
2
Since we can arbitrarily choose δ to be small enough, it follows that
|f (z0 )|
|f (z0 )| < ,
2
which is impossible. Therefore, the result follows.
The succeeding theorem tells us that the continuity of a function
closely related to the continuity of its component functions u and v. This theorem follows
immediately from Theorem 2.1.5 of our lecture on limits.
Theorem 2.2.5. the component functions u and v in Equation (2) are continuous at a
point z0 = (x0 , y0 ) if and only if f is also continuous at z0 .
and is continuous throughout R. And since R is closed and bounded, |f (z)| reaches a
maximum value M somewhere in R. This implies that |f (z)| ≤ M , and therefore f is
bounded on R.