The usual concepts for a function such as injectivity, surjectivity, bijectivity and inverse mappings are discussed here. Below and are vector spaces. We recall that, for , we write for the composition and for . By we mean the identity map .
The map is called
- injective if for every the following holds: if then ;
- surjective if for any there exists a vector with ;
- bijective if it is injective and surjective.
If is bijective, then is invertible (in other words, has an inverse), meaning there is a map such that and . The map is called the inverse (map). In this case we call an isomorphism.
If there exists an isomorphism of to , then and are called isomorphic.
If is invertible, and is a natural number, then we denote by the composition .
The statements about the existence of are valid for all bijective maps. Therefore we do not give a separate proof here.
Let be the map with for fixed real numbers and .
Then is injective if and only if , because
- if and satisfy , then and thus , so that , showing that is injective, and
- if , then and satisfy showing that is not injective.
If then is also surjective: if and , then satisfies .
In particular, is bijective if and only if , in which case the inverse map is equal to
The map is linear if and only if . In that case also is linear. This is not a coincidence, as is shown by the theorem below.
For each vector space the identity map given by is an isomorphism.
When and are both vector spaces, then the zero map given by is not an isomorphism if is not trivial.
Below we will see that is a linear map as well.
Two isomorphic vector spaces are essentially identical. By this we mean that the names of vectors and the like may vary, but that one vector space after application of the bijective map (read: the change of name) becomes identical to the other.
We will see later that any real finite-dimensional vector space of dimension is isomorphic to a coordinate space. Therefore, after an appropriate translation, such a vector space can be seen as .
The inverse of an invertible linear map is also invertible and linear:
If the linear map is a bijection, then the inverse map is also a linear map.
If , and , are scalars, then there are vectors , with and (because is surjective). The linearity of then yields so . On the other hand we have and . We conclude:
If a square matrix has an inverse, then the corresponding linear map can also be inverted:
If is an invertible -matrix, then the inverse of the linear map determined by is equal to the linear map determined by the matrix .
Later we will derive that each linear mapping, after transition to a coordinate space, can be written as for a suitable matrix , and that this mapping is invertible if and only if is invertible.
The linear map
determined by the matrix is invertible. The inverse is a linear map determined by a -matrix .
Calculate this -matrix .
Because we can calculate by inverting the matrix :