Folioby Interconnected
Log InSign Up

Systems of Linear Equations and Row Reduction

The general solution of a linear system Ax = b is a particular solution plus the null space of A. We prove this structure theorem by developing Gaussian elimination and reduced row echelon form, and give precise conditions for when solutions exist and when they are unique.

FO
Folio Official
March 1, 2026

1. Matrix Formulation

A system of m linear equations in n unknowns,

⎩⎨⎧​a11​x1​+a12​x2​+⋯+a1n​xn​=b1​a21​x1​+a22​x2​+⋯+a2n​xn​=b2​⋮am1​x1​+am2​x2​+⋯+amn​xn​=bm​​
can be written as the single matrix equation
Ax=b,
where A=(aij​)∈Mm×n​(K), x=(x1​,…,xn​)T, and b=(b1​,…,bm​)T. When b=0, the system is called homogeneous; otherwise it is nonhomogeneous.

2. Elementary Row Operations

Definition 1 (Elementary row operations).
The following three types of operations on a matrix are called elementary row operations:
  1. Interchange two rows: Ri​↔Rj​.

  2. Multiply a row by a nonzero scalar: Ri​→cRi​ (c=0).

  3. Add a scalar multiple of one row to another: Ri​→Ri​+cRj​.

Theorem 2.
Elementary row operations do not change the solution set of the corresponding system.
Proof.
Each elementary row operation is reversible (it can be undone by an operation of the same type), so it produces an equivalent system. □
Remark 3.
Each elementary row operation corresponds to left multiplication by an invertible matrix (an elementary matrix).

3. Reduced Row Echelon Form (RREF)

Definition 4 (Reduced row echelon form).
A matrix is in reduced row echelon form (RREF) if:
  1. All zero rows are at the bottom.

  2. The first nonzero entry (pivot) in each nonzero row is 1.

  3. Pivots move strictly to the right as one goes down the rows.

  4. Each pivot is the only nonzero entry in its column.

Theorem 5.
Every matrix can be brought to RREF by a sequence of elementary row operations. Moreover, the RREF of a matrix is unique.
Example 6.
​123​246​102​328​​R2​−2R1​​​103​206​1−22​3−48​​R3​−3R1​​​100​200​1−2−1​3−4−1​​
−21​R2​​​100​200​11−1​32−1​​R3​+R2​​​100​200​110​32−3​​
One continues the elimination to arrive at the RREF.

4. Structure of the Solution Set

Theorem 7 (Null space of a homogeneous system).
The solution set of Ax=0 is a subspace kerA of Kn, and
dimkerA=n−rankA.
Proof.
That kerA is a subspace follows from the fact that it is the kernel of the linear map x↦Ax. The dimension formula is an immediate consequence of the rank–nullity theorem: dimKn=dimkerA+dimImA, so dimkerA=n−rankA. □
Theorem 8 (Structure of solutions to a nonhomogeneous system).
If Ax=b has a solution x0​, then the general solution is
x=x0​+kerA={x0​+h∣h∈kerA}.
That is, the general solution is a particular solution plus the general solution of the associated homogeneous system.
Proof.
If Ax=b and Ax0​=b, then A(x−x0​)=0, so x−x0​∈kerA. Conversely, if h∈kerA, then A(x0​+h)=Ax0​+Ah=b+0=b. □
Example 9.
Consider the system Ax=b with
A=(11​12​13​),b=(36​).
The RREF of the augmented matrix is
(11​12​13​36​)→(10​01​−12​03​).
The pivot columns are columns 1 and 2. The free variable is x3​=t. A particular solution is x0​=(0,3,0)T, and the null space is
kerA=span{(1,−2,1)T}.
The general solution is therefore x=(t,3−2t,t)T=(0,3,0)T+t(1,−2,1)T.

5. Conditions for Existence and Uniqueness

Theorem 10.
The system Ax=b has a solution if and only if rankA=rank(A∣b).
Theorem 11.
For an m×n system Ax=b:
  1. A solution exists if and only if rankA=rank(A∣b).

  2. When a solution exists, it is unique if and only if rankA=n.

  3. When solutions exist, the solution set has n−rankA free parameters.

Linear AlgebraAlgebraTextbookSystems of EquationsRow ReductionRREF
FO
Folio Official

Mathematics "between the lines" — exploring the intuition textbooks leave out, written in LaTeX on Folio.

1 followers·107 articles
Linear Algebra TextbookPart 6 of 13
Previous
Matrices and Representation of Linear Maps
Next
The Determinant: A Scalar Invariant of Square Matrices

Share your expertise with the world

Write articles with LaTeX support, build your audience, and earn from your knowledge.

Start Writing — It's Free

More from Folio Official

Folio Official·March 1, 2026

Matrices and Representation of Linear Maps

Every linear map between finite-dimensional spaces is uniquely represented by a matrix once bases are chosen, and composition of maps corresponds to matrix multiplication. We derive the change-of-basis formula, characterize invertible matrices, and show that matrix rank equals the rank of the corresponding linear map.

Linear AlgebraAlgebraTextbook
Folio Official·March 1, 2026

The Determinant: A Scalar Invariant of Square Matrices

The determinant of a square matrix is the unique scalar-valued function characterized by alternation and multilinearity. We construct it via the Leibniz formula, prove the product formula det(AB) = det(A)det(B), and derive Cramer's rule for solving linear systems.

Linear AlgebraAlgebraTextbook
Folio Official·March 1, 2026

Jordan Normal Form: Beyond Diagonalization

Every complex square matrix is similar to a Jordan normal form — a block-diagonal matrix of Jordan blocks that is unique up to block ordering. We prove existence and uniqueness, connect the Jordan form to the minimal polynomial, and apply it to compute the matrix exponential e^{tA}.

Linear AlgebraAlgebraTextbook
Folio Official·March 24, 2026

The Singular Value Decomposition: Structure of Arbitrary Matrices

Every real m x n matrix factors as A = U Sigma V^T, where U and V are orthogonal and Sigma is diagonal — this is the singular value decomposition. We prove existence, show how the SVD yields optimal low-rank approximations (Eckart–Young theorem), and construct the Moore–Penrose pseudoinverse for least-squares solutions.

Linear AlgebraAlgebraTextbook