Matpic
mathematics, in pictures
Theme

Doing infinitely many things — page 2

Sums that never end, subdivisions that never stop, and the care required to make either of them mean something.
the Koch curve, after 5 steps. the Koch curve drawn from its own rule: replace the middle third of every segment with two sides of a triangle. Dynamics

A dimension that is not a whole number

Cover a set with boxes of side ε and count how many are needed. For a line the count grows like 1/ε, for a region like 1/ε². For the Koch curve it grows like 1/ε to the power 1.26, and that exponent is as good a definition of dimension as the other two.

 Whole-number points on x² − 2y² = 1. The branch of the hyperbola x² − 2y² = 1 in the first quadrant, with the whole-number points on it marked and labelled, and the lattice drawn faintly behind. Number

One solution that makes all the others

The equation x² − 2y² = 1 has infinitely many whole-number solutions, and every one of them is a power of the smallest. The multiplication that produces them is what multiplying two numbers of the form a + b√2 comes to when the √2 terms are collected — so an equation about a hyperbola turns out to carry a group.

 Every way of choosing one thing from each of 4 pairs. A table with one row per choice function on a small family of pairs, each row giving what it takes from each pair, with the row a stated rule names picked out. Logic

The choice nobody can write down

Given finitely many pairs, picking one thing from each is a finite list of decisions and needs no justification. Given infinitely many, the list cannot be finished — and whether one exists anyway is an axiom, independent of everything else, whose consequences include a theorem most people refuse to believe.

All themes