Orthogonalität von Vektoren
Zwei Vektoren sind genau dann senkrecht bzw. orthogonal, wenn ihr Skalarprodukt Null ist.
Definition
Gegeben seien eine natürliche Zahl \(n \in \N\) sowie ein Ring oder Körper \(\mathcal{R}\), aus dem sämtliche Elemente stammen – beispielsweise ganze, rationale, reelle oder komplexe Zahlen.
Zwei Vektoren $a,b \in \mathcal{R}^n$ sind genau dann senkrecht (oder orthogonal), wenn ihr Skalarprodukt $0$ ist:
Der Nullvektor ist orthogonal zu jedem Vektor $v \in \mathcal{R}^n$:
Beispiele
Beispiel 1
Gegeben seien die beiden Vektoren \(a = \bigl(1,2,3\bigr)\) und \(b = \bigl(-4,5,-2\bigr)\). Die Vektoren \(a\) und \(b\) sind senkrecht, denn es gilt:
Beispiel 2
Gegeben seien die beiden Vektoren \(a = \bigl(2,0,3,1\bigr)\) und \(b = \bigl(-1,2,0,5\bigr)\). Die Vektoren \(a\) und \(b\) sind nicht senkrecht, denn es gilt:
Beispiel 3
Gegeben seien die beiden Vektoren \(a = \bigl( {[3]}_5, {[1]}_5 \bigr)\) und \(b = \bigl( {[2]}_5, {[4]}_5 \bigr)\) mit Einträgen aus dem Restklassenkörper \(\Z_5\). Die Vektoren \(a\) und \(b\) sind senkrecht, denn es gilt:
Beweis
Um zu beweisen, dass zwei Vektoren \(a\) und \(b\) genau dann senkrecht sind, wenn ihr Skalarprodukt Null ist, sind zwei Aussagen zu zeigen:
Beweis von (I)
Gegeben seien die beiden orthogonalen Vektoren $a$ und $b$, d. h. $a \mathop{\bot} b$. Für den zwischen den Vektoren $a$ und $b$ eingeschlossenen Winkel $\varphi$ gilt dann $\varphi = \pm\frac{\pi}{2} = \pm 90^\circ$. Einsetzen in die Definition des Skalarprodukt liefert das gewünschte Ergebnis:
Hinweis: Diese Eigenschaft gilt ebenfalls, wenn es sich bei \(a\) oder \(b\) um den Nullvektor handelt, da dann \(|a|=0\) oder \(|b|=0\) gilt.
Beweis von (II)
Gegeben seien zwei Vektoren $a,b$ mit $a \neq 0$ und $b \neq 0$. Für das Skalarprodukt der Vektoren $a$ und $b$ gelte
Das Produkt $|a| \cdot |b| \cdot \cos\bigl(\varphi\bigr)$ ist genau dann \(0\), wenn mindestens einer der Faktoren $|a|$, $|b|$ oder $\cos(\varphi)$ gleich \(0\) ist. Da es sich weder bei $a$ noch bei $b$ um den Nullvektor handelt, gilt $|a| \neq 0$ sowie $|b| \neq 0$. Folglich muss $\cos(\varphi) = 0$ gelten: Dies ist nur für $\varphi = \pm\frac{\pi}{2} = \pm 90^\circ$ der Fall – in beiden Fällen gilt $a \mathop{\bot} b$.
Hinweis: Das Skalarprodukt mit dem Nullvektor ist stets 0. Da der Nullvektor zudem definitionsgemäß senkrecht zu allen Vektoren ist, gilt diese Aussage somit implizit auch für diesen.