14.3 Advances in complex analysis and topology

Complex Analysis

Fundamentals of Complex Numbers and Functions

Complex numbers extend the real number line into a second dimension, which turns out to be enormously powerful for solving problems that are intractable with real numbers alone. Euler was central to developing this framework during the 18th century.

A complex number takes the form $a + bi$, where $a$ is the real part, $b$ is the imaginary part, and $i = \sqrt{-1}$. These numbers can be plotted on the complex plane (also called the Argand plane, though Euler worked with these ideas before Argand's 1806 publication): the horizontal axis represents the real part, and the vertical axis represents the imaginary part.

• Complex functions map complex numbers to complex numbers. You can visualize them as transformations that warp the complex plane.
• An analytic function is one that can be represented by a convergent power series in a neighborhood of each point in its domain. In the complex setting, this turns out to be equivalent to being holomorphic, meaning the function is complex-differentiable in a neighborhood of every point. This equivalence is a striking result specific to complex analysis; in real analysis, being expressible as a power series is a much stronger condition than mere differentiability.

Euler's formula, $e^{i\theta} = \cos\theta + i\sin\theta$, is one of the most celebrated results connecting complex numbers to trigonometry. It gave mathematicians a unified language for exponential and trigonometric functions.

Cauchy-Riemann Equations and Contour Integration

The Cauchy-Riemann equations give the conditions a complex function must satisfy to be analytic. While Euler and d'Alembert encountered versions of these conditions in the 18th century, Cauchy and Riemann formalized them rigorously in the 19th century.

For a function $f(x + yi) = u(x, y) + v(x, y)i$, the equations are:

• $\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}$
• $\frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$

If these partial derivatives exist, are continuous, and satisfy both equations at a point, then $f$ is complex-differentiable there. This is a much more restrictive condition than real differentiability, which is why analytic functions have such strong properties.

Contour integration involves integrating a complex function along a curve (or "contour") in the complex plane. The key result here is Cauchy's integral theorem: if $f$ is analytic throughout a simply connected region, then the integral of $f$ around any closed contour in that region equals zero. Cauchy published this theorem in 1825, building on groundwork from Euler's era.

Residue Theorem and Its Applications

The residue theorem, also due to Cauchy (1840s), connects contour integrals to the behavior of functions at their singularities. A singularity is a point where a function fails to be analytic, and the residue at that point captures the essential information about how the function behaves there.

The theorem states:

$\oint_C f(z)\, dz = 2\pi i \sum \text{Res}(f, z_k)$

where the sum is over all singularities $z_k$ enclosed by the contour $C$.

This result is remarkably useful in practice:

• Evaluating real definite integrals that are difficult or impossible with standard calculus techniques, including integrals that arise in Fourier analysis
• Summing infinite series by converting them into contour integrals
• Solving boundary value problems in physics and engineering, such as fluid flow and electrostatics

While the residue theorem was formalized after Euler's lifetime, Euler's extensive work on series, integrals, and complex exponentials provided the raw material that made these later developments possible.

Topology

Fundamental Concepts in Topology

Topology studies properties of geometric objects that are preserved under continuous deformations like stretching, bending, and twisting, but not tearing or gluing. Two shapes are considered equivalent (or homeomorphic) if one can be continuously deformed into the other.

Euler's most important contribution here is the Euler characteristic, a topological invariant calculated as:

$\chi = V - E + F$

where $V$ is the number of vertices, $E$ is the number of edges, and $F$ is the number of faces. Euler stated this formula for convex polyhedra in 1758. For any convex polyhedron, $\chi = 2$. A cube, for instance, has 8 vertices, 12 edges, and 6 faces: $8 - 12 + 6 = 2$. A tetrahedron gives $4 - 6 + 4 = 2$. The result holds regardless of the specific polyhedron, as long as it's homeomorphic to a sphere.

The genus of a surface counts its "handles" or holes. A sphere has genus 0 ($\chi = 2$), and a torus (doughnut shape) has genus 1 ($\chi = 0$). The relationship is $\chi = 2 - 2g$ for closed orientable surfaces, where $g$ is the genus. This links a combinatorial quantity (counting vertices, edges, faces) to a geometric one (number of holes), which is exactly the kind of deep connection topology reveals.

Exotic Surfaces and Non-orientability

Some surfaces defy everyday geometric intuition. A surface is orientable if you can consistently define a "front" and "back" everywhere on it. Non-orientable surfaces lack this property.

The Möbius strip, described by August Möbius and Johann Listing in 1858, is the most famous non-orientable surface. You create one by taking a rectangular strip of paper, giving it a single half-twist, and joining the ends. The result has surprising properties:

• It has only one side. If you start drawing a line along the center, you'll return to your starting point having covered both "sides" without ever crossing an edge.
• It has only one boundary edge, not two.
• If you cut it along the center line, you get one long strip with two half-twists rather than two separate pieces.

The Klein bottle, conceived by Felix Klein in 1882, takes non-orientability further. It's a closed surface (no boundary at all) that is non-orientable. Conceptually, you form it by joining the ends of a cylinder, but with one end passed through the wall of the cylinder so the inside connects to the outside. This self-intersection is unavoidable in three dimensions; the Klein bottle can only be properly embedded without self-intersection in four-dimensional space.

Both the Möbius strip and Klein bottle postdate Euler's era, but they grew out of the topological thinking that Euler's polyhedron formula initiated. His insight that certain geometric properties are invariant under deformation opened the door to studying shapes in terms of their connectivity and structure rather than their precise measurements.