MATH 133 Linear Algebra and Geometry • McGill University, Montreal

Revision sheet: homogeneous systems, linear combinations and the rank theorem (MATH 133)

This sheet is not a summary of Nicholson 1.3 and 2.2: you already have the textbook. It answers one question only, what makes students lose marks on homogeneous systems, linear combinations and the rank theorem in MATH 133 at McGill University, and which precise gesture avoids each loss.

Everything below reduces by hand, as on the exam. The chapter has one idea and it is the thread of the whole sheet: the answer lives in the COLUMNS. How many parameters, whether a right-hand side can be reached, what a solution set looks like: each is read on the columns of the reduced matrix, and each goes wrong the moment you count rows instead.

The thread of the chapter

Count the COLUMNS, never the equations: AxAx is a combination of the columns of AA, so whether Ax=bAx = b can be solved is a question about the columns, and the number of parameters is n−rn - r, the columns without a pivot.

This chapter is part of MATH 133, Linear Algebra and Geometry (McGill)

The essentials

Three facts about the columns, and nothing else

  • • Definition: if AA has columns a1,…,ana_1, \ldots, a_n, then Ax=x1a1+⋯+xnanAx = x_1a_1 + \cdots + x_na_n. So xx needs one entry per COLUMN, AxAx has one entry per ROW, and Aej=ajAe_j = a_j.
  • • Ax=bAx = b is consistent if and only if bb is a linear combination of the columns of AA. With bb in letters, the test is the last column of each zero row after reduction.
  • • Rank rr = number of pivots = number of columns WITH a pivot. A consistent system in nn unknowns has solutions with exactly n−rn - r parameters, one per column without a pivot.
  • • For Ax=0Ax = 0 each parameter gives one basic solution (that parameter 11, the others 00). There are exactly n−rn - r of them, and every solution is a linear combination of them.

The number of equations mm appears in this chapter in one place only: as an upper bound, r≤mr \le m. That is where the theorem on homogeneous systems comes from (m<nm < n forces r<nr < n), and it is never a substitute for rr itself.

The shape of a solution set: particular plus homogeneous

  • • If Ap=bAp = b, every solution of Ax=bAx = b is x=p+hx = p + h with Ah=0Ah = 0. The homogeneous part says HOW MANY solutions; pp says WHERE they are.
  • • Linearity: A(x+y)=Ax+AyA(x + y) = Ax + Ay and A(cx)=c(Ax)A(cx) = c(Ax). Consequences: A0=0A0 = 0, so Ax=0Ax = 0 is always consistent; two solutions of Ax=bAx = b differ by a solution of Ax=0Ax = 0; their SUM solves Ax=2bAx = 2b.
  • • Two correct answers can have different particular solutions and different-looking basic solutions (scaled). They always have the same number of parameters.
-2-11234-3-2-1123pqq - px - y = 2x - y = 0
p=(1,−1)p = (1, -1) and q=(3,1)q = (3, 1) both solve x−y=2x - y = 2; their difference q−p=(2,2)q - p = (2, 2) lies on x−y=0x - y = 0. The blue solution set is the grey one shifted by pp.

The rules in table form

Each row reads from left to right: the assumptions, then the result. A red cell is not an answer, it is the finding that the form settles nothing and the instruction to rewrite it. Every case is followed by a worked example.

What the rank says, whatever the shape of the matrix

Read the last column only after counting the pivots. The red row is the recipe students actually use, and it is not a rule at all.

Size of AARank rrSolutions of Ax=0Ax = 0
3×53 \times 5 22 33 basic solutions

Example: Wide: 5−2=35 - 2 = 3 parameters, although there are 33 equations; the third row reduced to zero.

5×35 \times 3 22 11 basic solution

Example: Tall: 3−2=13 - 2 = 1 parameter, a whole line of solutions with 55 equations.

4×44 \times 4 22 22 basic solutions

Example: Square: rows (1,2,0,−1)(1, 2, 0, -1), (2,4,1,1)(2, 4, 1, 1), (3,6,1,0)(3, 6, 1, 0), (1,2,1,2)(1, 2, 1, 2) give 4−2=24 - 2 = 2 parameters.

3×33 \times 3 33 trivial only

Example: r=n=3r = n = 3: no free column, x=0x = 0 is the only solution.

m×nm \times n not counted n−mn - m parameters rule that does not exist

Example: For the 4×44 \times 4 above it predicts 4−4=04 - 4 = 0 parameters; the truth is 22.

What to do: Reduce, count the pivots, then write n−rn - r.

All five rows are homogeneous. For Ax=bAx = b the same count holds only after consistency has been checked.

The mistakes that cost marks

These are the errors I correct most often in session. Each one costs marks on a paper, even when the reasoning behind it is right.

1. Subtracting the number of equations instead of the rank

the whole count, and every basic solution after it

What not to write

“33 equations and 55 unknowns, so 5−3=25 - 3 = 2 parameters.”

What to write

“The reduced form has 22 pivots, so the rank is 22 and there are 5−2=35 - 2 = 3 parameters.”

(1)(2)(1), (2), (3)2 equations, rank 23 equations, rank 1
Left, two equations of rank 22: only the origin. Right, three equations of rank 11: a whole line. More equations, more solutions, because what counts is the pivots.

Why: An equation that is a combination of the others reduces to a zero row: it adds no pivot and removes no parameter. The rank theorem subtracts pivots, and the number of equations is only an upper bound on them.

2. Reading the theorem on homogeneous systems backwards

2 marks, and a wrong conclusion in every part that uses it

What not to write

“The system has 44 equations and 33 unknowns, so Ax=0Ax = 0 has only the trivial solution.”

What to write

“The theorem does not apply (n≤mn \le m). Reducing gives rank 2<32 < 3, so there is a nontrivial solution, x=t(−1,1,1)x = t(-1, 1, 1).”

Why: More unknowns than equations GUARANTEES a nontrivial solution; the other shapes guarantee nothing either way. A square or tall matrix decides only after reduction, by comparing rr with nn.

3. Counting parameters on a system that has no solution

the whole question

What not to write

“x+y+z=1x + y + z = 1, x+y+z=3x + y + z = 3: rank 11, 33 unknowns, so 22 parameters.”

What to write

“R2−R1R_2 - R_1 gives 0=20 = 2: the system is inconsistent and has no solution. The rank theorem does not apply.”

Why: The rank theorem starts with the word consistent. Check for a row 0=c0 = c with c≠0c \neq 0 FIRST; count parameters only once you know there is something to parametrize.

4. A product Ax with the wrong number of entries

the question, since the product does not exist

What not to write

“C=(12−1034)C = \begin{pmatrix} 1 & 2 & -1 \\ 0 & 3 & 4 \end{pmatrix} and x=(1,1)x = (1, 1), so Cx=(3,3)Cx = (3, 3).”

What to write

“CC has 33 columns, so xx needs 33 entries: C(1,0,2)=a1+2a3=(−1,8)C(1, 0, 2) = a_1 + 2a_3 = (-1, 8), a vector with 22 entries, one per row.”

Why: AxAx pairs each entry of xx with a COLUMN. A mismatch in size is not a zero, it is an undefined expression, and the result has the size of a column, not the size of xx.

5. Testing consistency against the rows instead of the columns

2 marks, and the explicit combination that was asked

What not to write

“(1,4,3)(1, 4, 3) is not a multiple of any row of MM, so Mx=(1,4,3)Mx = (1, 4, 3) has no solution.”

What to write

“After reduction the condition is b1−b2+b3=0b_1 - b_2 + b_3 = 0, and 1−4+3=01 - 4 + 3 = 0: (1,4,3)=5a1−2a2(1, 4, 3) = 5a_1 - 2a_2 is a combination of the COLUMNS.”

Why: MxMx is built from the columns, so the reachable right-hand sides are the combinations of the columns. The rows describe the equations, not the outputs. Every column must pass the condition, which is the fastest check on it.

6. Adding two solutions of Ax = b

2 marks

What not to write

“pp and qq solve Ax=bAx = b, so p+qp + q is a third solution.”

What to write

“A(p+q)=b+b=2bA(p + q) = b + b = 2b, so p+qp + q solves Ax=2bAx = 2b. It is p−qp - q that solves Ax=0Ax = 0.”

Why: Adding is safe only for the homogeneous system. For Ax=bAx = b, a combination αp+βq\alpha p + \beta q is a solution exactly when α+β=1\alpha + \beta = 1, for instance the midpoint 12(p+q)\frac{1}{2}(p + q).

7. Giving one solution when the system has infinitely many

the marks for the structure of the solution set

What not to write

“Ax=(2,3,1)Ax = (2, 3, 1) is solved by x=(−3,−2,5)x = (-3, -2, 5).”

What to write

“Since Aw=0Aw = 0 with w=(−1,−1,1)≠0w = (-1, -1, 1) \neq 0, the solutions are x=(−3,−2,5)+t(−1,−1,1)x = (-3, -2, 5) + t(-1, -1, 1), tt real.”

Why: A particular solution is only the anchor. As soon as the associated homogeneous system has a nontrivial solution, the answer is a family, and the question solve always asks for all of it.

8. Rejecting a scaled basic solution, or accepting a sum as one

1 mark lost for nothing, or the count of basic solutions

What not to write

“My (−1,0,−4,2,0)(-1, 0, -4, 2, 0) is wrong, the key says (−12,0,−2,1,0)(-\frac{1}{2}, 0, -2, 1, 0).” Or: “(4,1,−2,1,0)(4, 1, -2, 1, 0) is a fourth basic solution.”

What to write

“(−1,0,−4,2,0)(-1, 0, -4, 2, 0) is 22 times the key's vector, so it is accepted. (4,1,−2,1,0)=X1+X2(4, 1, -2, 1, 0) = X_1 + X_2 is a solution but not a basic one: there are exactly n−r=3n - r = 3.”

Why: Basic solutions are fixed up to nonzero multiples, and Nicholson scales them to clear fractions. Their NUMBER is fixed exactly, so a list longer than n−rn - r always contains a combination of the others.

Which method to choose

Which tool the question is asking for

Read the shape of the system and the verb of the question before touching a row

-3-2-112345-3-2-1123a1a2(2, 1) never reached(2, -2) reached
Both columns lie on the grey line, so every x1a1+x2a2x_1a_1 + x_2a_2 does too: (2,−2)(2, -2) is reached, (2,1)(2, 1) is not. Two columns in the plane do not guarantee the plane.
  • If homogeneous, and more unknowns than equations → a nontrivial solution exists: say so from the theorem, reduce only if one is asked for

    Example: 2×42 \times 4: guaranteed; (−2,4,3,0)(-2, 4, 3, 0) is one

  • If homogeneous, square or taller than wide → reduce and compare the rank rr with nn

    Example: 4×34 \times 3 of rank 22: a line of solutions, t(−1,1,1)t(-1, 1, 1)

  • If how many parameters, how many basic solutions → check consistency, then n−rn - r with rr the number of pivots

    Example: 3×53 \times 5 of rank 22: 33 basic solutions

  • If is bb a combination of the columns, can this target be reached, for which bb → reduce (A∣b)(A \mid b) with bb in letters; each zero row gives a condition

    Example: b1−b2+b3=0b_1 - b_2 + b_3 = 0; (1,4,3)(1, 4, 3) passes, (1,1,1)(1, 1, 1) fails

  • If AuAu, AvAv are given but AA is not → linearity: write the new vector as a combination of u and v

    Example: A(3u−2v)=3Au−2AvA(3u - 2v) = 3Au - 2Av

  • If solve Ax=bAx = b completely → one particular solution plus the combination of basic solutions of Ax=0Ax = 0

    Example: (−3,0,2,0)+s(3,1,0,0)+t(−5,0,2,1)(-3, 0, 2, 0) + s(3, 1, 0, 0) + t(-5, 0, 2, 1)

Every branch but the first ends with a count of pivots. The one thing this chapter never needs is the number of equations, except to bound the rank.

How the answer is expected to be written

A marker ticks steps. Here they are in order, with the concluding sentence expected word for word.

Writing the general solution so that a marker can follow it

When to use it: Any question that says solve, find all solutions, or give the general solution of Ax=bAx = b or Ax=0Ax = 0

  1. 1 Write the augmented matrix and reduce it, naming each operation on the line where it happens: R2→R2−2R1R_2 \to R_2 - 2R_1.
  2. 2 Check consistency out loud: no row 0=c0 = c with c≠0c \neq 0, so the system is consistent.
  3. 3 Name the pivots and the rank, then the free variables as parameters: rank 22, 44 unknowns, so 4−2=24 - 2 = 2 parameters, x2=sx_2 = s and x4=tx_4 = t.
  4. 4 Solve each pivot row for its leading variable in terms of the parameters.
  5. 5 Split the answer into a constant vector and one vector per parameter, and say which is which.
  6. 6 Multiply AA by the particular solution and by each basic solution: you must get bb and 00.

Concluding sentence

“The system is consistent and has rank 22, so its solutions involve 4−2=24 - 2 = 2 parameters: x=p+sX1+tX2x = p + sX_1 + tX_2, where pp solves Ax=bAx = b and the basic solutions X1X_1, X2X_2 solve Ax=0Ax = 0.”

The trap: Stopping at the reduced matrix. A reduced matrix is not an answer: the question asks for the solutions, in vector form.

Marking: Typically 3 marks for the reduction with named operations, 1 for consistency and the rank, 3 for the solution in the form particular plus basic solutions, 1 for the verification.

Check before you hand in

Five minutes of checking recover more marks than one more problem started in a hurry.

The typical problem, taken apart

One system, solved in the form particular plus homogeneous

Solve Ax=bAx = b with A=(1−3212−6501−33−1)A = \begin{pmatrix} 1 & -3 & 2 & 1 \\ 2 & -6 & 5 & 0 \\ 1 & -3 & 3 & -1 \end{pmatrix} and b=(1,4,3)b = (1, 4, 3). Write the answer as a particular solution plus a combination of basic solutions, and say how many parameters there are and why.

Step 1

(1−32112−65041−33−13)\left(\begin{array}{cccc|c} 1 & -3 & 2 & 1 & 1 \\ 2 & -6 & 5 & 0 & 4 \\ 1 & -3 & 3 & -1 & 3 \end{array}\right). R2→R2−2R1R_2 \to R_2 - 2R_1 gives (0,0,1,−2∣2)(0, 0, 1, -2 \mid 2) and R3→R3−R1R_3 \to R_3 - R_1 gives (0,0,1,−2∣2)(0, 0, 1, -2 \mid 2).

Why

Each operation is named on the line where it is used, because the method marks are given for the operations, not for the final matrix.

Step 2

R3→R3−R2R_3 \to R_3 - R_2 gives a zero row, (0,0,0,0∣0)(0, 0, 0, 0 \mid 0), and R1→R1−2R2R_1 \to R_1 - 2R_2 gives (1,−3,0,5∣−3)(1, -3, 0, 5 \mid -3).

Why

The zero row ends with 00, so the system is consistent. That sentence must be written BEFORE counting parameters, since the rank theorem needs it.

Step 3

Pivots in columns 11 and 33: rank 22, four unknowns, 4−2=24 - 2 = 2 parameters. Set x2=sx_2 = s and x4=tx_4 = t.

Why

Three equations and yet two parameters, not one: the third equation added no pivot. This is the line where students subtract 4−34 - 3.

Step 4

x1=−3+3s−5tx_1 = -3 + 3s - 5t and x3=2+2tx_3 = 2 + 2t, so x=(−3,0,2,0)+s(3,1,0,0)+t(−5,0,2,1)x = (-3, 0, 2, 0) + s(3, 1, 0, 0) + t(-5, 0, 2, 1).

Why

The constant vector is the particular solution pp; the vectors multiplying ss and tt are the basic solutions of Ax=0Ax = 0. Writing the split is what shows the structure the question is testing.

Step 5

Check: Ap=(−3+4,−6+10,−3+6)=(1,4,3)Ap = (-3 + 4, -6 + 10, -3 + 6) = (1, 4, 3); A(3,1,0,0)=(0,0,0)A(3, 1, 0, 0) = (0, 0, 0); A(−5,0,2,1)=(−5+4+1,−10+10,−5+6−1)=(0,0,0)A(-5, 0, 2, 1) = (-5 + 4 + 1, -10 + 10, -5 + 6 - 1) = (0, 0, 0).

Why

Three products, one minute, and the whole answer is certified. A single nonzero entry locates the faulty back substitution.

The conclusion, written out

“The system is consistent, of rank 22, so its solutions involve 22 parameters: x=(−3,0,2,0)+s(3,1,0,0)+t(−5,0,2,1)x = (-3, 0, 2, 0) + s(3, 1, 0, 0) + t(-5, 0, 2, 1), s,ts, t real.”

The classic mistake on this problem: Writing only x=(−3,0,2,0)x = (-3, 0, 2, 0), one solution out of infinitely many, or only s(3,1,0,0)+t(−5,0,2,1)s(3, 1, 0, 0) + t(-5, 0, 2, 1), which solves Ax=0Ax = 0 and not the system that was asked.

Learn by heart

  • • Ax=x1a1+⋯+xnanAx = x_1a_1 + \cdots + x_na_n: one entry of xx per column, one entry of AxAx per row.
  • • Ax=bAx = b is consistent if and only if bb is a linear combination of the columns.
  • • Rank == number of pivots. Consistent system: n−rn - r parameters. The number of equations only bounds rr.
  • • Homogeneous with MORE unknowns than equations: nontrivial solution guaranteed. The converse is FALSE.
  • • Basic solutions: exactly n−rn - r of them, each one fixed up to a nonzero multiple.
  • • Every solution of Ax=bAx = b is p+hp + h, with Ap=bAp = b and Ah=0Ah = 0.
  • • A(x+y)=Ax+AyA(x + y) = Ax + Ay, A(cx)=c(Ax)A(cx) = c(Ax), A0=0A0 = 0; two solutions of Ax=bAx = b add up to a solution of Ax=2bAx = 2b.

Frequently asked questions

How many basic solutions does a homogeneous system have?

Exactly as many as there are free variables, that is the number of unknowns minus the rank, where the rank is the number of pivots in the reduced form. The number of equations does not enter: three equations in five unknowns of rank two give three basic solutions, because the third equation reduced to a row of zeros and added no pivot.

Does more equations than unknowns mean a homogeneous system has only the trivial solution?

No. The theorem only works in one direction: more unknowns than equations guarantees a nontrivial solution. With as many or more equations than unknowns, anything can happen, and you must reduce. Four equations in three unknowns can have a whole line of solutions if the rank is only two, because some of the equations repeat information the others already carry.

How do I know if a vector b is a linear combination of the columns of A?

Row reduce the augmented matrix A with b as its last column, keeping the entries of b as letters if the question is general. The vector b is a combination of the columns exactly when the system is consistent, that is when no row reads zero equals a nonzero number. Each row of zeros on the left gives one condition on the entries of b.

Why is every solution of Ax = b a particular solution plus a homogeneous one?

Because the product is linear. If p and x both solve Ax = b, then A times x minus p equals b minus b, which is zero, so x minus p solves the homogeneous system. Conversely, adding any homogeneous solution to p gives another solution. The homogeneous part tells you how many parameters there are, and p tells you where the solution set sits.

Is my basic solution wrong if it is a multiple of the one in the answer key?

No. Any nonzero multiple of a basic solution is still accepted, and multiplying to clear fractions is standard practice in Nicholson. What must match is the number of basic solutions, which is always the number of unknowns minus the rank. A list with one more vector than that always contains a combination of the others, and a list with one fewer has missed a free variable.

Practise it

Corrected exercises: Homogeneous systems and the rank theorem, MATH 133 at McGill

A method is proved on a paper, not on a sheet. The set for the same chapter takes each of these traps into a problem, with the solution written out step by step.

  • 10 corrected exercises
  • 100 points
  • 150 minutes
Do the exercises
Previous sheet Gaussian elimination Next sheet Matrix algebra

See also

Looking for a MATH 133 tutor in Montreal?

Get in touch for a first session. This chapter is where linear algebra stops being arithmetic on rows and becomes a way of reading columns, and it is worth getting right before the midterm.

Site by Studio Squalli