Loading…
Invertibility connects reversible matrix actions, unique solutions for every right-hand side, and the algebra of inverse matrices.
A square matrix can send different inputs to the same output, or leave some outputs unreachable. An inverse must undo its action completely: every output must come from exactly one input. This requirement connects reversibility to the solution sets of . Entries are real unless another field is specified.
Use matrix multiplication in its given order and recall that each elementary row operation is reversible. A system has a unique solution exactly when it is consistent and every variable column is a pivot column after reduction. Invertibility will guarantee this for every right-hand side of the appropriate dimension.
Definition 5.1.1
(Left inverse and right inverse)
Let be a matrix.
For rectangular matrices, a left inverse or a right inverse can exist alone. If both exist, however, they must coincide. The square case will give the stronger conclusion that either one-sided inverse already guarantees the other.
Definition 5.1.2
(Invertible matrix)
Let be a square matrix. We say that is invertible if there exists a matrix such that
The matrix is called the inverse of , and we write .
Theorem 5.1.3
(The inverse is unique)
Let be and let be . If is a left inverse of and is a right inverse, then . In particular, an invertible square matrix has exactly one inverse.
Proof
(Why the inverse is unique)
The assumptions are and . Associativity gives
No factors were interchanged. For an invertible square matrix, any two inverses satisfy these hypotheses, so they coincide.
The equations defining an inverse restore every input vector. Diagonal matrices make that action especially transparent.
Worked example 5.1.4
(A diagonal matrix is easy to invert)
Let
Then
This works because each diagonal entry is replaced by its reciprocal, and the off-diagonal zeros stay zero. Multiplying by gives .
Theorem 5.1.5
(Equivalent ways to recognize invertibility)
Let be a real matrix. The following conditions are equivalent:
Equivalently, the columns of are linearly independent, or they span . When these conditions hold, the unique solution is .
Proof
(Where the square hypothesis enters the equivalence proof)
A left inverse forces the homogeneous solution to be zero: if , then . Conversely, suppose the homogeneous system has only the zero solution. In any RREF of , a free variable would produce a nonzero homogeneous solution. Thus every column has a pivot. Because is square, there are also exactly pivot rows, and the RREF is .
If a row-operation product satisfies , the reverse chain shows that is invertible and . Hence is invertible and is itself a product of elementary matrices. Conversely, any such product is invertible, and an inverse is in particular a left inverse. This connects conditions 1–4 and 6 without assuming uniqueness of RREF.
Now suppose . Then is a left inverse of the square matrix . The already proved left-inverse criterion makes invertible, and is invertible. This proves the right-inverse criterion without silently reversing a product.
If every is consistent, choose solutions of , where is column of . Their matrix satisfies , so the right-inverse criterion applies. Finally, when is invertible, proves existence, and any solution satisfies , proving uniqueness. Uniqueness for every right-hand side implies consistency for every right-hand side.
The column statements are translations: independence means that has only the zero coefficient vector, and spanning means that every has a representation . Thus no additional assumption about the columns is being introduced.
Each elementary row-operation matrix is invertible; its inverse encodes the reverse operation, as proved in 3.5 Elementary row-operation matrices. If the chronological operations have matrices , their combined left multiplier is .
Apply every operation across the entire augmented matrix. Then
If the left block becomes , then . Since is invertible, and the right block is . If reduction leaves a missing pivot in the left block, the square matrix fails the equivalent conditions above. The method tests invertibility as well as computing an inverse; a complicated right block cannot compensate for a missing left pivot.
Follow the row-reduction dictionary behind inverse extraction: reversible row operations turn A into I exactly when the right block becomes A^{-1}.
Reversible row operations
Every elementary row operation is left multiplication by an invertible matrix, so a full reduction records an accumulated product.
Reaching the identity
If E_k...E_1 A=I, then the accumulated product E_k...E_1 is A^{-1}.
Augmented inverse method
Applying the same row operations to [A | I] gives [I | A^{-1}] when the left block reaches I.
Failure mode
If a pivot is missing, the left block cannot become I. Equivalently, Ax=0 has a nonzero solution and A is singular.
Equivalent dictionary
Invertible, nonsingular, row-equivalent to I, trivial null space, and unique solutions for every b are one package.
The row-reduction test, the inverse formula, the null-space test, and unique solvability all say the same thing for a square matrix.
Follow one inverse-by-row-reduction example
Apply each row operation to the whole augmented matrix . When the left block becomes I, read from the right block.
[A | I]
| 1 | 2 | 1 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 | 1 | 0 |
| 2 | 3 | 4 | 0 | 0 | 1 |
1pivot used by this operation0changed in this stepleft of the bar: A; right: the same operations applied to I
Start with A = [[1,2,1],[0,1,1],[2,3,4]] and augment it by I. Apply every row operation to all six entries of the row; the right block records the same operations applied to I.
Left block not yet in row echelon form
Row 3 of the left block still has 2 in column 1, which is not to the right of the pivot in row 2. Whether A is invertible is not decided yet.
NoticeA row operation acts on the whole row of [A | I], right block included; otherwise the right block no longer records what was done to I.
Trace one full row-reduction path
Each step applies one group of elementary row operations. Watch the entries above and below each pivot become 0.
Choose the first pivot in column 1.
| 1 | 2 | 2 | 4 |
| 1 | 3 | 3 | 5 |
| 2 | 6 | 5 | 6 |
1pivot in focus0changed in this stepright of the bar: constants
Start with the augmented matrix. The first pivot should help us clear the entries underneath it.
Not yet in row echelon form
Row 2 still has 1 in column 1, which is not to the right of the pivot in row 1.
NoticeColumn 1 already has a convenient pivot 1 in the first row, so we do not need a row swap.
Choose the criterion matching the given evidence: pivots, a one-sided identity, a nonzero null-space vector, or information about all right-hand sides.
Worked example 5.1.6
(A nonzero null-space vector proves non-invertibility)
Suppose is a square matrix and
Then cannot be invertible. Indeed, if existed, multiplying on the left by would give
The left side is , while the right side is . This would force , contradicting the given vector. Therefore the existence of one nonzero solution of already proves that is singular.
Worked example 5.1.7
(Use an inverse to solve a system)
Suppose
If , then multiply both sides by :
The inverse is not just a symbol for undoing ; it is an explicit formula for the unique solution.
Theorem 5.1.8
(Row-equivalence is left multiplication by an invertible matrix)
Suppose and are matrices with rows. Then the following are equivalent:
Moreover, once , we also have
A row-operation chain supplies such a product . Conversely, the dictionary expresses any invertible as a product of elementary matrices, so is obtained from by those row operations. Multiplying by recovers .
Worked example 5.1.9
(Reading a row-equivalence as one matrix equality)
Let
The matrix is the row-operation matrix for the move
So
If we call this new matrix , then . That single equation records the entire row operation. Since is invertible, and are row-equivalent.
Theorem 5.1.10
(Row operations preserve linear relations among corresponding columns)
Let and be row-equivalent matrices, and write their columns as
If
then
In particular, linear dependence and linear independence among corresponding columns are preserved by row-equivalence.
Multiplying by carries each relation forward; multiplying by recovers it. Thus the same coefficient relations hold in both directions, which also proves preservation of dependence and independence. The columns themselves generally change. The full RREF uniqueness argument and its role in rank are developed in 5.2 Rank and uniqueness of RREF.
Theorem 5.1.11
(A square product is invertible exactly when its factors are)
Let be real matrices. Then is invertible if and only if both and are invertible. In that case,
Proof
(Construct the inverse before using its name)
First assume the factors are invertible and set . Check both sides using associativity:
Only now may we conclude that . The reversed order places the inverse pairs next to each other; no commutativity is used.
For the converse, assume is invertible and write . We cannot yet use or . Instead,
Thus has a right inverse and has a left inverse. Both factors are square of the same order, so the previously proved one-sided criteria make them invertible. This use of the dictionary is essential to the converse.
By induction, a finite product of square matrices of the same order is invertible exactly when every factor is invertible, and
Theorem 5.1.12
(Transpose, scalar multiples, and powers)
If is invertible, then and . For a nonzero real scalar , .
Every integer power is invertible, with . Here , and for a positive integer , .
The transpose formula follows by transposing both inverse identities, which reverses their factor order. The scalar formula follows by cancelling and in both products. Positive powers follow from the product theorem; negative powers apply it to , and the zero power is the identity. For a positive integer , invertibility of also implies invertibility of . That converse is false for , since even for singular square .
Theorem 5.1.13
(A one-sided identity is enough in the square case)
Let and be square matrices of the same size. If
then both and are invertible, and
Worked example 5.1.14
(Cyclic identities from )
Suppose are matrices and
Group the product as
By the one-sided identity theorem, and are inverses of each other. Therefore
Next group the same original product cyclically:
after using the already justified cyclic identities. This gives
So , , and are forced to equal . Arbitrary reorderings such as or are not forced by ; matrix multiplication still does not commute.
Worked example 5.1.15
(Find an inverse by row reduction)
Let
Start from :
Eliminate the entry below the first pivot:
Now scale the second row and clear the entry above the second pivot:
So
Worked example 5.1.16
(A parameterized inverse from row reduction)
For a real number , let
Begin with . Apply and to both halves. The result is
The four pivots in the left block are already . Clear the remaining entries in this order:
After the first operation, the right half of row 3 is . Rows 2 and 4 on the right are and ; the three operations on row 1 therefore give . Every step adds a multiple of another row, so no division by a parameter expression occurs. Each operation is reversible for every real , and the final augmented matrix is
Since the left block is for every real , the matrix is invertible for every real , and
Notice what this conclusion does and does not say. The parameter remains in the inverse; it is not a value to be solved for. The row reduction has shown that no value of creates a missing pivot in the left block.
Common mistake
(Do not treat every parameter as a restriction)
Sometimes a parameter appears because the answer is a family of inverses, not because the matrix fails for special values. The restriction comes from a missing pivot or an illegal division by zero, not from the mere presence of a symbol.
Worked example 5.1.17
(An inverse pair and a transposed system)
Suppose a reduction table shows that is row-equivalent to , where
Then the row-reduction result itself already says
The corresponding coefficient matrix is
Direct multiplication gives , which verifies this inverse pair. Now let
To solve , do not row-reduce again from the beginning. Since is invertible, is also invertible and
Therefore
The computation is short because the reduction table has already done the hard work.
Worked example 5.1.18
(Four inverse computations read by pivot columns)
For each matrix below, the method is the same: row-reduce , look only at the pivot pattern of the left block first, and read the inverse from the right block only if the left block becomes .
Case (a). For
one echelon stage has left block
There is no pivot in the fourth column. Hence is not invertible.
Case (b). Take from the preceding inverse-pair example. Its reduction reaches , so all four columns have pivots and . The same matrix used there to solve the transposed system provides an invertible case here.
Case (c). For
one echelon stage has left block
Again a pivot column is missing, so is not invertible.
Case (d). For
the reduction reaches , with
The identity left block certifies invertibility in cases (b) and (d). The missing pivots in cases (a) and (c) rule it out, regardless of the entries in the right block.
Worked example 5.1.19
(A final identity block controls the whole chain)
Suppose a row-operation chain carries through an intermediate matrix and finally to . After the last few operations, the final augmented matrix is
The left block is , so and
It follows immediately that is invertible and
The same chain can also be read as one left multiplication. Let be the product of all row-operation matrices in the chain. Since and , we have . Therefore, if the same row operations carry to , then
Multiplying by on the left gives
so
The same row-operation chain acts on every matrix by the same left multiplier . This is why the numerical reduction also determines the equation for .
Worked example 5.1.20
(A vector identity that proves invertibility)
Suppose is a matrix and
for every vector . Move the terms involving to the left:
Since , this says
Two matrices that agree on every vector are the same matrix, so
Thus is a left inverse of . Because is square, a one-sided identity is enough: is invertible, and its inverse is .
Worked example 5.1.21
(A contradiction proof for non-invertibility)
Suppose and are distinct matrices, and
We prove that is not invertible. Let
First compare and :
while
Using the assumptions and , we obtain
If were invertible, multiplying by on the left would give , contradicting the assumption that and are distinct. Therefore is not invertible.
Common mistake
(Do not confuse one-sided inverses in the rectangular case)
For a non-square matrix, a left inverse need not come with a right inverse, and a right inverse need not come with a left inverse. If both exist, they coincide. For a square matrix, the equivalence theorem proves that either one-sided inverse guarantees a unique two-sided inverse.
Common mistake
(Do not guess invertibility from appearance)
A matrix can look simple and still fail to be invertible. The correct test is to row-reduce it, or to use one of the equivalent conditions above.
Common mistake
(Do not permute factors without justification)
From , it is legitimate to derive certain cyclic identities such as by using inverse theory. It is not legitimate to rearrange the factors as if commute.
Quick check
(If is invertible, what is ?)
Use the defining property of an inverse.
It is .
Quick check
(If is invertible, can the homogeneous system have a nonzero solution?)
Use the unique-solution statement.
No. Since has the unique solution , the homogeneous case has only the trivial solution .
Quick check
(If is invertible, is invertible?)
Use the transpose rule above.
Yes. is invertible, and .
Quick check
(If with invertible and the columns of satisfy , what relation must hold among the columns of ?)
Keep the same coefficients and use .
The corresponding columns of satisfy
Row-equivalence changes the columns themselves, but not the coefficient pattern in a linear relation.
Quick check
(Suppose are square matrices and . Which cyclic identity is forced: or ?)
Group the original product as .
is forced. Since , the square one-sided identity theorem implies that is the inverse of , so . The equality would reverse the order of the factors and is not forced in general.
Quick check
(In the parameterized inverse above, what is the entry of when ?)
Substitute into the first row, fourth column.
The entry is , so when it equals .
Quick check
(If for every vector , which matrix acts as the inverse of ?)
Move all terms to one side and look for a factorization involving .
The inverse is . Indeed, the vector identity gives ; for square matrices, this one-sided identity is enough to conclude that is invertible.
Quick check
(If row operations transform into , what is ?)
Read the right block only after confirming the left block is the identity.
. The same row operations that turn into turn into the inverse of .
Quick check
(Row operations take to , where is square. Explain why follows as well as .)
Distinguish what the row-operation product gives directly from what the square one-sided inverse theorem adds.
If is the product of the elementary matrices, the two blocks give and . Hence and directly. Because and are square of the same order, a left inverse is also a right inverse. Thus and . The square hypothesis is essential to this last implication.
Quick check
(Suppose is invertible and . Prove that .)
Use the fact that the inverse of is unique.
Since is invertible, it has an inverse . Multiply the equation on the left by :
By associativity,
Because , this becomes
So any right inverse of an invertible square matrix must be the inverse itself.
Quick check
(Suppose for square matrices and . Prove that and commute.)
First use the square one-sided identity theorem, then expand .
Since , the square one-sided identity theorem gives
Now compute the commutator:
Regroup the two parts:
and
Therefore
So , which means and commute.
This page depends especially on 2.3 Gaussian elimination and RREF, 3.2 Matrix multiplication, identity matrices, and linear systems, and 3.3 Transpose, symmetric, and skew-symmetric matrices.
The connection between a zero null space and uniqueness is developed in 4.1 Homogeneous systems and null space.