Linear Algebra/Inverses - Wikibooks, open books for an open world (2023)

Linear Algebra
Mechanics of Matrix MultiplicationInversesChange of Basis

We now consider how to represent the inverse of a linear map.

We start by recalling some facts about function inverses.[1] Some functions have no inverse, or have an inverse on the left side or right side only.

Example 4.1

Where Linear Algebra/Inverses - Wikibooks, open books for an open world (1) is the projection map

Linear Algebra/Inverses - Wikibooks, open books for an open world (2)

and Linear Algebra/Inverses - Wikibooks, open books for an open world (3) is the embedding

Linear Algebra/Inverses - Wikibooks, open books for an open world (4)

the composition Linear Algebra/Inverses - Wikibooks, open books for an open world (5) is the identity map on Linear Algebra/Inverses - Wikibooks, open books for an open world (6).

Linear Algebra/Inverses - Wikibooks, open books for an open world (7)

We say Linear Algebra/Inverses - Wikibooks, open books for an open world (8) is a left inverse map of Linear Algebra/Inverses - Wikibooks, open books for an open world (9) or, what is the same thing, that Linear Algebra/Inverses - Wikibooks, open books for an open world (10) is a right inverse mapof Linear Algebra/Inverses - Wikibooks, open books for an open world (11).However, composition in the other order Linear Algebra/Inverses - Wikibooks, open books for an open world (12) doesn't give the identity map— here is a vector that is not sent to itself under Linear Algebra/Inverses - Wikibooks, open books for an open world (13).

Linear Algebra/Inverses - Wikibooks, open books for an open world (14)

In fact, the projectionLinear Algebra/Inverses - Wikibooks, open books for an open world (15) has no left inverse at all.For, if Linear Algebra/Inverses - Wikibooks, open books for an open world (16) were to be a left inverse of Linear Algebra/Inverses - Wikibooks, open books for an open world (17)then we would have

Linear Algebra/Inverses - Wikibooks, open books for an open world (18)

for all of the infinitely many Linear Algebra/Inverses - Wikibooks, open books for an open world (19)'s. But no function Linear Algebra/Inverses - Wikibooks, open books for an open world (20) can send a single argument to more than one value.

(An example of a function with no inverse on either sideis the zero transformation on Linear Algebra/Inverses - Wikibooks, open books for an open world (21).)Some functions have a two-sided inverse map, another functionthat is the inverse of the first, both from the left and from the right.For instance, the map given by Linear Algebra/Inverses - Wikibooks, open books for an open world (22) has the two-sided inverse Linear Algebra/Inverses - Wikibooks, open books for an open world (23). In this subsection we will focus on two-sided inverses.The appendix shows that a functionhas a two-sided inverse if and only if it is both one-to-one and onto.The appendix also shows that if a function Linear Algebra/Inverses - Wikibooks, open books for an open world (24) has a two-sided inverse then it is unique, and so it is called "the" inverse, and is denoted Linear Algebra/Inverses - Wikibooks, open books for an open world (25).So our purpose in this subsection is, where a linear map Linear Algebra/Inverses - Wikibooks, open books for an open world (26) has an inverse,to find the relationship between Linear Algebra/Inverses - Wikibooks, open books for an open world (27) and Linear Algebra/Inverses - Wikibooks, open books for an open world (28)(recall that we have shown, in Theorem II.2.21of Section II of this chapter, that if a linear map has an inversethen the inverse is a linear map also).

Definition 4.2

A matrix Linear Algebra/Inverses - Wikibooks, open books for an open world (29) is a left inverse matrix of the matrix Linear Algebra/Inverses - Wikibooks, open books for an open world (30) if Linear Algebra/Inverses - Wikibooks, open books for an open world (31) is the identity matrix. It is a right inverse matrix if Linear Algebra/Inverses - Wikibooks, open books for an open world (32) is the identity. A matrix Linear Algebra/Inverses - Wikibooks, open books for an open world (33) with a two-sided inverse is an invertible matrix. That two-sided inverse is called the inverse matrix and is denoted Linear Algebra/Inverses - Wikibooks, open books for an open world (34).

Because of the correspondence between linear maps and matrices,statements about map inverses translate into statements about matrix inverses.

Lemma 4.3

If a matrix has both a left inverse and a right inverse then the two are equal.

Theorem 4.4

A matrix is invertible if and only if it is nonsingular.

Proof

(For both results.) Given a matrix Linear Algebra/Inverses - Wikibooks, open books for an open world (35), fix spaces of appropriate dimension for the domain and codomain. Fix bases for these spaces. With respect to these bases, Linear Algebra/Inverses - Wikibooks, open books for an open world (36) represents a map Linear Algebra/Inverses - Wikibooks, open books for an open world (37). The statements are true about the map and therefore they are true about the matrix.

Lemma 4.5

A product of invertible matrices is invertible— if Linear Algebra/Inverses - Wikibooks, open books for an open world (38) and Linear Algebra/Inverses - Wikibooks, open books for an open world (39) are invertible and if Linear Algebra/Inverses - Wikibooks, open books for an open world (40) is defined then Linear Algebra/Inverses - Wikibooks, open books for an open world (41) is invertible and Linear Algebra/Inverses - Wikibooks, open books for an open world (42).

Proof

(This is just like the prior proof except that it requires two maps.)Fix appropriate spaces and bases and consider the represented maps Linear Algebra/Inverses - Wikibooks, open books for an open world (43) andLinear Algebra/Inverses - Wikibooks, open books for an open world (44).Note that Linear Algebra/Inverses - Wikibooks, open books for an open world (45) is a two-sided map inverse of Linear Algebra/Inverses - Wikibooks, open books for an open world (46) sinceLinear Algebra/Inverses - Wikibooks, open books for an open world (47)andLinear Algebra/Inverses - Wikibooks, open books for an open world (48).This equality is reflected in the matrices representing the maps, as required.

Here is the arrow diagram giving the relationshipbetween map inverses and matrix inverses. It is a special caseof the diagram for function composition and matrix multiplication.

Beyond its place in our general program of seeing how to represent map operations, another reason for our interest in inverses comes from solvinglinear systems.A linear system is equivalent to a matrix equation, as here.

Linear Algebra/Inverses - Wikibooks, open books for an open world (50)

By fixing spaces and bases (e.g., Linear Algebra/Inverses - Wikibooks, open books for an open world (51) and Linear Algebra/Inverses - Wikibooks, open books for an open world (52)),we take the matrix Linear Algebra/Inverses - Wikibooks, open books for an open world (53) to represent some map Linear Algebra/Inverses - Wikibooks, open books for an open world (54).Then solving the system is the same as asking: what domain vector Linear Algebra/Inverses - Wikibooks, open books for an open world (55) is mapped by Linear Algebra/Inverses - Wikibooks, open books for an open world (56) to the result Linear Algebra/Inverses - Wikibooks, open books for an open world (57)?If we could invert Linear Algebra/Inverses - Wikibooks, open books for an open world (58) then we could solve the system by multiplying Linear Algebra/Inverses - Wikibooks, open books for an open world (59)to get Linear Algebra/Inverses - Wikibooks, open books for an open world (60).

Example 4.6

We can find a left inverse for the matrix just given

Linear Algebra/Inverses - Wikibooks, open books for an open world (61)

by using Gauss' method to solve the resulting linear system.

Linear Algebra/Inverses - Wikibooks, open books for an open world (62)

Answer: Linear Algebra/Inverses - Wikibooks, open books for an open world (63), Linear Algebra/Inverses - Wikibooks, open books for an open world (64), Linear Algebra/Inverses - Wikibooks, open books for an open world (65), and Linear Algebra/Inverses - Wikibooks, open books for an open world (66).This matrix is actually the two-sided inverse of Linear Algebra/Inverses - Wikibooks, open books for an open world (67), as can easily be checked.With it we can solve the system (Linear Algebra/Inverses - Wikibooks, open books for an open world (68)) above byapplying the inverse.

Linear Algebra/Inverses - Wikibooks, open books for an open world (69)
Remark 4.7

Why solve systems this way, whenGauss' method takes less arithmetic(this assertion can be made precise by counting the number of arithmetic operations,as computer algorithm designers do)? Beyond its conceptual appeal of fitting into our program ofdiscovering how to represent the various map operations,solving linear systems by using the matrix inverse has at least two advantages.

First, once the work of finding an inverse has been done, solving a system with thesame coefficients but different constants is easy and fast: ifwe change the entries on the right of the system (Linear Algebra/Inverses - Wikibooks, open books for an open world (70)) then we get a related problem

Linear Algebra/Inverses - Wikibooks, open books for an open world (71)

with a related solution method.

Linear Algebra/Inverses - Wikibooks, open books for an open world (72)

In applications, solving many systems having the same matrix ofcoefficients is common.

Another advantage of inverses is that we can explore a system's sensitivity to changes in the constants.For example, tweaking the Linear Algebra/Inverses - Wikibooks, open books for an open world (73) on the right of the system (Linear Algebra/Inverses - Wikibooks, open books for an open world (74)) to

Linear Algebra/Inverses - Wikibooks, open books for an open world (75)

can be solved with the inverse.

Linear Algebra/Inverses - Wikibooks, open books for an open world (76)

to show that Linear Algebra/Inverses - Wikibooks, open books for an open world (77) changes by Linear Algebra/Inverses - Wikibooks, open books for an open world (78) of the tweak while Linear Algebra/Inverses - Wikibooks, open books for an open world (79) moves by Linear Algebra/Inverses - Wikibooks, open books for an open world (80) of that tweak. This sort of analysis is used, for example, to decide how accurately data must be specified in a linear model to ensure that the solution has a desired accuracy.

We finish by describing the computational procedureusually used to find the inverse matrix.

Lemma 4.8

A matrix is invertible if and only if it can be written as the product of elementary reduction matrices. The inverse can be computed by applying to the identity matrix the same row steps, in the same order, as are used to Gauss-Jordan reduce the invertible matrix.

Proof

A matrix Linear Algebra/Inverses - Wikibooks, open books for an open world (81) is invertible if and only if it is nonsingular and thus Gauss-Jordan reduces to the identity.By Corollary 3.22 this reduction canbe done with elementary matrices Linear Algebra/Inverses - Wikibooks, open books for an open world (82).This equation gives the two halves of the result.

First, elementary matrices are invertible and their inverses are alsoelementary.Applying Linear Algebra/Inverses - Wikibooks, open books for an open world (83) to the left of both sides of that equation, thenLinear Algebra/Inverses - Wikibooks, open books for an open world (84), etc., gives Linear Algebra/Inverses - Wikibooks, open books for an open world (85) as the product ofelementary matrices Linear Algebra/Inverses - Wikibooks, open books for an open world (86)(the Linear Algebra/Inverses - Wikibooks, open books for an open world (87) is here to cover the trivial Linear Algebra/Inverses - Wikibooks, open books for an open world (88) case).

Second, matrix inverses are unique and so comparison of the above equation with Linear Algebra/Inverses - Wikibooks, open books for an open world (89) shows that Linear Algebra/Inverses - Wikibooks, open books for an open world (90). Therefore, applying Linear Algebra/Inverses - Wikibooks, open books for an open world (91) to the identity, followed by Linear Algebra/Inverses - Wikibooks, open books for an open world (92), etc., yields the inverse of Linear Algebra/Inverses - Wikibooks, open books for an open world (93).

Example 4.9

To find the inverse of

Linear Algebra/Inverses - Wikibooks, open books for an open world (94)

we do Gauss-Jordan reduction, meanwhile performing the same operations onthe identity.For clerical convenience we write the matrix and the identity side-by-side,and do the reduction steps together.

Linear Algebra/Inverses - Wikibooks, open books for an open world (95)

This calculation has found the inverse.

Linear Algebra/Inverses - Wikibooks, open books for an open world (96)
Example 4.10

This one happens to start with a row swap.

Linear Algebra/Inverses - Wikibooks, open books for an open world (97)
Example 4.11

A non-invertible matrix is detected by the fact that the left half won'treduce to the identity.

Linear Algebra/Inverses - Wikibooks, open books for an open world (98)

This procedure will find the inverse of a general Linear Algebra/Inverses - Wikibooks, open books for an open world (99) matrix.The Linear Algebra/Inverses - Wikibooks, open books for an open world (100) case is handy.

Corollary 4.12

The inverse for a Linear Algebra/Inverses - Wikibooks, open books for an open world (101) matrix exists and equals

Linear Algebra/Inverses - Wikibooks, open books for an open world (102)

if and only if Linear Algebra/Inverses - Wikibooks, open books for an open world (103).

Proof

This computation is Problem 10.

We have seen here, as in the Mechanics of Matrix Multiplication subsection,that we can exploit the correspondence betweenlinear maps and matrices.So we can fruitfully study both maps and matrices, translating back and forthto whichever helps us the most.

Over the entire four subsections of this section we have developed an algebra system for matrices.We can compare it with the familiar algebra system for the real numbers.Here we are working not with numbers but with matrices.We have matrix addition and subtraction operations, and they work in much the sameway as the real number operations, except that they only combine same-sizedmatrices.We also have a matrix multiplication operation and an operation inverse to multiplication.These are somewhat like the familiar real number operations(associativity, and distributivity over addition, for example), butthere are differences (failure of commutativity, for example). And, we have scalar multiplication, which is in some ways another extensionof real number multiplication.This matrix system provides an example that algebrasystems other than the elementary one can be interesting and useful.

Exercises[edit | edit source]

Problem 1

Supply the intermediate steps in Example 4.10.

This exercise is recommended for all readers.
Problem 2

Use Corollary 4.12 to decide if each matrix has an inverse.

  1. Linear Algebra/Inverses - Wikibooks, open books for an open world (104)
  2. Linear Algebra/Inverses - Wikibooks, open books for an open world (105)
  3. Linear Algebra/Inverses - Wikibooks, open books for an open world (106)
This exercise is recommended for all readers.
Problem 3

For each invertible matrix in the prior problem, useCorollary 4.12 to find its inverse.

This exercise is recommended for all readers.
Problem 4

Find the inverse, if it exists, by using the Gauss-Jordan method.Check the answers for the Linear Algebra/Inverses - Wikibooks, open books for an open world (107) matrices with Corollary 4.12.

  1. Linear Algebra/Inverses - Wikibooks, open books for an open world (108)
  2. Linear Algebra/Inverses - Wikibooks, open books for an open world (109)
  3. Linear Algebra/Inverses - Wikibooks, open books for an open world (110)
  4. Linear Algebra/Inverses - Wikibooks, open books for an open world (111)
  5. Linear Algebra/Inverses - Wikibooks, open books for an open world (112)
  6. Linear Algebra/Inverses - Wikibooks, open books for an open world (113)
This exercise is recommended for all readers.
Problem 5

What matrix has this one for its inverse?

Linear Algebra/Inverses - Wikibooks, open books for an open world (114)
Problem 6

How does the inverse operation interact with scalar multiplication and addition of matrices?

  1. What is the inverse of Linear Algebra/Inverses - Wikibooks, open books for an open world (115)?
  2. Is Linear Algebra/Inverses - Wikibooks, open books for an open world (116)?
This exercise is recommended for all readers.
Problem 7

Is Linear Algebra/Inverses - Wikibooks, open books for an open world (117)?

Problem 8

Is Linear Algebra/Inverses - Wikibooks, open books for an open world (118) invertible?

Problem 9

For each real number Linear Algebra/Inverses - Wikibooks, open books for an open world (119) letLinear Algebra/Inverses - Wikibooks, open books for an open world (120) be represented with respect to thestandard bases by this matrix.

Linear Algebra/Inverses - Wikibooks, open books for an open world (121)

Show that Linear Algebra/Inverses - Wikibooks, open books for an open world (122).Show also that Linear Algebra/Inverses - Wikibooks, open books for an open world (123).

Problem 10

Do the calculations for the proof of Corollary 4.12.

Problem 11

Show that this matrix

Linear Algebra/Inverses - Wikibooks, open books for an open world (124)

has infinitely many right inverses.Show also that it has no left inverse.

Problem 12

In Example 4.1,how many left inverses has Linear Algebra/Inverses - Wikibooks, open books for an open world (125)?

Problem 13

If a matrix has infinitely many right-inverses, can it have infinitelymany left-inverses?Must it have?

This exercise is recommended for all readers.
Problem 14

Assume that Linear Algebra/Inverses - Wikibooks, open books for an open world (126) is invertible and that Linear Algebra/Inverses - Wikibooks, open books for an open world (127) is the zero matrix.Show that Linear Algebra/Inverses - Wikibooks, open books for an open world (128) is a zero matrix.

Problem 15

Prove that if Linear Algebra/Inverses - Wikibooks, open books for an open world (129) is invertible thenthe inverse commutes with a matrix Linear Algebra/Inverses - Wikibooks, open books for an open world (130) if and only if Linear Algebra/Inverses - Wikibooks, open books for an open world (131) itself commutes with that matrix Linear Algebra/Inverses - Wikibooks, open books for an open world (132).

This exercise is recommended for all readers.
Problem 16

Show that if Linear Algebra/Inverses - Wikibooks, open books for an open world (133) is square and if Linear Algebra/Inverses - Wikibooks, open books for an open world (134) is the zero matrixthen Linear Algebra/Inverses - Wikibooks, open books for an open world (135).Generalize.

This exercise is recommended for all readers.
Problem 17

Let Linear Algebra/Inverses - Wikibooks, open books for an open world (136) be diagonal.Describe Linear Algebra/Inverses - Wikibooks, open books for an open world (137), Linear Algebra/Inverses - Wikibooks, open books for an open world (138), ... , etc.Describe Linear Algebra/Inverses - Wikibooks, open books for an open world (139), Linear Algebra/Inverses - Wikibooks, open books for an open world (140), ... , etc.Define Linear Algebra/Inverses - Wikibooks, open books for an open world (141) appropriately.

Problem 18

Prove that any matrix row-equivalent to an invertible matrix is alsoinvertible.

Problem 19

The first question below appeared asProblem 15 in the Matrix Multiplication subsection.

  1. Show that the rank of the product of two matrices is less thanor equal to the minimum of the rank of each.
  2. Show that if Linear Algebra/Inverses - Wikibooks, open books for an open world (142) and Linear Algebra/Inverses - Wikibooks, open books for an open world (143) are square then Linear Algebra/Inverses - Wikibooks, open books for an open world (144)if and only if Linear Algebra/Inverses - Wikibooks, open books for an open world (145).
Problem 20

Show that the inverse of a permutation matrix is its transpose.

Problem 21

The first two parts of this question appeared as Problem 12. of the Matrix Multiplication subsection

  1. Show that Linear Algebra/Inverses - Wikibooks, open books for an open world (146).
  2. A square matrix is symmetric if each Linear Algebra/Inverses - Wikibooks, open books for an open world (147) entry equals theLinear Algebra/Inverses - Wikibooks, open books for an open world (148) entry (that is, if the matrix equals its transpose).Show that the matrices Linear Algebra/Inverses - Wikibooks, open books for an open world (149) and Linear Algebra/Inverses - Wikibooks, open books for an open world (150) are symmetric.
  3. Show that the inverse of the transpose is the transpose of the inverse.
  4. Show that the inverse of a symmetric matrix is symmetric.
This exercise is recommended for all readers.
Problem 22

The items starting this question appeared asProblem 17 of the Matrix Multiplication subsection.

  1. Prove that the composition of the projectionsLinear Algebra/Inverses - Wikibooks, open books for an open world (151) is the zero map despite thatneither is the zero map.
  2. Prove that the composition of the derivativesLinear Algebra/Inverses - Wikibooks, open books for an open world (152)is the zero map despite that neither map is the zero map.
  3. Give matrix equations representing each of the prior twoitems.

When two things multiply to give zero despitethat neither is zero, each is said to be a zero divisor.Prove that no zero divisor is invertible.

Problem 23

In real number algebra, there are exactly two numbers, Linear Algebra/Inverses - Wikibooks, open books for an open world (153) and Linear Algebra/Inverses - Wikibooks, open books for an open world (154), that are their own multiplicative inverse.Does Linear Algebra/Inverses - Wikibooks, open books for an open world (155) have exactly two solutions for Linear Algebra/Inverses - Wikibooks, open books for an open world (156)matrices?

Problem 24

Is the relation "is a two-sided inverse of" transitive?Reflexive?Symmetric?

Problem 25

Prove: if the sum of the elements in each row of a squarematrix is Linear Algebra/Inverses - Wikibooks, open books for an open world (157), then the sum of the elements in each row of theinverse matrix is Linear Algebra/Inverses - Wikibooks, open books for an open world (158).(Wilansky 1951)

Solutions

Footnotes[edit | edit source]

  1. More information on function inverses is in the appendix.

References[edit | edit source]

  • Wilansky, Albert, "The Row-Sum of the Inverse Matrix", American Mathematical Monthly, Mathematical Association of America, 58 (9): 614 {{citation}}: Unknown parameter |month= ignored (help).
Linear Algebra
Mechanics of Matrix MultiplicationInversesChange of Basis
Top Articles
Latest Posts
Article information

Author: Lilliana Bartoletti

Last Updated: 05/30/2023

Views: 5985

Rating: 4.2 / 5 (53 voted)

Reviews: 92% of readers found this page helpful

Author information

Name: Lilliana Bartoletti

Birthday: 1999-11-18

Address: 58866 Tricia Spurs, North Melvinberg, HI 91346-3774

Phone: +50616620367928

Job: Real-Estate Liaison

Hobby: Graffiti, Astronomy, Handball, Magic, Origami, Fashion, Foreign language learning

Introduction: My name is Lilliana Bartoletti, I am a adventurous, pleasant, shiny, beautiful, handsome, zealous, tasty person who loves writing and wants to share my knowledge and understanding with you.