MATHEMATICAL MYSTERIES

The Popcorn Function: Continuous at Every Irrational, Broken at Every Rational

How a nineteenth-century mathematical “monster” can break in every interval and still have zero area

Most functions we encounter early in mathematics behave the way a drawing suggests they should. Polynomials are smooth, trigonometric functions oscillate predictably, and even functions with discontinuities usually misbehave only at isolated points: a jump here, an asymptote there, perhaps a removable hole.

A familiar polynomial function, f(x) = x³ − 3x. Its graph is smooth and continuous everywhere, illustrating the kind of well-behaved function encountered early in calculus.

Real analysis changes that picture. Once continuity, convergence, and integration are defined with complete precision, mathematicians can ask not only which familiar functions satisfy those definitions, but how far the definitions can be pushed. The nineteenth century produced a remarkable collection of such examples: functions that were continuous everywhere but differentiable nowhere, functions that were discontinuous everywhere, and functions whose graphs seemed deliberately designed to undermine geometric intuition.