Vektorraum/Erzeugendensystem und aufgespannter Unterraum/Fakt

Es sei ein Körper und ein -Vektorraum. Dann gelten folgende Aussagen.

  1. Zu einer Familie , , von Elementen in ist der erzeugte Untervektorraum ein Untervektorraum von .
  2. Die Familie , , ist genau dann ein Erzeugendensystem von , wenn

    ist.