Matpic
mathematics, in pictures
Concept

Uniform convergence

Convergence of a sequence of functions in which the largest gap to the limit, taken over the whole domain at once, goes to zero. It is strictly stronger than every point settling separately, and it is what a limit needs in order to inherit continuity from its members.

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

6 cosines, and a curve with no tangent anywhere. Partial sums of a sum of cosines whose amplitudes shrink geometrically and whose frequencies grow faster. Each term adds finer detail; the curve converges and its slopes do not.

A curve with a corner at every point

Continuity means a curve can be drawn without lifting the pen. Differentiability means it has a tangent. The first was assumed to nearly imply the second until 1872, when Weierstrass exhibited a curve that is continuous everywhere and has a tangent nowhere — and it is a sum of cosines.

analysis · The derivative xⁿ at 5 values of n, and the limit. Several members of the sequence xⁿ drawn on one pair of axes with the function they settle on, and the largest gap between each member and that limit reported.

A limit that forgets to be continuous

Every one of the functions x, x², x³, … is as smooth as anything could be, and every column of the picture settles down. What they settle on has a jump in it — and the quantity that sees the difference is the largest gap anywhere, which is a number about the whole graph rather than about any point of it.

analysis · Uniform convergence A polygon of 4 points averaged down to its curve at t = 0.40. A control polygon of 4 points, the 3 rounds of weighted averaging at t = 0.40 drawn as nested polylines, the single point they end at, and the whole curve those points trace. The weights on the control points are 0.216, 0.432, 0.288, 0.064.

Averaging down the triangle

Change one word in the rule that builds Pascal's triangle — take a share of each entry above instead of adding them — and the triangle stops counting and starts averaging. The same rule then draws smooth curves from polygons and approximates every continuous function by polynomials, at a rate that no amount of smoothness can improve.

discrete · Pascals triangle sin(2πkx) for k up to 10, and the largest gap between every pair. Members of the sequence sin 2πkx drawn on one pair of axes, beside a table of the largest vertical gap between every two members, none of which is less than one.

The subsequence that has to exist

Every bounded list of numbers has a part that settles down. A bounded list of functions need not: the waves sin 2πkx never come within 1.76 of one another. One extra condition — that no member may change faster than a bound they all share — restores the guarantee, and it is the reason a differential equation with a continuous rule has a solution at all.

analysis · Uniform convergence Partial sums of x − x²/2 + x³/3 − … on [0, 1]. Partial sums of the power series x − x²/2 + x³/3 − … drawn on the interval from 0 to 1 with the function the series sums to inside the interval, and the values at x = 1 marked.

A sum read from inside

The series 1 − 1/2 + 1/3 − 1/4 + … adds to log 2, and the reason is not in the series. Its power series equals log(1 + x) inside the interval, and the value at the edge is read off by continuity. Abel's theorem says when that reading is honest — and the series 1 − 1 + 1 − …, which has no sum, is read the same way as a half.

analysis · Uniform convergence 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 The best degree-3 polynomial to eˣ: its error touches its largest size 5 times. The error curve of the best uniform polynomial approximation of degree 3 to eˣ on the interval from −1 to 1. It reaches its maximum size 5.528 × 10⁻³ at 5 points, alternately above and below, at x = -1.000, -0.682, 0.050, 0.732, 1.000.

The error that keeps coming back to its worst

Judge a polynomial by its largest error on an interval and there is exactly one best one of each degree. It is recognised without comparing it to anything else — its error rises to the same largest size, alternately above and below, one more time than there are coefficients.

analysis · Taylor series Polynomials climbing to the square root, each above the last. The iterates of p ↦ p + (x − p²)/2 at steps 1, 2, 3, 4, 6, 9 on [0, 1] beneath the curve √x, with largest gaps 1.000, 0.500, 0.259, 0.176, 0.108, 0.068.

Settling in order settles everywhere at once

A sequence of functions can settle at every point and never settle uniformly — the largest gap stays put while each point escapes it. Dini found the circumstances in which that cannot happen: continuous functions, a continuous limit, every member above the next, and a closed interval. Under those four conditions convergence at each point is convergence everywhere at once, and Weierstrass's iteration for the square root becomes a sequence of polynomials converging uniformly to |x|.

analysis · Uniform convergence Heights that shrink to nothing, slopes that grow without bound. Two stacked panels: sin(n²x)/n for n = 2, 3, 5 shrinking towards zero, and their derivatives n·cos(n²x) growing in amplitude.

Close in height and nowhere close in slope

Uniform convergence carries continuity to the limit and carries integrals to the limit. It carries slopes nowhere. The functions sin(n²x)/n flatten to nothing while their slopes grow without bound; smooth curves converge uniformly to a corner; a Fourier series converges and its differentiated series diverges. What does carry a slope is uniform convergence of the slopes themselves — and the reason is that integration averages wiggles away while differentiation multiplies them.

analysis · Uniform convergence

Named alongside it

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

ContinuityCounterexamplePointwise convergenceSupremumConvergenceApproximationCompactnessFourier seriesGeometric seriesInterpolationPolynomialRational number

All concepts