Verbesserungen 18.2, 18.3

Pauli-Matrizen letzte Verbesserungen
Spieglungen 1. Versuch Verbesserungen

2 files changed, 40 insertions, 32 deletions

diff --git a/buch/papers/clifford/6_PauliMatrizen.tex b/buch/papers/clifford/6_PauliMatrizen.tex
index 6c0d7dd..e41275a 100644
--- a/buch/papers/clifford/6_PauliMatrizen.tex
+++ b/buch/papers/clifford/6_PauliMatrizen.tex
@@ -14,9 +14,9 @@ Was ist der beste Weg um einen Computeralgorithmus für die Rechenoperationen in
 	\end{align}
 \end{beispiel}
 Ein textueller Algorithmus ist aber sehr ineffizient. Die Pauli-Matrizen bilden eine elegante und schnellere Alternative, welche für die dreidimensionale Clifford-Algebra verwendet werden können und alle Operationen aus der Clifford-Algebra gleich wie die Matrixoperationen ausführen lassen.
-\begin{definition} \label{def:defPauli}
+\begin{definition} \label{def:defPauli} 
 	Die Matrizen
-	\begin{align}
+	\begin{align} \label{Pauli}
 		\mathbf{e}_0 = E = 
 		\begin{pmatrix}
 			1 & 0 \\
@@ -41,9 +41,9 @@ Ein textueller Algorithmus ist aber sehr ineffizient. Die Pauli-Matrizen bilden
 	heissen Pauli-Matrizen ($\mathbf{e}_0$ = Skalare)
 \end{definition}
 Die Matrix-Multiplikationen der Pauli-Matrizen führt auf die gleichen algebraischen Relationen, wie die Multiplikation der Elemente $\mathbf{e}_0, \mathbf{e}_1, \mathbf{e}_2, \mathbf{e}_3$. So lassen sich auch die restlichen Elemente der Clifford-Algebra erzeugen.
-\begin{definition} \label{def:defPauli2}
+\begin{definition} \label{def:defPauli2} 
 	Die Bivektoren und Trivektoren hergeleitet aus den Pauli-Matrizen sind
-	\begin{align}
+	\begin{align} \label{Pauli2}
 		\mathbf{e}_{12} =  
 		\begin{pmatrix}
 			j & 0 \\
@@ -63,10 +63,10 @@ Die Matrix-Multiplikationen der Pauli-Matrizen führt auf die gleichen algebrais
 		\begin{pmatrix}
 			j & 0 \\
 			0 & j
-		\end{pmatrix}
+		\end{pmatrix}.
 	\end{align}
 \end{definition}
-Dabei ist wichtig, dass sich die Matrizen gleich verhalten, wie es die Clifford-Algebra für die Basiselemente definiert hat. Zum Beispiel gilt in der Clifford-Algebra $\mathbf{e}_1^2=\mathbf{e}_0$ und $\mathbf{e}_{12}^2=-\mathbf{e}_0$, genau die selbe Relation gilt auch für die zugehörigen Matrizen, wie man durch die Matrizenrechnung
+Dabei ist wichtig, dass sich die Matrizen gleich verhalten, wie es die Clifford-Algebra für die Basiselemente definiert hat. Zum Beispiel gilt in der Clifford-Algebra $\mathbf{e}_1^2=\mathbf{e}_0$ und $\mathbf{e}_{12}^2=-\mathbf{e}_0$, genau die selbe Relation gilt auch für die zugehörigen Matrizen, wie man durch die Matrizenrechnungen
 \begin{align}
 	\mathbf{e}_1^2 &=
 	\begin{pmatrix}
@@ -76,7 +76,7 @@ Dabei ist wichtig, dass sich die Matrizen gleich verhalten, wie es die Clifford-
 	\begin{pmatrix}
 		1 & 0 \\
 		0 & 1
-	\end{pmatrix}= \mathbf{e}_0 \\
+	\end{pmatrix}= \mathbf{e}_0 \quad\text{und}\\
 	\mathbf{e}_{12}^2 &=
 	\begin{pmatrix}
 		j & 0 \\
@@ -89,10 +89,13 @@ Dabei ist wichtig, dass sich die Matrizen gleich verhalten, wie es die Clifford-
 \end{align}
 bestätigt. Man kann bei den Definitionen \ref{def:defPauli} und \ref{def:defPauli2} sehen, dass alle Matrizen linear unabhängig voneinander sind. Das bedeutet, dass wenn man die Matrizen der Basiselemente normal addiert und zu einer Matrix zusammenfasst, kann man anschliessend die einzelnen Anteile der Basiselemente wieder herausgelesen.
 \begin{hilfssatz}
-	Ein beliebiger Multivektor erhält die Form
+	Ein beliebiger Multivektor
 	\begin{align} \label{MultiVektorAllg}
-		M &= a_0\mathbf{e}_0 + a_1\mathbf{e}_1 + a_2\mathbf{e}_3 + a_{12}\mathbf{e}_{12} + a_{23}\mathbf{e}_{23} + a_{31}\mathbf{e}_{31} + a_{123}\mathbf{e}_{123}\\
-		M &=
+		M = a_0\mathbf{e}_0 + a_1\mathbf{e}_1 + a_2\mathbf{e}_3 + a_{12}\mathbf{e}_{12} + a_{23}\mathbf{e}_{23} + a_{31}\mathbf{e}_{31} + a_{123}\mathbf{e}_{123}\\
+	\end{align}
+	erhält durch das einsetzten der Formel Matrizen \eqref{Pauli} und \eqref{Pauli2} die Form
+	\begin{align}
+		M =
 		\begin{pmatrix}
 			(a_0+a_3) + (a_{12}+a_{123})j & (a_1+a_{31})+(-a_2+a_{23})j \\
 			(a_1-a_{31})+(a_2+a_{23})j & (a_0-a_3)+(-a_{12}+a_{123})j
diff --git a/buch/papers/clifford/7_Reflektion.tex b/buch/papers/clifford/7_Reflektion.tex
index 6c92711..bdfb4e8 100644
--- a/buch/papers/clifford/7_Reflektion.tex
+++ b/buch/papers/clifford/7_Reflektion.tex
@@ -6,7 +6,7 @@
 \section{Spiegelung}
 \rhead{Spiegelung}
 
-Die Spiegelung ist eine grundlegende, geometrische Operation, aus welcher man weitere, wie beispielsweise die später beschriebene Rotation, ableiten kann. Da die Geometrische Algebra für geometrische Anwendungen ausgelegt ist, sollte die Reflexion auch eine einfache, praktische Formulierung besitzen.
+Die Spiegelung ist eine grundlegende, geometrische Operation, aus welcher man weitere, wie beispielsweise die später beschriebene Rotation, 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}
@@ -31,48 +31,53 @@ Die Spiegelung ist eine grundlegende, geometrische Operation, aus welcher man we
 \subsection{Linearen Algebra}
 Aus der linearen Algebra ist bekannt, dass man eine Spiegelung an einer Ebene wie folgt beschreiben kann.
 \begin{definition}
-	Die Spiegelungsgleichung in der linearen Algebra mit dem Normalenvektor $\mathbf{\hat{n}}$ zur Spiegelebene
+	Die Spiegelungsgleichung in der linearen Algebra mit dem Normalenvektor $\mathbf{\hat{n}}$ zur Spiegelebene ist
 	\begin{equation} \label{RefLinAlg}
-		\mathbf{v^{'}} = \mathbf{v} - 2 \cdot \mathbf{v_{\parallel \hat{n}}} = \mathbf{v} - 2 \cdot \mathbf{v_{\perp u}}
+		\mathbf{v^{'}} = \mathbf{v} - 2 \cdot \mathbf{v_{\parallel \hat{n}}} = \mathbf{v} - 2 \cdot \mathbf{v_{\perp u}}.
 	\end{equation}
-	Per Definition sind $\mathbf{v_{\parallel \hat{n}}} = \mathbf{v_{\perp u}}$. In der geometrischen Algebra verwenden wir aber in den Formeln Vektoren, welche Spiegelachsen repräsentieren.
+	Per Definition sind $\mathbf{v_{\parallel \hat{n}}} = \mathbf{v_{\perp u}}$. In der geometrischen Algebra verwenden wir aber in den Formeln Vektoren, welche Spiegelachsen, nicht Spiegelebenen, repräsentieren.
 \end{definition}
-Es scheint für diese Formel aber umständlich zu sein, weitere Spiegelungen, mit weiteren Spiegelachsen, anzufügen. Man kann dafür aber die Abbildung des Vektors auf den gespiegelten Vektor auch als Matrix schreiben, welche aus den Komponenten des Normalenvektors $\mathbf{\hat{n}}$ der Ebene besteht.
-\begin{align} 
-	\mathbf{\hat{n}}\perp \mathbf{u}\quad \land \quad |\mathbf{\hat{n}}| = 1
+Es scheint für diese Formel aber umständlich zu sein, weitere Spiegelungen mit weiteren Spiegelebenen anzufügen. Man kann diese Abbildung aber auch als Matrix schreiben. Sei $\mathbf{\hat{n}}$ ein Normalenvektor auf die Spiegelungs-Achse bzw. -Ebene, also $\mathbf{\hat{n}}\perp \mathbf{u}$, und sei ausserdem normiert $|\mathbf{\hat{n}}| = 1$, dann kann man die Spiegelung durch die Matrix
+\begin{align}
+	S = E - 2\dfrac{1}{|\mathbf{n}|^2}\mathbf{nn}^t
 \end{align}
+beschrieben werden. In der zweiten und dritten Dimension ergibt die Berechnung
 \begin{align} \label{Spiegelmatrizen}
-	S = E - 2\dfrac{1}{|\mathbf{n}|^2}\mathbf{nn}^t \enspace\Rightarrow\enspace
 	S_2 = \begin{pmatrix}
 		1-2n_1^2 & -2n_1n_2 \\
 		-2n_1n_2 & 1-2n_2^2
 	\end{pmatrix} \quad
-	S_2 = \begin{pmatrix}
+	S_3 = \begin{pmatrix}
 		1-2n_1^2 & -2n_1n_2 & -2n_1n_3\\
 		-2n_1n_2 & 1-2n_2^2 & -2n_2n_3\\
 		-2n_1n_3 & -2n_2n_3 & 1-2n_3^2\\
-	\end{pmatrix}
+	\end{pmatrix}.
+\end{align}
+Diese Spiegelmatrizen gehören der orthogonalen Matrizengruppe $S\in \text{O}(n)$ an. Die Matrizengruppe $\text{O}(n)$ haben die Eigenschaft $S^t S = E$, was bedeutet, dass die Länge und Winkel bei der Abbildung beibehalten bleiben. Zusätzlich sind die Spiegelmatrizen symmetrisch, es gilt $S^t = S$. Somit liefert zweimal dieselbe Spiegelung wieder die identische Abbildung, wie man aus
+\begin{align}
+	S^t S = S^2 = E
 \end{align}
-Diese Spiegelmatrizen gehören der orthogonalen Matrizengruppe $S\in \text{O}(n)$ an. Die Matrizengruppe $\text{O}(n)$ haben die Eigenschaft $S^t S = E$, was bedeutet, dass die Länge und Winkel bei der Abbildung beibehalten bleiben. Zusätzlich sind die Spiegelmatrizen symmetrisch $S^t = S$. Somit liefert zweimal dieselbe Spiegelung wieder die identische Abbildung.
+schliessen kann.
+
 \subsection{Geometrische 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.
+Um die folgenden Formeln zu verstehen, definieren wir zuerst die Inverse eines Vektors, welche in dieser Form nicht in der linearen Algebra nicht existiert.
 \begin{definition}
-	Die Spiegelungsgleichung in der geometrischen Algebra mit der Spiegelachse $\mathbf{u}$
-	\begin{align}\label{RefGA}
-		\mathbf{v}' = \mathbf{uvu}^{-1}
+	Die Inverse eines Vektors wird definiert als
+	\begin{align}
+		\mathbf{u}^{-1} = \dfrac{\mathbf{u}}{|\mathbf{u}|^2} \Rightarrow \mathbf{uu}^{-1} = \dfrac{\mathbf{u}^2}{|\mathbf{u}|^2} = 1.
 	\end{align}
+	Wie schon aus anderen algebraischen Strukturen bekannt, ergibt ein Element, hier $\mathbf{u}$, multipliziert mit dessen Inversen, hier $\mathbf{u}^{-1}$, das neutrale Element der Struktur, hier 1.
 \end{definition}
-
-Die Inverse $\mathbf{u}^{-1}$ eines Vektors $\mathbf{u}$ existiert in der geometrischen Algebra und ist dabei so definiert.
+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 Inverse multipliziert mit dem Vektor selbst ergibt das neutrale Element 1
-	\begin{align}
-		\mathbf{u}^{-1} = \dfrac{\mathbf{u}}{|\mathbf{u}|^2} \Rightarrow \mathbf{uu}^{-1} = \dfrac{\mathbf{u}^2}{|\mathbf{u}|^2} = 1
+	Die Spiegelungsgleichung in der geometrischen Algebra mit der Spiegelachse $\mathbf{u}$ ist definiert als
+	\begin{align}\label{RefGA}
+		\mathbf{v}' = \mathbf{uvu}^{-1}
 	\end{align}
 \end{definition}
 
-verwendet man für $\mathbf{u}$ nur einen Einheitsvektor $\mathbf{\hat{u}}$, welcher die Länge 1 besitzt, wird somit die Formel reduziert zu einer beidseitigen Multiplikation von $\mathbf{\hat{u}}$.
+verwendet man für $\mathbf{u}$ nur einen Einheitsvektor $\mathbf{\hat{u}}$, welcher die Länge 1 besitzt, wird die Gleichung zu
 \begin{align}
 	\mathbf{v'} = \mathbf{\hat{u}v\hat{u}}
 \end{align}
-Im Gegensatz zu den Abbildungen in der linearen Algebra, welche in jeder anderen Dimension, wie bei der Definition \eqref{Spiegelmatrizen} ersichtlich, durch andere Matrizen 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 der dritten Dimension 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 der dritten Dimension keine Multiplikation von Vektoren definiert ist. 
\ No newline at end of file