Lineare Hülle

Ein Vektor $\scriptstyle a$ und seine lineare Hülle $\scriptstyle \langle a \rangle$ .

In der linearen Algebra ist die lineare Hülle (auch der Spann, Span [aus dem Englischen, von [linear] span], Aufspann oder Abschluss genannt) einer Teilmenge eines Vektorraums über einem Körper die Menge aller Linearkombinationen mit Vektoren aus mit Skalaren aus . Die lineare Hülle bildet einen Untervektorraum, der gleichzeitig der kleinste Untervektorraum ist, der enthält.

Definition

Konstruktive Definition

Ist ein Vektorraum über einem Körper und $A\subset V$ eine Teilmenge des Vektorraums, dann ist

$\langle A\rangle =\left\{\left.\textstyle \sum \limits _{{i=1}}^{n}\lambda _{i}a_{i}\right|\lambda _{i}\in K,a_{i}\in A,n\in \mathbb{N} \right\}$

die lineare Hülle von . Die lineare Hülle ist die Menge aller endlichen Linearkombinationen der $a_{i}$ .

Im Fall einer endlichen Teilmenge vereinfacht sich diese Definition zu

$\langle \{a_{1},a_{2},\dotsc ,a_{n}\}\rangle =\{\lambda _{1}a_{1}+\lambda _{2}a_{2}+\dotsb +\lambda _{n}a_{n}\mid \lambda _{1},\lambda _{2},\dotsc ,\lambda _{n}\in K\}$ .

Die lineare Hülle der leeren Menge ist der Nullvektorraum, das heißt

$\langle \emptyset \rangle =\{0\}$ ,

denn die leere Summe von Vektoren ergibt per Definition den Nullvektor.

Andere Definitionen

Äquivalent zu der konstruktiven Definition sind die folgenden Definitionen:

Die lineare Hülle einer Teilmenge eines Vektorraums ist der kleinste Untervektorraum, der die Menge enthält.
Die lineare Hülle einer Teilmenge eines Vektorraums ist die Schnittmenge aller Untervektorräume von , die enthalten.

Notation

Als Symbole für die lineare Hülle von werden $\operatorname {span}(A)$ resp. $\operatorname {Span}(A)$ , $\langle A\rangle$ , L(A) , $\operatorname {lin}A$ oder ${\mathcal L}(A)$ verwendet. Ist endlich, etwa $A=\{a_{1},\dotsc ,a_{n}\}$ , werden doppelte Klammern vermieden, indem die Schreibweisen $\langle a_{1},\dotsc ,a_{n}\rangle$ , $L\{a_{1},\dotsc ,a_{n}\}$ oder ${\mathcal {L}}\{a_{1},\dotsc ,a_{n}\}$ verwendet werden.

Eigenschaften

Seien zwei Mengen Teilmengen des -Vektorraumes: $A,B\subseteq V$ . Dann gilt:

$A\subseteq \langle A\rangle$ ,
$A\subseteq B\Rightarrow \langle A\rangle \subseteq \langle B\rangle$ ,
$\langle A\rangle =\langle \langle A\rangle \rangle$ .

Diese drei Eigenschaften charakterisieren die lineare Hülle als Hüllenoperator.

Weiter gilt:

Die lineare Hülle einer Teilmenge eines Vektorraums ist ein Untervektorraum von .

Für jeden Unterraum eines Vektorraums gilt $\langle U\rangle =U$ .

Eine Menge von Vektoren ist ein Erzeugendensystem ihrer linearen Hülle. Ist insbesondere eine Menge von Vektoren ein Erzeugendensystem eines Unterraumes, so ist dieser ihre lineare Hülle.

Die Summe $U_{1}+U_{2}=\{u_{1}+u_{2}\mid u_{1}\in U_{1},u_{2}\in U_{2}\}$ zweier Unterräume ist die lineare Hülle der Vereinigungsmenge, also $U_{1}+U_{2}=\langle U_{1}\cup U_{2}\rangle$ .

In der Menge der Unterräume eines Vektorraumes (einschließlich des Gesamtraums) kann man die Operation „bilde die lineare Hülle der Vereinigungsmenge“ als zweistellige Verknüpfung einführen. Die dazu duale Verknüpfung ist die Schnittmengenbildung. Mit diesen Verknüpfungen bildet dann einen Verband.

Sind Unterräume eines Vektorraumes, dann gilt für die Dimensionen der linearen Hülle und die Dimensionsformel:

$\dim(U+V)+\dim(U\cap V)=\dim U+\dim V$ .

Beispiele

Die lineare Hülle $\langle a\rangle$ eines einzelnen Vektors $a\in \mathbb {R} ^{2}\setminus \{(0,0)\}$ ist eine Gerade durch den Ursprung.

Die beiden Vektoren und sind Elemente des reellen Vektorraums $\mathbb {R} ^{3}$ . Ihre lineare Hülle $\langle (3,0,0),(0,2,0)\rangle$ ist die --Ebene.

Sei $K[[X]]=\left\{\left.\textstyle \sum \limits _{k=0}^{\infty }\lambda _{k}x^{k}\right|\lambda _{k}\in K\right\}$ der Vektorraum der formalen Potenzreihen zum Körper und $A=\{x^{k}\mid k\in \mathbb {N} \}$ die Menge der Monome. Dann ist die lineare Hülle von der Unterraum der Polynome:

$\langle A\rangle =\left\{\left.\textstyle \sum \limits _{i=0}^{n}\lambda _{i}x^{i}\right|\lambda _{i}\in K,n\in \mathbb {N} \right\}=K[X]$ .

Basierend auf einem Artikel in:

Wikipedia.de