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