Mathematics · Glossary

What is system?

Definition 22.13 University Mathematics — Year 1 · Chapter 22 — Determinants and Linear Systems

A linear system of nn equations in pp unknowns is AX=BAX = B with AMn,p(K)A \in \mathcal{M}_{n,p}(K), BKnB \in K^n; it is homogeneous when B=0B = 0. Its solution set, when nonempty, is X0+kerAX_0 + \ker A: a particular solution plus the general homogeneous solution — an affine subspace of dimension prkAp - \operatorname{rk} A (rank–nullity).

Examples

Example 22.14 (The affine structure, made visible)

Solve

{x+y+z=3xy+2z=2.\begin{cases} x + y + z = 3\\ x - y + 2z = 2 . \end{cases}

Subtracting the equations: 2yz=12y - z = 1, so z=2y1z = 2y - 1 and x=3yz=43yx = 3 - y - z = 4 - 3y. The solutions form the line

(x,y,z)=(4, 0, 1)+y(3, 1, 2)(yR):(x, y, z) = (4,\ 0,\ -1) + y\,(-3,\ 1,\ 2) \qquad (y \in \R):

the particular solution X0=(4,0,1)X_0 = (4, 0, -1) (the choice y=0y = 0) plus the kernel line kerA=Vect(3,1,2)\ker A = \operatorname{Vect}(-3, 1, 2) of the associated homogeneous system — check: (3)+1+2=0(-3) + 1 + 2 = 0 and (3)1+4=0(-3) - 1 + 4 = 0. Geometrically, two non-parallel planes of R3\R^3 intersect along a line, and the dimension count prkA=32=1p - \operatorname{rk} A = 3 - 2 = 1 knew it before we solved anything. Changing the particular solution (say y=1y = 1: X0=(1,1,1)X_0' = (1, 1, 1)) changes the description, not the line: an affine subspace has many origins and one direction.

Read in context →