Bernhard Riemann

Bernhard Riemann (1826–1866) was a German mathematician whose ideas reshaped analysis, geometry, and number theory. One line: he introduced rigorous integration, founded modern differential geometry through curved manifolds, and posed the Riemann Hypothesis — arguably mathematics' deepest open problem. Applies in: complex analysis, geometry, general relativity, analytic number theory. Who/When: Georg Friedrich Bernhard Riemann, active at Göttingen, ~1851–1866.

Bernhard Riemann was a German mathematician of extraordinary originality whose short career produced foundational results across nearly every branch of mathematics he touched. He gave the first rigorous definition of the definite integral (the Riemann Integral), developed the theory of Riemann surfaces that geometrized complex analysis, founded the intrinsic theory of curved spaces in his 1854 habilitation lecture (the basis of Riemannian Geometry), and in an eight-page 1859 paper connected the distribution of prime numbers to the zeros of the Riemann Zeta Function. The surprising fact: a man who published fewer than a dozen papers and died of tuberculosis at 39 left problems and frameworks that still dominate research today — the Riemann Hypothesis remains unsolved after 165 years and carries a million-dollar prize.

The Core Insight

Riemann's unifying genius was geometric thinking applied to analysis. Where his predecessors manipulated formulas, Riemann asked what space is this object living on? This shift — from algebraic expression to underlying manifold or surface — turned multivalued functions into single-valued maps on surfaces, turned the parallel postulate into a question about curvature, and turned prime counting into the geometry of zeros in the complex plane.

Formal Statement of Riemann's Principal Contributions

Riemann's legacy is not a single theorem but a constellation. We state the core objects precisely.

The Riemann Integral

For a bounded function and a partition with sample points , the Riemann sum is where . The function is Riemann integrable if the limit below exists independent of choices, as the mesh .

1
⟳bound upper and lower sums and ; integrability is .

The Riemann Zeta Function

For complex with , the zeta function is defined by a series equal to an Euler product over primes :

2
⟳expand each factor as a geometric series and multiply; unique factorization of integers reproduces every exactly once.

Riemann analytically continued to all of and proved the functional equation relating to :

3
⟳use the integral representation where is a theta sum, then apply the Jacobi theta transformation .

Riemannian Metric and Curvature

A Riemannian manifold is a smooth manifold equipped with a smoothly varying inner product (metric tensor) on each tangent space. Lengths and angles are computed by the line element:

4
⟳generalize the Pythagorean by allowing position-dependent coefficients that encode how the space is curved.

The intrinsic curvature is captured by the Riemann curvature tensor , built from the metric's Christoffel symbols :

5
⟳measure the failure of second covariant derivatives to commute, — parallel transport around a small loop detects curvature.

Cauchy–Riemann Equations and Conformality

A complex function is holomorphic on an open set iff have continuous partials satisfying

6
⟳require the difference quotient to be independent of the direction of ; equating real and along-imaginary limits yields both equations.

Holomorphic maps with nonzero derivative are conformal (angle-preserving), the analytic foundation of Riemann surface theory.

Why It Holds — The Riemann Mapping Idea

Sketch: The Riemann Mapping Theorem

Statement. Any simply connected open proper subset is biholomorphic to the open unit disk .
  1. Reduce to a bounded family. Fix . Consider the family of injective holomorphic maps with and . Show is nonempty: since , pick , take a branch of (possible since is simply connected), and compose with a Möbius map into .
  1. Maximize the derivative. Let . The family is uniformly bounded (maps into ), hence normal by Montel's theorem: every sequence has a locally uniformly convergent subsequence.
  1. Extract the extremal map. Take with ; a subsequence converges to with . Hurwitz's theorem keeps injective; maps into and the maximum modulus principle forces it into .
  1. Surjectivity by contradiction. If missed some , an explicit square-root-and-Möbius construction produces with , contradicting maximality. Hence is the desired biholomorphism.

Riemann's original 1851 proof used the Dirichlet principle — asserting that an energy-minimizing function exists. Weierstrass exposed a gap: minimization over an infinite-dimensional space need not attain its infimum. The theorem is true, but Riemann's justification was incomplete; Hilbert later rehabilitated the Dirichlet principle. This is a textbook case of correct intuition outrunning available rigor.

Georg Friedrich Bernhard Riemann | 1826–1866

Born in Breselenz, Kingdom of Hanover, to a Lutheran pastor, Riemann was shy, deeply religious, and chronically anxious about money and health. He entered Göttingen to study theology at his father's wish but switched to mathematics with permission. He studied under Carl Friedrich Gauss and Dirichlet, absorbing the highest standards of the era. His 1851 doctoral thesis on complex functions, his 1854 habilitation lecture on geometry (delivered to a committee including an aged Gauss, who was reportedly astonished), and his 1859 prime-counting memoir form the spine of modern mathematics. Plagued by tuberculosis, he sought relief in Italy's climate and died at Lake Maggiore aged 39. His housekeeper reportedly discarded unpublished papers — a permanent loss to mathematics.

Building Intuition

Picture three of Riemann's leaps as the same move applied in different rooms:

  • Integration: instead of asking for a formula, chop the domain finely and add up rectangles — the area is whatever the sums converge to. Geometry over algebra.
  • Riemann surfaces: a function like is "two-valued" only because we forced it onto a flat plane. Build the right surface — two sheets stitched along a branch cut — and becomes a clean single-valued map. The multivaluedness was the plane's fault, not the function's.
  • Curvature: you don't need to step outside a surface to know it's curved. Walk a triangle and measure whether the angles sum to more or less than . Riemann made this intrinsic — curvature lives inside the metric, no embedding required.

The connecting idea: the right space makes hard things easy.

A two-sheeted Riemann surface for √z: walking around the branch point at the origin moves you between sheets.

<svg viewBox="0 0 460 300" xmlns="http://www.w3.org/2000/svg">
  <rect width="460" height="300" fill="#0a0e17"/>
  <!-- upper sheet -->
  <ellipse cx="230" cy="100" rx="150" ry="45" fill="none" stroke="#94a3b8" stroke-width="1.5"/>
  <text x="40" y="95" fill="#e2e8f0" font-size="13">Sheet 1</text>
  <!-- lower sheet -->
  <ellipse cx="230" cy="210" rx="150" ry="45" fill="none" stroke="#94a3b8" stroke-width="1.5"/>
  <text x="40" y="218" fill="#e2e8f0" font-size="13">Sheet 2</text>
  <!-- branch point -->
  <circle cx="230" cy="155" r="4" fill="#d4a853"/>
  <text x="240" y="160" fill="#e2e8f0" font-size="12">branch point (z=0)</text>
  <!-- the connecting curve crossing sheets -->
  <path d="M 110 100 A 120 40 0 0 0 350 100 A 120 40 0 0 1 350 210 A 120 40 0 0 0 110 210 A 120 40 0 0 1 110 100"
        fill="none" stroke="#d4a853" stroke-width="2.5"/>
  <text x="300" y="270" fill="#d4a853" font-size="12">path winds twice → returns</text>
  <!-- arrows of travel -->
  <text x="200" y="50" fill="#e2e8f0" font-size="11">one loop swaps sheets; two loops close the path</text>
</svg>

Worked Examples

Computing a Riemann integral from the definition

Given: on . Use a uniform partition into equal subintervals with right endpoints. Steps:
  • Width: ; sample point .
  • Riemann sum: .
  • Use :
  • Take : .
Answer: (square units). Matches .

Curvature of a sphere from the metric

Given: the unit-radius round sphere has metric , so . Find the Gaussian (sectional) curvature. Steps:
  • Nonzero Christoffel symbols: , .
  • The relevant curvature component:
  • Gaussian curvature .
Answer: everywhere (dimensionless / curvature units ). A unit sphere has constant positive curvature — independent of position, as Gauss's Theorema Egregium anticipated and Riemann generalized.

Common Misconceptions

"Riemann proved the Riemann Hypothesis." He did not. In his 1859 paper he conjectured that all nontrivial zeros of have real part , remarking he could not prove it and setting it aside as not essential to his immediate goal. It remains unproven. Likewise, Riemann did not invent the integral concept from nothing — he made rigorous and general what Cauchy and others had handled for continuous functions. Not every bounded function is Riemann integrable. The Dirichlet function
on has upper sum and lower sum for every partition, since each subinterval contains both rationals and irrationals. So and the Riemann integral does not exist. (It is Lebesgue integrable, with integral — a key motivation for the later Lebesgue Integral.)

Connections

Riemann's work is a web binding much of modern mathematics:

Real-World Applications

Riemann's ideas underpin a strikingly wide range of named applications:

  1. General Relativity (Einstein, 1915): spacetime is a pseudo-Riemannian 4-manifold; the Einstein field equations are written with the Riemann/Ricci curvature tensors. GPS satellite clocks are corrected using this geometry.
  2. Numerical integration: Riemann sums are the conceptual basis of the trapezoidal rule, Simpson's rule, and quadrature methods in scientific computing.
  3. Cryptanalysis and number theory: assuming the Riemann Hypothesis, one obtains sharp bounds on prime gaps used in analyzing primality tests and certain cryptographic constructions.
  4. String theory & conformal field theory: worldsheets are Riemann surfaces; scattering amplitudes integrate over their moduli spaces.
  5. Computer graphics & cartography: conformal (Cauchy–Riemann) maps preserve angles, used in texture mapping and the design of map projections.
  6. Fluid dynamics: 2D incompressible, irrotational flow is governed by holomorphic complex potentials obeying the Cauchy–Riemann equations.
  7. Shock waves & PDEs: the Riemann problem (a conservation law with piecewise-constant initial data) is central to computational fluid dynamics solvers like Godunov's method.

Historical Development

  • 1826 — Born September 17 in Breselenz, Hanover, second of six children of a Lutheran minister.
  • 1846–47 — Enters University of Göttingen (theology, then mathematics); attends Gauss's lectures, moves to Berlin to study under Dirichlet, Jacobi, Eisenstein.
  • 1851 — Doctoral dissertation under Gauss: Grundlagen für eine allgemeine Theorie der Functionen — introduces Riemann surfaces and the mapping theorem.
  • 1854 — Habilitation lecture Über die Hypothesen, welche der Geometrie zu Grunde liegen ("On the Hypotheses which lie at the Foundations of Geometry"); founds Riemannian geometry. Gauss is deeply impressed.
  • 1857 — Major paper on Abelian functions; appointed extraordinary professor at Göttingen.
  • 1859 — Elected to the Berlin Academy; submits Über die Anzahl der Primzahlen unter einer gegebenen Größe — the prime-counting memoir containing the functional equation and the Hypothesis.
  • 1859 — Succeeds Dirichlet as full professor at Göttingen.
  • 1862 — Marries Elise Koch; falls seriously ill with tuberculosis shortly after.
  • 1866 — Dies July 20 at Selasca, Lake Maggiore, Italy, aged 39. His collected works, edited posthumously, sustain decades of research.

Subtleties & Limits

The Riemann Hypothesis — that every nontrivial zero of satisfies — is the most consequential unsolved problem in mathematics, a Clay Millennium Prize Problem (). Billions of zeros have been verified numerically on the critical line, and deep partial results exist (a positive proportion of zeros lie on the line; zero-free regions near give the Prime Number Theorem). Yet no proof or disproof is known. A resolution would sharpen our understanding of the distribution of primes from "approximately" to "essentially optimally." Adjacent open frontiers include the generalized and grand Riemann hypotheses, the Hilbert–Pólya conjecture (seeking a self-adjoint operator whose eigenvalues are the zeros), and connections to random matrix theory (Montgomery–Odlyzko pair-correlation statistics).

See Also

Riemann Hypothesis · Riemann Zeta Function · Riemann Integral · Riemann Surfaces · Riemannian Geometry · Cauchy–Riemann Equations · Riemann Mapping Theorem · Carl Friedrich Gauss · General Relativity · Prime Number Theorem · Lebesgue Integral

Before this

  • Real Analysis — limits, suprema, and partitions underlie the Riemann integral.
  • Complex Analysis — holomorphy and contour integration ground the zeta function and surfaces.
  • Multivariable Calculus — tensors and differentials needed for the metric and curvature.
  • Linear Algebra — inner products and bilinear forms define the Riemannian metric.
  • Point-Set Topology — manifolds and Riemann surfaces require open sets and continuity.

Where this leads