Let and be vector spaces. A function is a linear map if
The function is a linear map if and only if
The function is a isomorphism if
Let be a function:
Let be a linear function
Let be a linear function, then it maps linearly dependent vectors to linearly dependent vectors.
Let be a onto linear function, then it maps a spanning set vectors to a spanning set of vectors.
Let be vector space over and be a basis for . The representation map
is defined as
The representation map is an isomorphism.
If is an isomorphism then is also an isomorphism.
Isomorphism is an equivalence relation.
If two vector space are isomorphic then they have the same dimension.
If two vector space have the same dimension then they are isomorphic.
A homomorphism is defined by its action on a basis. That is, if
is a basis for and
not necessarily distinct vectors then there exists a unique homomorphism such that
Let and be two vector spaces and
be a basis for . Let
be a function. Then is extended linearly to
by
Under a homomorphism, the image of any subspace of the domain is a subspace of the codomain.
The range space of a homomorphism is
The dimension of is called rank of .
For any homomorphism, the inverse image of a subspace of the codomain is a subspace of the domain.
The kernel or the null space of a homomorphism is
The dimension of is called nullity of .
Let be a homomorphism then
Let be a basis for and be a basis for . Let be a homomorphism and
Then the matrix representation of from basis to basis is
Let and be a bases for . The change of basis matrix from to is
where is the identity map on
A matrix is a change of basis matrix if and only if it is invertible.