Let U,V be finite-dimensional vector spaces, and let θ be a linear map of U into V. Define the rank r(θ) and the nullity n(θ) of θ, and prove that
r(θ)+n(θ)=dimU
Now let θ,ϕ be endomorphisms of a vector space U. Define the endomorphisms θ+ϕ and θϕ, and prove that
r(θ+ϕ)n(θϕ)⩽r(θ)+r(ϕ)⩽n(θ)+n(ϕ).
Prove that equality holds in both inequalities if and only if θ+ϕ is an isomorphism and θϕ is zero.