Altanis

1.4Continuous Functions

Updated 2 Aug 2026Chapter (PDF)

[1.4.1]Definition(Continuity)#

Let ff be a complex-valued function defined on ΩC\Omega \subset \mathbb{C}.

  1. ff is continuous at z0Ωz_0 \in \Omega if for every ε>0\varepsilon > 0, there exists δ>0\delta > 0 such that:

    f(z)f(z0)<εwhenever zΩ and zz0<δ|f(z) - f(z_0)| < \varepsilon \quad \text{whenever } z \in \Omega \text{ and } |z - z_0| < \delta
  2. Equivalently, ff is continuous at z0z_0 if for every sequence znz0z_n \to z_0 in Ω\Omega, we have f(zn)f(z0)f(z_n) \to f(z_0).

[1.4.2]Theorem(Extreme Value Theorem)#

A continuous function ff on a compact set ΩC\Omega \subset \mathbb{C} is bounded and attains both a maximum and a minimum value on Ω\Omega (where maximum/minimum are defined in terms of the real-valued modulus f(z)|f(z)|).

Note that there is no analogue of the intermediate value theorem, since C\bC does not admit a standard ordering that respects its structure.