From fedb213d00379ad0e50fc77b05b2ba9ae096d1cc Mon Sep 17 00:00:00 2001
From: Malarius1999 <malarius1999@gmail.com>
Date: Mon, 2 Aug 2021 12:27:36 +0200
Subject: Verbesserungen aus Besprechung Kapitel 18.3, 18.4
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

+ Abbildung in GA bewiesen
+ Vektor n neu Vektor u
+ grössen Klammern angepasst
+ Graphiken angepasst

In Kapitel 18.2 \\ in Gleichung entfernt
---
 buch/papers/clifford/6_PauliMatrizen.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(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 e41275a..4438aeb 100644
--- a/buch/papers/clifford/6_PauliMatrizen.tex
+++ b/buch/papers/clifford/6_PauliMatrizen.tex
@@ -91,7 +91,7 @@ bestätigt. Man kann bei den Definitionen \ref{def:defPauli} und \ref{def:defPau
 \begin{hilfssatz}
 	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 = 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}
-- 
cgit v1.2.1


From 9b35f4a7087b2b81dae45cc07956d636f6553581 Mon Sep 17 00:00:00 2001
From: Malarius1999 <malarius1999@gmail.com>
Date: Sun, 22 Aug 2021 00:34:09 +0200
Subject: Verbesserungen umgesetzt
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

- Referenzen zum Teil noch nicht aufgelösst, da Thierry Labels noch nicht in seinem Abschnitt eingefügt.
- Was bedeutet in Ihrer Korrektur «\qeahem « vor dem Abschnitt komplexe Zahlen?
- Die Korrektur: «Nach dem vorherigen Kapitel überrascht wahrscheinlich nicht, dass es möglich ist, mehr…?» am Anfang des Abschnitts komplexe Zahlen verstehe ich nicht ganz. ich habe es aber anderes umgeschrieben…
- Bilder eingefügt und in Textstelle darauf referenziert (darf ich das Bild vom Fifaspiel überhaupt reinnehmen? (copyright))
- Sie scheinen ein gutes Auge für sin \sin Fehler zu haben. Die wären mir nie aufgefallen.
- Das Quaternion verbessert.
---
 buch/papers/clifford/6_PauliMatrizen.tex | 146 +++++++++++++++----------------
 1 file changed, 73 insertions(+), 73 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 4438aeb..bb9016c 100644
--- a/buch/papers/clifford/6_PauliMatrizen.tex
+++ b/buch/papers/clifford/6_PauliMatrizen.tex
@@ -10,33 +10,33 @@ Was ist der beste Weg um einen Computeralgorithmus für die Rechenoperationen in
 \begin{beispiel}
 	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
+	3\mathbf{e}_1 \cdot 2\mathbf{e}_1 + 3\mathbf{e}_2 \Rightarrow 6 + 3\mathbf{e}_2
 	\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} 
 	Die Matrizen
 	\begin{align} \label{Pauli}
-		\mathbf{e}_0 = E = 
-		\begin{pmatrix}
-			1 & 0 \\
-			0 & 1
-		\end{pmatrix},\quad
-		\mathbf{e}_1 =
-		\begin{pmatrix}
-			0 & 1 \\
-			1 & 0
-		\end{pmatrix},\quad
-		\mathbf{e}_2 =
-		\begin{pmatrix}
-			0 & -j \\
-			j & 0
-		\end{pmatrix},\quad
-		\mathbf{e}_3 =
-		\begin{pmatrix}
-			1 & 0 \\
-			0 & -1
-		\end{pmatrix}	
+	\mathbf{e}_0 = E = 
+	\begin{pmatrix}
+	1 & 0 \\
+	0 & 1
+	\end{pmatrix},\quad
+	\mathbf{e}_1 =
+	\begin{pmatrix}
+	0 & 1 \\
+	1 & 0
+	\end{pmatrix},\quad
+	\mathbf{e}_2 =
+	\begin{pmatrix}
+	0 & -j \\
+	j & 0
+	\end{pmatrix},\quad
+	\mathbf{e}_3 =
+	\begin{pmatrix}
+	1 & 0 \\
+	0 & -1
+	\end{pmatrix}	
 	\end{align}
 	heissen Pauli-Matrizen ($\mathbf{e}_0$ = Skalare)
 \end{definition}
@@ -44,85 +44,85 @@ Die Matrix-Multiplikationen der Pauli-Matrizen führt auf die gleichen algebrais
 \begin{definition} \label{def:defPauli2} 
 	Die Bivektoren und Trivektoren hergeleitet aus den Pauli-Matrizen sind
 	\begin{align} \label{Pauli2}
-		\mathbf{e}_{12} =  
-		\begin{pmatrix}
-			j & 0 \\
-			0 & -j
-		\end{pmatrix}\quad
-		\mathbf{e}_{23} =
-		\begin{pmatrix}
-			0 & j \\
-			j & 0
-		\end{pmatrix}\quad
-		\mathbf{e}_{31} =
-		\begin{pmatrix}
-			0 & 1 \\
-			-1 & 0
-		\end{pmatrix}\enspace\text{und}\enspace
-		\mathbf{e}_{123} =
-		\begin{pmatrix}
-			j & 0 \\
-			0 & j
-		\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 Matrizenrechnungen
-\begin{align}
-	\mathbf{e}_1^2 &=
+	\mathbf{e}_{12} =  
 	\begin{pmatrix}
-		0 & 1 \\
-		1 & 0
-	\end{pmatrix}^2 = 
+	j & 0 \\
+	0 & -j
+	\end{pmatrix}\quad
+	\mathbf{e}_{23} =
 	\begin{pmatrix}
-		1 & 0 \\
-		0 & 1
-	\end{pmatrix}= \mathbf{e}_0 \quad\text{und}\\
-	\mathbf{e}_{12}^2 &=
+	0 & j \\
+	j & 0
+	\end{pmatrix}\quad
+	\mathbf{e}_{31} =
 	\begin{pmatrix}
-		j & 0 \\
-		0 & -j
-	\end{pmatrix}^2 = 
+	0 & 1 \\
+	-1 & 0
+	\end{pmatrix}\enspace\text{und}\enspace
+	\mathbf{e}_{123} =
 	\begin{pmatrix}
-		-1 & 0 \\
-		0 & -1
-	\end{pmatrix} = -\mathbf{e}_0 
+	j & 0 \\
+	0 & j
+	\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 Matrizenrechnungen
+\begin{align}
+\mathbf{e}_1^2 &=
+\begin{pmatrix}
+0 & 1 \\
+1 & 0
+\end{pmatrix}^2 = 
+\begin{pmatrix}
+1 & 0 \\
+0 & 1
+\end{pmatrix}= \mathbf{e}_0 \quad\text{und}\\
+\mathbf{e}_{12}^2 &=
+\begin{pmatrix}
+j & 0 \\
+0 & -j
+\end{pmatrix}^2 = 
+\begin{pmatrix}
+-1 & 0 \\
+0 & -1
+\end{pmatrix} = -\mathbf{e}_0 
 \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
 	\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 = 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
-		\end{pmatrix}.\label{MultivektorMatirx}
+	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}.\label{MultivektorMatirx}
 	\end{align}
 \end{hilfssatz}
 Die Anteile treten zudem immer paarweise auf und können somit immer je durch zwei Gleichungen bestimmt werden.
 \begin{beispiel}
 	Die Matrix
 	\begin{align}
-		M &= 
-		\begin{pmatrix}
-			1 & 0 \\
-			0 & -1j
-		\end{pmatrix}
+	M &= 
+	\begin{pmatrix}
+	1 & 0 \\
+	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
+	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}
+	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}.
+	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 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 1567db66f863c3e7bb731864228bf43a61071df0 Mon Sep 17 00:00:00 2001
From: Malarius1999 <malarius1999@gmail.com>
Date: Mon, 23 Aug 2021 11:04:41 +0200
Subject: letzter Commit?
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

\, zwischen ||

Bei "Fehlendes Verb" bin ich mir ein wenig unsicher. Es Handelt sich doch um eine Aufzählung:
Man
kann dabei mit zwei verschiedenen Systemen arbeiten.
- Mit den Eulerischen Winkeln, ...
- Mit den Quaternionen, ...
Falls doch ein Verb fehlen würde müsste doch bei den Eulerischen Winkeln auch noch etwas fehlen...
---
 buch/papers/clifford/6_PauliMatrizen.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 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 bb9016c..4e82f28 100644
--- a/buch/papers/clifford/6_PauliMatrizen.tex
+++ b/buch/papers/clifford/6_PauliMatrizen.tex
@@ -87,7 +87,7 @@ j & 0 \\
 0 & -1
 \end{pmatrix} = -\mathbf{e}_0 
 \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.
+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 herauslesen.
 \begin{hilfssatz}
 	Ein beliebiger Multivektor
 	\begin{align} \label{MultiVektorAllg}
@@ -114,7 +114,7 @@ Die Anteile treten zudem immer paarweise auf und können somit immer je durch zw
 	\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
+	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}
-- 
cgit v1.2.1

