Um zu prüfen, ob eine Basis bzw. Erzeugendensystem von einem gegebenen Vektorraum ist, gehe wie folgt vor:
Stelle eine Matrix auf, indem du alle Vektoren als Zeilen untereinander schreibst.
Untersuche die Anzahl linear unabhängiger Vektoren. Bestimme hierfür den Rang der Matrix , indem du auf Zeilenstufenform bringst und die Nichtnullzeilen zählst. Der Rang entspricht der Dimension der linearen Hülle von und somit der Anzahl linear unabhängiger Vektoren.
Bestimme die Dimension von und prüfe:
Falls , so liegt ein Erzeugendensystem vor.
Entspricht der Rang zusätzlich noch der Anzahl gegebener Vektoren , so bildet eine Basis. Kurz: Eine Basis liegt immer dann vor, wenn der Rang der Matrix , die Dimension des Vektorraumes und die Anzahl der gegeben Vektoren übereinstimmen. (EZS und lineare Unabhängigkeit)
Sollte es sich um keine Basis handeln, so kannst du eine passende Basis ermitteln:
Falls : Nutze alle gegebenen Vektoren, welche linear unabhängige sind (Nichtnullzeilen der Zeilenstufenform) und ergänze diese zu einer Basis. Dies gelingt durch Einführen weiterer linear unabhängiger Vektoren (meinst bieten sich passende Einheitsvektoren an).
Falls : Streiche linear abhängige Vektoren.
Tipps:
Sollst du lediglich prüfen, ob eine Basis vorliegt und es ist nicht nach einer Ergänzung/Kürzung gefragt, so zeige und untersuche die lineare Unabhängigkeit mit .
Ist keine Teilmenge von , so kann auch kein Erzeugendensystem oder Basis sein.