Concept

Rational number

A number that is one whole number divided by another, such as 3/4 or −7. The rationals are dense — one lies between any two numbers — yet they can be listed one after another, and that combination is what lets a function behave differently at every fraction than it does everywhere else.

Named by 3 essays across 2 fields — each of them below, with the objects they name alongside it.

Every parity pattern of length up to 12, and each occurring exactly once. A bar for each pattern length, showing the number of distinct parity patterns produced by all remainders of that power of two, which equals the number of remainders at every length.

Every pattern happens exactly once

Choose any sequence of odds and evens and there is exactly one residue class whose orbit follows it, and exactly one fraction that cycles through it forever. The Collatz conjecture is then the statement that only one of those infinitely many cycles is made of whole numbers.

dynamics · Collatz $Thomae's function as a limit of tents, at n = 3 and 8. Continuous functions built from narrow triangles over the fractions, drawn at two stages, with the limit shown as a dot at height 1/q over every fraction p/q: a function continuous at the irrationals and discontinuous at the rationals.$

A limit can jump at every fraction

A sequence of continuous functions can settle, point by point, on a function that is discontinuous at every rational number. It cannot settle on one that is discontinuous everywhere — the indicator of the rationals needs two limits in a row, and Riemann's integral cannot follow the second. The line between the two is Baire's theorem, and it measures smallness by gaps rather than by length.

analysis · Uniform convergence

xⁿ is uniform off a strip, with N = 14, 29, 59 for 3 strips. The functions x to the n on the unit interval with a band of half-width 0.05 around zero. For each of 3 strips next to 1, the member at which every later one stays in the band away from the strip.

Uniform, except on a small set

The functions xⁿ settle on their limit at every point and never uniformly — the trouble is all in a strip next to 1. Throw the strip away and the convergence is uniform on what is left, however thin the strip. Egorov proved that this always happens on an interval, Lusin proved the matching fact about a single function, and a bump sliding off along the whole line shows why both need a set of finite length to start from.

analysis · Uniform convergence

Named alongside it

The objects these essays reach for when they reach for this one.

Continuity Counterexample Pointwise convergence Uniform convergence Baire category Bijection Cantor set Collatz conjecture Convergence Exhaustive search Geometric series Measure

All concepts