aboutsummaryrefslogtreecommitdiffstats
path: root/buch/papers/clifford/3_MultiplikationVektoren.tex
blob: 0969b89f36222939ea75ec76bfd386caf784b2b3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
\subsection{Multiplikation von Vektoren}
Was geschieht nun wenn zwei beliebige Vektoren, $u$ und $v$
\begin{equation}
    \textbf{u} = 
    \sum_{i=1}^{n} u_i \textbf{e}_i 
    \qquad 
    \textbf{v} = \sum_{i=1}^{n} v_i \textbf{e}_i
\end{equation}
 miteinander multipliziert werden? 
 
 Wieder werden die Vektoren zuerst als Linearkombinationen darstellen und danach in zwei Summen aufgeteilt, eine Summe mit quadrierten Termen und eine Summe mit Mischtermen
\begin{equation}
    \begin{split}
        \textbf{u}\textbf{v} 
        =
        \left ( 
        \sum_{i=1}^{n} u_i \textbf{e}_i
        \right ) 
        \left ( 
        \sum_{i=1}^{n} v_i \textbf{e}_i
        \right) 
        = 
        \sum_{i=1}^n u_iv_i\underbrace{\textbf{e}_i^2}_{1} 
        + \sum_{\begin{subarray}{l}i,j=1\\i \neq j\end{subarray}}^n  u_iv_j\textbf{e}_i\textbf{e}_j,
    \end{split}
\end{equation}
wobei die Summe der quadrierten Termen bereits bekannt vorkommen könnte, es ist nämlich das Skalarprodukt von $u$ und $v$. Die Summe der Mischterme bilden etwas neues, dass wir das äussere Produkt von $u$ und $v$ nennen.
\begin{beispiel}
    Multiplikation von Vektoren in $\mathbb{R}^2$
\begin{equation}
    \begin{split}
        \textbf{u}\textbf{v} 
        &= 
        (u_1\textbf{e}_1 + u_2\textbf{e}_2)(v_1\textbf{e}_1 + v_2\textbf{e}_2) 
        = 
        u_1v_1\textbf{e}_1^2
        + 
        u_2v_2\textbf{e}_2^2 
        + 
        u_1v_2\textbf{e}_1\textbf{e}_2 
        +  
        u_2v_1\underbrace{\textbf{e}_2\textbf{e}_1}_{-\textbf{e}_1\textbf{e}_2}
        \\\ 
        &=  
        \underbrace{(u_1v_1 + u_2v_2)}_{\text{Skalarprodukt}} 
        + 
        \underbrace{(u_1v_2 - u_2v_1)\textbf{e}_1\textbf{e}_2}_{\text{Äusseres Produkt}}
    \end{split}
\end{equation}
\end{beispiel}
\subsubsection{Äusseres Produkt}
Das äussere Produkt von zwei Vektoren wird mit einem $\wedge$ dargestellt
\begin{equation}
    \textbf{u}\wedge \textbf{v} 
    = 
    \sum_{\begin{subarray}{l}i,j=1\\i \neq j\end{subarray}}^n  u_iv_j\textbf{e}_i\textbf{e}_j 
\end{equation}
\begin{beispiel}
Das äusseres Produkt von zwei Vektoren in $\mathbb{R}^3$ ist
\begin{equation}
	\begin{split}
		u \wedge v 
		&= 
		u_1v_2\textbf{e}_1\textbf{e}_2 
		+ 
		u_1v_3\textbf{e}_1\textbf{e}_3 
		+ 
		u_2v_2\textbf{e}_2\textbf{e}_3 
		+ 
		u_2v_1\textbf{e}_2\textbf{e}_1 
		+ 
		u_3v_1\textbf{e}_3\textbf{e}_1 
		+
		u_3v_2\textbf{e}_3\textbf{e}_2 \\\ 
		&= 
		(u_1v_2 - u_2v_1)\textbf{e}_1\textbf{e}_2 
		+ 
		(u_1v_3 - v_3u_1)\textbf{e}_1\textbf{e}_3 
		+ 
		(u_2v_3 - u_3v_2)\textbf{e}_2\textbf{e}_3.
	\end{split}
\end{equation}
\end{beispiel}

Im letzten Schritt des Beispiels wurden nun, mit Hilfe der antikommutativität des Produkts, die Vektorprodukte, welche die gleichen Einheitsvektoren beinhalten, zusammengefasst. Dieses Vorgehen kann man auch allgemein anwenden, wie in den Gleichungen \eqref{eq:u_wedge_v}-\eqref{eq:u_wedge_v_5} hergeleitet. Die Summe,
\begin{align}
        \textbf{u}\wedge \textbf{v}
        &= 
        \sum_{\begin{subarray}{l}i,j=1\\i \neq j\end{subarray}}^n  
        u_iv_j\textbf{e}_i\textbf{e}_j,
        \label{eq:u_wedge_v}
        \intertext{wird in zwei verschiedene Summen aufgeteilt. 
        	Wobei die linke Summe jeweils den Basisvektor mit dem höheren Index an erster Stelle und die rechte Summe diesen jeweils an zweiter Stelle hat}
        \label{eq:u_wedge_v_1}
        &= 
        \sum_{\begin{subarray}{l}i,j=1\\i < j\end{subarray}}^n u_iv_j\textbf{e}_i\textbf{e}_j 
        + 
        \sum_{\begin{subarray}{l}i,j=1\\j < i\end{subarray}}^n u_iv_j\textbf{e}_i\textbf{e}_j. 
        \intertext{Nun werden die Indexe der zweiten Summe vertauscht}
        \label{eq:u_wedge_v_2}
        &= 
        \sum_{\begin{subarray}{l}i,j=1\\i < j\end{subarray}}^n u_iv_j\textbf{e}_i\textbf{e}_j 
        + 
        \sum_{\begin{subarray}{l}i,j=1\\i < j\end{subarray}}^n u_jv_i\textbf{e}_j\textbf{e}_i,
       	\intertext{und diese wird nun mit Hilfe der Antikommutativität umgeformt zu}
        &= 
        \sum_{\begin{subarray}{l}i,j=1\\i < j\end{subarray}}^n u_iv_j\textbf{e}_i\textbf{e}_j 
        - 
        \sum_{\begin{subarray}{l}i,j=1\\i < j\end{subarray}}^n u_jv_i\textbf{e}_i\textbf{e}_j.
        \intertext{Nun können die zwei Summen wieder zusammengefasst werden}
        \label{eq:u_wedge_v_4}
        &= 
        \sum_{\begin{subarray}{l}i,j=1\\i < j\end{subarray}}^n (u_iv_j -u_jv_i)\textbf{e}_i\textbf{e}_j.
        \intertext{Der Term in der Summe könnte einem bereits bekannt vorkommen, es ist nämlich die Determinante einer Matrix mit $u$ und $v$ als ihre Spalten}
        &= 
        \label{eq:u_wedge_v_5}
        \sum_{\begin{subarray}{l}i,j=1\\i < j\end{subarray}}^n \begin{vmatrix} 
        u_i & v_i \\
        u_j & v_j
    \end{vmatrix}\textbf{e}_i\textbf{e}_j.
\end{align}
Die Determinante einer Matrix beschreibt die Fläche, welche von den Spaltenvektoren aufgespannt wird, wie in Abbildung \ref{figure:det} dargestellt.
\begin{figure}[htb]
	\centering
	\begin{minipage}[t]{.45\linewidth}
		\centering
		\begin{tikzpicture}
			\draw[thin,gray!40] (0,0) grid (4,4);
			\draw[<->] (0,0)--(4,0) ;
			\draw[<->] (0,0)--(0,4) ;
			\draw[line width=0,fill=gray!40] (0,0)--(3,1)--(4,3)--(1,2);
			\draw[line width=2pt,blue,-stealth](0,0)--(3,1) node[anchor=north
			west]{$\boldsymbol{u}$};
			\draw[line width=2pt,red,-stealth](0,0)--(1,2) node[anchor=south east]{$\boldsymbol{v}$};
			\draw[black] (2,1.5)--(1.8,3.2) node[anchor = south]{$\begin{vmatrix} 
					u_i & v_i \\
					u_j & v_j
				\end{vmatrix} = u_iv_j - v_iu_j$};
		\end{tikzpicture}
		\caption{Geometrische Interpretation der Determinante einer $2 \times 2$ Matrix\label{figure:det}}
	\end{minipage}%
	\hfill%
	\begin{minipage}[t]{.45\linewidth}
		\centering
		\begin{tikzpicture} 
			\draw[thin,gray!40] (0,0) grid (4,4);
			\draw[<->] (0,0)--(4,0) node[right]{$x$};
			\draw[<->] (0,0)--(0,4) node[above]{$y$};
			\draw[line width=0,fill=gray!40] (0,0)--(3,1)--(4,3)--(1,2);
			\draw[line width=2pt,blue,-stealth](0,0)--(3,1) node[anchor=north
			west]{$\boldsymbol{u}$};
			\draw[line width=2pt,red,-stealth](0,0)--(1,2) node[anchor=south east]{$\boldsymbol{v}$};
			\draw[->] (2.15,1.5) arc (0:310:0.3);
			\draw[black] (2,1.5)--(2.5,3.2) node[anchor = south]{$u\wedge v = \begin{vmatrix} 
					u_i & v_i \\
					u_j & v_j
				\end{vmatrix} e_1e_2 = (u_iv_j - v_iu_j)\textbf{e}_1\textbf{e}_2$};
		\end{tikzpicture}
		\caption{Geometrische Interpretation des äusseren Produktes \label{figure:wedge}}
	\end{minipage}
\end{figure}
Das äussere Produkt besteht nun also aus der Summe 
    \(\sum_{\begin{subarray}{l}i,j=1\\i < j\end{subarray}}^n\)
    von Flächen 
    \(\begin{vmatrix} 
    	u_i & v_i \\
    	u_j & v_j
    \end{vmatrix}\)
, welche in $\textbf{e}_i\textbf{e}_j$ aufgespannt sind, wie man in \ref{eq:u_wedge_v_5} sieht. 
Dieses Produkt $\textbf{e}_i\textbf{e}_j$ der Basisvektoren interpretiert man als Umlaufrichtung.
Wobei die gebildete Fläche in Richtung des ersten Vektors umschritten wird. 
Dies ist in Abbildung \ref{figure:wedge} dargestellt, wobei bei diesem Beispiel die Umlaufrichtung im Gegenuhrzeigersinn ist, da die Fläche in Richtung u umschritten wird. 
Diese Fläche mit einer Richtung nennt man in der geometrischen Algebra einen Bivektor, da er eine Art zwei dimensionaler Vektor ist.