Suppose a real polynomial of degree at most two takes the value at and the value at . The linear polynomial fits, but so does for every real , because vanishes at both points. Two readings leave one direction of a three-dimensional space undetected, and the rank-nullity theorem says that this count always balances. This lesson proves the theorem and uses it to decide when a linear map is injective, surjective or invertible, and how much rank survives a composition.
Key terms
Rank-nullity theorem
Definition Let and be vector spaces over , where is or , and let be linear. The kernel and the image of are the subspaces
The nullity of is and the rank is . If is finite-dimensional, both are finite and
The space need not be finite-dimensional, and its dimension plays no part. For the proof, choose a basis of and extend it to a basis of . The images span , because expanding any in this basis and applying removes every kernel term. They are independent. If , then lies in , so it equals for some scalars , and independence of the extended basis forces every to be . Hence the rank is , the nullity is , and . The cases and are included, with an empty list as the basis of the zero space.
In plain words The dimension of the domain splits into two counts, the directions the map cannot detect and the independent directions it actually produces. The size of the codomain does not enter.
Example Over let be , where is the space of polynomials of degree at most two, including the zero polynomial. For this gives . The kernel requires and , so has dimension . Every target is reached by , so has dimension , and . One solution plus the kernel gives all solutions, so the polynomials with readings are exactly
Injective map
Definition A map is injective, or one-to-one, if implies for all . A linear map is injective exactly when . If the kernel is zero and , then , so . If instead some lies in the kernel, then with . When is finite-dimensional, rank-nullity turns injectivity into the condition . When is finite-dimensional as well, an injective linear map from to can exist only if .
In plain words An injective map never sends two different inputs to the same output. For a linear map it is enough to check that only the zero vector goes to zero.
Example The inclusion from to has kernel , so it is injective. The two-reading map on is not injective, since and the zero polynomial both give .
Surjective map
Definition A map is surjective, or onto, if , that is, if every equals for some . Surjectivity depends on the stated codomain , not only on the formula. When is finite-dimensional, a linear map is surjective exactly when , because a subspace of with the same finite dimension as is all of . If is also finite-dimensional, rank-nullity gives , so a surjective linear map from to can exist only if .
In plain words Every vector of the codomain is hit. For a linear map between finite-dimensional spaces this comes down to comparing the dimension of the image with the dimension of the codomain.
Example The projection from to is surjective, since , but it is not injective, because its kernel is the -axis. The inclusion is not surjective onto , since is never reached. The same formula viewed as a map to the plane is surjective, which is why the codomain has to be stated.
Isomorphism
Definition An isomorphism is a linear map that is bijective, meaning both injective and surjective. Two vector spaces over are isomorphic when an isomorphism between them exists. Isomorphic finite-dimensional spaces have the same dimension, since an isomorphism has nullity and rank . Now let and be finite-dimensional over with , and let be linear. Then is injective if and only if it is surjective, and either property makes an isomorphism. Rank-nullity gives , so
The equivalence can fail when the dimensions differ. The inclusion of in is injective and not surjective, and the projection of onto is surjective and not injective.
In plain words An isomorphism matches the vectors of two spaces one for one while respecting addition and scaling, so the two spaces carry the same linear structure. It does not say the objects are identical, and different isomorphisms give different matchings. In equal finite dimensions one of the two checks is enough.
Example Over let be . If , then has the three distinct roots , and , and a nonzero polynomial of degree at most two has at most two roots, so . The kernel is zero and both spaces have dimension , so is an isomorphism. To find the polynomial with readings , write . The readings give , and , so , and .
Linear inverse
Definition Let be a bijective linear map between vector spaces over . Its inverse sends each to the unique with , so is the identity of and is the identity of . The inverse is linear. Take with and , and scalars . Linearity of gives , and since is the only preimage of ,
No finite-dimensional hypothesis is needed. When and are finite-dimensional with bases and , the matrix is the inverse of the square matrix .
In plain words Undoing a linear bijection never breaks linearity. Reading the map backwards gives another linear map, not merely a function.
Example For the three-reading isomorphism above, solving , and for arbitrary readings gives
Each coefficient is a linear expression in , and , as the theorem predicts. For example , and indeed takes the values , and at , and .
Rank of a composition
Definition Let and be linear maps between vector spaces over , with and finite-dimensional, and write for the composition , which applies first. Then and , and
The first inclusion holds because gives . Rank-nullity on the common domain then gives
This half uses only that is finite-dimensional. The second inclusion holds because every output is an output of , so . For matrices over this reads whenever the product is defined.
In plain words A composition cannot produce more independent outputs than either stage. What the first map loses stays lost, and the second map cannot reach outside its own image. The bound can be strict.
Example Let be and be . Each has rank one, but for every , so is the zero map and has rank . The map discards exactly the direction that produces.
Check yourself
- A linear map has . Is an isomorphism?
Show the answer
No. Rank-nullity gives , while , so the image is a proper subspace of and is not surjective. In fact no linear map from to is surjective. The shortcut that makes an injective map automatically surjective needs the domain and codomain to have the same finite dimension, and here they do not.
- Let be differentiation over . Find its kernel and image, check rank-nullity, and decide whether is injective or surjective.
Show the answer
The derivative of is zero exactly when is constant, so the kernel is the space of constant polynomials, of dimension . The derivative of is , and every polynomial arises, as the derivative of . So , of dimension , and . The map is not injective, since its kernel is nonzero, and not surjective, since is not in the image. Domain and codomain have the same dimension here, so the two properties had to fail together.
- Let be a real matrix and a real matrix. Can be invertible? Can ?
Show the answer
The product is , and , so is never invertible. The product is , and the bound gives only , which does not rule out invertibility. It does happen. For the matrices
the product is the identity , while has rank .