• Let be a linear map
  • Then, the following are equivalent:
    1. is injective

Proof

Proving

  • Suppose is linear and injective.
  • We know because for all linear maps
  • Suppose . This gives:
  • Since is injective, we get
  • Thus,
  • Thus,

Proving

  • Suppose
  • Thus, is a basis of
  • It follows that

Proving

  • Suppose
  • Therefore, is a basis of
  • This gives
  • Now, we argue that is injective
    • Suppose
    • by linearity
    • Thus,
    • Thus,
    • It follows that is injective