Transformation of Matrices
Senior 6 · Mathematics
Transformation of Matrices
Lesson 2 of 5
40 min
Lesson 1 turned matrices into echelon form. This lesson uses that form for the two jobs you did with determinants in S5: finding an inverse and solving a system. The new method has two advantages. It works for systems of any size, including systems with more unknowns than equations. And when a system has no solution, or infinitely many, it tells you which, and describes all the solutions.
Recall that a square matrix of order is invertible when there is a matrix with . If row operations with elementary matrices reduce to , then , so . In words: the same operations that turn into turn into . Write the two side by side and reduce:
If instead a zero row appears on the left, cannot be reduced to , and it has no inverse.
Important
Theorem. For a square matrix of order , the following say the same thing:
Reason. Row operations multiply the determinant by a non-zero number (lesson 1), so exactly when the echelon form has no zero row, that is, pivots.
Worked example 1: a inverse
Find the inverse of .
Solution. Clear column 1, then column 2 below the pivots:
Three pivots, so is invertible. Now clear the entries above the pivots, from the bottom up:
So . Check one entry of : row 2 of times column 1 of is , as it should be off the diagonal.
A system of linear equations in unknowns is written , where is the coefficient matrix, the column of unknowns and the column of constants. The augmented matrix holds all the information. Reduce it to echelon form with row operations (never column operations), then solve from the last equation upwards: this is back substitution.
Definition
A system is consistent if it has at least one solution and inconsistent if it has none. It is homogeneous if ; a homogeneous system is always consistent, since (the trivial solution) satisfies it. A variable whose column contains no pivot is a free variable (or parameter): it may take any real value.
Important
Rouché–Capelli theorem (also called the Kronecker–Capelli theorem). Let have unknowns, and let and . Then
Reason. means the echelon form of has a row with , which says : impossible. Otherwise each non-zero row fixes one pivot variable in terms of the variables to its right, and the variables without a pivot are free.
Worked example 2: one solution
Solve
Solution.
Here , so there is exactly one solution. Back substitution: gives ; gives ; gives . Check in the third equation: . The solution is .
Worked example 3: infinitely many solutions, and none
(a) Solve (b) Show that the system is inconsistent if the last constant 7 is replaced by 8.
Solution. (a) The augmented matrix is the matrix of lesson 1, worked example 1, whose reduced form was found there:
: infinitely many solutions with parameter. Column 3 has no pivot, so is free; put . The rows read and , so
Geometrically, the three planes meet along a line through with direction . Check with : gives , , .
(b) The same operations now end with the row , which says . So and there is no solution: the third plane is parallel to the line where the first two meet.
Worked example 4: discussing a system with parameters
Discuss, according to the real numbers and , the system
Solution. The coefficient matrix is matrix of lesson 1, worked example 2. The same operations give
Warning
A zero row is not a contradiction. The row says : it only means one equation depended on the others. The contradiction is with . Pupils often write "no solution" when they see any zero row; count the ranks instead.
Tip
For a square homogeneous system : if the only solution is the trivial one; if there are infinitely many solutions. One determinant answers the question before you reduce anything.
MIT OpenCourseWare: Lecture 8 of 18.06 Linear Algebra, Solving Ax = b: Row Reduced Form R, with Gilbert Strang (about 48 min). Watch for the moment he decides when Ax = b is solvable and builds the complete solution from one particular solution plus the free variables.
Practice
Questions 1 to 3 are routine; 4 to 6 need more care; 7 asks you to explain.
Sources and credits