Linear mapping/Dual mapping/Functorial properties/Fact

Let denote vector spaces over a field and let

and

be linear mappings. Then the following hold.

  1. For the dual mapping, we have
  2. For the identity on , we have
  3. If is surjective then is injective.
  4. If is injective then is surjective.