MATH 133 Linear Algebra and Geometry • McGill University, Montreal

Corrected exercises: linear systems, matrices and rank (MATH 133)

This is the corrected exercise set for MATH 133, Linear Algebra and Geometry, the first-year course taken at McGill University by students in science, engineering and management. Part A covers the mechanics the rest of the course rests on: Gaussian elimination and the reduced row echelon form, the three possible sizes of a solution set and the proof that there is no fourth, matrix algebra and the identities that stop being true once multiplication no longer commutes, determinants read as signed areas and volumes, and linear independence and spanning treated as one computation rather than two.

The thread running through the whole set: every question here is the same question about the RANK. How many solutions a system has, whether a matrix is invertible, whether a family of vectors is independent, whether it spans, whether a linear map is onto, whether 00 is an eigenvalue: one integer answers all of them, and one row reduction produces it. A student who reaches for the pivot count first stops treating the chapters as separate topics to be memorised.

The traps named explicitly in the solutions: counting equations instead of pivots, expanding (A+B)2(A+B)^2 as though matrices commuted, cancelling a non-invertible AA from AB=ACAB = AC, reading a basis of the column space off the REDUCED matrix instead of the original pivot columns, believing a small determinant makes a small inverse, and forgetting that rank plus nullity counts the COLUMNS and never the rows.

10 corrected exercises • 100 points • 180 minutes

Course recap

  • A system is inconsistent if and only if the reduced form has a pivot in the augmented column, that is a row reading 0=c0 = c with c0c \neq 0.
  • Number of solutions: none, exactly one, or infinitely many. Two distinct solutions immediately produce a whole line of them.
  • rank(A)+(A) + nullity(A)=n(A) = n, the number of COLUMNS of AA, whatever the number of rows.
  • Free variables are the columns of the reduced form with no pivot. Each one contributes one dimension to the solution set.
  • Matrix multiplication is associative and distributive but NOT commutative: (A+B)2=A2+AB+BA+B2(A+B)^2 = A^2 + AB + BA + B^2.
  • (AB)1=B1A1(AB)^{-1} = B^{-1}A^{-1} and (AB)T=BTAT(AB)^{T} = B^{T}A^{T}: undoing a composition reverses the order.
  • det=0\det = 0 means the columns are dependent and the parallelepiped they span has collapsed, not that the number is small.
  • Row operations: swap multiplies det\det by 1-1, scaling by cc multiplies it by cc, adding a multiple of a row leaves it unchanged.
  • For nn vectors in Rn\mathbb{R}^n, independent, spanning and rank nn are the same statement. More than nn vectors are always dependent.
  • λ\lambda is an eigenvalue exactly when AλIA - \lambda I is singular. For a 2×22 \times 2: trace is the sum of eigenvalues, determinant is their product.

Part A: the mechanics (/50)

Exercise 1: Row reduction, and reading the answer off the staircase

Gaussian elimination is not a trick for solving systems, it is a normal form. Any matrix reduces to exactly one reduced row echelon form, and every question the course will ask is answered by looking at that form: which columns hold a leading 11, how many there are, and whether the augmented column holds one.

The figure shows a reduced form of an augmented system with 55 unknowns. Three columns carry a pivot, two do not, and the two that do not are exactly the variables that are free to be anything.

1300250010-12000140pivotpivotpivotfreefreeb3 pivots, 5 unknowns: rank 3, nullity 2, a plane of solutions
  • a) Reduce (1213241936214)\begin{pmatrix} 1 & 2 & -1 & 3 \\ 2 & 4 & 1 & 9 \\ 3 & 6 & 2 & 14 \end{pmatrix} to reduced row echelon form.
  • b) State the rank, name the free variables, and write the general solution in parametric form.
  • c) The system x+2y=1x + 2y = 1, 2x+4y=52x + 4y = 5 has no solution. Show it by row reduction and say which feature of the reduced form proves it.
  • d) Explain why a homogeneous system with more unknowns than equations always has a non-zero solution.
  • e) Three elementary row operations exist. Say for each one why it cannot change the solution set.
Show the solution

a) Subtract 2R12R_1 from R2R_2 and 3R13R_1 from R3R_3: the rows become (0,0,3,3)(0, 0, 3, 3) and (0,0,5,5)(0, 0, 5, 5). Divide the second by 33 to get (0,0,1,1)(0, 0, 1, 1), then R35R2R_3 - 5R_2 kills the last row entirely. Finally R1+R2R_1 + R_2 clears the third column above the pivot. The reduced form is (120400110000)\begin{pmatrix} 1 & 2 & 0 & 4 \\ 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 0 \end{pmatrix}.

b) Two pivots, in columns 11 and 33, so the rank is 22. Column 22 carries no pivot, so yy is free. The equations read x+2y=4x + 2y = 4 and z=1z = 1, giving x=42yx = 4 - 2y and z=1z = 1. In parametric form, (x,y,z)=(4,0,1)+t(2,1,0)(x, y, z) = (4, 0, 1) + t(-2, 1, 0) with tt any real. That is a LINE in space: one particular solution plus the whole null space direction. The zero row is not a nuisance, it is the third plane being a combination of the first two, which is the same statement as the rank being 22 and not 33.

c) Reducing gives R22R1=(0,03)R_2 - 2R_1 = (0, 0 \mid 3), that is the equation 0=30 = 3. The reduced form has a pivot in the AUGMENTED column, and that single feature is the whole test: a system is inconsistent if and only if the last column carries a pivot. Nothing else about the numbers matters.

d) With mm equations and nn unknowns and m<nm < n, the rank is at most mm, so it is strictly less than nn. There are therefore at least nmn - m free variables. Every choice of a non-zero value for a free variable produces a solution, and a homogeneous system is never inconsistent because the last column is all zeros. So the solution set contains a line at the very least, never just the origin.

e) Swapping two rows only reorders the equations. Multiplying a row by a non-zero constant cc replaces an equation by an equivalent one, and non-zero is essential: multiplying by 00 would delete information and cannot be undone. Adding a multiple of one row to another produces a consequence of the two, and it is reversible by subtracting the same multiple, so nothing is lost. Reversibility is the reason the solution set survives: each operation is a bijection between systems.

Exercise 2: Zero, one, or infinitely many, and never anything else

A linear system has no solution, exactly one, or infinitely many. There is no system with exactly two solutions, and understanding why is understanding the whole chapter: if uu and vv both solve Ax=bAx = b, then u+t(uv)u + t(u - v) solves it for every real tt, so two solutions instantly produce a line of them.

The figure draws the three cases for two lines in the plane. The picture in space is on the last exercise of Part A.

one solutionrank 2no solutioninconsistentinfinitely manyrank 1, the same line twice
  • a) Prove that a linear system cannot have exactly two solutions.
  • b) For which values of kk does {x+2y=32x+ky=6\begin{cases} x + 2y = 3 \\ 2x + ky = 6 \end{cases} have one solution, none, or infinitely many?
  • c) Give the geometric meaning of each of the three cases for two equations in two unknowns.
  • d) A system of 44 equations in 33 unknowns is consistent and has rank 33. How many solutions? Justify with the rank.
  • e) State the condition on rank(A)(A) and rank(Ab)(A \mid b) that decides consistency, and explain why the two ranks can never differ by more than one.
Show the solution

a) Suppose Au=bAu = b and Av=bAv = b with uvu \neq v. Set w=uvw = u - v, so Aw=bb=0Aw = b - b = 0 and w0w \neq 0. Then for any real tt, A(u+tw)=Au+tAw=b+0=bA(u + tw) = Au + tAw = b + 0 = b. So u+twu + tw is a solution for every tt, and since w0w \neq 0 these are all distinct. Two solutions force infinitely many. This is exactly why the answer set of a linear system is either empty, a point, or an unbounded flat object, and never a finite scatter.

b) Reduce: R22R1R_2 - 2R_1 gives (0,k40)(0, k - 4 \mid 0). If k4k \neq 4 then y=0y = 0, then x=3x = 3: one solution. If k=4k = 4 the second row is all zeros, the rank drops to 11, yy is free and the solutions are (32t,t)(3 - 2t, t): infinitely many. There is no value of kk giving no solution here, because the right-hand side 66 is exactly 2×32 \times 3, so the second equation is consistent with the first whatever happens. Changing the 66 to a 77 would make k=4k = 4 inconsistent, and that is the whole content of the third case.

c) One solution: the two lines cross at a point. No solution: they are parallel and distinct. Infinitely many: they are the same line written twice. The middle case is the only one that cannot happen for a homogeneous system, because both lines then pass through the origin and can never be parallel and distinct.

d) Exactly one. The rank is 33 and there are 33 unknowns, so there are 33 pivots and no free variable. Having four equations rather than three is irrelevant: consistency says the fourth row reduced to zeros rather than to a contradiction, so it carried no information the first three did not already have. Counting equations is never the right count; counting pivots is.

e) The system is consistent if and only if rank(A)=(A) = rank(Ab)(A \mid b). Adding one column to a matrix can add at most one pivot, so rank(Ab)(A \mid b) is either rank(A)(A) or rank(A)+1(A) + 1, never more. The case rank(A)+1(A) + 1 is precisely a pivot appearing in the augmented column, that is a row reading 0=0 = something non-zero. So the two formulations of inconsistency are the same statement.

Exercise 3: Matrix algebra: what is allowed, and what is not

Matrix multiplication is the composition of two linear maps, which is why it is associative, why it distributes, and why it is NOT commutative. Every algebraic identity that fails for matrices fails because the two sides describe two different compositions.

The sizes matter as much as the entries: an m×nm \times n times an n×pn \times p gives an m×pm \times p, and if the inner dimensions disagree the product simply does not exist.

  • a) With A=(1201)A = \begin{pmatrix} 1 & 2 \\ 0 & 1 \end{pmatrix} and B=(1031)B = \begin{pmatrix} 1 & 0 \\ 3 & 1 \end{pmatrix}, compute ABAB and BABA and comment.
  • b) Expand (A+B)2(A + B)^2 correctly. Why is it not A2+2AB+B2A^2 + 2AB + B^2?
  • c) Give two non-zero 2×22 \times 2 matrices whose product is the zero matrix. What does that break?
  • d) Prove that (AB)1=B1A1(AB)^{-1} = B^{-1}A^{-1} when both inverses exist, and explain the reversal in one sentence.
  • e) Show that if A2=AA^2 = A and AA is invertible, then A=IA = I.
Show the solution

a) AB=(7231)AB = \begin{pmatrix} 7 & 2 \\ 3 & 1 \end{pmatrix} and BA=(1237)BA = \begin{pmatrix} 1 & 2 \\ 3 & 7 \end{pmatrix}. They differ, so matrix multiplication is not commutative, and this is not an accident of these entries: AA is a shear along xx and BB a shear along yy, and shearing then shearing the other way is genuinely a different transformation from doing it in the other order. Note both products have the same trace 88 and the same determinant 11, which is a general fact about ABAB and BABA and a useful sanity check.

b) (A+B)2=(A+B)(A+B)=A2+AB+BA+B2(A+B)^2 = (A+B)(A+B) = A^2 + AB + BA + B^2. The middle terms cannot be combined into 2AB2AB unless AB=BAAB = BA. Here ABBAAB \neq BA, so the familiar identity is false. Every binomial-style formula from real algebra has to be re-derived for matrices, keeping the order of every factor, and the difference ABBAAB - BA has a name for this reason: the commutator.

c) Take A=(1000)A = \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix} and B=(0001)B = \begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix}. Then AB=0AB = 0 although neither factor is zero. This breaks cancellation: from AC=ADAC = AD one may NOT conclude C=DC = D, because A(CD)=0A(C - D) = 0 does not force C=DC = D. Cancellation returns only when AA is invertible, and that is one more entry in the long list of things invertibility buys.

d) (AB)(B1A1)=A(BB1)A1=AIA1=AA1=I(AB)(B^{-1}A^{-1}) = A(BB^{-1})A^{-1} = AIA^{-1} = AA^{-1} = I, and the same computation on the other side gives II, so B1A1B^{-1}A^{-1} is the inverse of ABAB. The order reverses for the reason socks and shoes reverse: to undo putting on socks then shoes, take off the shoes first.

e) Multiply A2=AA^2 = A on the left by A1A^{-1}: A1A2=A1AA^{-1}A^2 = A^{-1}A, that is A=IA = I. The hypothesis of invertibility is doing all the work, since without it A2=AA^2 = A has many solutions, for instance any projection such as (1000)\begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}. A projection is idempotent precisely because projecting twice is projecting once, and it is never invertible unless it is the identity.

Exercise 4: Determinants: an area that collapses

For a 2×22 \times 2 matrix, det\det is the signed area of the parallelogram spanned by the columns; for 3×33 \times 3, the signed volume of the parallelepiped. Every property of the determinant is a property of that area, which is why detA=0\det A = 0 means the columns lie in a smaller space rather than meaning the number happened to come out small.

The figure puts a genuine parallelogram beside a collapsed one.

u = (3, 1)v = (1, 2.5)area = 6.5uv = u/2area = 0rank 1det = 0 means COLLAPSED, not small
  • a) Compute det(3112.5)\det \begin{pmatrix} 3 & 1 \\ 1 & 2.5 \end{pmatrix} and check it against the area on the figure.
  • b) Compute det(201131024)\det \begin{pmatrix} 2 & 0 & 1 \\ 1 & 3 & -1 \\ 0 & 2 & 4 \end{pmatrix} by cofactor expansion along a well-chosen row.
  • c) State what each of the three row operations does to the determinant, and why the third one leaves it alone.
  • d) Prove that det(AB)=detAdetB\det(AB) = \det A \det B implies that an invertible matrix has non-zero determinant, and give det(A1)\det(A^{-1}).
  • e) A 4×44 \times 4 matrix has two identical columns. Give its determinant without computing anything, and give the rank bound that follows.
Show the solution

a) 3×2.51×1=7.51=6.53 \times 2.5 - 1 \times 1 = 7.5 - 1 = 6.5, which is the area written on the figure. The sign is positive, meaning the pair (u,v)(u, v) turns counterclockwise, in the same sense as the standard basis. Swapping the two columns would give 6.5-6.5: the area is unchanged but the orientation is reversed, and that is what the word signed is doing.

b) Expand along the first column, which has a zero in it: 2×det(3124)1×det(0124)+02 \times \det \begin{pmatrix} 3 & -1 \\ 2 & 4 \end{pmatrix} - 1 \times \det \begin{pmatrix} 0 & 1 \\ 2 & 4 \end{pmatrix} + 0. That is 2(12+2)1(02)=28+2=302(12 + 2) - 1(0 - 2) = 28 + 2 = 30. Choosing the row or column with the most zeros is not a stylistic preference, it removes an entire 3×33 \times 3 of work, and on a midterm it is the difference between finishing and not.

c) Swapping two rows multiplies the determinant by 1-1. Multiplying a row by cc multiplies it by cc. Adding a multiple of one row to another leaves it UNCHANGED. Geometrically the third one slides the parallelogram along its own base: the base and the height are untouched, so the area is too. That is why elimination is the practical way to compute a large determinant: the expensive operation is free.

d) If AA is invertible then AA1=IAA^{-1} = I, so detAdet(A1)=detI=1\det A \cdot \det(A^{-1}) = \det I = 1. A product of two numbers equal to 11 forces both to be non-zero, so detA0\det A \neq 0, and det(A1)=1/detA\det(A^{-1}) = 1/\det A. The converse holds too, which is why detA0\det A \neq 0 is one line of the invertible matrix theorem rather than a separate fact to memorise.

e) The determinant is 00. Subtracting one of the identical columns from the other leaves a zero column and does not change the determinant, and a matrix with a zero column has determinant zero. Since the four columns are dependent, they span at most three dimensions, so the rank is at most 33. In one glance the matrix is not invertible, the homogeneous system has a non-trivial solution, and the map is not onto.

Exercise 5: Independence, span, and the one number behind both

A family of vectors is independent when the only combination giving zero is the trivial one, and it spans when every vector is reachable. Both questions become one row reduction: put the vectors as the columns of a matrix and count the pivots.

The figure shows how the nn columns are split once and for all by that reduction, and why the two pieces always add back to nn.

pivot columnsfree columnsrank(A) = 4nullity = 3n = 7 columns of Arank + nullity = n, always, whatever A does
  • a) Are (1,2,3)(1, 2, 3), (2,4,7)(2, 4, 7) and (1,2,4)(1, 2, 4) independent? Give the rank and a dependency if there is one.
  • b) Do those three vectors span R3\mathbb{R}^3? Answer from the same computation.
  • c) Explain why any 44 vectors in R3\mathbb{R}^3 are dependent, without computing.
  • d) State the rank-nullity theorem and read it off the figure.
  • e) A 5×75 \times 7 matrix has rank 44. Give the dimension of the null space, say whether the map is onto, and say whether Ax=bAx = b can be inconsistent.
Show the solution

a) Row reduce the matrix with these as columns. R22R1R_2 - 2R_1 and R33R1R_3 - 3R_1 give rows (0,0,0)(0, 0, 0) and (0,1,1)(0, 1, 1), so after a swap the pivots sit in columns 11 and 22 and the third column carries none. The rank is 22, so the three are DEPENDENT. Solving gives (2,4,7)=(1,2,3)+(1,2,4)(2,4,7) = (1,2,3) + (1,2,4), a dependency you can check entry by entry: 1+1=21+1 = 2, 2+2=42+2 = 4, 3+4=73+4 = 7.

b) No. Three vectors span R3\mathbb{R}^3 only when the rank is 33, and here it is 22. They span a plane through the origin. This is the point of the exercise: independence and spanning are not two computations, they are two readings of the same pivot count. For nn vectors in Rn\mathbb{R}^n, rank nn gives both at once and any smaller rank gives neither.

c) The matrix holding them is 3×43 \times 4. Its rank is at most 33, being bounded by the number of rows, so with 44 columns there is at least one free variable and therefore a non-trivial combination giving zero. More generally, more than nn vectors in Rn\mathbb{R}^n are always dependent, and fewer than nn can never span it.

d) rank(A)+(A) + nullity(A)=n(A) = n, the number of COLUMNS, never the number of rows. On the figure the 77 columns split into 44 pivot columns and 33 free ones, and each free column contributes exactly one basis vector of the null space. The theorem is not a coincidence, it is that split written as an equation.

e) Nullity =74=3= 7 - 4 = 3. The image lives in R5\mathbb{R}^5 and has dimension equal to the rank, so 4<54 < 5: the map is NOT onto. Consequently there are right-hand sides bb outside the image, and yes, Ax=bAx = b can be inconsistent. When it is consistent, the solution set is a 33-dimensional flat, never a single point.

Part B: problems and reasoning (/50)

Exercise 6: The invertible matrix theorem, used as a tool

A long list of statements about a square matrix are all equivalent: invertible, determinant non-zero, rank equal to nn, columns independent, columns spanning, Ax=0Ax = 0 having only the trivial solution, Ax=bAx = b solvable for every bb, reduced form equal to the identity, and 00 not being an eigenvalue. The list is not a memory exercise, it is a licence to answer any of those questions by whichever one is cheapest.

The point of this exercise is to use it rather than to recite it.

  • a) Decide whether (1232573711)\begin{pmatrix} 1 & 2 & 3 \\ 2 & 5 & 7 \\ 3 & 7 & 11 \end{pmatrix} is invertible, by the cheapest route you can justify.
  • b) For which tt is (t14t)\begin{pmatrix} t & 1 \\ 4 & t \end{pmatrix} singular? For those values, describe the solution set of the homogeneous system.
  • c) AA is n×nn \times n with A3=0A^3 = 0. Prove AA is not invertible for n1n \ge 1.
  • d) AA and BB are n×nn \times n with AB=IAB = I. Prove BA=IBA = I, and say why this fails for non-square matrices.
  • e) Give a 3×33 \times 3 matrix with rank 22 and explain, without computing an inverse, why no matrix CC can satisfy AC=IAC = I.
Show the solution

a) The cheapest route is the determinant, since the matrix is small. Expanding gives 1(5549)2(2221)+3(1415)=623=11(55 - 49) - 2(22 - 21) + 3(14 - 15) = 6 - 2 - 3 = 1. Non-zero, so the matrix IS invertible, the rank is 33, the columns are independent and Ax=bAx = b has exactly one solution for every bb. All of that came from one number. Had the determinant been 00, the row reduction would then have been needed anyway to find the rank, which is why elimination is the more informative route on anything larger than 3×33 \times 3.

b) The determinant is t24t^2 - 4, zero when t=2t = 2 or t=2t = -2. At t=2t = 2 the matrix is (2142)\begin{pmatrix} 2 & 1 \\ 4 & 2 \end{pmatrix}, whose rows are proportional, so the rank is 11 and the null space is the line spanned by (1,2)(1, -2). At t=2t = -2 the null space is the line spanned by (1,2)(1, 2). In both cases the solution set is a line through the origin, never a single point: for a singular square matrix the homogeneous system always has room to move.

c) Suppose AA were invertible. Then A1A^{-1} exists and multiplying A3=0A^3 = 0 by (A1)3(A^{-1})^3 gives I=0I = 0, impossible for n1n \ge 1. So AA is singular. Directly: det(A)3=det(A3)=0\det(A)^3 = \det(A^3) = 0, so detA=0\det A = 0. Such a matrix is called nilpotent, and the argument shows nilpotent and invertible are mutually exclusive, with (0100)\begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} as the standard example.

d) From AB=IAB = I take determinants: detAdetB=1\det A \det B = 1, so detA0\det A \neq 0 and AA is invertible. Multiply AB=IAB = I on the left by A1A^{-1} to get B=A1B = A^{-1}, hence BA=A1A=IBA = A^{-1}A = I. The argument uses squareness twice, once for the determinant to exist and once for A1A^{-1} to be two-sided. For non-square matrices it genuinely fails: a 2×32 \times 3 matrix can have a right inverse and no left inverse, because it can be onto without being one-to-one.

e) Take A=(100010000)A = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 0 \end{pmatrix}. If AC=IAC = I then for every bb the vector x=Cbx = Cb solves Ax=bAx = b, so the map would be onto and the rank would be 33. It is 22. The image is a plane and no choice of CC can send anything outside it, so AC=IAC = I is impossible. This is the argument in its useful form: rank is a property of AA alone and no companion matrix can raise it.

Exercise 7: Three planes in space

A linear equation in three unknowns is a plane. A system of three such equations asks how three planes meet, and the four possible answers are exactly the four things the rank can say. Drawing the picture first and reducing second is faster than the other way round.

The figure shows three of the cases; the fourth, two parallel planes cut by a third, also gives no solution and is left as part e).

one pointrank 3a whole linerank 2nothing at allinconsistent
  • a) Solve {x+y+z=6xy+2z=52x+yz=1\begin{cases} x + y + z = 6 \\ x - y + 2z = 5 \\ 2x + y - z = 1 \end{cases} and say which picture it is.
  • b) Solve {x+y+z=12x+2y+2z=23x+3y+3z=3\begin{cases} x + y + z = 1 \\ 2x + 2y + 2z = 2 \\ 3x + 3y + 3z = 3 \end{cases} and give the dimension of the solution set.
  • c) Change the right-hand side of the third equation in b) to 44. What happens, and what does the picture become?
  • d) Find all aa for which {x+2y+z=12x+4y+az=2\begin{cases} x + 2y + z = 1 \\ 2x + 4y + az = 2 \end{cases} has a plane of solutions rather than a line.
  • e) Describe the configuration of three planes that gives no solution even though no two of them are parallel.
Show the solution

a) Eliminating xx gives 2y+z=1-2y + z = -1 and y3z=11-y - 3z = -11. From the first, z=2y1z = 2y - 1; substituting, y6y+3=11-y - 6y + 3 = -11, so 7y=147y = 14 and y=2y = 2, then z=3z = 3 and x=1x = 1. The solution is (1,2,3)(1, 2, 3), and every equation checks: 1+2+3=61+2+3 = 6, 12+6=51-2+6 = 5, 2+23=12+2-3 = 1. Rank 33, three pivots, no free variable: the three planes meet in a single POINT, the first picture on the figure.

b) The second and third equations are 22 and 33 times the first, so after reduction only one row survives: rank 11. Two free variables, so the solution set is the plane x+y+z=1x + y + z = 1 itself, of dimension 22. Parametrically (1st,s,t)(1 - s - t, s, t). Three equations were written and one plane was described: the count of equations again says nothing, the rank says everything.

c) The third row reduces to 0=10 = 1, a pivot in the augmented column, so the system becomes inconsistent. Geometrically 3x+3y+3z=43x + 3y + 3z = 4 is the plane x+y+z=4/3x + y + z = 4/3, parallel to the first and distinct from it. Two parallel distinct planes never meet, so the whole system is empty however the second equation behaves.

d) The second row minus twice the first gives (0,0,a20)(0, 0, a - 2 \mid 0). If a2a \neq 2 there is a pivot in the third column, the rank is 22 and with three unknowns exactly one variable is free: a line. If a=2a = 2 the second equation is a copy of the first, the rank drops to 11, two variables are free and the solution set is the plane x+2y+z=1x + 2y + z = 1. So a=2a = 2 is the answer.

e) Take three planes whose normals are independent in pairs but which meet pairwise in three DIFFERENT parallel lines, the way the three side faces of a triangular prism do. No two planes are parallel, each pair meets in a line, and yet the three lines never coincide, so no point lies on all three. In the algebra, rank(A)=2(A) = 2 while rank(Ab)=3(A \mid b) = 3: the coefficient matrix says the normals span only a plane, and the augmented column adds the pivot that makes it inconsistent.

Exercise 8: Five statements to correct

Each statement below has been written by a student in a MATH 133 tutorial. Each is false. Say what is wrong, give the correct statement, and give the smallest counterexample that settles it.

  • a) "A system with more equations than unknowns has no solution."
  • b) "If detA\det A is small, the matrix is nearly singular, so its inverse is small too."
  • c) "Row operations do not change the column space, since they only touch rows."
  • d) "If the columns of AA span Rn\mathbb{R}^n then they are independent."
  • e) "AB=ACAB = AC implies B=CB = C, because you can cancel AA."
Show the solution

a) FALSE. What decides is the rank, not the counts. The system x=1x = 1, 2x=22x = 2, 3x=33x = 3 has three equations, one unknown, and exactly one solution. Correct statement: more equations than unknowns makes inconsistency LIKELY for a random right-hand side, because the rank is at most the number of unknowns while the augmented rank could exceed it, but it guarantees nothing.

b) FALSE, and backwards. A1=1detAadj(A)A^{-1} = \frac{1}{\det A}\,\text{adj}(A), so a small determinant makes the inverse LARGE, not small. Take (1000.001)\begin{pmatrix} 1 & 0 \\ 0 & 0.001 \end{pmatrix}: the determinant is 0.0010.001 and the inverse has an entry of 10001000. That blow-up is the whole practical meaning of near-singularity, and it is why a nearly singular system amplifies any error in bb.

c) FALSE. Row operations preserve the row space and the null space, and they change the COLUMN space. In (1224)\begin{pmatrix} 1 & 2 \\ 2 & 4 \end{pmatrix}, reducing to (1200)\begin{pmatrix} 1 & 2 \\ 0 & 0 \end{pmatrix} turns a column space spanned by (1,2)(1,2) into one spanned by (1,0)(1,0): different subspaces, same dimension. Correct: row reduction preserves the DIMENSION of the column space, which is why the rank can be read off the reduced form, but a basis of the column space must be taken from the ORIGINAL pivot columns.

d) TRUE only for a SQUARE matrix, and the statement omits that. For an n×nn \times n matrix, spanning and independence are equivalent, both meaning rank nn. For a 2×32 \times 3 matrix the three columns can span R2\mathbb{R}^2 while being dependent, for instance (1,0)(1,0), (0,1)(0,1), (1,1)(1,1). Correct statement: for nn vectors in Rn\mathbb{R}^n, spanning and independence are equivalent; with more vectors than the dimension, spanning never implies independence.

e) FALSE unless AA is invertible. AB=ACAB = AC gives A(BC)=0A(B - C) = 0, which forces B=CB = C only when the null space of AA is trivial. With A=(1000)A = \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}, B=(0010)B = \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix} and CC the zero matrix, AB=AC=0AB = AC = 0 while BCB \neq C. Correct: cancellation on the left requires AA to have independent columns.

Exercise 9: A network problem: traffic on a one-way grid

Four one-way streets form a square block. Cars enter and leave at the four corners, and the flow along each side is unknown. Conservation at each corner says what goes in comes out, and the resulting system is the archetype of every application in the course: nodes give equations, edges give unknowns, and the rank tells you how much of the network is actually determined.

Corner flows, in cars per hour: 400400 enters at AA and 300300 leaves; 200200 enters at BB and 100100 leaves; 150150 enters at CC and 250250 leaves; 5050 enters at DD and 150150 leaves.

cornerinoutequation
A400300x4+400=x1+300x_4 + 400 = x_1 + 300
B200100x1+200=x2+100x_1 + 200 = x_2 + 100
C150250x2+150=x3+250x_2 + 150 = x_3 + 250
D50150x3+50=x4+150x_3 + 50 = x_4 + 150
  • a) Write the four conservation equations as a linear system in x1,x2,x3,x4x_1, x_2, x_3, x_4.
  • b) Reduce it. Give the rank and explain why it cannot be 44.
  • c) Give the general solution in terms of one parameter.
  • d) Flows cannot be negative. Find the range of the parameter and the smallest possible value of x2x_2.
  • e) The city closes the street carrying x3x_3. Is the network still consistent? What does that say about the rest of the flows?
Show the solution

a) Rearranging each row of the table: x1x4=100x_1 - x_4 = 100, x2x1=100x_2 - x_1 = 100, x3x2=100x_3 - x_2 = -100, x4x3=100x_4 - x_3 = -100. Note the four right-hand sides add to 00, which is the total entering minus the total leaving: 800800=0800 - 800 = 0. That balance is not an accident of the numbers, it is forced by counting every car twice, once in and once out.

b) Adding all four equations gives 0=00 = 0: the fourth row is minus the sum of the first three, so it carries no information. The rank is 33, not 44, and it CANNOT be 44 for the reason just given, because conservation at the last corner follows from conservation at the other three plus the global balance. Any closed network has this dependency, and it is why a traffic system always has at least one free flow.

c) With rank 33 and four unknowns, one variable is free. Take x4=tx_4 = t. Then x1=t+100x_1 = t + 100, x2=t+200x_2 = t + 200, x3=t+100x_3 = t + 100. Every flow is pinned to every other, and only the overall level of circulation around the block is undetermined. That circulating amount is the null space direction (1,1,1,1)(1,1,1,1): adding the same number to every street changes nothing at any corner.

d) All four must be non-negative: t0t \ge 0, t+1000t + 100 \ge 0, t+2000t + 200 \ge 0, t+1000t + 100 \ge 0. The binding constraint is t0t \ge 0, so t[0,)t \in [0, \infty) and the smallest possible x2x_2 is 200200, reached when t=0t = 0, that is when the street carrying x4x_4 is empty. Physical constraints do not enter the linear algebra, they select a piece of the solution line afterwards, and that two-step reading is what the question is testing.

e) Closing that street sets x3=0x_3 = 0, which forces t=100t = -100 and therefore x4=100x_4 = -100, a negative flow. So the network is algebraically consistent but physically impossible: the equations have a solution, the one-way constraints do not. Either a street must be reversed or the corner flows must change. The system says exactly which: with x3=0x_3 = 0 imposed, conservation at CC demands x2=100x_2 = 100, and every other value follows.

Exercise 10: From rank to eigenvalues

An eigenvector is a direction the matrix does not turn: Av=λvAv = \lambda v with v0v \neq 0. Written as (AλI)v=0(A - \lambda I)v = 0, the definition says that λ\lambda is an eigenvalue exactly when AλIA - \lambda I is SINGULAR, which brings the whole chapter back to rank and determinant.

That is why the characteristic polynomial is det(AλI)=0\det(A - \lambda I) = 0 and not something new: it is the singularity test applied to a family of matrices.

  • a) Find the eigenvalues of A=(4123)A = \begin{pmatrix} 4 & 1 \\ 2 & 3 \end{pmatrix} and an eigenvector for each.
  • b) Explain why λ=0\lambda = 0 is an eigenvalue if and only if AA is singular.
  • c) Give the eigenvalues of an upper triangular matrix, and justify in one line.
  • d) Show that detA\det A is the product of the eigenvalues and the trace is their sum, for a 2×22 \times 2, and check on a).
  • e) AA is 3×33 \times 3 with eigenvalues 22, 22 and 55, and the eigenspace of 22 has dimension 11. Is AA diagonalizable? What is rank(A2I)(A - 2I)?
Show the solution

a) det(AλI)=(4λ)(3λ)2=λ27λ+10=(λ2)(λ5)\det(A - \lambda I) = (4-\lambda)(3-\lambda) - 2 = \lambda^2 - 7\lambda + 10 = (\lambda - 2)(\lambda - 5), so the eigenvalues are 22 and 55. For λ=5\lambda = 5, (A5I)v=0(A - 5I)v = 0 reads v1+v2=0-v_1 + v_2 = 0, giving v=(1,1)v = (1, 1). For λ=2\lambda = 2, 2v1+v2=02v_1 + v_2 = 0, giving v=(1,2)v = (1, -2). Both checks are one multiplication: A(1,1)=(5,5)A(1,1) = (5,5) and A(1,2)=(2,4)A(1,-2) = (2,-4).

b) λ=0\lambda = 0 is an eigenvalue exactly when (A0I)v=Av=0(A - 0I)v = Av = 0 has a non-zero solution, that is when the null space is non-trivial, that is when AA is singular. So the invertible matrix theorem gains one more line for free, and the determinant of AA being the product of the eigenvalues makes the same statement a second time.

c) They are the diagonal entries. AλIA - \lambda I is still triangular, and the determinant of a triangular matrix is the product of its diagonal, so det(AλI)=(aiiλ)\det(A - \lambda I) = \prod (a_{ii} - \lambda), whose roots are the aiia_{ii}. This is worth noticing on a midterm: a triangular matrix hands over its eigenvalues with no computation at all.

d) For a 2×22 \times 2, det(AλI)=λ2(trA)λ+detA\det(A - \lambda I) = \lambda^2 - (\text{tr}A)\lambda + \det A. Comparing with (λλ1)(λλ2)=λ2(λ1+λ2)λ+λ1λ2(\lambda - \lambda_1)(\lambda - \lambda_2) = \lambda^2 - (\lambda_1 + \lambda_2)\lambda + \lambda_1\lambda_2 gives the two identities. Here the trace is 4+3=7=2+54 + 3 = 7 = 2 + 5 and the determinant is 122=10=2×512 - 2 = 10 = 2 \times 5. Both hold, which is the fastest available check on a computed pair of eigenvalues.

e) NOT diagonalizable. The eigenvalue 22 has algebraic multiplicity 22 but geometric multiplicity 11, so the eigenvectors span only 1+1=21 + 1 = 2 dimensions and there is no basis of R3\mathbb{R}^3 made of them. The geometric multiplicity is the nullity of A2IA - 2I, which is 11, so by rank-nullity rank(A2I)=31=2(A - 2I) = 3 - 1 = 2. The whole answer came from counting pivots once more, which is the thread of the set arriving at its last chapter.

See also

Struggling with MATH 133?

I tutor first-year linear algebra at McGill and Concordia, in English or in French, in Montreal or online. Get in touch for a first session.

Site by Studio Squalli