From 55f1d6047f738272e41035c13167b6fd0c0b03d6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20M=C3=BCller?= <andreas.mueller@ost.ch>
Date: Mon, 6 Sep 2021 21:58:54 +0200
Subject: editorial edits clifford

---
 buch/papers/clifford/7_Spiegelung.tex | 62 +++++++++++++++++++++--------------
 1 file changed, 37 insertions(+), 25 deletions(-)

(limited to 'buch/papers/clifford/7_Spiegelung.tex')

diff --git a/buch/papers/clifford/7_Spiegelung.tex b/buch/papers/clifford/7_Spiegelung.tex
index c79d908..f818958 100644
--- a/buch/papers/clifford/7_Spiegelung.tex
+++ b/buch/papers/clifford/7_Spiegelung.tex
@@ -5,14 +5,16 @@
 %
 \section{Spiegelung}
 \rhead{Spiegelung}
+\index{Spiegelung}%
 
-Die Spiegelung ist eine grundlegende, geometrische Operation, aus welcher man weitere Operationen, wie beispielsweise die später beschriebene Drehung, ableiten kann. Da die geometrische Algebra für geometrische Anwendungen ausgelegt ist, sollte die Spiegelung auch eine einfache, praktische Formulierung besitzen.
+Die Spiegelung ist eine grundlegende, geometrische Operation, aus welcher man weitere Operationen wie beispielsweise die später beschriebene Drehung ableiten kann.
+Da die geometrische Algebra für geometrische Anwendungen ausgelegt ist, sollte die Spiegelung auch eine einfache, praktische Formulierung besitzen.
 \begin{figure}
 	\centering
-	\begin{tikzpicture}
+	\begin{tikzpicture}[>=latex]
 	\draw[thin,gray!40] (-3,-1) grid (3,3);
-	\draw[<->] (-3,0)--(3,0) node[right]{$a_1$};
-	\draw[<->] (0,-1)--(0,3) node[above]{$a_2$};
+	\draw[->] (-3.1,0)--(3.2,0) node[right]{$a_1$};
+	\draw[->] (0,-1.1)--(0,3.2) node[above]{$a_2$};
 	\draw[blue, line width=1.0pt] (0,3)--(0,-1) node[anchor=south east]{$\sigma_u$};
 	\draw[line width=2pt,black,-stealth](0,0)--(2,2) node[anchor=south east]{$\boldsymbol{v}$};
 	\draw[line width=2pt,black,-stealth](0,0)--(-2,2) node[anchor=south east]{$\boldsymbol{v'}$};
@@ -28,18 +30,18 @@ Die Spiegelung ist eine grundlegende, geometrische Operation, aus welcher man we
 	\label{BildSpiegelung}
 \end{figure}
 
-\subsection{Linearen Algebra}
-Aus der linearen Algebra ist bekannt, dass man eine Spiegelung an einer Ebene, wie in Abbildung \ref{BildSpiegelung} gezeigt, wie folgt beschreiben kann.
+\subsection{Spiegelung in der linearen Algebra}
+Aus der linearen Algebra ist bekannt, dass man eine Spiegelung an einer Ebene wie in Abbildung \ref{BildSpiegelung} gezeigt wie folgt beschreiben kann.
 \begin{definition}
 	Die Abbildung der Spiegelung in der linearen Algebra mit dem Normalenvektor $\mathbf{\hat{u}}$ zur Spiegelebene ist
 	\begin{equation} \label{RefLinAlg}
 	\mathbf{v} = \mathbf{v_{\perp u}} + \mathbf{v_{\parallel u}} \enspace\mapsto\enspace \mathbf{v'} =  \mathbf{v_{\perp u}} - \mathbf{v_{\parallel u}} = \mathbf{v} - 2 \cdot \mathbf{v_{\parallel u}}.
 	\end{equation}
 \end{definition}
-Es scheint für diese Formel \eqref{RefLinAlg} aber umständlich zu sein, weitere Spiegelungen mit weiteren Spiegelebenen anzufügen. Weil man $\mathbf{v_{\parallel u}}$ auch als Skalarprodukt $\mathbf{v_{\parallel u}} = \mathbf{\hat{u}} \cdot \mathbf{v}$ schreiben kann, ist es leicht diese Abbildung auch als Matrix darzustellen. Sei $\mathbf{\hat{u}}$ ein Normalenvektor auf die Spiegelungsebene, also $\mathbf{\hat{u}}\perp \sigma_u$, und sei ausserdem normiert $|\mathbf{\hat{u}}| = 1$, dann kann man die Spiegelung durch die Matrix
-\begin{align}
+Es scheint für diese Formel \eqref{RefLinAlg} aber umständlich zu sein, weitere Spiegelungen mit weiteren Spiegelebenen anzufügen. Weil man $\mathbf{v_{\parallel u}}$ auch als Skalarprodukt $\mathbf{v_{\parallel u}} = \mathbf{\hat{u}} \cdot \mathbf{v}$ schreiben kann, ist es leicht, diese Abbildung auch als Matrix darzustellen. Sei $\mathbf{\hat{u}}$ ein Normalenvektor auf die Spiegelungsebene, also $\mathbf{\hat{u}}\perp \sigma_u$, und sei ausserdem normiert $|\mathbf{\hat{u}}| = 1$, dann kann die Spiegelung durch die Matrix
+\begin{align*}
 S = E - 2\mathbf{\hat{u}\hat{u}}^t
-\end{align}
+\end{align*}
 beschrieben werden. In zwei und drei Dimensionen ergibt die Berechnung
 \begin{align} \label{Spiegelmatrizen}
 S_2 = \begin{pmatrix}
@@ -52,14 +54,17 @@ S_3 = \begin{pmatrix}
 -2u_1u_3 & -2u_2u_3 & 1-2u_3^2\\
 \end{pmatrix}.
 \end{align}
-Diese Spiegelmatrizen gehören der orthogonalen Matrizengruppe $S_n\in \text{O}(n)$ an. Die Matrizengruppe $\text{O}(n)$ hat die Eigenschaft $S_n^t S_n = E$, was bedeutet, dass die Länge und Winkel bei der Abbildung beibehalten bleiben. Zusätzlich sind die Spiegelmatrizen symmetrisch, es gilt $S_n^t = S_n$. Somit liefert zweimal dieselbe Spiegelung wieder die identische Abbildung, wie man aus
-\begin{align}
+Diese Spiegelmatrizen gehören der orthogonalen Matrizengruppe $S_n\in \text{O}(n)$ an.
+\index{On@$\operatorname{O}(n)$}%
+Die Matrizengruppe $\text{O}(n)$ hat die Eigenschaft $S_n^t S_n = E$, was bedeutet, dass die Länge und Winkel bei der Abbildung beibehalten bleiben. Zusätzlich sind die Spiegelmatrizen symmetrisch, es gilt $S_n^t = S_n$. Somit liefert zweimal dieselbe Spiegelung wieder die identische Abbildung, wie man aus
+\begin{align*}
 S_n^t S_n = S_n^2 = E
-\end{align}
+\end{align*}
 schliessen kann.
 
-\subsection{Geometrische Algebra}
-Wir definieren zuerst die Inverse eines Vektors, welche in dieser Form nicht in der linearen Algebra nicht existiert.
+\subsection{Spiegelung in der geometrische Algebra}
+Wir definieren zuerst die Inverse eines Vektors, welche in dieser Form in der linearen Algebra nicht existiert.
+\index{Inverse eines Vektors}%
 \begin{definition}
 	Die Inverse eines Vektors wird definiert als
 	\begin{align} \label{InverseGA}
@@ -67,34 +72,41 @@ Wir definieren zuerst die Inverse eines Vektors, welche in dieser Form nicht in
 	\end{align}
 \end{definition}
 Diese Definition ist sinnvoll, da wegen $\mathbf{u}^2 = |\mathbf{u}|^2$ folgt
-\begin{align}
+\begin{align*}
 \mathbf{uu}^{-1} = \mathbf{u} \frac{\mathbf{u}}{|\mathbf{u}|^2} = \frac{\mathbf{u}^2}{|\mathbf{u}|^2} = \frac{|\mathbf{u}|^2}{|\mathbf{u}|^2} = 1.
-\end{align}
+\end{align*}
 Der Vektor $\mathbf{u}^{-1}$ in \eqref{InverseGA} ist also tatsächlich das inverse Element im Sinne des Produktes in der geometrischen Algebra.
 Die geometrische Algebra leitet aus der obigen Formel \eqref{RefLinAlg} für eine Spiegelung eine einfache und intuitive Form her, welche auch für weitere Operationen erweitert werden kann.
 \begin{definition}
 	Die Abbildung der Spiegelung in der geometrischen Algebra mit dem senkrechten Vektor $\mathbf{u}$ zur Spiegelungsebene $\sigma_u$ ist 
 	\begin{align}\label{RefGA}
-	\mathbf{v} \enspace\mapsto\enspace \mathbf{v}' = -\mathbf{uvu}^{-1}
+	\mathbf{v} \enspace\mapsto\enspace \mathbf{v}' = -\mathbf{uvu}^{-1}.
 	\end{align}
 \end{definition}
 Um zu überprüfen, ob die Spiegelungsgleichung \eqref{RefGA} wirklich eine Spiegelung ist, setzen wir zuerst in diese Gleichung $\mathbf{v} = \mathbf{v_{\perp u}} + \mathbf{v_{\parallel u}}$ ein. Wir bekommen somit
-\begin{align}
+\begin{align*}
 \mathbf{v}' = -\mathbf{uv_{\perp u}u}^{-1} - \mathbf{uv_{\parallel u}u}^{-1}.
-\end{align}
+\end{align*}
 Danach können wir mit Hilfe der aus der Schlussfolgerung \eqref{uperpv} und \eqref{uparallelv} hergeleiteten Zusammenhänge
-\begin{align}
+\begin{align*}
 \mathbf{uv_{\perp u}} = -\mathbf{v_{\perp u}u} \quad\text{und}\quad \mathbf{uv_{\parallel u}}=\mathbf{v_{\parallel u}u},
-\end{align}
+\end{align*}
 die Gleichung weiter umformen zu
-\begin{align}
+\begin{align*}
 \mathbf{v}' = -(-\mathbf{v_{\perp u}}\underbrace{\mathbf{u})\mathbf{u}^{-1}}_{1} -(\mathbf{v_{\parallel u}}\underbrace{\mathbf{u})\mathbf{u}^{-1}}_{1} = \mathbf{v_{\perp u}} - \mathbf{v_{\parallel u}}.
-\end{align}
+\end{align*}
 Man sieht, dass das Resultat $\mathbf{v}' = \mathbf{v_{\perp u}} - \mathbf{v_{\parallel u}}$
 gleichbedeutend zu der Definition \eqref{RefLinAlg} der Spiegelung ist.
 
-Verwendet man für $\mathbf{u}$ nur einen Einheitsvektor $\mathbf{\hat{u}}$, welcher die Länge 1 besitzt, wird die Gleichung \eqref{RefGA} zu
+Verwendet man für $\mathbf{u}$ nur einen Einheitsvektor $\mathbf{\hat{u}}$, wird die Gleichung \eqref{RefGA} zu
 \begin{align}
 \mathbf{v'} = -\mathbf{\hat{u}v\hat{u}}
 \end{align}
-vereinfacht. Im Gegensatz zu den Abbildungen in der linearen Algebra, welche in jeder anderen Dimension, durch andere Matrizen \eqref{Spiegelmatrizen} beschrieben werden müssen, ist es in der geometrischen Algebra immer der gleiche Vorgehensweise. Zudem ist diese kompakte Schreibweise in der linearen Algebra nicht möglich, da bis auf das Vektorprodukt in drei Dimensionen keine Multiplikation von Vektoren definiert ist. 
\ No newline at end of file
+vereinfacht.
+Im Gegensatz zu den Abbildungen in der linearen Algebra, welche in
+jeder anderen Dimension durch andere Matrizen \eqref{Spiegelmatrizen}
+beschrieben werden müssen, ist es in der geometrischen Algebra immer
+der gleiche Vorgehensweise.
+Zudem ist diese kompakte Schreibweise in der linearen Algebra nicht
+möglich, da bis auf das Vektorprodukt in drei Dimensionen keine
+Multiplikation von Vektoren definiert ist.
-- 
cgit v1.2.1

