Visual walkthrough — Change of basis matrix
We work in the flat plane you can draw on paper — the set of all arrows starting at one fixed dot (the origin). This set is called . Everything generalises, but you should watch it happen in 2D first.
Step 1 — An arrow is real; its numbers are not
WHAT. Draw one arrow from the origin. It just sits there. Now lay down two rulers — two directions we agree to measure along. Call the first ruler-direction and the second . Together is a basis: two directions that (a) don't lie on the same line and (b) let us reach every point by combining them. (See Basis and Dimension for why two independent directions is exactly enough in the plane.)
WHY. A column of numbers means nothing until we say "numbers of what, measured how." The basis is the "measured how." Change the rulers and the numbers change — but the arrow does not move a millimetre.
PICTURE. The black arrow is fixed. The red pair of rulers is our choice.
Step 2 — Two friends describe the same arrow
WHAT. Bring in a second basis — a different pair of rulers. (I write the vectors of with primes, , so they never get confused with coordinate numbers .) The same arrow now has two coordinate columns: and .
WHY. Our whole goal is a machine that turns one column into the other. To design the machine we first need both columns staring at the same arrow.
PICTURE. One black arrow . Grid of -rulers in thin black; the single red thing is the new ruler pair . Same tip, two grids reading it.
Step 3 — Write the arrow in the OLD language (all we're given)
WHAT. We are handed . Unpack what that literally means:
WHY. This is the only fact in our hands. We cannot use yet — we don't yet know how sees anything. Start from what's given.
PICTURE. The red arrow built as a staircase: walk copies of , then copies of , land on the tip.
Term by term: is the first leg of the staircase, is the second leg, and their vector sum is the diagonal from origin to tip.
Step 4 — Teach the machine ONE word at a time
WHAT. Each old ruler is itself just an arrow, so it too has a -description. Ask the -friend: "how do you write ? how do you write ?" The answers are columns The symbol reads "row , column ": how many steps along the -th -ruler you need to reproduce the -th -ruler.
WHY. This is the heart of translation. A dictionary is not built for whole sentences — it's built word by word. The words are the basis vectors . If I can say each ruler in the new language, I can say any combination of them, because combining is just addition and stretching, which coordinates respect.
PICTURE. The single red ruler shown decomposed against the -grid: its shadow along and along .
Step 5 — Coordinates add and stretch (the linear law)
WHAT. Take -coordinates of both sides of Step 3's equation. The map "arrow its -column", written , obeys two rules: Together these two rules make a linear map (see Linear Transformations). Applying them:
WHY. Because coordinates are unique (only one recipe per arrow per basis), doubling the arrow doubles every step-count, and adding arrows adds step-counts. So we may pull the sum apart term by term — turning "translate the whole arrow" into "translate each word, then recombine with the same weights ."
PICTURE. Same staircase as Step 3, but now every rung is read on the -grid: the red total column is literally of the first dictionary column plus of the second.
Notice: the weights did not change — they are still the old -coordinates. Only the directions being weighted switched from arrows to their -columns .
Step 6 — Recognise the matrix hiding in the sum
WHAT. The expression is exactly what "matrix times column" means: stack the two dictionary columns side by side, feed it .
WHY. A matrix–vector product is defined as " times column 1 plus times column 2 …". Step 5 produced precisely that shape. So the machine we wanted is real, and its columns are forced to be the dictionary entries — nothing else fits.
PICTURE. The two red dictionary columns slotting in as the two columns of a box labelled ; input column on the right, output dropping out.
Step 7 — The standard-basis shortcut (why )
WHAT. In there is a free ruler pair: the standard basis , the axes themselves. For it, literally (a vector's standard coordinates are just its entries). So the dictionary "" needs no work: To go the other way, , we undo that machine — the inverse: Now chain two translations, :
WHY. Translating everything through the standard axes lets us avoid ever solving "how does see " by hand — matrix inversion does it in one shot. Reading right-to-left: first carries -coords to standard, then carries standard to -coords.
PICTURE. Three grids in a row — -grid, then standard axes, then -grid — with the arrow's column being relabelled at each hop; the two hops and are marked in red.
Step 8 — Edge and degenerate cases (never hit an unshown scenario)
WHAT & WHY & PICTURE for each corner case:
(a) (translate a language into itself). Then , so the columns are : the machine is the identity . Nothing to do — the arrow already speaks the target language.
(b) (target is standard). Columns become , so : just stack the basis vectors. This is the "easy direction" — no inverse. Example: , gives .
(c) (source is standard). Now : the hard direction, an inverse is required. Example: , gives . Check . ✓
(d) The forbidden case: rulers on one line. If point the same (or opposite) way, they are not a basis — they can't reach off-line arrows, and the matrix has no inverse. The whole construction refuses to start. That's why bases must be independent, and why every genuine change of basis matrix is invertible.
PICTURE. Left panel — two independent red rulers spanning the plane (allowed). Right panel — two collinear red rulers collapsing to a line, the shaded "unreachable" region (forbidden).
The one-picture summary
Everything on this page is one sentence made visual: the columns of are the old rulers redrawn on the new grid; multiplying then rebuilds the arrow with the same weights. The figure compresses Steps 3–6 into a single flow.
Recall Feynman retelling — explain the whole walkthrough to a friend
A treasure sits in a park; it never moves. Friend gives directions in her steps (); friend in his (). I only have 's directions ( of her first step, of her second). To convert, I don't re-find the treasure — I just ask once: "how do you say each of 's two steps in your own steps?" Those two answers are my two dictionary columns. Then I reuse the same counts — because doubling the walk doubles every step and adding walks adds steps — and stack the dictionary columns into a box. Feeding my -counts to that box spits out -counts pointing at the identical treasure. If I ever want to go the other way I flip the box over (its inverse). And through the standard axes the boxes are free: to stack, to peel — so .
Connections
- Basis and Dimension — why two independent rulers exactly cover the plane.
- Coordinate Vectors — the columns we translate.
- Invertible Matrices — case (d): a real change of basis is always invertible.
- Similar Matrices — reuses this machine on a map.
- Eigenvectors and Diagonalization — change to the eigenbasis.
- Linear Transformations — the linearity of used in Step 5.