Overview
Linear maps are functions that send elements from one vector space to another in a way that is compatible with the Vector space and subspace axioms.
Linearity is ubiquitous, meaning addition and scaling can be applied before or after the linear transformation without changing the result.
Linear maps are defined with respect to a basis. One upshot of this fact is that equality can be checked with a finite list of vectors.
Linearity
Definition: Linear map
If are vector spaces over the field , a linear map (i.e., linear transformation, linear operator) from to is a function with the following properties:
- (L1) respects addition. For all ,
- (L2) respects scaling. For all and , .
Every linear function for some takes the form
Properties of linear maps include:
- (Lemma 44) If is a linear map, we have
- Informally, this means linear maps do not have constant terms. A function in the form for is an affine function.
- (Theorem) Linear maps are determined by their values on a basis
Examples of linear maps
- Rotation
- Differentiation and integration
- Identity map
#wip Make notes for each of these examples