Mathe für Nicht-Freaks: Erzeugendensystem

Ein Erzeugendensystem ist eine Teilmenge eines Vektorraum, die den kompletten Vektorraum aufspannt. So kann jeder Vektor des Vektorraums allein mit Vektoren des Erzeugendensystems dargestellt werden.

Herleitung und Definition

Zerlegung eines 3D-Vektors in seine 3 Komponenten

Betrachten wir die drei Vektoren $(1,0,0{)}^T,(0,1,0{)}^T,(0,0,1{)}^T$ des ${ℝ}^3$. Jeden Vektor des ${ℝ}^3$ können wir als Linearkombination dieser drei Vektoren angeben, denn für alle $(\alpha ,\beta ,\gamma {)}^T\in {ℝ}^3$ gilt:

SeiVorlage:Einrücken

Es gilt: ${ℝ}^3=\mathrm{span}(M)$, das heißt, $M$ erzeugt den gesamten Vektorraum. Man nennt Mengen mit dieser Eigenschaft Erzeugendensystem:

Ist $M$ ein Erzeugendensystem von $V$, dann gibt es zu jedem $v\in V$ Elemente $m_1,m_2,\dots ,m_k\in M$ und ${\lambda }_1,{\lambda }_2,\dots ,{\lambda }_k\in K$, so dass $v={\sum }_{i=1}^k{\lambda }_i{m}_i$. Jeder Vektor $v\in V$ lässt sich also als Linearkombination von Elementen aus $M$ schreiben.

Beispiele

Erzeugendensystem der Ebene

Die Vektoren $e_1=(1,0{)}^T$ und $e_2=(0,1{)}^T$ erzeugen die Ebene ${ℝ}^2$. Für alle $v=(\alpha ,\beta {)}^T\in {ℝ}^2$ gilt nämlich

Damit lässt sich jeder Vektor der Ebene als Linearkombination von $e_1$ und $e_2$ schreiben.

Vektorraum der Polynome

Betrachten wir den Vektorraum $V_{\le 2}$ der Polynome vom Grad kleiner gleich zwei. Hier lässt sich jedes beliebige Polynom durch eine Linearkombination aus den Polynomen $P(x)=1$, $Q(x)=x$ und $R(x)=x^2$ bilden. Jedes Polynom mit Grad kleiner gleich zwei hat nämlich die Form $a{x}^2+bx+c=a\cdot R(x)+b\cdot Q(x)+c\cdot P(x)$. Damit ist $\{P(x),Q(x),R(x)\}$ ein Erzeugendensystem von $V_{\le 2}$.

Das können wir auch für Polynome mit beliebigem Grad formulieren:

Ist $K$ ein Körper und $K[X]$ der Vektorraum der Polynome mit Koeffizienten in $K$, dann hat jedes Element darin die Form $P=a_0+a_{1}X+a_2{X}^2+\cdots a_n{X}^n$, ist also eine (endliche!) Linearkombination von $1,X,X^2,X^3,\dots$.

Daher ist die (unendliche) Menge der Monome $\{1,X,X^2,X^3,\dots \}$ ein Erzeugendensystem von $K[X]$.

Erzeugendensysteme sind nicht eindeutig

Die Zerlegung von Vektoren ist nicht eindeutig

Ein Vektorraum kann mehrere Erzeugendensysteme haben. Das Erzeugendensystem ist also nicht eindeutig bestimmt.

Nehmen wir als Beispiel die Ebene ${ℝ}^2$. Die Menge $\{(1,0{)}^T,(0,1{)}^T\}$ ist ein Erzeugendensystem der Ebene, da alle $(\alpha ,\beta {)}^T\in {ℝ}^2$ sich als Linearkombination der beiden Vektoren $e_1=(1,0{)}^T$ und $e_2=(0,1{)}^T$ darstellen lassen:

Die Vektoren $e_1=(1,0{)}^T$, $e_2=(0,1{)}^T$, $e_3=(1,1{)}^T$ erzeugen ebenfalls den ${ℝ}^2$, denn $v$ lässt sich auch folgendermaßen darstellen (siehe Bild):

Damit lässt sich der Vektor $v$ durch zwei unterschiedliche Linearkombination von $\{e_1,e_2\}$ und $\{e_1,e_2,e_3\}$ darstellen. Dies zeigt, dass Vektorräume mehrere Erzeugendensysteme haben können.

Beweise zum Erzeugendensystem führen

Wie beweist man, dass eine Menge ein Erzeugendensystem des $K^n$ ist?

Wir skizzieren in diesem Abschnitt, wie man zeigt, dass eine Menge ein Erzeugendensystem eines Vektorraums des Typs $K^n$ ist ($K$ ist ein Körper). Eine Teilmenge $M$ eines Vektorraums $V$ heißt Erzeugendensystem, wenn sich jeder Vektor $v\in V$ als Linearkombination der Vektoren aus $M$ darstellen lässt.

Sei $M=\{v_1,\dots v_n\}$ die gegebene Menge der Vektoren. Dann muss man zeigen, dass für alle Vektoren $v\in K^n$ Koeffizienten ${\lambda }_1,\dots ,{\lambda }_n\in K$ existieren, sodass

Diese Gleichung kann in der Regel in ein Gleichungsystem übersetzt werden, und die ${\lambda }_i$ sind die Lösung dieses Gleichungssystems. Wir können das allgemeine Vorgehen so zusammenfassen:

1. Allgemeinen Vektor $v$ des Vektorraums $V$ wählen.
2. $v$ mit einer Linearkombination der Vektoren $v_1,\dots ,v_n$ mit unbekannten Koeffizienten ${\lambda }_1,\dots ,{\lambda }_n\in K$ gleichsetzen.
3. Gleichungssystem nach den Unbekannten ${\lambda }_1,\dots ,{\lambda }_m$ lösen. Wenn es stets mindestens eine Lösung gibt, so ist $M$ ein Erzeugendensystem. Falls es für einen Vektor $v$ keine Lösung gibt, so ist $M$ kein Erzeugendensystem.