Jump to content

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

From Wikiversity

Let K be a field, V be a K-vector space, and KL be a field extension. Let vi, iI, be a family of vectors in V. Then the following statements hold.

  1. The family vi, iI, is a K-generating system of V if and only if 1vi, iI, is an L-generating system of LV.
  2. The family vi, iI, is K-linearly independent in V if and only if 1vi, iI, is linearly independent (over L) in LV.
  3. The family vi, iI, is a K-basis of V if and only if 1vi, iI, is an L-basis of LV.