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 0 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 as though matrices commuted, cancelling a non-invertible A from AB=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.
Self-checking setType your answers and check them question by question: the page tells you right or wrong before you open the solution. With an account, every answer right on the first try earns points, and your right answers stay filled in when you come back.
•A system is inconsistent if and only if the reduced form has a pivot in the augmented column, that is a row reading 0=c with c=0.
•Number of solutions: none, exactly one, or infinitely many. Two distinct solutions immediately produce a whole line of them.
•rank(A)+ nullity(A)=n, the number of COLUMNS of A, 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.
•(AB)−1=B−1A−1 and (AB)T=BTAT: undoing a composition reverses the order.
•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 by −1, scaling by c multiplies it by c, adding a multiple of a row leaves it unchanged.
•For n vectors in Rn, independent, spanning and rank n are the same statement. More than n vectors are always dependent.
•λ is an eigenvalue exactly when A−λI is singular. For a 2×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 1, how many there are, and whether the augmented column holds one.
The figure shows a reduced form of an augmented system with 5 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.
a) Reduce 123246−1123914 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=1, 2x+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
Answers
a)100200010410
b)Rank 2, y free; (x,y,z)=(4,0,1)+t(−2,1,0), t∈R
c)R2−2R1 gives (0,0∣3), that is 0=3: a pivot in the augmented column
d)The rank is at most m<n, so at least n−m variables are free, and a homogeneous system is always consistent
e)A swap, a scaling by c=0 and adding a multiple of a row are all reversible, so no solution is gained or lost
a)
Subtract 2R1 from R2 and 3R1 from R3: the rows become (0,0,3,3) and (0,0,5,5). Divide the second by 3 to get (0,0,1,1), then R3−5R2 kills the last row entirely. Finally R1+R2 clears the third column above the pivot. The reduced form is 100200010410.
b)
Two pivots, in columns 1 and 3, so the rank is 2. Column 2 carries no pivot, so y is free. The equations read x+2y=4 and z=1, giving x=4−2y and z=1. In parametric form, (x,y,z)=(4,0,1)+t(−2,1,0) with t 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 2 and not 3.
c)
Reducing gives R2−2R1=(0,0∣3), that is the equation 0=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 m equations and n unknowns and m<n, the rank is at most m, so it is strictly less than n. There are therefore at least n−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 c replaces an equation by an equivalent one, and non-zero is essential: multiplying by 0 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.
Tick the exercises you have done or want to review: a free account, no password, keeps your ticks and your right answers from one visit to the next, tells you which chapter to tackle next and lets you ask for the exercise you are missing. Create your space, an email is enough.
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 u and v both solve Ax=b, then u+t(u−v) solves it for every real t, 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.
a) Prove that a linear system cannot have exactly two solutions.
b) For which values of k does {x+2y=32x+ky=6 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 4 equations in 3 unknowns is consistent and has rank 3. How many solutions? Justify with the rank.
e) State the condition on rank(A) and rank(A∣b) that decides consistency, and explain why the two ranks can never differ by more than one.
Show the solution
Answers
a)If Au=Av=b with u=v, then u+t(u−v) solves Ax=b for every real t: infinitely many
b)One solution (3,0) for k=4; infinitely many for k=4; no value of k gives none
c)One solution: the lines cross; none: parallel and distinct; infinitely many: the same line
d)Exactly one: 3 pivots for 3 unknowns, no free variable
e)Consistent if and only if rank(A)= rank(A∣b); one extra column adds at most one pivot
a)
Suppose Au=b and Av=b with u=v. Set w=u−v, so Aw=b−b=0 and w=0. Then for any real t, A(u+tw)=Au+tAw=b+0=b. So u+tw is a solution for every t, and since w=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: R2−2R1 gives (0,k−4∣0). If k=4 then y=0, then x=3: one solution. If k=4 the second row is all zeros, the rank drops to 1, y is free and the solutions are (3−2t,t): infinitely many. There is no value of k giving no solution here, because the right-hand side 6 is exactly 2×3, so the second equation is consistent with the first whatever happens. Changing the 6 to a 7 would make k=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 3 and there are 3 unknowns, so there are 3 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)= rank(A∣b). Adding one column to a matrix can add at most one pivot, so rank(A∣b) is either rank(A) or rank(A)+1, never more. The case rank(A)+1 is precisely a pivot appearing in the augmented column, that is a row reading 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×n times an n×p gives an m×p, and if the inner dimensions disagree the product simply does not exist.
a) With A=(1021) and B=(1301), compute AB and BA and comment.
b) Expand (A+B)2 correctly. Why is it not A2+2AB+B2?
c) Give two non-zero 2×2 matrices whose product is the zero matrix. What does that break?
d) Prove that (AB)−1=B−1A−1 when both inverses exist, and explain the reversal in one sentence.
e) Show that if A2=A and A is invertible, then A=I.
Show the solution
Answers
a)AB=(7321), BA=(1327): matrix multiplication is not commutative
b)(A+B)2=A2+AB+BA+B2, not A2+2AB+B2 since AB=BA
c)(1000)(0001)=0: cancellation fails
d)(AB)(B−1A−1)=AIA−1=I, and likewise on the other side: undo the last operation first
e)Multiply A2=A on the left by A−1: A=I
a)
AB=(7321) and BA=(1327). They differ, so matrix multiplication is not commutative, and this is not an accident of these entries: A is a shear along x and B a shear along y, 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 8 and the same determinant 1, which is a general fact about AB and BA and a useful sanity check.
b)
(A+B)2=(A+B)(A+B)=A2+AB+BA+B2. The middle terms cannot be combined into 2AB unless AB=BA. Here AB=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 AB−BA has a name for this reason: the commutator.
c)
Take A=(1000) and B=(0001). Then AB=0 although neither factor is zero. This breaks cancellation: from AC=AD one may NOT conclude C=D, because A(C−D)=0 does not force C=D. Cancellation returns only when A is invertible, and that is one more entry in the long list of things invertibility buys.
d)
(AB)(B−1A−1)=A(BB−1)A−1=AIA−1=AA−1=I, and the same computation on the other side gives I, so B−1A−1 is the inverse of AB. 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=A on the left by A−1: A−1A2=A−1A, that is A=I. The hypothesis of invertibility is doing all the work, since without it A2=A has many solutions, for instance any projection such as (1000). 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×2 matrix, det is the signed area of the parallelogram spanned by the columns; for 3×3, the signed volume of the parallelepiped. Every property of the determinant is a property of that area, which is why detA=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.
a) Compute det(3112.5) and check it against the area on the figure.
b) Compute det2100321−14 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 implies that an invertible matrix has non-zero determinant, and give det(A−1).
e) A 4×4 matrix has two identical columns. Give its determinant without computing anything, and give the rank bound that follows.
Show the solution
Answers
a)3×2.5−1×1=6.5, the area on the figure
b)2(12+2)−1(0−2)=30, along the first column
c)A swap multiplies by −1, scaling a row by c multiplies by c, adding a multiple of another row changes nothing
d)detA⋅det(A−1)=detI=1, so detA=0 and det(A−1)=detA1
e)det=0, and the rank is at most 3
a)
3×2.5−1×1=7.5−1=6.5, which is the area written on the figure. The sign is positive, meaning the pair (u,v) turns counterclockwise, in the same sense as the standard basis. Swapping the two columns would give −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(32−14)−1×det(0214)+0. That is 2(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×3 of work, and on a midterm it is the difference between finishing and not.
c)
Swapping two rows multiplies the determinant by −1. Multiplying a row by c multiplies it by c. 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 A is invertible then AA−1=I, so detA⋅det(A−1)=detI=1. A product of two numbers equal to 1 forces both to be non-zero, so detA=0, and det(A−1)=1/detA. The converse holds too, which is why detA=0 is one line of the invertible matrix theorem rather than a separate fact to memorise.
e)
The determinant is 0. 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 3. 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 n columns are split once and for all by that reduction, and why the two pieces always add back to n.
a) Are (1,2,3), (2,4,7) and (1,2,4) independent? Give the rank and a dependency if there is one.
b) Do those three vectors span R3? Answer from the same computation.
c) Explain why any 4 vectors in R3 are dependent, without computing.
d) State the rank-nullity theorem and read it off the figure.
e) A 5×7 matrix has rank 4. Give the dimension of the null space, say whether the map is onto, and say whether Ax=b can be inconsistent.
Show the solution
Answers
a)Dependent, rank 2: (2,4,7)=(1,2,3)+(1,2,4)
b)No: rank 2<3, they span a plane through the origin
c)A 3×4 matrix has rank at most 3, so at least one free variable gives a non-trivial dependency
d)rank(A)+ nullity(A)=n, the number of columns: 4+3=7 on the figure
e)Nullity 3; not onto since 4<5; Ax=b can be inconsistent
a)
Row reduce the matrix with these as columns. R2−2R1 and R3−3R1 give rows (0,0,0) and (0,1,1), so after a swap the pivots sit in columns 1 and 2 and the third column carries none. The rank is 2, so the three are DEPENDENT. Solving gives (2,4,7)=(1,2,3)+(1,2,4), a dependency you can check entry by entry: 1+1=2, 2+2=4, 3+4=7.
b)
No. Three vectors span R3 only when the rank is 3, and here it is 2. 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 n vectors in Rn, rank n gives both at once and any smaller rank gives neither.
c)
The matrix holding them is 3×4. Its rank is at most 3, being bounded by the number of rows, so with 4 columns there is at least one free variable and therefore a non-trivial combination giving zero. More generally, more than n vectors in Rn are always dependent, and fewer than n can never span it.
d)
rank(A)+ nullity(A)=n, the number of COLUMNS, never the number of rows. On the figure the 7 columns split into 4 pivot columns and 3 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 =7−4=3. The image lives in R5 and has dimension equal to the rank, so 4<5: the map is NOT onto. Consequently there are right-hand sides b outside the image, and yes, Ax=b can be inconsistent. When it is consistent, the solution set is a 3-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 n, columns independent, columns spanning, Ax=0 having only the trivial solution, Ax=b solvable for every b, reduced form equal to the identity, and 0 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 is invertible, by the cheapest route you can justify.
b) For which t is (t41t) singular? For those values, describe the solution set of the homogeneous system.
c) A is n×n with A3=0. Prove A is not invertible for n≥1.
d) A and B are n×n with AB=I. Prove BA=I, and say why this fails for non-square matrices.
e) Give a 3×3 matrix with rank 2 and explain, without computing an inverse, why no matrix C can satisfy AC=I.
Show the solution
Answers
a)det=1(55−49)−2(22−21)+3(14−15)=1=0: invertible
b)t=±2; the solutions form a line, spanned by (1,2) for t=−2 and by (1,−2) for t=2
c)If A−1 existed, (A−1)3A3=I would equal 0; equivalently (detA)3=0
d)detAdetB=1, so A is invertible, B=A−1 and BA=I; a non-square matrix can have a one-sided inverse only
e)A=100010000: AC=I would make the map onto, but the rank is 2
a)
The cheapest route is the determinant, since the matrix is small. Expanding gives 1(55−49)−2(22−21)+3(14−15)=6−2−3=1. Non-zero, so the matrix IS invertible, the rank is 3, the columns are independent and Ax=b has exactly one solution for every b. All of that came from one number. Had the determinant been 0, 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×3.
b)
The determinant is t2−4, zero when t=2 or t=−2. At t=2 the matrix is (2412), whose rows are proportional, so the rank is 1 and the null space is the line spanned by (1,−2). At t=−2 the null space is the line spanned by (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 A were invertible. Then A−1 exists and multiplying A3=0 by (A−1)3 gives I=0, impossible for n≥1. So A is singular. Directly: det(A)3=det(A3)=0, so detA=0. Such a matrix is called nilpotent, and the argument shows nilpotent and invertible are mutually exclusive, with (0010) as the standard example.
d)
From AB=I take determinants: detAdetB=1, so detA=0 and A is invertible. Multiply AB=I on the left by A−1 to get B=A−1, hence BA=A−1A=I. The argument uses squareness twice, once for the determinant to exist and once for A−1 to be two-sided. For non-square matrices it genuinely fails: a 2×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. If AC=I then for every b the vector x=Cb solves Ax=b, so the map would be onto and the rank would be 3. It is 2. The image is a plane and no choice of C can send anything outside it, so AC=I is impossible. This is the argument in its useful form: rank is a property of A 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. There is another way for three planes to have no common point even though no two of them are parallel: finding it is part e).
a) Solve ⎩⎨⎧x+y+z=6x−y+2z=52x+y−z=1 and say which picture it is.
b) Solve ⎩⎨⎧x+y+z=12x+2y+2z=23x+3y+3z=3 and give the dimension of the solution set.
c) Change the right-hand side of the third equation in b) to 4. What happens, and what does the picture become?
d) Find all a for which {x+2y+z=12x+4y+az=2 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
Answers
a)(x,y,z)=(1,2,3): rank 3, three planes through one point
b)Rank 1: the plane x+y+z=1, of dimension 2, (1−s−t,s,t)
c)A row 0=1: inconsistent, the third plane is parallel to the first and distinct from it
d)a=2
e)Three planes meeting pairwise in three distinct parallel lines, like the sides of a prism: rank(A)=2, rank(A∣b)=3
a)
Eliminating x gives −2y+z=−1 and −y−3z=−11. From the first, z=2y−1; substituting, −y−6y+3=−11, so 7y=14 and y=2, then z=3 and x=1. The solution is (1,2,3), and every equation checks: 1+2+3=6, 1−2+6=5, 2+2−3=1. Rank 3, 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 2 and 3 times the first, so after reduction only one row survives: rank 1. Two free variables, so the solution set is the plane x+y+z=1 itself, of dimension 2. Parametrically (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=1, a pivot in the augmented column, so the system becomes inconsistent. Geometrically 3x+3y+3z=4 is the plane x+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,a−2∣0). If a=2 there is a pivot in the third column, the rank is 2 and with three unknowns exactly one variable is free: a line. If a=2 the second equation is a copy of the first, the rank drops to 1, two variables are free and the solution set is the plane x+2y+z=1. So a=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 while rank(A∣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 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 A span Rn then they are independent."
e) "AB=AC implies B=C, because you can cancel A."
Show the solution
Answers
a)False: x=1, 2x=2, 3x=3 has exactly one solution; the rank decides, not the counts
b)False: det=0.001 gives an inverse entry of 1000; a small determinant makes the inverse large
c)False: row operations preserve the row space and the null space, not the column space
d)False in general: (1,0), (0,1), (1,1) span R2 and are dependent; true for n vectors in Rn
e)False: A=(1000), B=(0100), C=0; true when A is invertible
a)
FALSE. What decides is the rank, not the counts. The system x=1, 2x=2, 3x=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. A−1=detA1adj(A), so a small determinant makes the inverse LARGE, not small. Take (1000.001): the determinant is 0.001 and the inverse has an entry of 1000. That blow-up is the whole practical meaning of near-singularity, and it is why a nearly singular system amplifies any error in b.
c)
FALSE. Row operations preserve the row space and the null space, and they change the COLUMN space. In (1224), reducing to (1020) turns a column space spanned by (1,2) into one spanned by (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)
FALSE in general: it holds only for a SQUARE matrix, and the statement omits that. For an n×n matrix, spanning and independence are equivalent, both meaning rank n. For a 2×3 matrix the three columns can span R2 while being dependent, for instance (1,0), (0,1), (1,1). Correct statement: for n vectors in Rn, spanning and independence are equivalent; with more vectors than the dimension, spanning never implies independence.
e)
FALSE unless A is invertible. AB=AC gives A(B−C)=0, which forces B=C only when the null space of A is trivial. With A=(1000), B=(0100) and C the zero matrix, AB=AC=0 while B=C. Correct: cancellation on the left requires A 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: 400 enters at A and 300 leaves; 200 enters at B and 100 leaves; 150 enters at C and 250 leaves; 50 enters at D and 150 leaves.
The figure below shows the block and the corner flows. Each street is one-way: x1 runs from A to B, x2 from B to C, x3 from C to D and x4 from D to A.
corner
in
out
equation
A
400
300
x4+400=x1+300
B
200
100
x1+200=x2+100
C
150
250
x2+150=x3+250
D
50
150
x3+50=x4+150
a) Write the four conservation equations as a linear system in x1,x2,x3,x4.
b) Reduce it. Give the rank and explain why it cannot be 4.
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 x2.
e) The city closes the street carrying x3. Is the network still consistent? What does that say about the rest of the flows?
b)Rank 3: the four equations add up to 0=0, so one is a consequence of the others
c)(x1,x2,x3,x4)=(t+100,t+200,t+100,t)
d)t≥0, smallest x2=200 at t=0
e)Algebraically consistent, but x3=0 forces x4=−100: physically impossible
a)
Rearranging each row of the table: x1−x4=100, x2−x1=100, x3−x2=−100, x4−x3=−100. Note the four right-hand sides add to 0, which is the total entering minus the total leaving: 800−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=0: the fourth row is minus the sum of the first three, so it carries no information. The rank is 3, not 4, and it CANNOT be 4 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 3 and four unknowns, one variable is free. Take x4=t. Then x1=t+100, x2=t+200, x3=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): adding the same number to every street changes nothing at any corner.
d)
All four must be non-negative: t≥0, t+100≥0, t+200≥0, t+100≥0. The binding constraint is t≥0, so t∈[0,∞) and the smallest possible x2 is 200, reached when t=0, that is when the street carrying x4 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=0, which forces t=−100 and therefore x4=−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=0 imposed, conservation at C demands x2=100, and every other value follows.
Exercise 10: From rank to eigenvalues
An eigenvector is a direction the matrix does not turn: Av=λv with v=0. Written as (A−λI)v=0, the definition says that λ is an eigenvalue exactly when A−λI is SINGULAR, which brings the whole chapter back to rank and determinant.
That is why the characteristic polynomial is det(A−λI)=0 and not something new: it is the singularity test applied to a family of matrices.
a) Find the eigenvalues of A=(4213) and an eigenvector for each.
b) Explain why λ=0 is an eigenvalue if and only if A is singular.
c) Give the eigenvalues of an upper triangular matrix, and justify in one line.
d) Show that detA is the product of the eigenvalues and the trace is their sum, for a 2×2, and check on a).
e) A is 3×3 with eigenvalues 2, 2 and 5, and the eigenspace of 2 has dimension 1. Is A diagonalizable? What is rank(A−2I)?
Show the solution
Answers
a)λ=2 with (1,−2) and λ=5 with (1,1)
b)λ=0 is an eigenvalue exactly when Av=0 has a non-zero solution, that is when A is singular
c)The diagonal entries, since det(A−λI)=∏(aii−λ)
d)detA=λ1λ2 and trA=λ1+λ2; here 10=2×5 and 7=2+5
e)Not diagonalizable; rank(A−2I)=3−1=2
a)
det(A−λI)=(4−λ)(3−λ)−2=λ2−7λ+10=(λ−2)(λ−5), so the eigenvalues are 2 and 5. For λ=5, (A−5I)v=0 reads −v1+v2=0, giving v=(1,1). For λ=2, 2v1+v2=0, giving v=(1,−2). Both checks are one multiplication: A(1,1)=(5,5) and A(1,−2)=(2,−4).
b)
λ=0 is an eigenvalue exactly when (A−0I)v=Av=0 has a non-zero solution, that is when the null space is non-trivial, that is when A is singular. So the invertible matrix theorem gains one more line for free, and the determinant of A being the product of the eigenvalues makes the same statement a second time.
c)
They are the diagonal entries. A−λI is still triangular, and the determinant of a triangular matrix is the product of its diagonal, so det(A−λI)=∏(aii−λ), whose roots are the aii. This is worth noticing on a midterm: a triangular matrix hands over its eigenvalues with no computation at all.
d)
For a 2×2, det(A−λI)=λ2−(trA)λ+detA. Comparing with (λ−λ1)(λ−λ2)=λ2−(λ1+λ2)λ+λ1λ2 gives the two identities. Here the trace is 4+3=7=2+5 and the determinant is 12−2=10=2×5. Both hold, which is the fastest available check on a computed pair of eigenvalues.
e)
NOT diagonalizable. The eigenvalue 2 has algebraic multiplicity 2 but geometric multiplicity 1, so the eigenvectors span only 1+1=2 dimensions and there is no basis of R3 made of them. The geometric multiplicity is the nullity of A−2I, which is 1, so by rank-nullity rank(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.
Something missing from this set?A type of exercise your teacher gives, a problem you are stuck on, a mistake you spotted: tell me, I read every request.
Sending goes through your free space: that is how I can answer you and tell you when the exercise is added. An email is enough, no password. Create your space.
Rather not create an account? Write to me directly.