Linear Algebra, Interactive EditionXYZ Homework Edition

⇩ Download ▾

3.1 The Image of the Unit Square

A 2×22 \times 2 matrix with entries a,b,c,da, b, c, d moves the point (x,y)(x, y) to (ax+by,cx+dy)(ax + by, \; cx + dy). One point at a time, that is just arithmetic. The geometry appears when you move every point of a shape at once and look at what arrives. Our shape is the unit square: all points (u,v)(u, v) with 0≤u≤10 \le u \le 1 and 0≤v≤10 \le v \le 1.

Follow the two special corners first. The corner 𝐞1=(1,0)\mathbf{e}_1 = (1, 0) is sent to (a,c)(a, c) — the first column of the matrix. The corner 𝐞2=(0,1)\mathbf{e}_2 = (0, 1) is sent to (b,d)(b, d) — the second column. And a general point of the square, (u,v)=u𝐞1+v𝐞2(u, v) = u\mathbf{e}_1 + v\mathbf{e}_2, is sent to u(a,c)+v(b,d)u(a, c) + v(b, d): the same combination of the columns that built the point from the corners. The figure below draws the arriving set live, with the four matrix entries on sliders.

A flat colored parallelogram seen face-on, drawn upright against a gray horizontal axis and a gray vertical axis with numbered ticks: the image of the unit square under a 2-by-2 matrix, with the first coordinate running to the right and the second upward. Its two edges from the origin are drawn as a red segment (the first matrix column) and a blue segment (the second column), and its two far edges as pale amber segments. Four sliders a, b, c, d set the matrix entries. At the starting identity setting the parallelogram is the unit square itself, with the red edge along the horizontal axis and the blue edge up the vertical axis; dragging the sliders shears, rotates, stretches, or flattens it live.Explore in 3D (opens in a new tab)

A flat colored parallelogram seen face-on, drawn upright against a gray horizontal axis and a gray vertical axis with numbered ticks: the image of the unit square under a 2-by-2 matrix, with the first coordinate running to the right and the second upward. Its two edges from the origin are drawn as a red segment (the first matrix column) and a blue segment (the second column), and its two far edges as pale amber segments. Four sliders a, b, c, d set the matrix entries. At the starting identity setting the parallelogram is the unit square itself, with the red edge along the horizontal axis and the blue edge up the vertical axis; dragging the sliders shears, rotates, stretches, or flattens it live.

The image of the unit square under the matrix with entries a,b,c,da, b, c, d, drawn flat and seen face-on, with the first coordinate running to the right and the second upward. The red edge is the image of 𝐞1\mathbf{e}_1 — the column (a,c)(a, c) — and the blue edge is the image of 𝐞2\mathbf{e}_2 — the column (b,d)(b, d). The sliders start at the identity: a=1a = 1, b=0b = 0, c=0c = 0, d=1d = 1.

Explore the figure

  1. At the identity defaults, the image is the unit square: red edge along the horizontal axis, blue edge up the vertical axis. Confirm the two colored edges really are the columns (1,0)(1, 0) and (0,1)(0, 1).
  2. Drag bb to 0.50.5 and stop. The red edge has not moved — the first column is untouched — but the blue edge tips over and the square shears into a parallelogram. Every slider controls one coordinate of one edge; convince yourself which.
  3. Predict before you drag: with a=1a = 1, b=0.5b = 0.5, c=0.5c = 0.5, d=1.5d = 1.5, where will the far corner (1,1)(1, 1) land? It must arrive at the sum of the two columns. Set the sliders and check.
  4. Now aim the two columns the same way: a=1a = 1, c=0.5c = 0.5, b=2b = 2, d=1d = 1, so the blue edge (2,1)(2, 1) is exactly twice the red edge (1,0.5)(1, 0.5). What is left of the parallelogram, and why should the last chapter's word dependent come to mind?

The columns are the whole story

Everything in this section leans on one property: the transformation respects adding and scaling. That property is the definition, so it is worth stating exactly. A transformation TT is linear when

T ( 𝐮 + 𝐯 ) = T ( 𝐮 ) + T ( 𝐯 ) and T ( c 𝐮 ) = c T ( 𝐮 ) T(\mathbf{u} + \mathbf{v}) = T(\mathbf{u}) + T(\mathbf{v}) \qquad \text{and} \qquad T(c\,\mathbf{u}) = c\,T(\mathbf{u})

for all vectors 𝐮\mathbf{u}, 𝐯\mathbf{v} and every scalar cc. Multiplication by a matrix passes both tests, because the product distributes: A(𝐮+𝐯)=A𝐮+A𝐯A(\mathbf{u} + \mathbf{v}) = A\mathbf{u} + A\mathbf{v} and A(c𝐮)=cA𝐮A(c\,\mathbf{u}) = c\,A\mathbf{u}, the same rules Chapter 2 used for solutions of A𝐱=𝐛A\mathbf{x} = \mathbf{b}. Sliding every point one unit to the right, T(x,y)=(x+1,y)T(x, y) = (x + 1, y), fails them: it moves the origin, and no linear map can, since T(0)=T(00)=0T(0)=0T(\mathbf{0}) = T(0\,\mathbf{0}) = 0\,T(\mathbf{0}) = \mathbf{0}.

The computation behind everything you just saw is one line. Since (u,v)=u𝐞1+v𝐞2(u, v) = u\mathbf{e}_1 + v\mathbf{e}_2, and the transformation respects adding and scaling,

T ( u , v ) = u ( a , c ) + v ( b , d ) T(u, v) = u \, (a, c) + v \, (b, d)

That line used the entries only as the landing sites T(𝐞1)=(a,c)T(\mathbf{e}_1) = (a, c) and T(𝐞2)=(b,d)T(\mathbf{e}_2) = (b, d), so it proves more than it set out to: every linear transformation of the plane is multiplication by the matrix whose columns are T(𝐞1)T(\mathbf{e}_1) and T(𝐞2)T(\mathbf{e}_2), called the standard matrix of TT. Section 0.7's projection onto the line through (2,1)(2, 1) is an example. It is linear, since each output coordinate is a fixed combination of the inputs; it sends 𝐞1\mathbf{e}_1 to (4/5,2/5)(4/5, \; 2/5) and 𝐞2\mathbf{e}_2 to (2/5,1/5)(2/5, \; 1/5), and so its standard matrix, the projection matrix, has those two columns.

The image of the unit square is the set of all combinations u(a,c)+v(b,d)u(a, c) + v(b, d) with coefficients between 00 and 11 — a parallelogram whose edges from the origin are the two columns. Let the coefficients run over all real numbers instead and you get the image of the entire plane: the span of the columns, in exactly the sense of Chapter 2. When the columns are independent, that span is the whole plane and the square becomes an honest parallelogram; when they are dependent, as in your final exploration step, the span collapses to a line, the parallelogram collapses to a segment, and infinitely many different input points are forced to share each output point.

54\frac{5}{4}
Area of the image parallelogram ✓ Computed · mojocas 0.1.0 ✓ Agrees with the text Area of the image parallelogram, computed exactly by mojocas 0.1.0, and confirmed to agree with the result stated in the text.

The area of the parallelogram with edges (1,0.5)(1, 0.5) and (0.5,1.5)(0.5, 1.5) — the image of the unit square in the worked example — computed by a computer algebra system: 54=1.25\tfrac{5}{4} = 1.25. The next chapter names this number and explains the machine that produced it.

An original work of XYZ Homework, built around interactive XYZ 3D figures. Chapters 1–6 follow the topic sequence of Interactive Linear Algebra (Margalit & Rabinoff, Georgia Tech, GNU FDL). Chapter 0's scope (its topics, their order, and the idea each figure shows) follows the Vectors chapter of Ximera's Linear Algebra: An Interactive Introduction. The prose, worked examples and figures were written for this book, which is not affiliated with or endorsed by the authors of either work. License: CC-BY-NC-SA-4.0.

These eBooks are a prerelease and are not yet certified conformant with WCAG 2.1 AA or any other accessibility standard. Every page is built against an automated accessibility gate, and our target for the published editions is WCAG 2.2 Level AA. If something is unusable, please tell us.