Introduction to Linear Maps
Linear Maps
Definition 26: Linear Map
Let and be vector spaces over the same field . A linear map (or linear transformation) from to is a function such that the following properties hold:
- Additivity. .
- Homogeneity. .
These two properties are known as the linearity conditions or linear map axioms.
Terminology: Domain and Codomain
Let be a linear map. The domain of is , and the codomain of is .
Terminology: Preimage and Image of a Vector under a Linear Map
Let be a linear map such that for some and .
- is called the preimage of under .
- is called the image of under .
In which case, we say that maps to .
Notation
The shorthand notation is often used to denote the action of a linear map on a vector . For example, if , we would write to indicate that maps to .
Example: Differentiation is a linear map.
Let denote the set of polynomials with real coefficients of degree at most . Define a function by , where is the derivative of . Show that is a linear map.
Proof.
To show that is a linear map, we need to verify the two linearity conditions: additivity and homogeneity.
Additivity. Let . We need to show that . We have:
Thus, additivity holds.
Homogeneity. Let and let . We need to show that . We have:
Thus, homogeneity holds.
Since both linearity conditions are satisfied, we conclude that is a linear map. ∎
Notation: Set of Linear Maps
The set of all linear maps from to may be denoted by or . Additionally, the set of all linear maps from to itself may be denoted by or .
Theorem 26: Alternative Characterization of Linearity
Let and be vector spaces over the same field , and let be a function. Then is a linear map if and only if:
Corollary 13: General Linearity
Let and be vector spaces over the same field , and let be a function. Then is a linear map if and only if for all and all :
Theorem 27: Zero Vector Preservation of Linear Maps
Let and be vector spaces over the same field , and let be a linear map. Then preserves the zero vector, i.e. .
Proof: Theorem 27.
We can apply multiple linear maps in succession by composing them, and the result is still a linear map. This allows us to build more complex linear maps from simpler ones, and to analyze the structure of linear maps in terms of their compositions.
Theorem 28: Composition of Linear Maps
Define the linear maps and . Then the function composition of and , denoted , is a linear map from to , where is defined by:
Notation
The composition of two linear maps may be denoted by juxtaposition, i.e. . This should not be confused with the product of two functions. Furthermore, the repeated composition of a linear map times may be denoted , and should not be confused with the th power of a function:
Proof: Theorem 28.
Let and be linear maps. We need to show that is a linear map, i.e. it satisfies the linearity conditions.
Additivity. Let . We need to show that . We have:
Thus, additivity holds.
Homogeneity. Let and let . We need to show that . We have:
Thus, homogeneity holds.
Since both linearity conditions are satisfied, we conclude that is a linear map. ∎
The simplest linear maps are the identity and zero linear maps. The identity linear map on a vector space maps every vector to itself:
Definition 27: Identity Linear Map
Let be a vector space. The identity map or identity transformation on , denoted , is the linear map from to itself defined by:
That is, is the linear map defined by .
Corollary 14
For any linear map , .
Definition 28: Zero Linear Map
Let and be vector spaces over the same field . The zero map or zero transformation from to , denoted , is the linear map defined by:
That is, is the linear map defined by .
Theorem 29: Linearity of the Basis Transformation
Let be an -dimensional vector space over a field , and suppose is a basis for . Then the basis transformation defined by is a linear map.
Proof: Theorem 29.
Let be an -dimensional vector space over a field , and suppose is an ordered basis for . Let and let , and suppose and . Then we can write:
We need to show that the basis transformation defined by satisfies linearity conditions.
Additivity. We have:
Homogeneity. We have:
Since both linearity conditions are satisfied, is a linear map. ∎
Theorem 30: Sets of Linear Maps are Vector Spaces
Let and be vector spaces over the same field . Then the set of all linear maps from to , denoted , is a vector space over under the following operations:
- Pointwise addition. For , define for all .
- Scalar multiplication. For and , define for all .
Furthermore, .
Kernel, Nullity, and Injectivity
Definition 29: Kernel of a Linear Map
Let be a linear map. The kernel or null space of , denoted , is the set of all vectors in that are mapped to the zero vector in . Formally:
Theorem 31: Kernel is a Subspace of the Domain
Let be a linear map. Then is a subspace of .
Proof: Kernel is a Subspace of the Domain.
Let be a linear map. Checking the Subspace Criteria:
- Existence of vector additive identity. Since by Theorem 27, .
- Closure under vector addition. Let . Then . By additivity, , so .
- Closure under scalar multiplication. Let and let . Then . By homogeneity, , so . ∎
Definition 30: Nullity of a Linear Map
Let be a linear map. The nullity of is the dimension of the kernel of :
Theorem 32: Nullity Theorem
Let be a linear map. Then is injective if and only if ; that is, is injective if and only if .
Image, Rank, and Surjectivity
Definition 31: Image of a Linear Map
Let be a linear map. The image or range of , denoted , is the set of all vectors in that are the image of some vector in under . Formally:
Theorem 33: Image is a Subspace of the Codomain
Let be a linear map. Then is a subspace of .
Proof: Image is a Subspace of the Codomain.
Let be a linear map. Checking the Subspace Criteria:
- Existence of vector additive identity. Since by Theorem 27, .
- Closure under vector addition. Let . Then there exist such that and . By additivity, . Since , it is the preimage of , so .
- Closure under scalar multiplication. Let and let . Then there exists such that . By homogeneity, , so . ∎
Notation
Let be a function. Then for any subset , (called the image of under ) denotes the set of all images of elements in under :
Definition 32: Rank of a Linear Map
Let be a linear map. The rank of is the dimension of the image of :
Theorem 34: Rank-Nullity Theorem
Let be a linear map. If is finite-dimensional, then is also finite-dimensional, and the following equation holds:
Terminology
A transformation is bijective (sometimes also called a one-to-one correspondence) if is both injective and surjective.
Exercises
Exercise 51.
Exercise 52.
Exercise 53.
Let be the transformation defined by:
Determine, with proof, whether is a linear map.
Exercise 54.
Exercise 55.
Exercise 56.
Let be linear maps. Show that:
Exercise 57.
For linear maps and , both with finite rank, show that:
Exercise 58.
Exercise 59.
Exercise 60.
Suppose is a finite-dimensional vector space, and . Show that:
- If for some , , then for all
Exercise 61.
Let and be finite-dimensional vector spaces. The set of all linear maps from to , , is itself a vector space under pointwise addition and scalar multiplication.
Fix some vector to define the following function :
- Show that is a linear map.
- Find and in terms of and .
- Find in terms of and .