Multiplication as composition
If is a transformation and is another transformation, then is the transformation “first do , then do .” Read right-to-left, like function composition .
The right-to-left order matters; it’s the same convention as function composition from Module 5. It trips people up at first, because you write but you apply first. Own it.
The columns of AB
Given the column picture, there’s a clean way to compute . Each column of is applied to the corresponding column of .
If sends to , then sends to , because ” after ” first maps to via , then maps to via . Column-picture all the way down.
The row-times-column formula gives the same answer. Same pattern as last lesson: column picture for meaning, rows for computation.
Multiply two matrices
Compute .
Give the entry at row 1, column 2 of the product.
AB ≠ BA
Matrix multiplication is not commutative. In general , and for most pairs of transformations the results are genuinely different.
Try “rotate 90° then shear” versus “shear then rotate 90°.” The two sequences produce visibly different final shapes. Composition cares about order because the order in which you apply transformations matters.
On the widget below, stack two transformations by eye. 90° rotation, shear. Do first then ; undo, do first then . Not the same.
This is the matrix , the one from the StepCheck above.
Determinant: the signed area factor
Take any 2×2 matrix . Apply it to the unit square. The result is a parallelogram. Its signed area is called the determinant of :
“Signed” means: positive if the transformation preserves orientation, negative if it flips (a reflection, for example). A pure rotation has determinant . A reflection across an axis has determinant . A matrix that stretches the plane by a factor of 3 in both directions has determinant .
Drag the columns on the widget above and watch the det readout. When the orientation flips, the color of the unit-square shape flips too. That’s the sign doing its work.
Compute a determinant
Compute .
Det = 0 means collapse
When , the parallelogram flattens. The two columns lie on the same line; their span is 1-dimensional; the transformation has squashed 2D space into a line (or, if both columns are zero, into a single point).
Four equivalent statements (memorize the equivalence, not four separate facts):
- .
- The columns of are linearly dependent.
- The transformation’s output span is lower-dimensional than its input.
- has no inverse.
Drag your widget columns onto the same line. All four things happen at once. The determinant hits zero, the rank badge reads 1, the unit-square shape degenerates to a segment, and, as the next step will show, no inverse exists because information has been destroyed.
Inverse as undoing
The inverse of , written , is the transformation that undoes . Apply then and you’re back where you started.
If rotates by 30°, rotates by . If scales by 2, scales by . Every invertible transformation has a unique “undo” operation.
But: if squashes space (say, it projects every point onto the -axis) there is no undo. Points that used to live at different -values got sent to the same place. You can’t recover information that was thrown away. That’s why exists if and only if .
The formula for 2×2 inverses (drop it in if you need to compute one):
Note the in the denominator: it’s the determinant again. When it’s zero, the formula blows up. That’s the algebra telling you what the geometry already said.
Inverse of a diagonal
Given , find .
Give the entry at row 1, column 1 of the inverse. (Decimal form.)
The whole chain, in one picture
Here’s the collapse of the four ideas into one widget state. On MatrixDraggable, drag the two columns onto the same line. Simultaneously:
- The unit-square polygon flattens to a line segment.
- The
detreadout hits . - The
rankbadge flips from 2 to 1. - An inverse can no longer exist.
Four words for one situation. That’s linear algebra being economical.
Lesson complete