From 6c6543a136f7e18bfb002f6cc72381c8d33d1c14 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20M=C3=BCller?= <andreas.mueller@othello.ch>
Date: Fri, 15 Jan 2021 17:04:33 +0100
Subject: =?UTF-8?q?Einleitung=20und=20Kapitel=201=20hinzugef=C3=BCgt?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 buch/chapters/05-zahlen/komplex.tex | 281 ++++++++++++++++++++++++++++++++++++
 1 file changed, 281 insertions(+)
 create mode 100644 buch/chapters/05-zahlen/komplex.tex

(limited to 'buch/chapters/05-zahlen/komplex.tex')

diff --git a/buch/chapters/05-zahlen/komplex.tex b/buch/chapters/05-zahlen/komplex.tex
new file mode 100644
index 0000000..7198e68
--- /dev/null
+++ b/buch/chapters/05-zahlen/komplex.tex
@@ -0,0 +1,281 @@
+%
+% komplex.tex -- komplexe Zahlen
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\section{Komplexe Zahlen
+\label{buch:section:komplexe-zahlen}}
+\rhead{Komplexe Zahlen}
+In den reellen Zahlen lassen sich viele algebraische Gleichungen lösen,
+andere, z.~B.~die Gleichung
+\begin{equation}
+x^2+1=0,
+\label{buch:zahlen:eqn:igleichung}
+\end{equation}
+haben weiterhin keine Lösung.
+Der Grund dafür ist das Bestreben bei der Konstruktion der reellen Zahlen, 
+die Ordnungsrelation zu erhalten.
+Diese ermöglicht, Näherungsintervall und Intervallschachtelungen
+zu definieren.
+
+Die Ordnungsrelation sagt aber auch, dass $x^2\ge 0$ ist für jedes
+$x\in\mathbb{R}$, so dass $x^2+1>0$ sein muss.
+Dies ist der Grund, warum die Gleichung \ref{buch:zahlen:eqn:igleichung}
+keine Lösung in $\mathbb{R}$ haben kann.
+Im Umkehrschluss folgt auch, dass eine Erweiterung der reellen Zahlen,
+in der die Gleichung \eqref{buch:zahlen:eqn:igleichung} lösbar ist,
+ohne die Ordnungsrelation auskommen muss.
+Es muss darin Zahlen geben, deren Quadrat negativ ist und der
+Grössenvergleich dieser Zahlen untereinander ist nur eingeschränkt
+möglich.
+
+\subsubsection{Imaginäre und komplexe Zahlen}
+Den reellen Zahlen fehlen also Zahlen, deren Quadrat negativ ist.
+Nach inzwischen bewährtem Muster konstruieren wird die neuen Zahlen
+daher als Paare $(a,b)$.
+Die erste Komponente soll die bekannten reellen Zahlen darstellen,
+deren Quadrat positiv ist.
+Die zweite Komponente soll für die Zahlen verwendet werden, deren Quadrat
+negativ ist.
+Die Zahl, deren Quadrat $-1$ sein soll, bezeichnen wir auch mit dem
+Paar $(0,1)$ und schreiben dafür auch $i=(0,1)$ mit $i^2=-1$.
+
+Die Rechenregeln sollen weiterhin erhalten bleiben, sie müssen daher
+wie folgt definiert werden:
+\begin{equation}
+\begin{aligned}
+(a,b) + (c,d) &= (a+c,b+d) & (a+bi) + (c+di) &= (a+c) + (b+d)i
+\\
+(a,b) \cdot (c,d) & (ad-bd, ad+bc) & (a+bi)\cdot(c+di) &= ac-bd + (ad+bc)i.
+\end{aligned}
+\label{buch:zahlen:cregeln}
+\end{equation}
+Diese Regeln sich ganz natürlich, sie ergeben sich aus den Rechenregeln
+in $\mathbb{R}$ unter Berücksichtigung der Regel $i^2=-1$.
+
+Eine komplexe Zahl ist ein solches Paar, die Menge der komplexen Zahlen
+ist
+\[
+\mathbb{C}
+=
+\{a+bi\;|\;a,b\in\mathbb{R}\}
+\]
+mit den Rechenoperationen~\eqref{buch:zahlen:cregeln}.
+Die Menge $\mathbb{C}$ verhält sich daher wie eine zweidimensionaler
+reeller Vektorraum.
+
+\subsubsection{Real- und Imaginärteil}
+Ist $z=a+bi$ eine komplexe Zahl, dann heisst $a$ der Realteil $a=\Re z$
+und $b$ heisst der Imaginärteil $\Im z$.
+Real- und Imaginärteil sind lineare Abbildungen $\mathbb{C}\to\mathbb{R}$,
+sie projizieren einen Punkt auf die Koordinatenachsen, die entsprechen
+auch die reelle und die imaginäre Achse heissen.
+
+Die Multiplikation mit $i$ vertauscht Real- und Imaginärteil:
+\[
+\Re (iz)
+=
+-b
+=
+-\Im z
+\qquad\text{und}\qquad
+\Im (iz)
+=
+a
+=
+\Re z.
+\]
+Zusätzlich kehrt das Vorzeichen der einen Komponente.
+Wir kommen auf diese Eigenschaft zurück, wenn wir später in Abschnitt~XXX
+komplexe Zahlen als Matrizen beschreiben.
+
+\subsubsection{Komplexe Konjugation}
+Der komplexen Zahl $u=a+bi$ ordnen wir die sogenannte
+{\em komplex konjugierte} Zahl $\overline{z} = a-bi$.
+Mit Hilfe der komplexen Konjugation kann man den Real- und Imaginärteil
+algebraisch ausdrücken:
+\[
+\Re z 
+=
+\frac{z+\overline{z}}2
+=
+\frac{a+bi+a-bi}{2}
+=
+\frac{2a}2
+=a
+\qquad\text{und}\qquad
+\Im z
+=
+\frac{z-\overline{z}}{2i}
+=
+\frac{a+bi-a+bi}{2i}
+=
+\frac{2bi}{2i}
+=
+b.
+\]
+In der Gaussschen Zahlenebene ist die komplexe Konjugation eine
+Spiegelung an der reellen Achse.
+
+\subsubsection{Betrag}
+In $\mathbb{R}$ kann man die Ordnungsrelation dazu verwenden zu entscheiden,
+ob eine Zahl $0$ ist. 
+Wenn $x\ge 0$ ist und $x\le 0$, dann ist $x=0$.
+In $\mathbb{C}$ steht diese Ordnungsrelation nicht mehr zur Verfügung.
+Eine komplexe Zahl ist von $0$ verschieden, wenn der Vektor in der
+Zahlenebene Länge verschieden von $0$ ist.
+Wir definieren daher den Betrag einer komplexen Zahl $z=a+bi$ als
+\[
+|z|^2
+=
+a^2 +b^2
+=
+(\Re z)^2 + (\Im z)^2
+\qquad\Rightarrow\qquad
+|z|
+=
+\sqrt{a^2+b^2}
+=
+\sqrt{(\Re z)^2 + (\Im z)^2}.
+\]
+Der Betrag lässt sich auch mit Hilfe der komplexen Konjugation ausdrücken,
+es ist $z\overline{z} = (a+bi)(a-bi) = a^2+abi-abi+b^2 = |z|^2$.
+Der Betrag ist immer eine reelle Zahl.
+
+\subsubsection{Division}
+Die Erweiterung zu den komplexen Zahlen muss auch die Division erhalten.
+Dies ist durchaus nicht selbstverständlich.
+Man kann zeigen, dass ein Produkt von Vektoren eines Vektorraums, nur für
+einige wenige, niedrige Dimensionen überhaupt möglich ist.
+Für die Division sind die Einschränkungen noch gravierender, die einzigen
+Dimensionen $>1$, in denen ein Produkt mit einer Division definiert werden
+kann, sind $2$, $4$ und $8$.
+Nur in Dimension $2$ ist ein kommutatives Produkt möglich, dies muss das
+Produkt der komplexen Zahlen sein.
+
+Wie berechnet man den Quotienten $\frac{z}{w}$ für zwei beliebige komplexe
+Zahlen $z=a+bi$ und $w=c+di$ mit $w\ne 0$?
+Dazu erweitert man den Bruch mit der komplex konjugierten des Nenners:
+\begin{align*}
+\frac{z}{w}
+&=
+\frac{z\overline{w}}{w\overline{w}}
+=
+\frac{z\overline{w}}{|w|^2}
+\end{align*}
+Da der Nenner $|w|^2>0$ eine reelle Zahl ist, ist die Division einfach,
+es ist die Multiplikation mit der reellen Zahl $1/|w|^2$.
+
+Wir können den Quotienten auch in Komponenten ausdrücken:
+\begin{align*}
+\frac{z}{w}
+&=
+\frac{a+bi}{c+di}
+=
+\frac{(a+bi)(c+di)}{(c+di)(c-di)}
+=
+\frac{ac-bd +(ad+bc)i}{c^2+d^2}.
+\end{align*}
+
+\subsubsection{Gausssche Zahlenebene}
+Beschränkt man die Multiplikation auf einen reellen Faktor, wird $\mathbb{C}$
+zu einem zweidimensionalen reellen Vektorraum.
+Man kann die komplexe Zahl $a+bi$ daher auch als Punkt $(a,b)$ in der
+sogenannten Gaussschen Ebene betrachten.
+Die Addition von komplexen Zahlen ist in diesem Bild die vektorielle
+Addition, die Multiplikation mit reellen Zahlen werden wir weiter unten
+genauer untersuchen müssen.
+
+\begin{figure}
+\centering
+\begin{tikzpicture}[>=latex,thick,scale=1.5]
+\pgfmathparse{atan(2/3)}
+\xdef\winkel{\pgfmathresult}
+\fill[color=blue!20] (0,0) -- (1.5,0) arc (0:\winkel:1.5) -- cycle;
+\draw[->] (-1,0) -- (4,0) coordinate[label={$\Re z$}];
+\draw[->] (0,-1) -- (0,3) coordinate[label={right:$\Im z$}];
+\draw[line width=0.5pt] (3,0) -- (3,2);
+\node at (3,1) [right] {$\Im z=b$};
+\node at (1.5,0) [below] {$\Re z=a$};
+\draw[->,color=red,line width=1.4pt] (0,0) -- (3,2);
+\node at (3,2) [above right] {$z=a+bi$};
+\def\punkt#1{
+	\fill[color=white] #1 circle[radius=0.04];
+	\draw #1 circle[radius=0.04];
+}
+\punkt{(0,0)}
+\punkt{(3,2)}
+\node[color=red] at (1.5,1) [rotate=\winkel,above] {$r=|z|$};
+\node[color=blue] at ({\winkel/2}:1.0)
+	[rotate={\winkel/2}] {$\varphi=\operatorname{arg}z$};
+\end{tikzpicture}
+\caption{Argument und Betrag einer komplexen Zahl $z=a+ib$ in der 
+Gaussschen Zahlenebene
+\label{buch:zahlen:cfig}}
+\end{figure}
+Die Zahlenebene führt auf eine weitere Parametrisierung einer
+komplexen Zahl.
+Ein Punkt $z$ der Ebene kann in Polarkoordinaten auch durch den Betrag
+und den Winkel zwischen der reellen Achse und dem Radiusvektor zum Punkt
+beschrieben werden.
+
+
+\subsubsection{Geometrische Interpretation der Rechenoperationen}
+Die Addition kompelxer Zahlen wurde bereits als Vektoraddition
+in der Gausschen Zahlenebene. 
+Die Multiplikation ist etwas komplizierter, wir berechnen Betrag
+und Argument von $zw$ separat.
+Für den Betrag erhalten wir
+\begin{align*}
+|zw|^2
+&=
+z\overline{z}w\overline{w}
+=
+|z|^2|w|^2
+\end{align*}
+Der Betrag des Produktes ist also das Produkt der Beträge.
+
+Für das Argument verwenden wir, dass
+\[
+\tan\operatorname{arg}z
+=
+\frac{\Im z}{\Re z}
+=
+\frac{b}{a}
+\qquad\Rightarrow\qquad
+b=a\tan\operatorname{arg}z
+\]
+und analog für $w$.
+Bei der Berechnung des Produktes behandeln wir nur den Fall $a\ne 0$ 
+und $c\ne 0$, was uns ermöglicht, den Bruch durch $ac$ zu kürzen:
+\begin{align*}
+\tan\arg wz
+&=
+\frac{\Im wz}{\Re wz}
+=
+\frac{ad+bc}{ac-bd}
+=
+\frac{\frac{d}{c} + \frac{b}{a}}{1-\frac{b}{a}\frac{d}{c}}
+=
+\frac{
+\tan\operatorname{arg}z+\tan\operatorname{arg}w
+}{
+1+
+\tan\operatorname{arg}z\cdot\tan\operatorname{arg}w
+}
+=
+\tan\bigl(
+\operatorname{arg}z+\operatorname{arg}w
+\bigr).
+\end{align*}
+Im letzten Schritt haben wir die Additionsformel für den Tangens verwendet.
+Daraus liest man ab, dass das Argument eines Produkts die Summe der
+Argumente ist.
+Die Multiplikation mit einer festen komplexen Zahl führt also mit der ganzen
+komplexen Ebene eine Drehstreckung durch.
+Auf diese geometrische Beschreibung der Multiplikation werden wir zurückkommen,
+wenn wir die komplexen Zahlen als Matrizen beschreiben wollen.
+
+
+
+
-- 
cgit v1.2.1


From 8dd4a3d16d7386e03adf91177734e813963b0f3b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20M=C3=BCller?= <andreas.mueller@othello.ch>
Date: Sun, 17 Jan 2021 21:02:58 +0100
Subject: neue Sachen zur linearen Algebra

---
 buch/chapters/05-zahlen/komplex.tex | 116 ++++++++++++++++++++++++++++++++++++
 1 file changed, 116 insertions(+)

(limited to 'buch/chapters/05-zahlen/komplex.tex')

diff --git a/buch/chapters/05-zahlen/komplex.tex b/buch/chapters/05-zahlen/komplex.tex
index 7198e68..0c5eb70 100644
--- a/buch/chapters/05-zahlen/komplex.tex
+++ b/buch/chapters/05-zahlen/komplex.tex
@@ -276,6 +276,122 @@ komplexen Ebene eine Drehstreckung durch.
 Auf diese geometrische Beschreibung der Multiplikation werden wir zurückkommen,
 wenn wir die komplexen Zahlen als Matrizen beschreiben wollen.
 
+\subsubsection{Algebraische Vollständigkeit}
+Die komplexen Zahlen $\mathbb{C}$ sind als Erweiterung von $\mathbb{R}$
+so konstruiert worden, dass die Gleichung $x^2+1=0$ eine Lösung hat.
+Etwas überraschend ist dagegen, dass in dieser Erweiterung jetzt jede
+beliebige algebraische Gleichung lösbar geworden.
+Dies ist der Inhalt des Fundamentalsatzes der Algebra.
+
+\begin{satz}[Fundamentalsatz der Algebra]
+\index{Fundamentalsatz der Algebra}%
+Jede algebraische Gleichung der Form
+\[
+p(x)=x^n + a_{n-1}x^{n-1}+a_1x+a_0=0,\qquad a_k\in\mathbb{C}
+\]
+mit komplexen Koeffizienten hat $n$ möglicherweise mit Vielfachheit
+gezähle Nullstellen $\alpha_1,\dots,\alpha_m$, d.~h.~das Polynom $p(x)$
+lässt sich in Linearfaktoren
+\[
+p(x)
+=
+(x-\alpha_1)^{k_1}(x-\alpha_2)^{k_2}\cdot\ldots\cdot(x-\alpha_m)^{k_m}
+\]
+zerlegen, wobei $k_1+k_2+\dots+k_m=n$.
+Die Zahlen $k_j$ heisst die {\em Vielfachheit} der Nullstelle $\alpha_j$.
+\end{satz}
+
+Der Fundamentalsatz der Algebra wurde erstmals von Carl Friedrich Gauss
+\index{Gauss, Carl Friedrich}%
+bewiesen.
+Seither sind viele alternative Beweise mit Methoden aus den verschiedensten
+Gebieten der Mathematik gegeben worden.
+Etwas salopp könnten man sagen, dass der Fundamentalsatz ausdrückt, dass
+die Konstruktion der Zahlensysteme mit $\mathbb{C}$ abgeschlossen ist,
+soweit damit die Lösbarkeit beliebiger Gleichungen angestrebt ist.
+
+\subsubsection{Quaternionen und Octonionen}
+Die komplexen Zahlen ermöglichen eine sehr effiziente Beschreibung 
+geometrischer Abbildungen wie Translationen, Spiegelungen und 
+Drehstreckungen in der Ebene.
+Es drängt sich damit die Frage auf, ob sich $\mathbb{C}$ so erweitern
+lässt, dass man damit auch Drehungen im dreidimensionalen Raum
+beschreiben könnte.
+Da Drehungen um verschiedene Achsen nicht vertauschen, kann eine solche
+Erweiterung nicht mehr kommutativ sein.
+
+William Rowan Hamilton propagierte ab 1843 eine Erweiterung von $\mathbb{C}$
+mit zwei zusätzlichen Einheiten $j$ und $k$ mit den nichtkommutativen
+Relationen
+\begin{equation}
+i^2 = j^2 = k^2 = ijk = -1.
+\label{buch:zahlen:eqn:quaternionenregeln}
+\end{equation}
+Er nannte die Menge aller Linearkombinationen 
+\[
+\mathbb{H} = \{ a_0+a_1i+a_2j+a_3k\;|\; a_l\in \mathbb{R}\}
+\]
+die {\em Quaternionen}, die Einheiten $i$, $j$ und $k$ heissen auch
+\index{Quaternionen}%
+Einheitsquaternionen.
+\index{Einheitsquaternionen}%
+Konjugation, Betrag und Division können ganz ähnlich wie bei den
+komplexen Zahlen definiert werden und machen $\mathbb{H}$ zu einer
+sogenannten {\em Divisionsalgebra}.
+\index{Divisionsalgebra}%
+Alle Rechenregeln mit Ausnahme der Kommutativität der Multiplikation
+sind weiterhin gültig und durch jede von $0$ verschiedene Quaternion
+kann auch dividiert werden.
+
+Aus den Regeln für die Quadrate der Einheiten in
+\eqref{buch:zahlen:eqn:quaternionenregeln} folgt zum Beispiel
+$i^{-1}=-i$, $j^{-1}=-j$ und $k^{-1}=-k$.
+Die letzte Bedingung liefert daraus
+\[
+ijk=-1
+\qquad\Rightarrow\qquad
+\left\{
+\quad
+\begin{aligned}
+ij
+&=
+ijkk^{-1}=-1k^{-1}=k
+\\
+i^2jk&=-i=-jk
+\\
+-j^2k&=-ji=k
+\end{aligned}
+\right.
+\]
+Aus den Relationen~\eqref{buch:zahlen:eqn:quaternionenregeln}
+folgt also insbesondere auch, dass $ij=-ji$.
+Ebenso kann abgeleitet werden, dass $jk=-kj$ und $ik=-ki$.
+Man sagt, die Einheiten sind {\em antikommutativ}.
+\index{antikommutativ}%
+
+Die Beschreibung von Drehungen mit Quaternionen ist in der
+Computergraphik sehr beliebt, weil eine Quaternion mit nur vier
+Komponenten $a_0,\dots,a_3$ vollständig beschrieben ist.
+Eine Transformationsmatrix des dreidimensionalen Raumes enthält
+dagegen neun Koeffizienten, die vergleichsweise komplizierte 
+Abhängigkeiten erfüllen müssen.
+Quaternionen haben auch in weiteren Gebieten interessante Anwendungen,
+zum Beispiel in der Quantenmechanik, wo antikommutierende Operatoren
+bei der Beschreibung von Fermionen eine zentrale Rolle spielen.
+
+Aus rein algebraischer Sicht kann man die Frage stellen, ob es eventuell
+auch noch grössere Divisionsalgebren gibt, die $\mathbb{H}$ erweitern.
+Tatsächlich hat Arthur Cayley 1845 eine achtdimensionale Algebra,
+die Oktonionen $\mathbb{O}$, mit vier weiteren Einheiten beschrieben.
+\index{Cayley, Arthur}%
+Allerdings sind die Oktonionen nur beschränkt praktisch anwendbar.
+Grund dafür ist die Tatsache, dass die Multiplikation in $\mathbb{O}$
+nicht mehr assoziativ ist.
+Das Produkt von mehr als zwei Faktoren aus $\mathbb{O}$ ist von der
+Reihenfolge der Ausführung der Multiplikationen abhängig.
+
+
+
 
 
 
-- 
cgit v1.2.1


From 70215b72a37c2191bc6119c008d2117ed122cc7e Mon Sep 17 00:00:00 2001
From: Roy Seitz <roy.seitz@ost.ch>
Date: Wed, 27 Jan 2021 15:04:26 +0100
Subject: Typos.

---
 buch/chapters/05-zahlen/komplex.tex | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'buch/chapters/05-zahlen/komplex.tex')

diff --git a/buch/chapters/05-zahlen/komplex.tex b/buch/chapters/05-zahlen/komplex.tex
index 0c5eb70..3cbf473 100644
--- a/buch/chapters/05-zahlen/komplex.tex
+++ b/buch/chapters/05-zahlen/komplex.tex
@@ -6,8 +6,8 @@
 \section{Komplexe Zahlen
 \label{buch:section:komplexe-zahlen}}
 \rhead{Komplexe Zahlen}
-In den reellen Zahlen lassen sich viele algebraische Gleichungen lösen,
-andere, z.~B.~die Gleichung
+In den reellen Zahlen lassen sich viele algebraische Gleichungen lösen.
+Andere, z.~B.~die Gleichung
 \begin{equation}
 x^2+1=0,
 \label{buch:zahlen:eqn:igleichung}
@@ -50,7 +50,7 @@ wie folgt definiert werden:
 \end{aligned}
 \label{buch:zahlen:cregeln}
 \end{equation}
-Diese Regeln sich ganz natürlich, sie ergeben sich aus den Rechenregeln
+Diese Regeln ergeben sich ganz natürlich aus den Rechenregeln
 in $\mathbb{R}$ unter Berücksichtigung der Regel $i^2=-1$.
 
 Eine komplexe Zahl ist ein solches Paar, die Menge der komplexen Zahlen
@@ -68,7 +68,7 @@ reeller Vektorraum.
 Ist $z=a+bi$ eine komplexe Zahl, dann heisst $a$ der Realteil $a=\Re z$
 und $b$ heisst der Imaginärteil $\Im z$.
 Real- und Imaginärteil sind lineare Abbildungen $\mathbb{C}\to\mathbb{R}$,
-sie projizieren einen Punkt auf die Koordinatenachsen, die entsprechen
+sie projizieren einen Punkt auf die Koordinatenachsen, die entsprechend
 auch die reelle und die imaginäre Achse heissen.
 
 Die Multiplikation mit $i$ vertauscht Real- und Imaginärteil:
@@ -122,8 +122,8 @@ In $\mathbb{R}$ kann man die Ordnungsrelation dazu verwenden zu entscheiden,
 ob eine Zahl $0$ ist. 
 Wenn $x\ge 0$ ist und $x\le 0$, dann ist $x=0$.
 In $\mathbb{C}$ steht diese Ordnungsrelation nicht mehr zur Verfügung.
-Eine komplexe Zahl ist von $0$ verschieden, wenn der Vektor in der
-Zahlenebene Länge verschieden von $0$ ist.
+Eine komplexe Zahl ist von $0$ verschieden, wenn die Länge des Vektors in der
+Zahlenebene verschieden von $0$ ist.
 Wir definieren daher den Betrag einer komplexen Zahl $z=a+bi$ als
 \[
 |z|^2
@@ -145,7 +145,7 @@ Der Betrag ist immer eine reelle Zahl.
 \subsubsection{Division}
 Die Erweiterung zu den komplexen Zahlen muss auch die Division erhalten.
 Dies ist durchaus nicht selbstverständlich.
-Man kann zeigen, dass ein Produkt von Vektoren eines Vektorraums, nur für
+Man kann zeigen, dass ein Produkt von Vektoren eines Vektorraums nur für
 einige wenige, niedrige Dimensionen überhaupt möglich ist.
 Für die Division sind die Einschränkungen noch gravierender, die einzigen
 Dimensionen $>1$, in denen ein Produkt mit einer Division definiert werden
-- 
cgit v1.2.1


From ada53a9c225b896c8d7608300427aac475bb7045 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20M=C3=BCller?= <andreas.mueller@ost.ch>
Date: Tue, 9 Feb 2021 21:52:16 +0100
Subject: move all iamges to separate files

---
 buch/chapters/05-zahlen/komplex.tex | 22 +---------------------
 1 file changed, 1 insertion(+), 21 deletions(-)

(limited to 'buch/chapters/05-zahlen/komplex.tex')

diff --git a/buch/chapters/05-zahlen/komplex.tex b/buch/chapters/05-zahlen/komplex.tex
index 3cbf473..2a9b4a9 100644
--- a/buch/chapters/05-zahlen/komplex.tex
+++ b/buch/chapters/05-zahlen/komplex.tex
@@ -188,27 +188,7 @@ genauer untersuchen müssen.
 
 \begin{figure}
 \centering
-\begin{tikzpicture}[>=latex,thick,scale=1.5]
-\pgfmathparse{atan(2/3)}
-\xdef\winkel{\pgfmathresult}
-\fill[color=blue!20] (0,0) -- (1.5,0) arc (0:\winkel:1.5) -- cycle;
-\draw[->] (-1,0) -- (4,0) coordinate[label={$\Re z$}];
-\draw[->] (0,-1) -- (0,3) coordinate[label={right:$\Im z$}];
-\draw[line width=0.5pt] (3,0) -- (3,2);
-\node at (3,1) [right] {$\Im z=b$};
-\node at (1.5,0) [below] {$\Re z=a$};
-\draw[->,color=red,line width=1.4pt] (0,0) -- (3,2);
-\node at (3,2) [above right] {$z=a+bi$};
-\def\punkt#1{
-	\fill[color=white] #1 circle[radius=0.04];
-	\draw #1 circle[radius=0.04];
-}
-\punkt{(0,0)}
-\punkt{(3,2)}
-\node[color=red] at (1.5,1) [rotate=\winkel,above] {$r=|z|$};
-\node[color=blue] at ({\winkel/2}:1.0)
-	[rotate={\winkel/2}] {$\varphi=\operatorname{arg}z$};
-\end{tikzpicture}
+\includegraphics{chapters/05-zahlen/images/komplex.pdf}
 \caption{Argument und Betrag einer komplexen Zahl $z=a+ib$ in der 
 Gaussschen Zahlenebene
 \label{buch:zahlen:cfig}}
-- 
cgit v1.2.1


From 917efe64d35cba4ded21cff86e4bcf01f2ec9902 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20M=C3=BCller?= <andreas.mueller@ost.ch>
Date: Tue, 2 Mar 2021 11:47:05 +0100
Subject: typos

---
 buch/chapters/05-zahlen/komplex.tex | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'buch/chapters/05-zahlen/komplex.tex')

diff --git a/buch/chapters/05-zahlen/komplex.tex b/buch/chapters/05-zahlen/komplex.tex
index 2a9b4a9..4ccea89 100644
--- a/buch/chapters/05-zahlen/komplex.tex
+++ b/buch/chapters/05-zahlen/komplex.tex
@@ -149,7 +149,10 @@ Man kann zeigen, dass ein Produkt von Vektoren eines Vektorraums nur für
 einige wenige, niedrige Dimensionen überhaupt möglich ist.
 Für die Division sind die Einschränkungen noch gravierender, die einzigen
 Dimensionen $>1$, in denen ein Produkt mit einer Division definiert werden
-kann, sind $2$, $4$ und $8$.
+kann\footnote{Der Beweis dieser Aussage ist ziemlich schwierig und wurde
+erst im 20.~Jahrhundert mit Hilfe der Methoden der algebraischen Topologie
+erbracht. Eine Übersicht über den Beweis kann in Kapitel~10 von
+\cite{buch:ebbinghaus} gefunden werden.}, sind $2$, $4$ und $8$.
 Nur in Dimension $2$ ist ein kommutatives Produkt möglich, dies muss das
 Produkt der komplexen Zahlen sein.
 
-- 
cgit v1.2.1

