Hallo allerseits. Ich stehe gerade ein klein wenig auf dem Schlauch. Und zwar suche ich nach einer Möglichkeit, zu einer Menge V, von der man weiß, dass es sich um einen endlich erzeugten Vektorraum handelt, eine Basis zu bestimmen.
Wenn V nun eine Menge ist, die man sich halbwegs "vorstellen kann", erkennt man ja häufig, wie eine Basis aussehen könnte und muss dann nur noch beweisen, dass es tatsächlich eine ist (z.B. über lineare Unabhängigkeit und das Erzeugendensystem).
Was mache ich aber nun, wenn ich mir die Menge V einfach nicht so richtig vorstellen kann und es mir deshalb nicht gelingt, mir eine Basis auszudenken. Vielleicht kenne ich ja noch nichtmal die Dimension des Vektorraums und weiß nichtmal, wieviel Basisvektoren ich eigentlich suche? Gibt es dann ein bestimmtes Vorgehen, dass mich direkt zu einer Basis bringt?
Meine beste Idee wäre es jetzt gewesen, ein paar Vektoren aus V zu nehmen und zu prüfen, ob sie ein Erzeugendensystem bilden. Wenn dem nicht so ist, ergänzen ich immer weiter mit zufälligen Vektoren aus V und hoffe, dass ich irgendwann eine Teilmenge von V habe, die ein Erzeugendensystem vom V bildet. Anschließend würde ich dann solange linear abhängige Vektoren aus der Menge streichen, bis ich eine linear unabhängige Teilmenge von V habe. Das wäre dann meine Basis. Wenn V nun aber eine echt komplizierte Menge ist und vielleicht eine hohe Dimension hat, ist diese Herangehensweise aber doch sehr ineffizient. Deshalb suche ich nach eine Verfahren, um möglichst direkt eine Basis bestimmen zu können.
Ich würde mich sehr darüber freuen, wenn mir jemand weiterhelfen könnte.
