# Nullvektor

Der Nullvektor ist in der Mathematik ein spezieller Vektor eines Vektorraums, und zwar das eindeutig bestimmte neutrale Element bezüglich der Vektoraddition. Beispiele für Nullvektoren sind die Zahl Null, die Nullmatrix und die Nullfunktion. In einem Skalarproduktraum ist der Nullvektor orthogonal zu allen Vektoren des Raums. In einem normierten Raum ist er der einzige Vektor mit Norm Null. Jeder Untervektorraum eines Vektorraums enthält zumindest den Nullvektor, wobei der kleinste Untervektorraum der Nullvektorraum ist. Der Nullvektor wird zur Definition einiger zentraler Begriffe der linearen Algebra wie lineare Unabhängigkeit, Basis und Kern verwendet. Er spielt eine wichtige Rolle bei der Lösungsstruktur linearer Gleichungen.

## Definition

Der Nullvektor (englisch zero vector) eines Vektorraums $V$ ist der eindeutig bestimmte Vektor $0_{V}\in V$, für den
    $v+0_{V}=0_{V}+v=v$
für alle Vektoren $v\in V$ gilt. Er ist damit das neutrale Element bezüglich der Vektoraddition.

## Notation

Der Nullvektor wird meist mittels der Ziffer Null durch ${\vec {0}}$, $\mathbf {0}$ oder einfach nur $0$ bezeichnet. Der Nullvektor ist jedoch im Allgemeinen von dem Nullelement des Skalarkörpers $K$ des Vektorraums verschieden, das ebenfalls durch $0$ dargestellt wird. Wenn Verwechslungsgefahr besteht, wird daher der Nullvektor mit $0_{V}$ und die skalare Null mit $0_{K}$ bezeichnet. Gelegentlich wird der Nullvektor auch durch ${\vec {o}}$, $\mathbf {o}$ oder ${\mathfrak {o}}$ als kleines o notiert.
Als einziger Vektor der euklidischen Ebene kann der Nullvektor nicht durch einen Pfeil grafisch dargestellt werden, da ihm keine Richtung zugeordnet werden kann.

## Beispiele

* Im Vektorraum $\mathbb {R}$ der reellen Zahlen ist der Nullvektor die Zahl $0$ und damit gleich der Null des Skalarkörpers.
* Im Vektorraum $\mathbb {C}$ der komplexen Zahlen ist der Nullvektor die Zahl $0+0i$ und entspricht damit ebenfalls der skalaren Null.
* Im Koordinatenraum $K^{n}$ ist der Nullvektor das n-Tupel $(0_{K},\ldots ,0_{K})$ bestehend aus den Nullelementen des Körpers $K$.
* Im Matrizenraum $K^{m\times n}$ ist der Nullvektor die Nullmatrix, deren Elemente alle gleich $0_{K}$ sind.
* Im Folgenraum ${\mathbb {K} }^{\mathbb {N} }$ ist der Nullvektor die Folge $(0_{\mathbb {K} },0_{\mathbb {K} },\ldots )$ und nicht zu verwechseln mit dem Begriff der Nullfolge.
* In einem linearen Funktionenraum, das heißt einem Vektorraum, der aus Funktionen von einer Menge $A$ in einen Vektorraum $W$ besteht, ist der Nullvektor die Nullfunktion $f\equiv 0_{W}$, wobei $0_{W}$ der Nullvektor des Zielraums ist.

## Eigenschaften
### Eindeutigkeit

Der Nullvektor eines Vektorraums ist eindeutig. Gäbe es nämlich zwei verschiedene Nullvektoren $0$ und ${\bar {0}}$, dann gilt sofort
    $0=0+{\bar {0}}={\bar {0}}$
und somit Gleichheit der beiden Vektoren.

### Skalarmultiplikation

Für alle Skalare $\alpha \in K$ aus dem Skalarkörper gilt
    $\alpha \cdot 0_{V}=0_{V}$
und analog dazu für alle Vektoren $v\in V$ des Vektorraums
    $0_{K}\cdot v=0_{V}$,
was direkt aus den beiden Distributivgesetzen in Vektorräumen durch Wahl von $\alpha =\beta =0_{K}$ bzw. $u=v=0_{V}$ folgt. Zusammen gilt damit
    $\alpha \cdot v=0_{V}\Leftrightarrow \alpha =0_{K}$ oder $v=0_{V}$,
denn aus $\alpha \cdot v=0_{V}$ folgt entweder $\alpha =0_{K}$ oder $\alpha \neq 0_{K}$ und dann $v=\alpha ^{-1}\cdot 0_{V}=0_{V}$.

### Spezielle Räume

* In einem normierten Vektorraum gilt für die Norm des Nullvektors
       $\|0_{V}\|=0_{\mathbb {R} }$
    und der Nullvektor ist der einzige Vektor mit dieser Eigenschaft, was aus der Definitheit und der absoluten Homogenität der Norm folgt.
* In einem Skalarproduktraum (einem euklidischen- bzw. unitären Vektorraum), also einem Vektorraum mit einem Skalarprodukt, ist der Nullvektor orthogonal zu allen Vektoren des Raums, das heißt für alle Vektoren $v\in V$ gilt
       $\langle 0_{V},v\rangle =\langle v,0_{V}\rangle =0_{K}$,
    was aus der Linearität bzw. Semilinearität des Skalarprodukts folgt. Insbesondere ist der Nullvektor damit auch zu sich selbst orthogonal. Wegen der Definitheit des Skalarprodukts ist der Nullvektor ist der einzige Vektor mit dieser Eigenschaft.
* In einem halbnormierten Raum kann es mehr als einen Vektor geben, dessen Norm null ist und ein solcher Vektor wird dann (neben $0_{V}$) manchmal deutsch in einem weiteren Sinn ebenfalls Nullvektor (englisch null vector) genannt. In diesen Fällen entspricht dieser allgemeinere Begriff eines Nullvektors jedoch nicht der obigen Standard-Definition.
* Vektorraum mit Pseudo-Skalarprodukt (pseudo-euklidische oder pseudo-unitäre Vektorräume) stellen einen weiteren Spezialfall dar. Diese Vektorräume besitzen eine nicht (notwendig) positiv definite symmetrische Bilinearform (in der theoretischen Physik auch eine Metrik genannt) bzw. im komplexen Fall eine hermitesche Sesquilinearform. Hier werden in ähnlicher Weise über $0_{V}$ hinaus alle Vektoren $v$ mit
       $v\cdot v=0$
    deutsch entgegen der Standard-Definition als Nullvektor (en. null vector) bezeichnet. Die Menge aller dieser Vektoren wird Nullkegel (en. null cone) genannt. Physikalisch bedeutsam ist das Beispiel des vierdimensionalen Minkowski-Vektorraums, bei dem diese Vektoren genau die lichtartigen Vektoren bezeichnen, und der Nullkegel die Hyperfläche des Lichtkegel darstellt.
    Bei einem reellen Vektorraum mit einer quadratisch nicht notwendig positiv definiten quadratischen Form $\Psi$ nennt man Vektoren $v$ mit $\Psi (v)=0$ in einer eindeutigeren Sprechweise isotrop. Die Menge dieser Vektoren heißt Isotroper Kegel (en. isotropic cone) oder auch Nullkegel. Bei einem Vektorraum mit Pseudoskalarprodukt ist vermöge $\Psi (v):=v\cdot v$ diese Sprechweise auf diesen Fall übertragbar bzw. mit diesem in Übereinstimmung.

### Kreuzprodukt

Im dreidimensionalen euklidischen Raum $V=\mathbb {R} ^{3}$ ergibt das Kreuzprodukt eines beliebigen Vektors mit dem Nullvektor $0\in \mathbb {R} ^{3}$ wieder den Nullvektor, also
    $v\times 0=0\times v=0$.
Gleiches gilt für das Kreuzprodukt eines Vektors mit sich selbst,
    $v\times v=0$.
Weiterhin gilt die Jacobi-Identität, das heißt die zyklische Summe wiederholter Kreuzprodukte ergibt ebenfalls den Nullvektor:
    $u\times (v\times w)+v\times (w\times u)+w\times (u\times v)=0$.

## Verwendung
### Linearkombinationen

Zu einer gegebenen Familie von Vektoren $(v_{i})_{i\in I}$ mit einer Indexmenge $I$ lässt sich der Nullvektor stets als Linearkombination
    $0_{V}=\sum _{i\in I}\alpha _{i}\cdot v_{i}$
ausdrücken. Dabei sind die Vektoren genau dann linear unabhängig, wenn in dieser Linearkombination alle Koeffizienten $\alpha _{i}=0_{K}$ sein müssen. Der Nullvektor kann daher niemals Teil einer Basis eines Vektorraums sein, denn er ist bereits für sich genommen linear abhängig. Jeder Untervektorraum eines Vektorraums enthält zumindest den Nullvektor. Die Menge $\{0_{V}\}$, die nur aus dem Nullvektor besteht, bildet dabei den kleinstmöglichen Untervektorraum eines Vektorraums, den Nullvektorraum; seine Basis ist die leere Menge $\emptyset$, denn die leere Summe von Vektoren ergibt definitionsgemäß den Nullvektor, also
    $\sum _{i\in \emptyset }v_{i}=0_{V}$.

### Lineare Abbildungen

Eine lineare Abbildung $T\colon V\to W$ zwischen zwei Vektorräumen $V$ und $W$ über dem gleichen Skalarkörper $K$ bildet stets den Nullvektor auf den Nullvektor ab, denn es gilt
    $T(0_{V})=T(0_{K}\cdot 0_{V})=0_{K}\cdot T(0_{V})=0_{W}$.
Auf den Nullvektor des Zielraums $W$ können jedoch auch weitere Vektoren aus $V$ abgebildet werden. Diese Menge heißt der Kern der linearen Abbildung und sie bildet einen Untervektorraum von $V$. Eine lineare Abbildung ist genau dann injektiv, wenn der Kern nur aus dem Nullvektor besteht.

### Lineare Gleichungen

Eine homogene lineare Gleichung
    $T(v)=0_{W}$
besitzt demnach zumindest den Nullvektor $v=0_{V}$ als Lösung. Sie ist genau dann eindeutig lösbar, wenn der Kern des linearen Operators $T$ nur aus dem Nullvektor besteht. Umgekehrt wird eine inhomogene lineare Gleichung
    $T(v)=w$
mit $w\neq 0_{W}$ nie durch den Nullvektor gelöst. Eine inhomogene lineare Gleichung ist genau dann eindeutig lösbar, wenn die zugehörige homogene Gleichung nur den Nullvektor als Lösung besitzt, was eine Folge der Superpositionseigenschaft ist.