All notes

Notes / Linear Algebra

What Row Reduction Remembers

The geometry of intersecting lines, equation spaces, and the general-rank picture

Row reduction is usually introduced as a reliable sequence of instructions: exchange two rows, multiply a row by a nonzero scalar, or add a multiple of one row to another. The procedure is familiar, but its geometry can remain hidden. If two equations describe lines in the plane, a row operation may replace one of those lines by a visibly different line. Why does the solution remain unchanged, and what information survives after the original equations have disappeared?

The short answer is that row reduction changes the generating equations but preserves their row space. Reduced row echelon form is the unique, coordinate-adapted basis selected for that invariant space.

Two lines, one intersection

Consider the two systems

{2x+y=7,xy=2and{x+y=4,3xy=8.\left\{\begin{aligned} 2x+y&=7,\\ x-y&=2 \end{aligned}\right. \qquad\text{and}\qquad \left\{\begin{aligned} x+y&=4,\\ 3x-y&=8. \end{aligned}\right.

They have no equation in common, yet both reduce to the augmented matrix

[103011].\begin{bmatrix}1&0&3\\0&1&1\end{bmatrix}.

The reduced equations are x=3x=3 and y=1y=1, so their common solution is (3,1)(3,1). Geometrically, these are the vertical and horizontal lines through that solution point. The original systems are different choices of two lines through the same point.

The object that does not move

What the two systems share is the two-dimensional space generated by their augmented rows. More generally, for matrices MM and NN of the same size, the guiding theorem is

MrowNRow(M)=Row(N).M\sim_{\mathrm{row}}N \quad\Longleftrightarrow\quad \operatorname{Row}(M)=\operatorname{Row}(N).

An elementary row operation is an invertible change of generators for this space. It may alter every displayed equation, but it cannot alter the space of equations they generate. The change is invertible, so the new equations vanish simultaneously at exactly the same points as the old ones.

An augmented row (α,β,γ)(\alpha,\beta,\gamma) may be read as the affine-linear function f(x,y)=αx+βyγf(x,y)=\alpha x+\beta y-\gamma. For a fixed point P=(a,b)P=(a,b), all affine-linear functions vanishing at PP form the space

VP={u(xa)+v(yb):u,vR}.V_P=\{u(x-a)+v(y-b):u,v\in\mathbb{R}\}.

Any two independent line equations through PP form an ordered basis of VPV_P. Row reduction changes that basis while leaving VPV_P fixed.

A coordinate-adapted basis

In the full-rank two-variable case, RREF selects the especially simple basis xax-a and yby-b. It therefore presents the same equation space through the coordinate lines x=ax=a and y=by=b. This is why RREF remembers the solution point in this particular case. The more fundamental statement, which also makes sense for singular and inconsistent systems, is that it remembers the row space and forgets the ordered generating rows.

There is a visible motion behind elimination. If two lines with equations f1=0f_1=0 and f2=0f_2=0 meet at PP, the operation f2f2+tf1f_2\mapsto f_2+t f_1 replaces the second line by another line through PP. As tt varies, the line moves through the pencil centred at PP. Cancelling one coefficient selects the horizontal member; cancelling the other selects the vertical member.

What the full note develops

The projective viewpoint places consistent and inconsistent rank-two systems in one larger picture. The two-dimensional row spaces of 2×32\times3 matrices form the Grassmannian Gr(2,3)RP2\operatorname{Gr}(2,3)\cong\mathbb{RP}^2. Systems with a finite solution occupy its affine part; distinct parallel lines appear at infinity through their common direction. This does not give an inconsistent system an affine solution—it records the direction its equations share.

For a general system Ax=cAx=c, the same principle survives. Invertible row operations preserve the augmented row space. A system is inconsistent exactly when its equation space contains a nonzero constant function, visible in RREF as a contradiction such as 0=10=1. When the system is consistent, its row space consists of the affine-linear equations vanishing on the solution affine subspace.

The complete note begins with all seven possible RREF forms for a 2×32\times3 matrix and proceeds from computation to structure: line pencils, the action of GL2(R)\mathrm{GL}_2(\mathbb{R}), degeneracies, projective completion, Grassmannians and arbitrary linear systems. Its worked examples, figures, proofs, geometric dictionary and references supply the details behind this short introduction.

Read the full note

Full note · 25 pages

Read the complete exposition

The PDF contains the complete proofs, worked examples, figures, geometric dictionary and references.

If the embedded reader is not available on your device, use Open PDF or Download PDF above.

Note information

Reading preferences

Display settings

Choose a comfortable text size and page theme. Preferences are stored only on this device.

Text size
Theme

Medium text · Light theme

On this device