Vector space/Simple properties/Fact

Let be a field, and let be a -vector space. Then the following properties hold (for and ).

  1. We have .
  2. We have .
  3. We have .
  4. If and , then .