Matpic
mathematics, in pictures
Concept

Positive definite

The requirement that a rule for multiplying two vectors give a strictly positive answer whenever a vector is multiplied by itself, unless the vector is zero. It is what turns such a rule into a geometry, since it makes the self-product a squared length, and it is the property whose loss reverses the Cauchy-Schwarz inequality.

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

The parabola that proves |a·b| ≤ |a||b|. The squared length of a − t b plotted against t. It is a parabola opening upward whose least value is 7.118; that this is never negative is exactly the Cauchy–Schwarz inequality.

The square that cannot be negative

Cauchy–Schwarz is the load-bearing inequality of the whole subject and is nearly always stated without proof. It is one line away from a fact nobody would argue with, and the line is a parabola with no room to cross the axis.

algebra · Inner product One subtraction clears a direction. Gram–Schmidt on two planar vectors, in 3 panels: the pair as given, the shadow of the second on the first, and the perpendicular pair that is left when the shadow is removed.

One subtraction clears a direction

A basis is a set of directions to measure along, and most bases are awkward because the directions get in each other's way. Removing one shadow at a time turns any basis into one where every coordinate is a shadow and nothing interferes.

algebra · Inner product The map moved to the other side of the product. Two panels over the unit curve of the product u₁v₁ + u₂v₂. The left applies A to u and measures it against v, giving 2.328; the right applies the adjoint to v and measures it against u, giving the same number.

Moving a map across a product

The transpose looks like a fact about a matrix: reflect its entries in the diagonal. It is a fact about the inner product. Measure lengths and angles differently and the map that slides to the other side of the product is a different matrix, and a matrix that was symmetric stops being so.

algebra · Inner product

Named alongside it

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

Inner productOrthogonalityCauchy schwarzDot productLeast squaresProjectionResidualSubspaceAdjointApproximationBasisDiscriminant

All concepts