Aufgabe:
Sei \(\mathbb{K} = \mathbb{Q}.\) Oder Sei \(\mathbb{K} = \mathbb{F}_2.\)
Finde ein Minimales Erzeugendensystem \(S'\) \(\subset\) \(S\) von \(⟨S⟩\).$$S :=\left\{\left(\begin{array}{l}{1} \\ {1} \\ {0} \\ {1} \\ {1}\end{array}\right),\left(\begin{array}{l}{0} \\ {0} \\ {1} \\ {1} \\ {0}\end{array}\right),\left(\begin{array}{l}{0} \\ {1} \\ {0} \\ {0} \\ {0}\end{array}\right),\left(\begin{array}{l}{1} \\ {0} \\ {0} \\ {1} \\ {1}\end{array}\right),\left(\begin{array}{l}{1} \\ {0} \\ {1} \\ {0} \\ {1}\end{array}\right)\right\} \subset K^{5}$$
Vorgehen: Fall \(\mathbb{K} = \mathbb{Q}.\)
(Ich schildere kurz bevor ich unten mein Lösungsweg anfüge.)
Ich packe alle Spaltenvektoren in eine Matrix und eliminiere mit dem Gaussverfahren die linear abhängigen.
Dann erhalte ich 4 Vektoren aus dem \(K^5\).
Problem/Ansatz:
Das Problem ist, dass ich mit vier Vektoren vier Achsen habe, nehmen wir an es wären \(e_1, e_2, e_3, e_4,\) dann wären das die Basen von einem 4-dimensionalen Raum.
Was verwirrt mich?
Mich verwirrt, dass die einzelnen Vektoren aus dem \(K^5\) kommen.
Sie haben ja fünf Komponenten, da aber das, was die Vektoren aufspannen ein 4-dimensionaler Raum ist,
verwirrt mich das.
Denn ich erwarte intuitiv, dass der vierdimensionale Raum 4 linear Unabhängige Vektoren hat, und diese vier lin. unabhängigen Vektoren sollen jeweils vier Komponenten haben, denn jede Komponente erzeugt eine Dimension.
Ich bekomme aber für \(S'\) vier Vektoren die jeweils fünf Komponenten haben.
Frage:
Kann jemand etwas zu meiner Verwirrung sagen ?
Mein Lösungsweg für K = Q: