Vector space/Simple properties/Fact/Proof/Exercise
              < Vector space < Simple properties < Fact < Proof 
 
 
            
          Let be a field, and let be a -vector space. Show that the following properties hold (for and ).
- We have .
- We have .
- We have .
- If and , then .