Recitation 5B
The Invertible Matrix Theorem: Let be a square matrix. Then the following statements are equivalent.
- is invertible matrix.
- is row equivalent to the identity matrix.
- has pivot positions.
- The equation has only the trivial solution.
- The columns of form a linearly independent set.
- The linear transformation is one-to-one.
- The equation has at least one solution for each in .
- The columns of span .
- The linear transformation maps onto .
- There is an matrix such that .
- There is an matrix such that .
- is an invertible matrix.
Problem 1: Suppose , where and are matrices and is invertible. Show that . Is this true, in general, when is not invertible?
Solution: If is invertible, then we can multiply on the left of each side of and get . As , . In general, it is not true that implies . For instance, if is the zero matrix, then always holds but it is not necessary the case that .
Problem 2: Suppose , and are invertible matrices. Show that is also invertible by producing a matrix such that and .
Solution: Let be . Easy to check and .
Problem 3: Determine which of the matrices are invertible.
Solution: As for the first matrix, as two columns are not multiple of each other, they are linearly independent. By the invertible matrix theorem, it is invertible. As for the second one, its transpose has pivot positions. By the invertible matrix theorem, the transpose is invertible. Again by the theorem, the second matrix itself is invertible. As for the last one, its second column is a zero vector. By the invertible matrix theorem, the matrix is not invertible because its columns are not linearly independent.
Problem 4: Let and be matrices. Show that if is invertible, so is .
Solution: By the invertible matrix theorem, we can find such that . In other words, . Again by the invertible matrix theorem, is invertible because is the left inverse of .
Problem 5: Suppose and are linear transformations from to such that for all in . Is it true that for all in ?
Solution: Let and be the standard matrix of and . The assumption that for all implies . Therefore and are inverse of each other and . Hence for all in .