Echelon Form

A precise guide to row echelon form, reduced echelon form, pivots, rank, and solution reading.

Represent → transform → verify. A linear-algebra object is represented as coordinates or a matrix, transformed through valid row or column operations, and checked against the original invariant or equation.

Precise definition

A matrix is in row echelon form (REF) when all zero rows are below nonzero rows, each leading entry of a lower row lies strictly right of the one above, and entries below each leading entry are zero. In reduced row echelon form (RREF), each leading entry is 1 and is the only nonzero entry in its column.

Notation and mathematical language

Leading entries mark pivot positions; corresponding columns in the original coefficient matrix are pivot columns. Nonpivot variable columns correspond to free variables. REF is not unique, but every matrix has a unique RREF.

Conceptual picture

The staircase pattern records which variables are constrained independently. Back substitution solves from REF; RREF displays pivot variables directly in terms of free variables. Row operations preserve the solution set of an augmented system.

Fully worked example

Interpretation and application

Echelon forms expose consistency, dimension, independence, and rank in one calculation. In numerical computation, pivoting choices affect stability even though exact arithmetic yields the same RREF.