Finding something worth knowing…

Science

One mathematical idea covers length, area, mass and the odds of an event

Length, area, volume, mass and probability look like separate notions, yet mathematicians treat them all as versions of one thing, called a measure. The instinct behind it goes back to Archimedes estimating the area of a circle, but the formal theory only took shape around 1900.

A measure is a rule that assigns a size to sets, following a few commonsense requirements. Sizes are never negative, the empty set gets zero, and, crucially, if you split something into countably many non-overlapping pieces, the sizes of the pieces add up to the size of the whole. That last property, called countable additivity, sounds obvious but carries enormous weight, because it lets the rule behave sensibly even when a set is chopped into infinitely many parts. A few consequences follow at once: a bigger set never has a smaller measure, and the size of a growing chain of sets approaches the size of their union.

Change the rule and you change the meaning. The familiar Lebesgue measure extends length on the number line and area in the plane, and it stays the same when a shape is shifted. Arc length on a circle becomes angle measure, unchanged by rotation. Counting measure simply counts elements. A Dirac measure puts all its weight on a single point, giving one to any set containing it and zero otherwise. The Hausdorff measure stretches the idea to fractals, whose dimension need not be a whole number. A probability measure is just one whose total is exactly one, which is why probability theory rests on this foundation.

The modern framework was built in the late nineteenth and early twentieth centuries by a circle that included Lebesgue, Carathéodory, Borel, Fréchet, Radon and the Russian Nikolai Luzin. The historian Thomas Hawkins credits work on multiple integrals, especially by Camille Jordan, with first revealing why measurability mattered.

Physics uses it constantly. The spread of mass through space is a measure. Allowing negative values yields signed measures suited to electric charge. Statistical mechanics relies on the Gibbs measure, and more exotic generalisations appear throughout quantum physics.

Source: Measure (mathematics)

Related

More in Science · All topics