A linear system of n equations in p unknowns is AX=B with A∈Mn,p(K), B∈Kn; it is homogeneous when B=0. Its solution set, when nonempty, is X0+kerA: a particular solution plus the general homogeneous solution — an affine subspace of dimension p−rkA (rank–nullity).
Examples
Example 22.14 (The affine structure, made visible)
Solve
{x+y+z=3x−y+2z=2.
Subtracting the equations: 2y−z=1, so z=2y−1 and x=3−y−z=4−3y. The solutions form the line
(x,y,z)=(4, 0, −1)+y(−3, 1, 2)(y∈R):
the particular solution X0=(4,0,−1) (the choice y=0) plus the kernel line kerA=Vect(−3,1,2) of the associated homogeneous system — check: (−3)+1+2=0 and (−3)−1+4=0. Geometrically, two non-parallel planes of R3 intersect along a line, and the dimension count p−rkA=3−2=1 knew it before we solved anything. Changing the particular solution (say y=1: X0′=(1,1,1)) changes the description, not the line: an affine subspace has many origins and one direction.