Vector space/Change of base field/Generating system/Basis/Fact
Appearance
Let be a field, be a -vector space, and be a field extension. Let , , be a family of vectors in . Then the following statements hold.
- The family , , is a -generating system of if and only if , , is an -generating system of .
- The family , , is -linearly independent in if and only if , , is linearly independent (over ) in .
- The family , , is a -basis of if and only if , , is an -basis of .