# Vektorraum/Einführung/Textabschnitt

Der zentrale Begriff der linearen Algebra ist der Vektorraum.

## Definition

Es sei $K$ ein Körper und $V$ eine Menge mit einem ausgezeichneten Element $0\in V$ und mit zwei Abbildungen
    $+\colon V\times V\longrightarrow V,\,(u,v)\longmapsto u+v,$
und
    $\cdot \colon K\times V\longrightarrow V,\,(s,v)\longmapsto sv=s\cdot v.$
Dann nennt man $V$ einen $K$-Vektorraum (oder einen Vektorraum über $K$), wenn die folgenden Axiome erfüllt sind (dabei seien $r,s\in K$ und $u,v,w\in V$ beliebig)
* $u+v=v+u$,
* $(u+v)+w=u+(v+w)$,
* $v+0=v$,
* Zu jedem $v$ gibt es ein $z$ mit $v+z=0$,
* $1\cdot u=u$,
* $r(su)=(rs)u$,
* $r(u+v)=ru+rv$,
* $(r+s)u=ru+su$.
Die Verknüpfung in $V$ nennt man (Vektor)-Addition und die Operation $K\times V\rightarrow V$ nennt man Skalarmultiplikation. Die Elemente in einem Vektorraum nennt man Vektoren, und die Elemente $r\in K$ heißen Skalare. Das Nullelement $0\in V$ wird auch als Nullvektor bezeichnet, und zu $v\in V$ heißt das inverse Element bezüglich der Addition das Negative zu $v$ und wird mit $-v$ bezeichnet. Wie in Ringen gilt wieder Punktrechnung vor Strichrechnung, d.h. die Skalarmultiplikation bindet stärker als die Vektoraddition.
Den Körper, der im Vektorraumbegriff vorausgesetzt ist, nennt man auch den Grundkörper. Alle Begriffe der linearen Algebra beziehen sich auf einen solchen Grundkörper, er darf also nie vergessen werden, auch wenn er manchmal nicht explizit aufgeführt wird. Bei $K=\mathbb {R}$ spricht man von reellen Vektorräumen und bei $K={\mathbb {C} }$ von komplexen Vektorräumen. Bei reellen und komplexen Vektorräumen gibt es zusätzliche Strukturen wie Längen, Winkel, Skalarprodukt. Zunächst entwickeln wir aber die algebraische Theorie der Vektorräume über einem beliebigen Körper.

## Beispiel

Es sei $K$ ein Körper und $n\in \mathbb {N} _{+}$. Dann ist die Produktmenge
    $K^{n}=\underbrace {K\times \cdots \times K} _{n{\text{-mal}}}={\left\{(x_{1},\ldots ,x_{n})\mid x_{i}\in K\right\}}\,$
mit der komponentenweisen Addition und der durch
    $s(x_{1},\ldots ,x_{n})=(sx_{1},\ldots ,sx_{n})\,$
definierten Skalarmultiplikation ein Vektorraum. Man nennt ihn den $n$-dimensionalen Standardraum. Insbesondere ist $K^{1}=K$ selbst ein Vektorraum.
Der Nullraum $0$, der aus dem einzigen Element $0$ besteht, ist ebenfalls ein Vektorraum. Man kann ihn auch als $K^{0}=0$ auffassen.
Die Vektoren im Standardraum $K^{n}$ kann man als Zeilenvektoren
    $\left(a_{1},\,a_{2},\,\ldots ,\,a_{n}\right)$
oder als Spaltenvektoren
    ${\begin{pmatrix}a_{1}\\a_{2}\\\vdots \\a_{n}\end{pmatrix}}$
schreiben. Der Vektor
    $e_{i}:={\begin{pmatrix}0\\\vdots \\0\\1\\0\\\vdots \\0\end{pmatrix}}\,,$
wobei die $1$ an der $i$-ten Stelle steht, heißt $i$-ter Standardvektor.

## Beispiel

Die komplexen Zahlen ${\mathbb {C} }$ bilden einen Körper und daher bilden sie einen Vektorraum über sich selbst. Andererseits sind die komplexen Zahlen als additive Struktur gleich $\mathbb {R} ^{2}$. Die Multiplikation einer komplexen Zahl $a+b{\mathrm {i} }$ mit einer reellen Zahl $s=(s,0)$ geschieht komponentenweise, d.h. diese Multiplikation stimmt mit der skalaren Multiplikation auf $\mathbb {R} ^{2}$ überein. Daher sind die komplexen Zahlen auch ein reeller Vektorraum. Unter Verwendung einer späteren Terminologie kann man sagen, dass ${\mathbb {C} }$ ein eindimensionaler komplexer Vektorraum ist und dass ${\mathbb {C} }$ ein zweidimensionaler reeller Vektorraum ist mit der reellen Basis $1$ und ${\mathrm {i} }$.

## Beispiel

Zu einem Körper $K$ und gegebenen natürlichen Zahlen $m,n$ bildet die Menge
    $\operatorname {Mat} _{m\times n}(K)$
der $m\times n$-Matrizen mit komponentenweiser Addition und komponentenweiser Skalarmultiplikation einen $K$-Vektorraum. Das Nullelement in diesem Vektorraum ist die Nullmatrix
    $0={\begin{pmatrix}0&\ldots &0\\\vdots &\ddots &\vdots \\0&\ldots &0\end{pmatrix}}\,.$

## Beispiel

Es sei $R=K[X]$ der Polynomring in einer Variablen über dem Körper $K$, der aus sämtlichen Polynomen, also Ausdrücken der Form
    $a_{n}X^{n}+a_{n-1}X^{n-1}+\cdots +a_{2}X^{2}+a_{1}X+a_{0}$
mit $a_{i}\in K$ besteht. Mit (komponentenweiser) Addition und der ebenfalls komponentenweisen Multiplikation mit einem Skalar $s\in K$ (was man auch als die Multiplikation mit dem konstanten Polynom $s$ auffassen kann) ist der Polynomring ein $K$-Vektorraum.

## Beispiel

Wir betrachten die Inklusion $\mathbb {Q} \subseteq \mathbb {R}$ der rationalen Zahlen in den reellen Zahlen. Mit der reellen Addition und mit der Multiplikation von rationalen Zahlen mit reellen Zahlen ist $\mathbb {R}$ ein $\mathbb {Q}$-Vektorraum, wie direkt aus den Körperaxiomen folgt. Dies ist ein ziemlich unübersichtlicher Vektorraum.

## Lemma

Es sei $K$ ein Körper und $V$ ein $K$-Vektorraum. Dann gelten die folgenden Eigenschaften (dabei sei $v\in V$ und $s\in K$).

### Beweis

$\Box$
* ↑ Die ersten vier Axiome, die unabhängig von $K$ sind, bedeuten, dass $(V,0,+)$ eine kommutative Gruppe ist.
* ↑ Auch für Vektorräume gilt die Klammerkonvention, dass Punktrechnung stärker bindet als Strichrechnung.
* ↑ Man mache sich hier und im Folgenden klar, wann die $0$ in $K$ und wann sie in $V$ zu verstehen ist.