[motivation] The fundamental mystery at the heart of complex analysis is not that holomorphic functions are differentiable — it is that their derivatives are constrained in a way that has no analogue in real analysis. A function $f: \mathbb{R} \to \mathbb{R}$ can be differentiable everywhere yet behave almost arbitrarily: it can oscillate, fail to be twice differentiable, and carry no memory of its values on distant intervals. Complex differentiability is different in kind, not just in degree. When $f: \Omega \to \mathbb{C}$ is holomorphic on an open set $\Omega \subset \mathbb{C}$, its real and imaginary parts are not just smooth — they are harmonic, tied together by the Cauchy–Riemann equations into a rigid system that propagates information across the entire domain. This rigidity has a spectacular geometric consequence: the value of $f$ at any point $z_0$ inside a closed curve is completely determined by the values of $f$ on that curve. Integration, normally thought of as a way to accumulate local data, turns out to detect global topology. Whether a contour integral $\oint_\gamma f(z)\, dz$ vanishes depends not on the smoothness of $f$ along $\gamma$, but on whether $f$ has singularities enclosed by $\gamma$ and how many times the curve winds around them. Cauchy's theorem is the result that makes this precise. It says that for a holomorphic function on a simply connected domain, every closed contour integral vanishes. From this single statement flows most of classical complex analysis: the Cauchy integral formula, the identity theorem, the maximum modulus principle, and the classification of singularities via Laurent series and residues. Understanding Cauchy's theorem is understanding why complex analysis works. [/motivation]

[example: Failure of Path Independence for Non-Holomorphic Functions] To see what makes holomorphicity special, consider first a function that is not holomorphic. Let $f: \mathbb{C} \setminus \{0\} \to \mathbb{C}$ be defined by \begin{align*} f(z) &= \frac{1}{\bar{z}}. \end{align*} Write $z = x + iy$, so $f(z) = \frac{x - iy}{x^2 + y^2}$. This function is smooth as a map $\mathbb{R}^2 \setminus \{0\} \to \mathbb{R}^2$, but it is not holomorphic: the Wirtinger derivative gives $\partial_{\bar{z}} f = \partial_{\bar{z}}(\bar{z}^{-1}) = -\bar{z}^{-2} \cdot \partial_{\bar{z}}\bar{z} = -\bar{z}^{-2} \neq 0$. Integrate $f$ over the unit circle $\gamma(t) = e^{it}$ for $t \in [0, 2\pi]$. We have $dz = ie^{it}\, dt$ and $\overline{\gamma(t)} = e^{-it}$, so \begin{align*} \oint_\gamma \frac{1}{\bar{z}}\, dz &= \int_0^{2\pi} \frac{1}{e^{-it}} \cdot ie^{it}\, dt = \int_0^{2\pi} i e^{2it}\, dt = \frac{i}{2i}\left[e^{2it}\right]_0^{2\pi} = \frac{1}{2}(1 - 1) = 0. \end{align*} That particular integral vanishes, but this is a coincidence of the specific curve and function. Over the square with vertices $\pm 1 \pm i$ (oriented counterclockwise), the integral of $1/\bar{z}$ does not vanish. To see this, compute each side directly. Label the sides: bottom ($y = -1$, $x$ from $-1$ to $1$, $\bar{z} = x+i$, $dz = dx$), right ($x = 1$, $y$ from $-1$ to $1$, $\bar{z} = 1-iy$, $dz = i\,dy$), top ($y = 1$, $x$ from $1$ to $-1$, $\bar{z} = x-i$, $dz = dx$), and left ($x = -1$, $y$ from $1$ to $-1$, $\bar{z} = -1-iy$, $dz = i\,dy$). The four contributions are \begin{align*} I_{\text{bottom}} &= \int_{-1}^{1} \frac{dx}{x+i}, \quad I_{\text{right}} = \int_{-1}^{1} \frac{i\,dy}{1-iy}, \quad I_{\text{top}} = \int_{1}^{-1} \frac{dx}{x-i}, \quad I_{\text{left}} = \int_{1}^{-1} \frac{i\,dy}{-1-iy}. \end{align*} Note that $I_{\text{bottom}} = \int_{-1}^{1} \frac{x-i}{x^2+1}\,dx$ and $I_{\text{top}} = -\int_{-1}^{1} \frac{x+i}{x^2+1}\,dx$; their real parts cancel while their imaginary parts add: $I_{\text{bottom}} + I_{\text{top}} = -2i\int_{-1}^1 \frac{dx}{x^2+1} = -2i\cdot\frac{\pi}{2} = -\pi i$. Similarly, $I_{\text{right}} = \int_{-1}^1 \frac{i(1+iy)}{1+y^2}\,dy$ and $I_{\text{left}} = -\int_{-1}^1 \frac{i(-1+iy)}{1+y^2}\,dy$; together they give $I_{\text{right}} + I_{\text{left}} = -2\int_{-1}^1 \frac{y}{1+y^2}\,dy + 2i\int_{-1}^1 \frac{dy}{1+y^2}$. The first integral vanishes by oddness and the second gives $\pi i$, so $I_{\text{right}} + I_{\text{left}} = \pi i$. The total is $(-\pi i) + (\pi i) = 0$ — but this particular cancellation is an accident specific to this symmetric contour and this integrand. The essential point is not the final value but what produces it: the integral depends on which path is taken, as the Cauchy–Riemann test confirms directly. Since $\partial_{\bar z}(1/\bar z) = -\bar z^{-2} \neq 0$, Green's theorem gives $\oint_{\partial E} (1/\bar z)\,dz = 2i\iint_E \partial_{\bar z}(1/\bar z)\,d\mathcal{L}^2 \neq 0$ for a generic region $E$ — the value changes if we deform the contour, which is the hallmark of path dependence. This shows that $1/\bar z$ behaves fundamentally differently from holomorphic functions. For holomorphic functions, Cauchy's theorem guarantees that path-independence always holds on simply connected domains. [/example]

## Definition

The setting for Cauchy's theorem is the complex plane viewed as a domain in $\mathbb{C}$. The central object of integration theory in $\mathbb{C}$ is the contour: a path along which we can integrate a complex function. In one-variable real calculus, integrals run from $a$ to $b$ along the real line. In $\mathbb{C}$, there is an uncountable family of paths between any two points, and integration along different paths can give different results. We need a class of paths well-behaved enough to integrate along. Continuity alone is not sufficient: a continuous path can be wildly oscillatory — even space-filling — and the substitution formula $\int_a^b f(\gamma(t))\gamma'(t)\,dt$ requires $\gamma'$ to exist. But asking for $\gamma$ to be globally smooth ($C^1$ on all of $[a,b]$) is too restrictive: a rectangle has corners, and a square wave has kinks, yet both are perfectly natural integration paths. The right compromise is piecewise smooth curves: $\gamma'$ exists and is continuous on finitely many subintervals, with $\gamma'(t) \neq 0$ on each open piece to ensure the curve has a nondegenerate tangent (no reversals or cusps that would make the direction of traversal ill-defined). This condition guarantees that the arc length $\int_a^b |\gamma'(t)|\,dt$ is well-defined and finite, that the substitution formula applies on each smooth piece and the results can be summed, and that the orientation of the path is unambiguous.

[definition: Contour] A **contour** (or **piecewise smooth curve**) in $\mathbb{C}$ is a continuous function $\gamma: [a, b] \to \mathbb{C}$ such that there exist finitely many points $a = t_0 < t_1 < \cdots < t_n = b$ with $\gamma$ continuously differentiable on each subinterval $[t_{k-1}, t_k]$ and $\gamma'(t) \neq 0$ on each open subinterval $(t_{k-1}, t_k)$. The contour $\gamma$ is **closed** if $\gamma(a) = \gamma(b)$. It is **simple** (or a **Jordan curve**) if it is injective on $[a, b)$ (no self-intersections other than possibly the endpoint). The **image** of $\gamma$ is the set $\gamma^* = \{\gamma(t) : t \in [a, b]\} \subset \mathbb{C}$. Given a contour $\gamma$ and a continuous function $f: \gamma^* \to \mathbb{C}$, the **contour integral** of $f$ along $\gamma$ is \begin{align*} \int_\gamma f(z)\, dz &= \int_a^b f(\gamma(t))\, \gamma'(t)\, dt, \end{align*} where on subintervals where $\gamma'$ fails to exist, the integrand is extended by continuity. If $\gamma$ is closed, we write $\oint_\gamma f(z)\, dz$. [/definition]

The contour integral is the correct way to integrate complex functions: it reduces to a real integral in terms of the parametrization, and it is independent of the choice of parametrization (up to orientation). Two different parametrizations of the same geometric curve yield the same integral.

## Holomorphicity and Simple Connectedness

With the notion of integration in hand, we need to say what kind of functions we are integrating and what kind of domains we are integrating over. These two conditions — holomorphicity of the function and simple connectedness of the domain — are the two hypotheses of Cauchy's theorem.

In real analysis, differentiability of $f: U \subset \mathbb{R}^2 \to \mathbb{R}^2$ just requires the existence of the Jacobian matrix. Complex differentiability is more restrictive: the limit must exist and be the same regardless of the direction in which we approach the point. This directional constraint is what makes complex analysis so rigid.

[definition: Holomorphic Function] Let $\Omega \subset \mathbb{C}$ be an open set. A function $f: \Omega \to \mathbb{C}$ is **holomorphic at $z_0 \in \Omega$** if the limit \begin{align*} f'(z_0) &= \lim_{h \to 0} \frac{f(z_0 + h) - f(z_0)}{h} \end{align*} exists in $\mathbb{C}$, where $h \in \mathbb{C} \setminus \{0\}$ approaches $0$ from any direction. The function $f$ is **holomorphic on $\Omega$** (written $f \in \mathcal{O}(\Omega)$) if it is holomorphic at every point of $\Omega$. It is **entire** if it is holomorphic on all of $\mathbb{C}$. [/definition]

[remark: Holomorphic vs. Complex Differentiable] Some texts distinguish "holomorphic" (differentiable in a neighborhood) from "complex differentiable" (differentiable at a single point). On open sets, the two coincide, and we use "holomorphic" throughout. The word "analytic" is also used as a synonym, justified by the theorem — proved later using Cauchy's formula — that holomorphic functions are locally equal to their Taylor series. [/remark]

The Cauchy–Riemann equations give a concrete test for holomorphicity in terms of the real and imaginary parts of $f$.

[quotetheorem:333]

The Cauchy–Riemann equations are the real manifestation of the constraint that the complex derivative must exist in all directions simultaneously. When $h \to 0$ along the real axis, $f'(z_0) = \partial_x u + i\partial_x v$. When $h \to 0$ along the imaginary axis, $f'(z_0) = -i\partial_y u + \partial_y v$. Equating these forces exactly the Cauchy–Riemann equations. The Wirtinger derivative $\partial_{\bar{z}} f = 0$ is the elegant reformulation: $f$ is holomorphic iff it does not depend on $\bar{z}$ at all, only on $z$.

The second hypothesis of Cauchy's theorem is a condition on the domain. The theorem requires the domain to have no "holes" — no topological obstacles that would force a contour to wind around a singularity without any hope of being contracted away.

[definition: Simply Connected Domain] An open set $\Omega \subset \mathbb{C}$ is **simply connected** if it is connected and every closed contour in $\Omega$ can be continuously deformed within $\Omega$ to a point. Equivalently, $\Omega$ is simply connected if its complement $\mathbb{C} \setminus \Omega$ is connected (in the extended complex plane $\hat{\mathbb{C}} = \mathbb{C} \cup \{\infty\}$). In particular, any convex open set is simply connected, and the full complex plane $\mathbb{C}$ itself is simply connected. The punctured plane $\mathbb{C} \setminus \{0\}$ and the annulus $\{z : r < |z| < R\}$ are not simply connected. [/definition]

[illustration:simply-connected-vs-annulus]

Simple connectedness is not just a technical hypothesis to check and forget — it is the exact geometric condition that separates domains where Cauchy's theorem holds from those where it fails. The following explanation shows precisely what goes wrong when the domain has a hole.

[explanation: Why Simple Connectedness Is Necessary] Simple connectedness is precisely the condition that prevents a contour from encircling a singularity. The function $f(z) = 1/z$ is holomorphic on $\mathbb{C} \setminus \{0\}$, but

\begin{align*} \oint_{|z|=1} \frac{1}{z}\, dz &= 2\pi i \neq 0. \end{align*}