From cdac3d70b4d4d01d1a2b89082fe4d3626474a8ef Mon Sep 17 00:00:00 2001
From: Malarius1999 <malarius1999@gmail.com>
Date: Thu, 15 Jul 2021 12:56:54 +0200
Subject: Versatzifizierung Kaptiel 18.2

+ Beispiel angepasst
---
 buch/papers/clifford/6_PauliMatrizen.tex | 59 ++++++++++++++++++--------------
 1 file changed, 34 insertions(+), 25 deletions(-)

(limited to 'buch/papers/clifford/6_PauliMatrizen.tex')

diff --git a/buch/papers/clifford/6_PauliMatrizen.tex b/buch/papers/clifford/6_PauliMatrizen.tex
index 318d04b..6c0d7dd 100644
--- a/buch/papers/clifford/6_PauliMatrizen.tex
+++ b/buch/papers/clifford/6_PauliMatrizen.tex
@@ -6,14 +6,14 @@
 \section{Pauli-Matrizen}
 \rhead{Pauli-Matrizen}
 
-Was ist der beste Weg um einen Computeralgorithmus für die Rechenoperationen in der Clifford-Algebra zu erstellen? Man könnte versuchen einen textuellen Rechner zu implementieren der für die Elemente $\mathbf{e}_i$ hartkodierte Vereinfachungen ausführt 
+Was ist der beste Weg um einen Computeralgorithmus für die Rechenoperationen in der Clifford-Algebra zu erstellen? Man könnte versuchen einen textuellen Rechner zu implementieren der für die Elemente $\mathbf{e}_i$ hartkodierte Vereinfachungen ausführt.
 \begin{beispiel}
-	Der Algorithmus weiss, dass er $a\mathbf{e}_1\cdot b\mathbf{e}_1$ zu $ab\cdot1$ vereinfachen kann
+	Der Algorithmus weiss, dass er $a\mathbf{e}_1\cdot b\mathbf{e}_1$ zu $ab\cdot1$ vereinfachen kann. Dies ermöglicht zum Beispiel die Vereinfachung
 	\begin{align}
 		3\mathbf{e}_1 \cdot 2\mathbf{e}_1 + 3\mathbf{e}_2 \Rightarrow 6 + 3\mathbf{e}_2
 	\end{align}
 \end{beispiel}
-Dies 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.
+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}
 	Die Matrizen
 	\begin{align}
@@ -21,28 +21,28 @@ Dies ist aber sehr ineffizient. Die Pauli-Matrizen bilden eine elegante und schn
 		\begin{pmatrix}
 			1 & 0 \\
 			0 & 1
-		\end{pmatrix}\quad
+		\end{pmatrix},\quad
 		\mathbf{e}_1 =
 		\begin{pmatrix}
 			0 & 1 \\
 			1 & 0
-		\end{pmatrix}\quad
+		\end{pmatrix},\quad
 		\mathbf{e}_2 =
 		\begin{pmatrix}
 			0 & -j \\
 			j & 0
-		\end{pmatrix}\quad
+		\end{pmatrix},\quad
 		\mathbf{e}_3 =
 		\begin{pmatrix}
 			1 & 0 \\
 			0 & -1
-		\end{pmatrix}\quad	
+		\end{pmatrix}	
 	\end{align}
 	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 herleiten.
+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}
-	Die Bivektoren und Trivektoren hergeleitet durch die Pauli-Matrizen
+	Die Bivektoren und Trivektoren hergeleitet aus den Pauli-Matrizen sind
 	\begin{align}
 		\mathbf{e}_{12} =  
 		\begin{pmatrix}
@@ -58,15 +58,15 @@ Die Matrix-Multiplikationen der Pauli-Matrizen führt auf die gleichen algebrais
 		\begin{pmatrix}
 			0 & 1 \\
 			-1 & 0
-		\end{pmatrix}\quad
+		\end{pmatrix}\enspace\text{und}\enspace
 		\mathbf{e}_{123} =
 		\begin{pmatrix}
 			j & 0 \\
 			0 & j
-		\end{pmatrix}\quad	
+		\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.
+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
 \begin{align}
 	\mathbf{e}_1^2 &=
 	\begin{pmatrix}
@@ -87,30 +87,39 @@ Dabei ist wichtig, dass sich die Matrizen gleich verhalten, wie es die Clifford-
 		0 & -1
 	\end{pmatrix} = -\mathbf{e}_0 
 \end{align}
-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{definition}
-	Multivektor mit Pauli-Matrizen
-	\begin{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
+	\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 &=
 		\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
-		\end{pmatrix}  
+		\end{pmatrix}.\label{MultivektorMatirx}
 	\end{align}
-\end{definition}
+\end{hilfssatz}
 Die Anteile treten zudem immer paarweise auf und können somit immer je durch zwei Gleichungen bestimmt werden.
 \begin{beispiel}
-	Bestimmung der Anteile der Basiselemente
+	Die Matrix
 	\begin{align}
 		M &= 
 		\begin{pmatrix}
 			1 & 0 \\
-			0 & 0
-		\end{pmatrix}\\
-		&\Rightarrow a_0 + a_3 = 1 \enspace\land\enspace a_0 - a_3 = 0\\
-		&\Rightarrow a_0 = \dfrac{1}{2} \enspace\land\enspace a_3 = \dfrac{1}{2}\\
-		M &= \dfrac{1}{2} \mathbf{e}_0+ \dfrac{1}{2} \mathbf{e}_3
+			0 & -1j
+		\end{pmatrix}
+	\end{align}
+	soll als Multivektor in der Form \eqref{MultiVektorAllg} geschrieben werden. Dafür entnehmen wir aus \eqref{MultivektorMatirx} die Gleichungen
+	\begin{align}
+		a_0 + a_3 = 1,\quad a_0 - a_3 = 0,\quad a_{12}+a_{123} = 0\enspace\text{und}\enspace -a_{12}+a_{123}=-1
+	\end{align}
+	aus denen man auf
+	\begin{align}
+		a_0 = \dfrac{1}{2},\quad a_3 = \dfrac{1}{2},\quad a_{12}=\dfrac{1}{2}\enspace\text{und}\enspace a_{123}=-\dfrac{1}{2}
+	\end{align}
+	schliessen kann. Da die restlichen Realteile und Imaginärteile 0 sind, werden die anderen Anteile ebenfalls 0 sein. Daher ist
+	\begin{align}
+		M = \dfrac{1}{2} \mathbf{e}_0+ \dfrac{1}{2} \mathbf{e}_3 + \dfrac{1}{2} \mathbf{e}_{12} - \dfrac{1}{2} \mathbf{e}_{123}.
 	\end{align}
 \end{beispiel}
-Die Clifford-Algebra bei der Darstellung durch Matrizen kein Ausnahmefall. Es lässt sich theoretisch jede algebraische Struktur durch Matrizen darstellen.
\ No newline at end of file
+Die Clifford-Algebra ist bei der Darstellung durch Matrizen kein Ausnahmefall. Es lässt sich theoretisch jede algebraische Struktur durch Matrizen darstellen.
\ No newline at end of file
-- 
cgit v1.2.1


From d8d62868efed71aa3c787efacd844eae4148e797 Mon Sep 17 00:00:00 2001
From: Malarius1999 <malarius1999@gmail.com>
Date: Thu, 15 Jul 2021 14:00:40 +0200
Subject: Verbesserungen 18.2, 18.3

Pauli-Matrizen letzte Verbesserungen
Spieglungen 1. Versuch Verbesserungen
---
 buch/papers/clifford/6_PauliMatrizen.tex | 23 +++++++++++++----------
 1 file changed, 13 insertions(+), 10 deletions(-)

(limited to 'buch/papers/clifford/6_PauliMatrizen.tex')

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
-- 
cgit v1.2.1

