Complex Analysis 2 | Complex Differentiability [dark version]

TL;DR

Differentiability at a point z0 is local, so the domain only needs to include an open neighborhood around z0.

Briefing Cornell Notes

Briefing

Complex differentiability in the complex plane hinges on a limit that must work across *all* directions of approach, not just from “left” or “right.” The core setup is the same as in real analysis—differentiability is defined through a linear approximation via a difference quotient—but the complex setting turns the limit into a genuinely two-dimensional constraint. That matters because it makes complex differentiability far stricter than real differentiability: the derivative can’t depend on how the input approaches the point.

The discussion begins by framing differentiability as a local property. If a function f: C → C is differentiable at a point z0, only the behavior of f near z0 matters. This allows the domain U to be any open subset of the complex plane rather than the whole plane. The key topological notion needed is what “open” means in C: a set U is open if, for every point z in U, there exists an ε-ball around z—denoted Bε(z)—that lies entirely inside U. Visually, points on the boundary cannot belong to U; whenever a point is in U, a whole neighborhood around it must also be contained in U. The complex plane itself is open, and every ε-ball is open under this definition.

With an open domain U in place, the definition of complex differentiability at a point z0 is given using the standard limit form from difference quotients. One considers the ratio (f(z) − f(z0)) / (z − z0) and requires that as z approaches z0, this ratio converges to a single complex number. The limit’s meaning is unpacked using sequences: for every sequence {zn} in U that avoids z0 but converges to z0, the corresponding sequence of difference quotients must also converge, and—crucially—the resulting limit must be the same for every such sequence.

This sequence-based interpretation highlights the main difference from real analysis. In R, approaching a point can be split into left-hand and right-hand behavior because there is an inherent order. In C, there is no order, and there are infinitely many directions to approach z0. As a result, the limit condition is more demanding: the derivative must be consistent regardless of the path taken through the complex plane. The transcript flags that these consequences—stemming from the multi-directional nature of limits in C—will be developed through examples and further analysis in the next segment.

Cornell Notes

Complex differentiability for functions f: C → C is defined through the same difference-quotient limit used in real analysis, but the complex setting forces the limit to work for *every* way of approaching the point. Because differentiability is local, the domain U only needs to be an open set in C, meaning each point z in U has an ε-ball Bε(z) fully contained in U. The limit is interpreted via sequences: for any sequence {zn} in U with zn ≠ z0 and zn → z0, the quotients (f(zn) − f(z0)) / (zn − z0) must converge to the same value. Unlike in R, there’s no left/right notion in C, so consistency across all directions makes complex differentiability stricter.

Why can the domain of a complex function be restricted to an open set U rather than the whole complex plane?

Differentiability at a point z0 is a local property: only the behavior of f near z0 matters. That means the function doesn’t need to be defined everywhere, as long as there is a neighborhood around z0 where the limit can be taken. In complex analysis, that neighborhood is guaranteed by requiring U to be open: for each z in U, some ε-ball Bε(z) lies entirely within U.

What does it mean for a set U in the complex numbers to be open?

A set U ⊂ C is open if for every point z in U there exists ε > 0 such that the entire ε-ball Bε(z) is contained in U. Informally, if a point is in U, then all sufficiently nearby points are also in U; boundary points cannot be included in a way that would prevent an ε-ball from fitting inside the set.

How is complex differentiability at z0 defined using a limit?

Complex differentiability at z0 requires the limit of the difference quotient (f(z) − f(z0)) / (z − z0) as z → z0 to exist and equal a single complex number. This is the linear approximation condition: the secant slope must approach a well-defined tangent-like slope as z gets arbitrarily close to z0.

How does the sequence definition of limits explain the difference between real and complex differentiability?

The limit condition is equivalent to: for every sequence {zn} in U with zn ≠ z0 and zn → z0, the sequence of quotients (f(zn) − f(z0)) / (zn − z0) must converge, and the limit must be independent of the chosen sequence. In R, order lets one separate left-hand and right-hand approaches; in C, there are infinitely many approach directions, so the derivative must be consistent along all of them.

What role does the absence of an order in C play in the definition’s consequences?

In real numbers, approaching a point naturally splits into two cases (from the left or from the right). Complex numbers lack such an order, so there’s no simple two-case split. Instead, approaching z0 can happen along countless paths and directions, making the limit requirement more restrictive and leading to stronger consequences for what functions can be complex differentiable.

Review Questions

State the formal condition for a set U ⊂ C to be open using ε-balls.
Write the difference-quotient limit that defines complex differentiability at z0 and describe what must be true about the limit across different sequences.
Explain why complex differentiability is stricter than real differentiability in terms of approach directions.

Key Points

1
Differentiability at a point z0 is local, so the domain only needs to include an open neighborhood around z0.
2
A set U in C is open if every point z in U has an ε-ball Bε(z) fully contained in U.
3
Complex differentiability at z0 requires the limit of (f(z) − f(z0)) / (z − z0) as z → z0 to exist.
4
The limit condition can be expressed using sequences: any sequence zn → z0 (with zn ≠ z0) must make the difference quotients converge.
5
The derivative must be the same for all sequences approaching z0, not just for some directions or paths.
6
Unlike in R, C has no left/right order, so approach behavior must be consistent across infinitely many directions.

Highlights

Complex differentiability demands a single difference-quotient limit that works for *every* approach direction to z0.

Openness in C is defined via ε-balls: if z is in U, then Bε(z) must lie entirely in U for some ε > 0.

The sequence-based interpretation shows why complex limits are path-sensitive: the limit can’t depend on how z approaches z0.

Because C has no order, there’s no left-hand/right-hand split; consistency must hold in all directions.