Jump to content

Vector space/Change of base field/Generating system/Basis/Fact

From Wikiversity

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.

  1. The family , , is a -generating system of if and only if , , is an -generating system of .
  2. The family , , is -linearly independent in if and only if , , is linearly independent (over ) in .
  3. Die family , , is a -basis of if and only if , , is an -basis of .