Spann, Erzeugnis, lineare Hülle – Serlo „Mathe für Nicht-Freaks“

In der linearen Algebra ist das Erzeugnis einer Teilmenge $M$ eines Vektorraums $V$ über einem Körper $K$ die Menge aller Linearkombinationen mit Vektoren aus $M$ und Skalaren aus $K$. Das Erzeugnis wird oft auch die lineare Hülle von $M$ oder der Spann von $M$ genannt.

Das Erzeugnis bildet einen Untervektorraum des Vektorraums $V$. Dieser ist der kleinste Untervektorraum ist, der $M$ enthält.

Herleitung des Erzeugnisses

erzeugende Vektoren der $xy$-Ebene

Wir betrachten den uns wohl bekannten Vektorraum $\mathbb {R} ^{3}$ und beschränken uns zunächst auf die $xy$-Ebene. Das heißt, auf die Menge aller Vektoren der Form $(a,b,0)^{T}$ mit $a,b\in \mathbb {R}$:

Jeder Vektor dieser Ebene lässt sich als Linearkombination der Vektoren $(1,0,0)^{T}$ und $(0,1,0)^{T}$ darstellen:

${\begin{pmatrix}a\\b\\0\end{pmatrix}}=a\cdot {\begin{pmatrix}1\\0\\0\end{pmatrix}}+b\cdot {\begin{pmatrix}0\\1\\0\end{pmatrix}}$

Mit der Menge dieser Linearkombinationen kann jeder Punkt der $xy$-Ebene erreicht werden. Außerdem liegen die beiden Vektoren $(1,0,0)^{T}$ und $(0,1,0)^{T}$ selbst in der $xy$-Ebene. Darüber hinaus liegen alle Linearkombination der beiden Vektoren $(1,0,0)^{T}$ und $(0,1,0)^{T}$ in der $xy$-Ebene. Das liegt daran, dass die $z$-Komponente der beiden betrachteten Vektoren $0$ ist und damit auch die dritte Komponente der Linearkombination der Vektoren immer $0$ betragen muss.

Zusammenfassend können wir festhalten: Jeder Vektor der $xy$-Ebene ist eine Linearkombination von $(1,0,0)^{T}$ und $(0,1,0)^{T}$. Jede Linearkombination dieser beiden Vektoren ist auch ein Element dieser Ebene. Wir können auch sagen, die Vektoren $(1,0,0)^{T}$ und $(0,1,0)^{T}$ spannen die $xy$-Ebene auf. Oder: Die beiden Vektoren erzeugen die betrachtete Ebene.

Die $xy$-Ebene stellt einen Untervektorraum des Vektorraums $\mathbb {R} ^{3}$ dar. Diesen Untervektorraum nennen wir $U$. Unsere beiden Vektoren spannen die Ebene $U$ auf. Also schreiben wir

$U=\operatorname {span} \left\{{\begin{pmatrix}1\\0\\0\end{pmatrix}},{\begin{pmatrix}0\\1\\0\end{pmatrix}}\right\}.$

Wir sagen, „$U$ ist das Erzeugnis der beiden Vektoren $(1,0,0)^{T}$ und $(0,1,0)^{T}$“. Oft schreibt man auch „$U$ ist die lineare Hülle der beiden Vektoren $(1,0,0)^{T}$ und $(0,1,0)^{T}$“ oder „$U$ ist der Spann der beiden Vektoren $(1,0,0)^{T}$ und $(0,1,0)^{T}$“.

Es stellt sich nun die Frage: Sind diese erzeugenden Vektoren eindeutig? Nein, denn die Ebene $U$ lässt sich auch durch die beiden Vektoren $(1,0,0)^{T}$ und $(1,1,0)^{T}$ aufspannen, denn

${\begin{pmatrix}a\\b\\0\end{pmatrix}}=(a-b)\cdot {\begin{pmatrix}1\\0\\0\end{pmatrix}}+b\cdot {\begin{pmatrix}1\\1\\0\end{pmatrix}}.$

Es gilt also auch

$U=\operatorname {span} \left\{{\begin{pmatrix}1\\0\\0\end{pmatrix}},{\begin{pmatrix}1\\1\\0\end{pmatrix}}\right\}.$

Somit sind die beiden Vektoren, die wir für die Beschreibung unserer Ebene benötigen, nicht zwingend eindeutig.

Intuitiv können wir uns das Erzeugnis von Vektoren als die Menge aller möglichen Linearkombinationen vorstellen, die man aus diesen Vektoren bilden kann. In unserem Beispiel bedeutet das

$\operatorname {span} \left\{{\begin{pmatrix}1\\0\\0\end{pmatrix}},{\begin{pmatrix}0\\1\\0\end{pmatrix}}\right\}=\left\{a\cdot {\begin{pmatrix}1\\0\\0\end{pmatrix}}+b\cdot {\begin{pmatrix}0\\1\\0\end{pmatrix}}{\Bigg |}\,a,b\in \mathbb {R} \right\}.$

Eine weitere Intuition ist: Das Erzeugnis einer Menge $M$ beschreibt den Vektorraum, bei dem alle die Richtungen, die durch Elemente aus $M$ repräsentierten werden, zu einem Vektorraum zusammengeführt werden.

Das Erzeugnis der geraden Monome

Wir untersuchen nun noch ein etwas komplizierteres Beispiel: Betrachten wir den Vektorraum $V$ der Polynome über $\mathbb {R}$. Sei $M=\{x^{n}|\,n\in \mathbb {N} _{0}{\text{ ist gerade}}\}\subset V$. Die Elemente aus $M$ sind die Monome $1$, $x^{2}$, $x^{4}$, $x^{6}$ usw. Also alle Monome, die einen geraden Exponenten besitzen. Zum Beispiel ist $x^{3}\notin M$. Wir betrachten $\operatorname {span} (M)$, die Menge aller Linearkombinationen mit Vektoren aus $M$. Zum Beispiel ist $2x^{2}+5x^{4}+9x^{8}+7x^{12}$ ein Element in $\operatorname {span} (M)$. Wir überlegen uns, dass $\operatorname {span} (M)$ ein Untervektorraum von $V$ ist.

Die Menge $\operatorname {span} (M)$ ist nicht leer. Denn z.B. ist $x^{2}\in M$.

Betrachten wir nun zwei Polynome $p,q\in \operatorname {span} (M)$. Nach Konstruktion von $\operatorname {span} (M)$ bestehen $p$ und $q$ ausschließlich aus Monomen mit einem geraden Exponenten. Somit ergibt sich bei der Addition von $p$ und $q$ ebenfalls ein Polynom mit ausschließlich geraden Exponenten. Die Menge $\operatorname {span} (M)$ ist also abgeschlossen bzgl. der Addition.

Das gleiche Argument liefert uns Abgeschlossenheit bzgl. skalarer Multiplikation. Somit ist die Menge $\operatorname {span} (M)$ ein Untervektorraum des Vektorraums aller Polynome. Wie wir später noch sehen werden, ist es sogar der kleinste Untervektorraum, welcher $M$ enthält.

Definition des Erzeugnises

Wir haben uns schon überlegt, dass das Erzeugnis einer Menge $M$ die Menge aller Linearkombinationen mit Vektoren aus $M$ ist. Intuitiv ist das Erzeugnis der Untervektorraum, der sich aus dem Zusammenschluss aller Richtungen ergibt, die durch Vektoren aus $M$ gegeben sind.

Definition (Erzeugnis oder Spann)

Sei $V$ ein Vektorraum über dem Körper $K$. $M\subseteq V$ sei eine nicht-leere Menge. Das Erzeugnis von $M$ definieren wir als die Menge aller Vektoren aus $V$, welche sich als eine endliche Linearkombination von Vektoren aus $M$ darstellen lassen und bezeichnen sie als $\operatorname {span} (M)$:

$\operatorname {span} (M)=\left\{\sum _{i=1}^{n}\lambda _{i}\cdot m_{i}{\Bigg |}\ n\in \mathbb {N} ,\,\lambda _{1},\ldots ,\lambda _{n}\in K,\,m_{1},\ldots ,m_{n}\in M\right\}$

Für die leere Menge definieren wir:

$\operatorname {span} (\emptyset )=\{0\}$

Alternativ kann man das Erzeugnis einer Menge auch Spann oder lineare Hülle nennen.

Hinweis

Gelegentlich wird für das Erzeugnis auch die Schreibweise $\langle M\rangle _{K}$ verwendet. Die Schreibweise hat den Vorteil, dass hierbei deutlich wird, über welchen Körper der Vektorraum definiert ist. Es macht nämlich einen Unterschied, welchen Körper wir zu Grunde legen. Zum Beispiel für $M:=\{1\}$ gilt, dass $\pi \cdot 1\in \langle M\rangle _{\mathbb {R} }$, aber $\pi \cdot 1\notin \langle M\rangle _{\mathbb {Q} }$. Es kann gezeigt werden, dass $\langle M\rangle _{\mathbb {Q} }=\mathbb {Q}$ und $\langle M\rangle _{\mathbb {R} }=\mathbb {R}$.

Beispiele

Beispiel (Ursprungsgerade als Erzeugnis)

Sei $x=(1,2)^{T}\in \mathbb {R} ^{2}$. Betrachten wir die Menge $\lbrace x\rbrace$ als Teilmenge des Vektorraums $\mathbb {R} ^{2}$. Das Erzeugnis $\operatorname {span} (\lbrace x\rbrace )$ ist die Gerade durch den Nullpunkt mit dem Richtungsvektor $(1,2)^{T}$.

$\operatorname {span} (\lbrace x\rbrace )=\operatorname {span} \left(\left\lbrace {\begin{pmatrix}1\\2\end{pmatrix}}\right\rbrace \right)=\left\lbrace \rho \cdot {\begin{pmatrix}1\\2\end{pmatrix}}\,{\bigg |}\,\rho \in \mathbb {R} \right\rbrace$

Beispiel (Ursprungsebene als Erzeugnis)

Seien $(5,0,0)^{T}$ und $(0,3,0)^{T}$ zwei Vektoren aus $\mathbb {R} ^{3}$. Das Erzeugnis dieser beiden Vektoren ist die $xy$-Ebene. Folgende Umformung zeigt dies:

${\begin{aligned}\operatorname {span} \left(\left\lbrace {\begin{pmatrix}5\\0\\0\end{pmatrix}},{\begin{pmatrix}0\\3\\0\end{pmatrix}}\right\rbrace \right)&=\left\lbrace \lambda \cdot {\begin{pmatrix}5\\0\\0\end{pmatrix}}+\mu \cdot {\begin{pmatrix}0\\3\\0\end{pmatrix}}{\Bigg |}\ \lambda ,\mu \in \mathbb {R} \right\rbrace \\[0.3em]&=\,\left\lbrace 5\cdot \lambda \cdot {\begin{pmatrix}1\\0\\0\end{pmatrix}}+3\cdot \mu \cdot {\begin{pmatrix}0\\1\\0\end{pmatrix}}{\Bigg |}\ \lambda ,\mu \in \mathbb {R} \right\rbrace \\[0.3em]&\ {\color {OliveGreen}\left\downarrow {\text{Setze }}{{\tilde {\lambda }}=5\cdot \lambda ,\ {\tilde {\mu }}=3\cdot \mu }\ {\text{ bzw. }}\ \lambda ={\frac {1}{5}}\cdot {\tilde {\lambda }},\ \mu ={\frac {1}{3}}\cdot {\tilde {\mu }}\right.}\\[0.3em]&=\,\left\lbrace {\tilde {\lambda }}\cdot {\begin{pmatrix}1\\0\\0\end{pmatrix}}+\cdot {\tilde {\mu }}\cdot {\begin{pmatrix}0\\1\\0\end{pmatrix}}{\Bigg |}\ {\tilde {\lambda }},{\tilde {\mu }}\in \mathbb {R} \right\rbrace \\[0.3em]&=\,\left\{{\begin{pmatrix}{\tilde {\lambda }}\\{\tilde {\mu }}\\0\end{pmatrix}}{\Bigg |}\ {\tilde {\lambda }},{\tilde {\mu }}\in \mathbb {R} \right\}\end{aligned}}$

Übersicht: Eigenschaften des Erzeugnisses

Sei $V$ ein $K$-Vektorraum, $M$, $N\subseteq V$ Teilmengen von $V$ und $W\subseteq V$ ein Untervektorraum von $V$, dann

• Für einen Vektor $v\in V$ gilt $\operatorname {span} (\{v\})=\{\lambda \cdot v|\lambda \in K\}$
• Wenn $N\subseteq M$, dann $\operatorname {span} (N)\subseteq \operatorname {span} (M)$
• Aus $\operatorname {span} (N)=\operatorname {span} (M)$ folgt im Allgemeinen nicht $N=M$
• $M\subseteq \operatorname {span} (M)$
• $\operatorname {span} (\operatorname {span} (M))=\operatorname {span} (M)$
• $\operatorname {span} (M)$ ist der kleinste Untervektorraum von $V$, der $M$ enthält
• $N\subseteq \operatorname {span} (M)\iff \operatorname {span} (M)=\operatorname {span} (M\cup N)$
• $\operatorname {span} (W)=W$

Eigenschaften des Erzeugnisses

Das Erzeugnis eines Vektors $v$ in $V$

Für einen Vektor $v\in V$ gilt $\operatorname {span} (\{v\})=\{\lambda \cdot v\,|\ \lambda \in K\}$. Gilt $v\neq 0$, dann ist $\operatorname {span} (\{v\})$ genau die Menge der Elemente, die auf der Ursprungsgeraden zu dem Richtungsvektor $v$ liegen.

Erzeugnis erhält Teilmengenbeziehung

Satz (Erzeugnis erhält Teilmengenbeziehung)

Sei $V$ ein $K$-Vektorraum und seien $M,N\subseteq V$. Ist $N\subseteq M$, dann ist $\operatorname {span} (N)\subseteq \operatorname {span} (M)$.

Beweis (Erzeugnis erhält Teilmengenbeziehung)

Da $\operatorname {span} (\emptyset )=\{0\}$ und $0$ ein Element im Erzeugnis jeder Menge ist, gilt $\operatorname {span} (\emptyset )=\{0\}\subseteq M$.

Damit können wir ohne Beschränkung der Allgemeinheit voraussetzen, dass $\emptyset \neq N\subseteq M$. Wir betrachten ein beliebiges Element $v\in \operatorname {span} (N)$. Nach der Definition des Erzeugnisses existieren Vektoren $v_{1},...,v_{n}\in N$ und $\lambda _{1},...,\lambda _{n}\in K$ derart, dass $v=\sum _{i=1}^{n}\lambda _{i}v_{i}$. Wegen $N\subseteq M$ gilt für alle $v_{i}$ mit $1\leq i\leq n$, dass $v_{i}\in M$. Dann ist auch $v\in \operatorname {span} (M)$. Folglich gilt $\operatorname {span} (N)\subseteq \operatorname {span} (M)$.

Hinweis

Die Umkehrung obigen Satzes gilt im Allgemeinen nicht! Damit meinen wir: Aus $\operatorname {span} (N)\subseteq \operatorname {span} (M)$ folgt im Allgemeinen nicht $N\subseteq M$.

Ein mögliches Gegenbeispiel hierfür ist:

$N=\left\{{\begin{pmatrix}1\\0\end{pmatrix}},{\begin{pmatrix}2\\0\end{pmatrix}}\right\}{\text{ und }}M=\left\{{\begin{pmatrix}1\\0\end{pmatrix}}\right\}$

Dann ist:

${\begin{aligned}\operatorname {span} (N)&=\left\{\lambda _{1}\cdot {\begin{pmatrix}1\\0\end{pmatrix}}+\lambda _{2}\cdot {\begin{pmatrix}2\\0\end{pmatrix}}{\Bigg |}\ \lambda _{1},\lambda _{2}\in K\right\}=\left\{(\lambda _{1}+2\lambda _{2})\cdot {\begin{pmatrix}1\\0\end{pmatrix}}{\Bigg |}\ \lambda _{1},\lambda _{2}\in K\right\}\\[0.3em]\operatorname {span} (M)&=\left\{\mu \cdot {\begin{pmatrix}1\\0\end{pmatrix}}{\Bigg |}\ \mu \in K\right\}\end{aligned}}$

Also ist $\operatorname {span} (N)=\operatorname {span} (M)$, da wir in beiden Fällen genau die Vielfachen des Vektors $(1,0)^{T}$ erhalten. Da die beiden Teilmengen gleich sind, gilt insbesondere $\operatorname {span} (N)\subseteq \operatorname {span} (M)$, aber $N\nsubseteq M$. Daher kann die Umkehrung des Satzes im Allgemeinen nicht gelten.

Das Erzeugnis vergrößert die Menge $M$

Satz (Erzeugnis vergrößert die Menge)

Sei $V$ ein $K$-Vektorraum und $M\subseteq V$. Dann gilt $M\subseteq \operatorname {span} (M)$.

Beweis (Erzeugnis vergrößert die Menge)

Sei $m\in M$ beliebig. Dann lässt sich $m$ durch $m=1\cdot m$ darstellen. Insbesondere ist $m$ als skalares Produkt $1\cdot m$ eine Linearkombination mit einem Summanden aus $M$. Damit gilt $m\in \operatorname {span} (M)$, da $\operatorname {span} (M)$ alle Linearkombinationen von Elementen aus $M$ enthält.

Daraus folgt die Behauptung $M\subseteq \operatorname {span} (M)$.

Idempotenz des Erzeugnisses

Satz (Idempotenz des Erzeugnisses)

Sei $V$ ein $K$-Vektorraum und $M\subseteq V$. Dann gilt $\operatorname {span} (\operatorname {span} (M))=\operatorname {span} (M)$. Diese Eigenschaft des Erzeugnisses wird Idempotenz genannt.

Beweis (Idempotenz des Erzeugnisses)

Wir wissen bereits, dass $\operatorname {span} (M)\subseteq \operatorname {span} (\operatorname {span} (M))$. Es bleibt also nur zu zeigen, dass $\operatorname {span} (\operatorname {span} (M))\subseteq \operatorname {span} (M)$.

Sei dazu $v\in \operatorname {span} (\operatorname {span} (M))$. Dann lässt sich $v$ darstellen als

$v=\lambda _{1}\cdot u_{1}+...+\lambda _{n}\cdot u_{n}$

mit $\lambda _{1},...,\lambda _{n}\in K$ und $u_{1},...,u_{n}\in \operatorname {span} (M)$. Da $u_{i}\in \operatorname {span} (M)$ für alle $1\leq i\leq n$ ist, lässt sich jedes $u_{i}$ als Linearkombination von Elementen aus $M$ schreiben:

$u_{i}=\mu _{1}\cdot w_{i,1}+...+\mu _{m_{i}}\cdot w_{i,m_{i}}$

mit $\mu _{1},...,\mu _{m_{i}}\in K$ und $w_{i,1},...,w_{i,m_{i}}\in M$. Wir ersetzen nun in der Darstellung von $v$ die $u_{i}$ durch ihre Darstellung als Linearkombination der $w_{i,j}$:

${\begin{aligned}v&=\sum _{i=1}^{n}\lambda _{i}u_{i}\\[0.3em]&{\color {OliveGreen}\left\downarrow \ u_{i}=\mu _{1}\cdot w_{i,1}+...+\mu _{m_{i}}\cdot w_{i,m_{i}}\right.}\\[0.3em]&=\sum _{i=1}^{n}\lambda _{i}\left(\sum _{j=1}^{m_{i}}\mu _{j}w_{i,j}\right)\\[0.3em]&=\sum _{i=1}^{n}\sum _{j=1}^{m_{i}}(\lambda _{i}\mu _{j})w_{i,j}\end{aligned}}$

Für alle $1\leq i\leq n$ liegt $\sum _{j=1}^{m_{i}}\lambda _{i}\mu _{j}$ in $K$, da $K$ ein Körper ist. Also folgt, dass $v\in \operatorname {span} (M)$, und damit auch die Aussage.

Das Erzeugnis von $M$ ist kleinster Untervektorraum von $V$, der $M$ enthält

Satz (Das Erzeugnis von $M$ ist kleinster Untervektorraum von $V$)

Sei $V$ ein $K$-Vektorraum und seien $m_{1},...,m_{n}\in V;n\in \mathbb {N}$.

Wir definieren $M:=\{m_{1},...,m_{n}\}\$. Dann ist $\operatorname {span} (M)$ der kleinste Untervektorraum von $V$, der $m_{1},...,m_{n}$ enthält.

Beweis (Das Erzeugnis von $M$ ist kleinster Untervektorraum von $V$)

Wir beweisen den Satz in zwei Schritten. Wir zeigen zunächst, dass $\operatorname {span} (M)$ ein Untervektorraum ist. Im zweiten Schritt zeigen wir, dass $\operatorname {span} (M)$ der kleinste Untervektorraum ist.

Beweisschritt: $\operatorname {span} (M)$ ist ein Untervektorraum von $V$

Zunächst ist klar, dass gilt $\operatorname {span} (M)\subseteq V$. Dies ist aber nach Definition von Vektorraum und Erzeugnis offensichtlich.

Wir müssen noch zeigen $\operatorname {span} (M)$ ist Unterraum von $V$, dazu müssen wir folgendes zeigen

• $\operatorname {span} (M)\neq \emptyset$
• für zwei Elemente $u,v\in \operatorname {span} (M)$ muss gelten $u+v\in span(M)$ (Abgeschlossenheit der Addition)
• $\rho \cdot u\in \operatorname {span} (M)$ (Abgeschlossenheit der skalaren Multiplikation)

Beweisschritt: $\operatorname {span} (M)\neq \emptyset$

Da $M\neq \emptyset$ und $M\subseteq \operatorname {span} (M)$ ist auch $\operatorname {span} (M)\neq \emptyset$.

Beweisschritt: Abgeschlossenheit der Addition

Wir zeigen die Abgeschlossenheit bzgl. der Vektoraddition.Seien $u,v\in \operatorname {span} (M)$, dann lässt sich $u$ darstellen als $u=\sum _{i=1}^{n}\lambda _{i}\cdot m_{i}$ und $v$ als $v=\sum _{i=1}^{n}\mu _{i}\cdot m_{i}$.Damit gilt

$u+v=\sum _{i=1}^{n}\lambda _{i}\cdot m_{i}+\sum _{i=1}^{n}\mu _{i}\cdot m_{i}=\sum _{i=1}^{n}(\lambda _{i}+\mu _{i})\cdot m_{i}\in \operatorname {span} (M)$

Also ist $\operatorname {span} (M)$ bzgl. der Addition abgeschlossen.

Beweisschritt: Abgeschlossenheit der skalaren Multiplikation

Wir zeigen die Abgeschlossenheit bzgl. der skalaren Multiplikation.

$\rho \cdot u=\rho \cdot \sum _{i=1}^{n}\lambda _{i}\cdot m_{i}=\sum _{i=1}^{n}\rho \cdot \lambda _{i}\cdot m_{i}\in \operatorname {span} (M)$

Damit haben wir bewiesen, dass $\operatorname {span} (M)$ ein Untervektorraum des Vektorraums $V$ ist.

Beweisschritt: $\operatorname {span} (M)$ ist der kleinste Unterraum von $V$, der $M=\{m_{1},...,m_{n}\}$ enthält

Um die Minimalität von $\operatorname {span} (M)$ zu zeigen, nehmen wir uns einen weiteren Untervektorraum $W$, der ebenfalls $M=\{m_{1},...,m_{n}\}$ enthält. Unser Ziel ist es, zu zeigen, dass $\operatorname {span} (M)\subseteq W$. Denn dann ist der Unterraum $\operatorname {span} (M)$ kleiner gleich jedem anderen Unterraum $W$, der $M$ enthält.

Da $W$ ein Untervektorraum ist und $m_{1},\ldots ,m_{n}\in W$, sind auch alle Linearkombinationen der $m_{1},\ldots ,m_{n}$ in $W$ enthalten. Daraus folgt unsere Behauptung, dass $\operatorname {span} (M)\subseteq W$.

Hinweis

Die Aussage gilt auch, wenn $M$ eine nicht-endliche Menge ist. Der Beweis dafür ist etwas aufwändiger als im endlichen Fall. Er geht aber analog.

Mehr Elemente im Erzeugnis verändern das Erzeugnis nicht nicht

Satz (Mehr Elemente im Erzeugnis verändern das Erzeugnis nicht)

Sei $V$ ein $K$-Vektorraum und $M$, $N\subseteq V$. Dann gilt

$N\subseteq \operatorname {span} (M)\Longleftrightarrow \operatorname {span} (M)=\operatorname {span} (M\cup N)$

Beweis (Mehr Elemente im Erzeugnis verändern das Erzeugnis nicht)

Wir beweisen die beiden Implikationen $\implies$ und $\Longleftarrow$:

Beweisschritt: $N\subseteq \operatorname {span} (M)\implies \operatorname {span} (M)=\operatorname {span} (M\cup N)$

Die Aussage $\operatorname {span} (M)\subseteq \operatorname {span} (M\cup N)$ gilt immer, da $M\subseteq M\cup N$. Es bleibt also nur zu zeigen, dass $\operatorname {span} (M\cup N)\subseteq \operatorname {span} (M)$ gilt. Betrachten wir dazu ein Element $u\in \operatorname {span} (M\cup N)$. Dieses können wir schreiben als

$u=\sum _{i=0}^{n}\lambda _{i}v_{i}+\sum _{i=0}^{m}\mu _{i}w_{i},$

mit $v_{1},...,v_{n}\in M$, $w_{1},...,w_{m}\in N$, $\lambda _{1},...,\lambda _{n}\in K$ und $\mu _{1},...,\mu _{m}\in K$. Da $N\subseteq \operatorname {span} (M)$, kann man $w_{i}$ für alle $1\leq i\leq m$ als Linearkombination von Elementen aus $M$ schreiben:

$w_{i}=\rho _{1}\cdot {\hat {v}}_{1}+...+\rho _{m_{i}}\cdot {\hat {v}}_{m_{i}}$

mit $\rho _{1},...,\rho _{m_{i}}\in K$ und ${\hat {v}}_{1},...,{\hat {v}}_{m_{i}}\in M$. Nun setzen wir diese Darstellung von $w_{i}$ in die vorherige Formel ein:

${\begin{aligned}u&=\sum _{i=0}^{n}\lambda _{i}v_{i}+\sum _{i=0}^{m}\mu _{i}\left(\sum _{j=1}^{m_{i}}\rho _{j}{\hat {v}}_{j}\right)\\[0.3em]&=\sum _{i=0}^{n}\lambda _{i}v_{i}+\sum _{i=1}^{m}\sum _{j=1}^{m_{i}}(\mu _{i}\rho _{j}){\hat {v}}_{j}\end{aligned}}$

Wir haben damit $u$ als Linearkombination von Vektoren aus $M$ darstellen können und somit gilt: $span(M)=span(M\cup N)$.

Beweisschritt: $N\subseteq \operatorname {span} (M)\Longleftarrow \operatorname {span} (M)=\operatorname {span} (M\cup N)$

Wir zeigen diese Aussage mit einem Widerspruchsbeweis. Angenommen, es gibt ein $w\in N$ aber $w\notin span(M)$. Wir definieren nun ein Element $u:=\sum _{i=0}^{n}\lambda _{i}v_{i}+w$, mit $v_{1},...,v_{n}\in M$ und $\lambda _{1},...,\lambda _{n}\in K$.

Nun ist $u$ eine Linearkombination von Vektoren aus $M\cup N$. Es gilt damit $u\in span(M\cup N)$, da $w\in N$. Allerdings gilt auch $u\notin span(M)$, da $w\notin \operatorname {span} (M)$. Dies widerspricht aber der Voraussetzung $\operatorname {span} (M)=\operatorname {span} (M\cup N)$.

Damit ist unsere Voraussetzung falsch und es muss gelten $N\subseteq \operatorname {span} (M)$.

Überprüfen, ob bestimmte Vektoren zum Erzeugnis gehören

Nachdem wir einige Eigenschaften des Erzeugnisses kennengelernt haben, wollen wir in diesem Abschnitt beispielhaft darstellen, wie wir nachweisen können, ob ein Vektor eines Vektorraums $V$ innerhalb des Erzeugnisses einer Teilmenge dieses Vektorraums liegt oder nicht. Wir werden feststellen, dass wir, um diese Frage beantworten zu können, ein lineares Gleichungssystem lösen müssen.

Beispiel (Ebene und Ursprungsgerade)

Sehen wir uns zu Beginn ein einfaches Beispiel aus dem $\mathbb {R} ^{2}$ an. Wir betrachten die Ursprungsgerade $\operatorname {span} (M)$ mit der einelementigen Teilmenge $M=\{(4,3)^{T}\}$ der Ebene $\mathbb {R} ^{2}$. Die Fragestellung lautet nun, ob der Vektor $(12,9)^{T}$ im Erzeugnis von $M$ liegt. Man kann sofort sehen, dass

${\begin{pmatrix}12\\9\end{pmatrix}}=3\cdot {\begin{pmatrix}4\\3\end{pmatrix}}$

gilt. In anderen Worten

${\begin{pmatrix}12\\9\end{pmatrix}}\in \operatorname {span} (M)$

Rein formal liegt die Aufgabe im Lösen eines Gleichungssystems. In unserem einfachen Beispiel also konkret darin, ob es uns gelingt ein $\lambda \in K$ zu finden, derart, dass

${\begin{pmatrix}12\\9\end{pmatrix}}=\lambda \cdot {\begin{pmatrix}4\\3\end{pmatrix}}$

Aus dieser Gleichung gewinnen wir das lineare Gleichungssystem

${\begin{aligned}12&=\lambda \cdot 4\\9&=\lambda \cdot 3\end{aligned}}$

mit der offensichtlichen Lösung $\lambda =3$.

Beispiel (Polynome)

Untersuchen wir nun ein Beispiel, dessen Lösung nicht auf den ersten Blick ersichtlich ist. Dafür betrachten wir die Teilmenge der Monome $N=\{x^{3},x^{1},x^{0}\}$ und das Polynom $p(x)=(x-2)^{3}+3(x-2)^{2}$. Wir wollen zeigen, dass das Polynom nicht im Erzeugnis von $N$ liegt. Dazu genügt es nachzuweisen, dass $p(x)$ nicht als Linearkombination der Monome von $N$ dargestellt werden kann. Das können wir sehen, indem wir das Polynom umformen zu

$(x-2)^{3}+3(x-2)^{2}=(x^{3}+12x-6x^{2}-8)+(3x^{2}-12x+12)=x^{3}-3x^{2}+4$

Wir sehen, dass ein Summand das Monom $x^{2}$ enthält, dieses Monom ist aber nicht in $N$ enthalten. Damit liegt das Polynom nicht im Erzeugnis der Menge $N$.

Beispiel (Vektoren aus dem $\mathbb {R} ^{4}$)

Wir betrachten die Teilmenge $M=\{(1,-2,3,2)^{T},(3,0,2,1)^{T},(0,-2,1,-3)^{T},(1,1,-2,2)^{T}\}$ des $\mathbb {R} ^{4}$ und wollen beweisen, dass der Vektor $(2,-9,2,-3)^{T}\in \operatorname {span} (M)$. Dafür müssen zeigen, dass es Koeffizienten $\lambda _{1},\lambda _{2},\lambda _{3},\lambda _{4}\in \mathbb {R}$ gibt, derart, dass

${\begin{pmatrix}2\\-9\\2\\-3\end{pmatrix}}=\lambda _{1}\cdot {\begin{pmatrix}1\\-2\\3\\2\end{pmatrix}}+\lambda _{2}\cdot {\begin{pmatrix}3\\0\\2\\1\end{pmatrix}}+\lambda _{3}\cdot {\begin{pmatrix}0\\-2\\1\\-3\end{pmatrix}}+\lambda _{4}\cdot {\begin{pmatrix}1\\1\\-2\\2\end{pmatrix}}$

Aus dieser Darstellung erhalten wir das lineare Gleichungssystem

${\begin{aligned}I:&&2&=&1\cdot \lambda _{1}+3\cdot \lambda _{2}+0\cdot \lambda _{3}+1\cdot \lambda _{4}\\[0.3em]II:&&-9&=&-2\cdot \lambda _{1}+0\cdot \lambda _{2}-2\cdot \lambda _{3}+1\cdot \lambda _{4}\\[0.3em]III:&&2&=&3\cdot \lambda _{1}+2\cdot \lambda _{2}+1\cdot \lambda _{3}-2\cdot \lambda _{4}\\[0.3em]IV:&&-3&=&2\cdot \lambda _{1}+1\cdot \lambda _{2}-3\cdot \lambda _{3}+2\cdot \lambda _{4}\end{aligned}}$

mit der Lösung $\lambda _{1}=2$, $\lambda _{2}=-1$, $\lambda _{3}=4$, $\lambda _{4}=3$. Damit gilt

${\begin{pmatrix}2\\-9\\2\\-3\end{pmatrix}}=2\cdot {\begin{pmatrix}1\\-2\\3\\2\end{pmatrix}}-1\cdot {\begin{pmatrix}3\\0\\2\\1\end{pmatrix}}+4\cdot {\begin{pmatrix}0\\-2\\1\\-3\end{pmatrix}}+3\cdot {\begin{pmatrix}1\\1\\-2\\2\end{pmatrix}}$

und somit $(2,-9,2,-3)^{T}\in \operatorname {span} (M)$.