Zum Inhalt springen

Vektorraum/Körperwechsel/Erzeugendensystem/Basis/Fakt

Aus Wikiversity

Es sei ein Körper, ein -Vektorraum und eine Körpererweiterung. Es sei , , eine Familie von Vektoren aus . Dann gelten folgende Aussagen.

  1. Die Familie , , ist genau dann ein -Erzeugendensystem von , wenn , , ein -Erzeugendensystem von ist.
  2. Die Familie , , ist genau dann -linear unabhängig in , wenn , , linear unabhängig (über ) in ist.
  3. Die Familie , , ist genau dann ein -Basis von , wenn , , ein -Basis von ist.