Combining Linear Transformations (addition + scalar multiplication)

Let be vector spaces over a field
For and then linear maps and are defined by

With these operations (including the Zero map) the set of linear transformations forms a vector space denoted

Combining Linear Transformations (composition)

Let be vector spaces over
Let and be linear then

Note on notation

Sometimes is written as but is removes any ambiguity


Invertible Linear Maps

Let be vector spaces and let be linear
is invertible if there is linear transformation such that

where and are the identity maps on respectively
Then is called the inverse of (typically written as )

Note that invertible linear maps are an isomorphism (refer to groups)

Property of Bijective Linear Maps

Let be vector spaces
Let be linear

Inverse of Compositive Linear Maps

Let be vector spaces
Let and be invertible linear transformations
Then

Dimension Property of Invertible Linear Maps

  1. Let be vector spaces with finite-dimensional
    If there is an invertible linear map then
  2. Let be finite-dimsional vector spaces with
    Then there is invertible linear map

Consequently and are isomorphic if and only if

Uniqueness of Inverses of linear maps corollary

Let be a finite-dimensional vector space
Let be linear
Then any one-sided inverse of is a two-sided inverse and hence the inverse of is unique