Invertibility and Isomorphisms
Inverses of Linear Maps and Matrices
Definition 44: Inverse of a Linear Map
Let and be vector spaces over a field . A linear map is invertible iff there exists a linear map , called the inverse of , such that and , where and are the identity maps on and , respectively.
Theorem 40: Bijections are Invertible
A linear map is invertible if and only if is bijective (injective and surjective).
Theorem 41: Dimension of Invertible Linear Maps
Let and be finite-dimensional vector spaces over a field . Then if any linear map is invertible, .
Theorem 42: Equivalence of Injectivity, Surjectivity, and Invertibility
Suppose and are finite-dimensional vector spaces with . For all linear maps , is invertible iff is injective iff is surjective.
Definition 45: Inverse of a Matrix
Let be a square matrix. is invertible iff there exists a square matrix , called the inverse of , such that and .
Theorem 43: Inverse of a Matrix
Let . Then is invertible if and only if , in which case the inverse of is given by:
Definition 46: Left and Right Inverses of Linear Maps
Let be a linear map.
- A linear map is a left inverse of iff .
- A linear map is a right inverse of iff .
Definition 47: Left and Right Inverses of Matrices
Let be a matrix.
- A matrix is a left inverse of iff .
- A matrix is a right inverse of iff .
Corollary 23
A linear map or matrix is invertible if and only if it has both a left and right inverse.
Proposition 8: Uniqueness of Inverses
Let be an invertible linear map. Then the inverse of is unique. Similarly, let be an invertible matrix. Then the inverse of is unique.
Theorem 44: Matrix of Inverse Equals Inverse of Matrix
Let be an invertible linear map, and let and be bases for and , respectively. Then the standard matrix of the inverse of is the inverse of the standard matrix of :
Isomorphisms
Definition 48: Isomorphism
Let be a linear map. is an isomorphism iff is invertible. If there exists an isomorphism between and , we say that and are isomorphic, denoted .
Proposition 9: Isomorphisms are an Equivalence Relation
Let , , and be vector spaces over a field . Then the following hold:
- Reflexivity. .
- Symmetry. If , then .
- Transitivity. If and , then .
Proof: Proposition 9.
Let , , and be vector spaces over a field .
- Reflexivity. The identity map is an isomorphism, so .
- Symmetry. If is an isomorphism, then the inverse map is also an isomorphism, so .
- Transitivity. If and are isomorphisms, then the composition is also an isomorphism (), so .
Theorem 45: Classification of Finite-Dimensional Vector Spaces
Let and be finite-dimensional vector spaces over a field . Then if and only if .
Corollary 24: Isomorphisms to Coordinate Spaces
Let be a finite -dimensional vector space over a field . Then .
Specifically, we can choose any basis for and use the coordinate map to construct an isomorphism from to .
Corollary 25: Matrices are Isomorphic to Coordinate Vectors
Example.
Let . Then is isomorphic to the coordinate vector under the isomorphism , where:
Change of Basis and Similarity
Recall from Theorem 35 that for any linear map and any bases and for and , respectively, we have:
Taking to be the identity map , and choosing two, potentially different bases and for , we have:
Corollary 26
Let be a vector space and choose bases and for . Then for any vector :
Suppose is an -dimensional vector space. Then is an matrix, which when applied to the coordinate vector , produces the coordinate vector .
Definition 49: Change of Basis Matrix
Let be an -dimensional vector space over a field , and let and be bases for . The change of basis matrix from the basis to the basis , denoted , is given by:
where are the vectors in the basis . It holds that .
Theorem 46: Invertibility of Change of Basis Matrix
Let be an -dimensional vector space over a field , and let and be bases for . Then the change of basis matrix is invertible, with:
Definition 50: Change of Basis Transformation
Let be an -dimensional vector space over a field , and let and be bases for . The change of basis transformation from the basis to the basis , denoted , is the linear map defined such that:
Corollary 27
The change of basis transformation is concretely defined by:
Theorem 47: Change of Basis for Matrices
Let be a linear map on an -dimensional vector space over a field , and let and be bases for . Then the standard matrices of with respect to the bases and are related by:
Definition 51: Similarity of Matrices
Let be square matrices. and are similar iff there exists an invertible matrix such that:
Corollary 28
Two matrices and are similar if and only if there exists a linear map and bases and for such that and .
That is, two matrices are similar if and only if they represent the same linear map, but with respect to potentially different bases.