Definition: A linear transformation . The null space of, denoted as or it is the set of all the vectors of such that , that is . is a subspace of .
Theorem: , is injective iff
Definition: A linear transformation . The range (or image) of , denoted as is a subspace of . .
Theorem: Given a basis of , and linear, then .
Definition: Given a linear transformation , is called the nullity also denoted as or , and, is called the rank of , denoted as or
Rank-Nullity Theorem
Let and be vector spaces, and be linear. If is finite-dimensional, then:
Corollary: Let and be finite-dimensional vector spaces where , then any cannot be injective.
Corollary: Let and be finite-dimensional vector spaces where , then any cannot be surjective.
Corollary: Let and be finite-dimensional vector spaces where , and any , is injective iff is surjective.
Theorem: Let and be finite-dimensional vector space over the field , suppose the set be a basis for . For , there exists exactly one , such that for all
Corollary: If for a basis of , and , and for all , then .