Properties of Rank and Kernel / Null Space

Let be vector spaces of over
Let be linear

  1. is a subspace of and is a subspace of

  2. is injective if and only if

  3. If is a spanning set of , then is a spanning set of

  4. If is finite-dimensional, then and are finite-dimensional

Equivalent Statements for Rank and Nullity corollary

Let be a finite-dimensional vector space
Let be linear

  1. is invertible

Dimension Inequality for Linear Maps lemma

Let be vector spaces, with finite-dimensional
Let be linear and then

In particular, if is injective then