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 Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \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 quadratische nicht notwendig positiv definiten quadratischen Form $\Psi$ nennt man Vektoren $v$ mit Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I} lässt sich der Nullvektor stets als Linearkombination

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \{ 0_V \}} , die nur aus dem Nullvektor besteht, bildet dabei den kleinstmöglichen Untervektorraum eines Vektorraums, den Nullvektorraum; seine Basis ist die leere Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \emptyset} , denn die leere Summe von Vektoren ergibt definitionsgemäß den Nullvektor, also

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sum_{i \in \emptyset} v_i = 0_V} .

Lineare Abbildungen

Eine lineare Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T \colon V \to W} zwischen zwei Vektorräumen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle W} über dem gleichen Skalarkörper Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} bildet stets den Nullvektor auf den Nullvektor ab, denn es gilt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T(0_V) = T(0_K \cdot 0_V) = 0_K \cdot T(0_V) = 0_W} .

Auf den Nullvektor des Zielraums Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle W} können jedoch auch weitere Vektoren aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} abgebildet werden. Diese Menge heißt der Kern der linearen Abbildung und sie bildet einen Untervektorraum von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} . Eine lineare Abbildung ist genau dann injektiv, wenn der Kern nur aus dem Nullvektor besteht.

Lineare Gleichungen

Eine homogene lineare Gleichung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T(v) = 0_W}

besitzt demnach zumindest den Nullvektor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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.

Literatur

• Gilbert Strang: Lineare Algebra. Springer, Berlin u. a. 2003, ISBN 3-540-43949-8. 

Weblinks

• Eric W. Weisstein: Zero vector. In: MathWorld (englisch).