Matpic
mathematics, in pictures
Concept

Rank — where it appears

The number of independent directions a linear map's output can reach, which is the dimension of its image. It is the dimension of the image, and it plus the nullity is the dimension of the space the map started from.

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

A linear map redrawing the plane. The integer grid before and after a linear transformation; the shaded unit square becomes a parallelogram whose area is the determinant.

A matrix is a picture of what happens to the grid

Four numbers in a box is not an object anyone has intuitions about. The same four numbers, shown as an instruction for redrawing the plane, are.

algebra · Linear maps A whole line arrives at the origin. A linear map whose determinant is zero, drawn before and after. One line of the plane is sent to the origin and the whole plane is sent onto another line; the dimension lost and the dimension kept add to two.

What a map throws away

A linear map redraws the grid, and the determinant measures how much it stretches area. When that measurement comes out zero the map has flattened the plane onto a line — and the question worth asking is not how much was lost but how much survived, because the two always add to what there was.

algebra · Linear maps A wedge of 2 circles. Several circles all passing through one common point, each labelled with a generator, so that a loop is a word in those letters.

The subgroup that is freer than the group

A free group on two letters contains a subgroup of index three that is free on four. Nothing about a group makes that plausible; everything about a graph makes it obvious, and the argument is to stop looking at the group and start looking at the space whose loops it is.

topology · Covering spaces What the map does to a circle. The unit circle with two perpendicular directions marked, and its image under [1.6, 1.2, −0.4, 1.1] — an ellipse whose axes are the images of those two directions, of lengths 2.04 and 1.10.

What a map does to a circle

Every linear map sends the unit circle to an ellipse. Two perpendicular directions go to two perpendicular directions, whatever the map is — even a map with no invariant direction at all, and even one that is not square.

algebra · Eigenvectors Every fifth partition count divides, and the rank that says why. A row of partition counts with the ones in a congruence class marked, and a histogram of partitions sorted by rank.

Every fifth one divides

p(4) is 5, p(9) is 30, p(14) is 135, and every partition count at a number leaving four on division by five is divisible by five. Ramanujan read it off a table; the explanation is a way of splitting those partitions into five equal heaps.

number · Partitions 6 vertices folded to 4, and a graph that decides. The graph built from 3 generator words, folded until no vertex has two edges of one label leaving it. Reading a word from the base vertex decides membership, and 6 words are tested.

Folding a graph until it decides

A subgroup of a free group usually arrives as a list of words, and almost nothing about it is readable from the list. Draw the words as loops, merge every pair of edges with the same label leaving one point, and what is left is a machine that decides membership by reading.

topology · Covering spaces

Named alongside it

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

DeterminantMatrixBasisCovering spaceFree groupGraphSingular matrixSpanning treeSubgroupApproximationAreaClassification

All concepts