Skalarprodukt

Dieser Artikel enthält mathematische Symbole. Diese werden in der Tabelle mathematischer Symbole erläutert.

Inhaltsverzeichnis

1.1 Definition im endlichdimensionalen Euklidischen Raum
1.2 Rechenregeln
1.3 Allgemeine Definition

2.1 Skalare Multiplikation
2.2 Kreuzprodukt
2.3 Äußeres Produkt
2.4 Spatprodukt
2.5 Skalarprodukt als Matrizenprodukt
2.6 Komponentenweises Produkt

3 Notation

4 Skalarprodukt und Winkel

4.1 Winkelberechnung im Euklidischen Raum
4.2 Skalarprodukt und Orthogonalität
4.3 Winkeldefinition im abstrakten Fall

5 Berechnung des Skalarprodukts mit Hilfe seiner Komponenten

6 Skalarprodukt und unitäre Transformationen

7 Anwendung

Einleitung

Definition im endlichdimensionalen Euklidischen Raum

In der linearen Algebra ist das Skalarprodukt oder innere Produkt zweier Vektoren

$\vec{a}=\begin{pmatrix} a_1 \\ a_2 \\ \vdots \\ a_n \end{pmatrix}$

und

$\vec{b}=\begin{pmatrix} b_1 \\ b_2 \\ \vdots \\ b_n \end{pmatrix}$

des n-dimensionalen Euklidischen Raumes als jene reelle Zahl definiert, die sich als Summe der Produkte der Komponenten der Vektoren ergibt:

$\vec{a}\cdot \vec{b} := \sum_{i=1}^n a_ib_i = {a_1}{b_1}+{a_2}{b_2}+\dots + {a_n}{b_n}$ .

Im dreidimensionalen Euklidischen Raum berechnet man also das Skalarprodukt von zwei Spaltenvektoren zum Beispiel als

$\begin{pmatrix}1 \\ 2 \\ 3\end{pmatrix} \cdot \begin{pmatrix}-7 \\ 8 \\ 9 \end{pmatrix} = 1 \cdot (-7) + 2 \cdot 8 + 3 \cdot 9 = 36.$

Mit Hilfe des Skalarproduktes ist es möglich, die Länge eines Vektors zu berechnen: nach dem Satz des Pythagoras gilt

$| \vec{a} | = \sqrt{{a_1}^2+{a_2}^2+\dots +{a_n}^2}=\sqrt{\vec{a}\cdot \vec{a}}$ .

Insbesondere gilt

$\vec{a}\cdot \vec{a} \geq 0$ .

Damit diese Eigenschaft erhalten bleibt, definiert man im Fall des komplexen Vektorraums $\mathbb{C}^n$ über dem Körper $\mathbb{C}$ das Skalarprodukt folgendermaßen:

$\vec{a}\cdot \vec{b} := \sum_{i=1}^n a_i\overline{b_i} = {a_1}\overline{b_1}+{a_2}\overline{b_2}+\dots + {a_n}\overline{b_n}$

wobei der Überstrich die komplexe Konjugation bedeutet. Alternativ könnte man auch

$\vec{a}\cdot \vec{b} := \sum_{i=1}^n \overline{a_i}b_i = \overline{a_1}{b_1}+\overline{a_2}{b_2}+\dots + \overline{a_n}{b_n}$

definieren. Beide Definitionen sind theoretisch an sich gleichwertig; in der Praxis ist es aber zweckmäßig, sich auf eine einzige Definition zu einigen, wobei anscheinend in der Literatur die Mathematiker die Version $\sum_{i=1}^n a_i\overline{b_i}$ bevorzugen, die Physiker hingegen die Version $\sum_{i=1}^n \overline{a_i} b_i$ .

Rechenregeln

Während das Skalarprodukt im reellen Fall kommutativ ist, ist es im komplexen Fall hermitesch.
Das Skalarprodukt ist nicht assoziativ.
Das Skalarprodukt ist distributiv bezüglich der Vektoraddition und Subtraktion.
Das Skalarprodukt hat Nullteiler; das bedeutet, es gibt vom Nullvektor verschieden Vektoren $\vec{a}$ und $\vec{b}$ , sodas $\vec{a}\cdot\vec{b}=0$ . Solche Vektoren werden als zueinander orthogonal bezeichnet. Wie die Darstellung des Skalarprodukts mittels Kosinus zeigt, stimmt diese Definition von orthogonal mit der geometrischen Definition überein.

Allgemeine Definition

Ein Skalarprodukt oder inneres Produkt auf einem reellen Vektorraum V ist eine symmetrische positiv definite Bilinearform , d.h. für und gelten die folgenden Bedingungen:
1. bilinear:
  - $\langle x+y,z\rangle=\langle x,z\rangle+\langle y,z\rangle$
  - $\langle x,y+z\rangle=\langle x,y\rangle+\langle x,z\rangle$
  - $\langle x,\lambda y\rangle=\lambda\langle x,y\rangle=\langle\lambda x,y\rangle$
2. symmetrisch: $\langle x,y\rangle=\langle y,x\rangle$
3. positiv definit: $\langle x,x\rangle\geq0,$ und $\langle x,x\rangle=0$ nur für $x = 0$
Ein Skalarprodukt oder inneres Produkt auf einem komplexen Vektorraum V ist eine hermitesche positiv definite Sesquilinearform , d.h. für und gelten die folgenden Bedingungen:
1. sesquilinear:
  - $\langle x+y,z\rangle=\langle x,z\rangle+\langle y,z\rangle$
  - $\langle x,y+z\rangle=\langle x,y\rangle+\langle x,z\rangle$
  - $\langle x,\bar\lambda y\rangle=\lambda\langle x,y\rangle=\langle\lambda x,y\rangle$
2. hermitesch: $\langle x,y\rangle=\overline{\langle y,x\rangle}$
3. positiv definit: $\langle x,x\rangle\geq0,$ und $\langle x,x\rangle=0$ nur für $x = 0.$

Im komplexen Fall ließe sich das Skalarprodukt alternativ als semilinear im ersten und linear im zweiten Argument definieren; auch hier ist in der Literatur die im ersten Argument lineare Version die übliche.

Ein reeller oder komplexer Vektorraum, in dem ein inneres Produkt definiert ist, heißt Innenproduktraum oder Prähilbertraum; ist er darüber hinaus auch noch vollständig bezüglich der durch das innere Produkt generierten Norm, wird er als Hilbertraum bezeichnet.

Abgrenzung zu anderen Produkten

Das Skalarprodukt ist von mehreren anderen Produkten zu unterscheiden, die in einem Vektorraum $V$ über einem Körper $K$ definiert sein können:

Skalare Multiplikation

Das Skalarprodukt ist eine Funktion von $V \times V$ nach $K$ . Die skalare Multiplikation, also die Multiplikation eines Vektors mit einem Skalar, ist eine Funktion von $K \times V$ nach $V$ und ist per Definition in jedem Vektorraum definiert.

Kreuzprodukt

Wenn der Vektorraum die Dimension $n = 3$ hat, kann man ferner ein Vektorprodukt, auch Kreuzprodukt genannt, definieren, das eine Funktion von $V \times V$ nach $V$ ist. (In höherdimensionalen Räumen hat man eine Verallgemeinerung des Kreuzprodukts, das dann mehr als zwei Vektoren verknüpft.)

Äußeres Produkt

Das äußere Produkt ist eine Verknüpfung für Multilinearformen. Manchmal wird auch das Kreuzprodukt äußeres Produkt genannt.

Spatprodukt

Das Spatprodukt in einem dreidimensionalen Raum schließlich entsteht durch Verknüpfung von Skalar- und Vektorprodukt; es ist eine dreistellige Funktion von $V \times V \times V$ nach $K$ .

Skalarprodukt als Matrizenprodukt

Das Skalarprodukt lässt sich auch als Matrizenprodukt schreiben, indem man den Vektor als $n \times 1$ Matrix interpretiert: Im reellen Fall gilt

$\langle \vec{x},\vec{y}\rangle = \vec{x}^T\vec{y} = \vec{y}^T\vec{x}$ ,

wobei das T für die transponierte Matrix steht. Im komplexen Fall gilt (für den links linearen, rechts semilinearen Fall)

$\langle \vec{x}, \vec{y}\rangle = \vec{y}^{\,H}\vec{x}$ ,

wobei das H für die Hermitesche adjungierte Matrix steht.

Komponentenweises Produkt

Das komponentenweise Produkt wird in manchen Programmiersprachen (z.B. Matlab) mit ".*" bezeichnet, z.B.

$\begin{pmatrix}1 \\ 2 \\ 3\end{pmatrix}.* \begin{pmatrix}-7 \\ 8 \\ 9 \end{pmatrix} = \begin{pmatrix}-7 \\ 16 \\ 27 \end{pmatrix}$ .

In der Mathematik gibt es keine spezielle Notation dafür, insbesondere spielt das komponentenweise Produkt in der linearen Algebra keine besondere Rolle, da es wesentlich von der gewählten Basis abhängt und es daher keine anschauliche geometrische Interpretation dafür geben kann.

Notation

Das Skalarprodukt wird im deutschen Sprachraum in aller Regel mit einem Punkt als Multiplikationszeichen geschrieben: $\vec{x}\cdot \vec{y}$ .

Wie bei der normalen Multiplikation kann das Multiplikationszeichen auch ganz weggelassen werden, wenn keine Missverständnisse auftreten können; das ist insbesondere in Texten der Fall, in denen Vektoren durch Vektorpfeile, durch Fettdruck oder durch Unterstreichen kenntlich gemacht sind und daher nicht mit Skalaren verwechselt werden können:

$\vec{x}\cdot \vec{y}$ = $\vec{x}\vec{y}$ ist ein Skalarprodukt,

$a \cdot \vec{x}$ dagegen ist ein Produkt mit einem Skalar.

In der Funktionalanalysis werden Vektoren üblicherweise ohne Pfeil geschrieben und für das innere Produkt spitze Klammern verwendet: $\langle \mathbf{x},\mathbf{y}\rangle$ .

Skalarprodukt und Winkel

Winkelberechnung im Euklidischen Raum

Das Skalarprodukt ist ursprünglich im Rahmen der analytischen Geometrie im Euklidischen Raum eingeführt worden. So ist es mit Hilfe des Skalarproduktes beispielsweise möglich, den Winkel zwischen zwei Vektoren zu berechnen: Das Skalarprodukt ergibt sich nämlich auch aus den Beträgen der beiden Vektoren und dem Kosinus des von diesen eingeschlossenen Winkels gemäß der Formel

$\vec{a}\cdot \vec{b} =$ $|\vec{a} | \cdot | \vec{b} | \cdot \cos \angle \left(\vec{a},\vec{b}\right)$

Um dies zu zeigen, mögen drei Vektoren, $\vec{a},\vec{b},\vec{c}$ des Euklidischen Raumes betrachtet werden.

Bild:SkalarproduktSkizze.jpg

Wegen des Kosinussatzes ist die Länge des dem Winkel $γ$ gegenüberliegenden Vektors

$|\vec{c}|^2=|\vec{a}|^2+|\vec{b}|^2-2|\vec{a}||\vec{b}| \cdot \cos(\gamma)$

Da sich $\vec{c}$ aus $\vec{b}-\vec{a}$ ergibt, erhält man

$|\vec{b}-\vec{a}|^2=|\vec{a}|^2+|\vec{b}|^2-2|\vec{a}||\vec{b}| \cdot \cos(\gamma)$ .

Berechnet man nun die Länge über das Skalarprodukt, so erhält man

$\left(\vec{b}-\vec{a}\right)\cdot\left(\vec{b}-\vec{a}\right) = \vec{a}\cdot\vec{a} + \vec{b}\cdot\vec{b}-2|\vec{a}||\vec{b}| \cdot \cos(\gamma)$ .

Aus den Rechenregeln für das Skalarprodukt ergibt sich dann

$\vec{b}\cdot\vec{b} -2 \vec{a}\cdot\vec{b}+ \vec{a}\cdot\vec{a} = \vec{a}\cdot\vec{a} + \vec{b}\cdot\vec{b}-2|\vec{a}||\vec{b}| \cdot \cos(\gamma)$

und daraus die gewünschte Beziehung

$\vec{a}\cdot\vec{b} = |\vec{a}||\vec{b}| \cdot \cos(\gamma)$ .

Skalarprodukt und Orthogonalität

Aus der Winkeldarstellung des Skalarpdodukts folgt, dass das Skalarprodukt zweier von Null verschiedene Vektoren genau dann Null ist, wenn der Kosinus des von ihnen eingeschlossenen Winkels Null ist, wenn also die beiden Vektoren zueinander orthogonal sind.

Winkeldefinition im abstrakten Fall

Die Cauchy-Schwarzsche Ungleichung besagt, dass für das abstrakte Skalarprodukt die Beziehung

$\left|\langle x,y \rangle\right|^2 \leq \langle x, x\rangle \cdot \langle y,y\rangle,$

bzw.

$\left|\frac{\langle x,y \rangle}{\sqrt{\langle x, x\rangle} \cdot \sqrt{\langle y,y\rangle}}\right|\leq 1$

gilt. Daher lässt sich auch im auch im abstrakten Fall mittels

$\cos\varphi=\frac{\langle x,y \rangle}{\sqrt{\langle x, x\rangle} \cdot \sqrt{\langle y,y\rangle}}$

der Winkel $\varphi$ zweier Vektoren definieren.

Berechnung des Skalarprodukts mit Hilfe seiner Komponenten

In einem endlichdimensionalen reellen Vektorraum ist das in der Einleitung definierte Skalarprodukt

$\vec{a}\cdot \vec{b} := \sum_{i=1}^n a_i\overline{b_i} = {a_1}\overline{b_1}+{a_2}\overline{b_2}+\dots + {a_n}\overline{b_n}$

nicht die einzige Funktion, die der abstrakten Definition des inneren Produkts entspricht. So genügt beispielsweise auch die Funktion

$\langle\vec{a},\vec{b}\rangle:=\vec{b}^{H}A\vec{a}$

für jede positiv definite Matrix $A$ der abstrakten Definiton eines inneren Produkts. Lässt sich nun aber zu einem gegebenen inneren Produkt eine Orthonormalbasis finden, also eine Menge von Vektoren $\vec{e_1},\vec{e_2},\dots,\vec{e_n}$ mit

$\langle \vec{e_i},\vec{e_j}\rangle=\delta_{ij}$ ,

wobei

$\delta_{ij}=\begin{cases}1 \qquad \textrm{falls} \quad i=j \\ 0 \qquad \textrm{sonst}\end{cases}$

das Kroneckersymbol darstellt, und kann man $\vec{a}=\sum_i a_i\vec{e_i}$ und $\vec{b}=\sum_j b_j\vec{e_j}$ in dieser Basis darstellen, so erhält man aus den Rechenregeln des inneren Produktes

$\langle\vec{a},\vec{b}\rangle=\langle\sum_i a_i\vec{e_i},\sum_j b_j\vec{e_j}\rangle=\sum_i a_i \sum_j \overline{b_j} \langle\vec{e_i},\vec{e_j}\rangle=\sum_i a_i \overline{b_i}$ ,

also genau die in der Einleitung definierte Berechnung des Skalarprodukts mit Hilfe seiner Komponenten. Im endlichdimensionalen Fall lässt sich zeigen, dass es stets möglich ist, eine solche Orthonormalbasis zu finden, beispielsweise über die Gram-Schmidt Orthogonalisierung.

Der Begriff der Orthonormalbasis und die Berechnung des inneren Produkts mit Hilfe seiner Komponenten lassen sich auf unendlichdimensionale Räume verallgemeinern, wobei die Vektoren üblicherweise nur als eine unendliche Summe von Vektoren aus der Orthonormalbasis dargestellt werden können und das innere Produkt daher ebenfalls eine unendliche Summe wird. Die Orthonormalbasis ist also keine Basis im Sinne der linearen Algebra, die eine Darstellung jedes Vektors als endliche Summe von Basisvektoren ermöglicht. Zur besseren Unterscheidung wird daher im unendlichdimensionalen Fall die Basis im Sinne der linearen Algebra als Hamelbasis bezeichnet.

Skalarprodukt und unitäre Transformationen

Aus der Darstellung des Skalarprodukts mittels Winkel

$\vec{a}\cdot\vec{b} = |\vec{a}||\vec{b}| \cdot \cos(\gamma)$

folgt geometrisch, dass das Skalarprodukt invariant gegenüber längen- und winkeltreuen Abbildungen sein muss. Dies lässt sich auch analytisch nachrechnen. Längen- und winkteltreue Abbildungen werden durch unitäre Matrizen dargestellt, das sind Matrizen mit der Eigenschat $U U H = I$ oder

$\sum_k u_{ik}\overline{u_{jk}}=\delta_{ij}$ ,

wobie $δ i j$ das Kroneckersymbol darstellt. Für die $i$ -te Komponente von $U\vec{a}$ und $U\vec{b}$ gilt

${\left(U\vec{a}\right)}_i=\sum_j u_{i,j}a_j$

und

${\left(U\vec{b}\right)}_i=\sum_k u_{i,k}b_k$ .

Somit berechnet sich das Skalarprodukt als

$\langle U\vec{a},U\vec{b}\rangle=\sum_i \sum_j u_{i,j}a_j \sum_k \overline{u_{i,k}b_k} = \sum_j a_j \sum_k \overline{b_k} \sum_i u_{i,j}\overline{u_{i,k}} = \sum_j a_j \sum_k \overline{b_k} \delta_{jk} = \sum_j a_j \overline{b_j} = \langle \vec{a},\vec{b}\rangle$ ,

das Skalarprodukt bleibt also tatsächlich unverändert.

Anwendung

In der Physik sind etliche Größen, wie zum Beispiel die Arbeit $W$ , durch Skalarprodukte definiert:

$W=\vec F \cdot \vec s = \left| \vec{F} \right| \cdot \left| \vec{s} \right| \cdot \cos \alpha$

mit den vektoriellen Größen Kraft F und Weg s.

Wirkt dabei die Kraft in Richtung des Weges (sind also beide Vektoren parallel und gleich orientiert), dann ergibt sich die Vereinfachung:

$W=\vec F \cdot \vec s = \left| \vec{F} \right| \cdot \left| \vec{s} \right| \cdot \cos 0^\circ$

$\Rightarrow W= F \cdot s$