aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--buch/chapters/05-zahlen/ganz.tex5
-rw-r--r--buch/chapters/05-zahlen/komplex.tex19
-rw-r--r--buch/chapters/05-zahlen/natuerlich.tex6
-rw-r--r--buch/chapters/05-zahlen/rational.tex14
-rw-r--r--buch/chapters/05-zahlen/reell.tex2
-rw-r--r--buch/chapters/50-permutationen/matrizen.tex2
-rw-r--r--buch/chapters/70-graphen/beschreibung.tex2
-rw-r--r--buch/papers/reedsolomon/idee.tex10
8 files changed, 35 insertions, 25 deletions
diff --git a/buch/chapters/05-zahlen/ganz.tex b/buch/chapters/05-zahlen/ganz.tex
index ab80d6f..4e382b5 100644
--- a/buch/chapters/05-zahlen/ganz.tex
+++ b/buch/chapters/05-zahlen/ganz.tex
@@ -66,7 +66,8 @@ Zahlen mit der Eigenschaft
\qquad\Leftrightarrow\qquad
a+b' = a'+b.
\]
-Man nennt eine solche Menge eine {\em Äquivalenzklasse} der Relation $\sim$.
+%Man nennt eine solche
+Eine Menge ist eine {\em Äquivalenzklasse} der Relation $\sim$.
\index{Aquivalenzklasse@Äquivalenzklasse}
Die Menge $\mathbb{Z}$ der {\em ganzen Zahlen} ist die Menge aller solchen
\index{ganze Zahlen}%
@@ -81,7 +82,7 @@ stellt das Paar $(b,a)$ eine ganze Zahl dar mit der Eigenschaft
\begin{equation}
z+(b,a)
=
-(a,b) + (b+a) = (a+b,a+b) \sim (0,0) = 0
+(a,b) + (b,a) = (a+b,a+b) \sim (0,0) = 0
\label{buch:zahlen:eqn:entgegengesetzt}
\end{equation}
dar.
diff --git a/buch/chapters/05-zahlen/komplex.tex b/buch/chapters/05-zahlen/komplex.tex
index 2053326..533ddc1 100644
--- a/buch/chapters/05-zahlen/komplex.tex
+++ b/buch/chapters/05-zahlen/komplex.tex
@@ -21,7 +21,7 @@ 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}
+Dies ist der Grund, warum die Gleichung \eqref{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,
@@ -218,9 +218,9 @@ Wir können den Quotienten auch durch Real- und Imaginärteil ausdrücken:
&=
\frac{a+bi}{c+di}
=
-\frac{(a+bi)(c+di)}{(c+di)(c-di)}
+\frac{(a+bi)(c-di)}{(c+di)(c-di)}
=
-\frac{ac-bd +(ad+bc)i}{c^2+d^2}.
+\frac{ac+bd +(ad-bc)i}{c^2+d^2}.
\end{align*}
@@ -239,7 +239,7 @@ zw\overline{z}\overline{w}
=
z\overline{z}w\overline{w}
=
-|z|^2|w|^2
+|z|^2|w|^2.
\end{align*}
Der Betrag des Produktes ist also das Produkt der Beträge.
@@ -282,8 +282,8 @@ 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.
+Auch 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}$
@@ -297,9 +297,9 @@ Dies ist der Inhalt des Fundamentalsatzes 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}
+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
+mit komplexen Koeffizienten $a_k\in\mathbb{C}$ hat $n$ möglicherweise mit Vielfachheit
gezählte Nullstellen $\alpha_1,\dots,\alpha_m$, d.~h.~das Polynom $p(x)$
lässt sich in Linearfaktoren
\[
@@ -360,7 +360,8 @@ 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
+Die letzte Bedingung in~\eqref{buch:zahlen:eqn:quaternionenregeln}
+liefert daraus
\[
i\!jk=-1
\qquad\Rightarrow\qquad
diff --git a/buch/chapters/05-zahlen/natuerlich.tex b/buch/chapters/05-zahlen/natuerlich.tex
index 629e539..def03ac 100644
--- a/buch/chapters/05-zahlen/natuerlich.tex
+++ b/buch/chapters/05-zahlen/natuerlich.tex
@@ -165,7 +165,7 @@ a\cdot(b+c) = ab+ac
\]
gelten.
Bei einem nicht kommutativen Produkt ist es notwendig,
-zwischen Links- und Rechts-Distributivgesetz zu unterscheiden.
+zwischen Links- und Rechtsdistributivgesetz zu unterscheiden.
Die Distributivgesetze drücken die wohlbekannte Regel des
Ausmultiplizierens aus.
@@ -181,8 +181,8 @@ Sie gelten immer für Matrizen.
Die Lösbarkeit von Gleichungen der Form $ax=b$ mit $a,b\in\mathbb{N}$
gibt Anlass zum sehr nützlichen Konzept der Teilbarkeit.
\index{Teilbarkeit}%
-Die Zahl $b$ heisst {\em teilbar} durch $a$, wenn die Gleichung $ax=b$ eine
-Lösung in $\mathbb{N}$ hat.
+Die Zahl $b$ heisst {\em teilbar} durch $a$, in Formeln $a\mid b$,
+wenn die Gleichung $ax=b$ eine Lösung in $\mathbb{N}$ hat.
\index{teilbar}%
Jede natürlich Zahl $n$ ist durch $1$ und durch sich selbst teilbar,
denn $n\cdot 1 = n$.
diff --git a/buch/chapters/05-zahlen/rational.tex b/buch/chapters/05-zahlen/rational.tex
index 666bc21..dc2fe29 100644
--- a/buch/chapters/05-zahlen/rational.tex
+++ b/buch/chapters/05-zahlen/rational.tex
@@ -40,9 +40,17 @@ Faktor unterscheiden,
(c, d)
\quad \Leftrightarrow \quad
\exists \lambda \in \mathbb Z\setminus\{0\} \colon
+(
\lambda a = c
\wedge
\lambda b = d
+)
+\vee
+(
+a = \lambda c
+\wedge
+b = \lambda d
+)
.
\]
Dass es sich hierbei wieder um eine Äquivalenzrelation handelt, lässt sich
@@ -50,7 +58,7 @@ einfach nachprüfen.
Durch die neuen Regen gibt es nun zu jedem Paar $(a, b)$ mit $a \ne 0$
ein Inverses $(b, a)$ bezüglich der Multiplikation,
-wie man anhand der folgenden Rechnung sieht,
+wie man anhand der folgenden Rechnung sieht:
\[
(a, b) \cdot (b, a)
=
@@ -72,7 +80,7 @@ Die Rechenregeln werden dadurch zu den wohlvertrauten
\[
\frac{a}{b}+\frac{c}{d}
=
-\frac{ad+bc}{bd},
+\frac{ad+bc}{bd}
\qquad\text{und}\qquad
\frac{a}{b}\cdot\frac{c}{d}
=
@@ -180,7 +188,7 @@ Wann immer die Wahl des Körpers keine Rolle spielt, werden wir den
Körper mit $\Bbbk$ bezeichnen.
\index{k@$\Bbbk$}%
-Ein Körper $\Bbbk$ zeichnet sich dadurch aus, dass alle ELemente ausser $0$
+Ein Körper $\Bbbk$ zeichnet sich dadurch aus, dass alle Elemente ausser $0$
invertierbar sind.
Diese wichtige Teilmenge wird mit $\Bbbk^* = \Bbbk \setminus\{0\}$ mit
bezeichnet.
diff --git a/buch/chapters/05-zahlen/reell.tex b/buch/chapters/05-zahlen/reell.tex
index 7af07e8..307b219 100644
--- a/buch/chapters/05-zahlen/reell.tex
+++ b/buch/chapters/05-zahlen/reell.tex
@@ -49,7 +49,7 @@ In der Analysis definiert man zu diesem Zweck, dass $a$ der Grenzwert
einer Folge $(a_n)_{n\in\mathbb{N}}$ ist, wenn es zu jedem $\varepsilon > 0$
ein $N$ gibt derart, dass $|a_n-a|<\varepsilon$ für $n>N$ ist.
Das Problem dieser wohlbekannten Definition für die Konstruktion
-reeller Zahle ist, dass im Falle der Folge
+reeller Zahlen ist, dass im Falle der Folge
\[
(a_n)_{n\in\mathbb{N}}=
\biggl(1,
diff --git a/buch/chapters/50-permutationen/matrizen.tex b/buch/chapters/50-permutationen/matrizen.tex
index 8977635..9108824 100644
--- a/buch/chapters/50-permutationen/matrizen.tex
+++ b/buch/chapters/50-permutationen/matrizen.tex
@@ -179,7 +179,7 @@ P_{\tau_{l-1,l}}
\end{pmatrix}.
\end{align*}
-\subsection{Determinante und Vorzeichen}
+\subsection{Signum und Determinante}
Die Transpositionen haben Permutationsmatrizen, die aus der Einheitsmatrix
\index{Einheitsmatrix}%
\index{Determinante}%
diff --git a/buch/chapters/70-graphen/beschreibung.tex b/buch/chapters/70-graphen/beschreibung.tex
index 932a003..f39428a 100644
--- a/buch/chapters/70-graphen/beschreibung.tex
+++ b/buch/chapters/70-graphen/beschreibung.tex
@@ -18,7 +18,7 @@ Mitteln abzuleiten.
Die Präsentation ist allerdings nur ein erster Einstieg, tiefer
gehende Information kann in \cite{skript:brualdi} gefunden werden.
-\subsection{Definition von Graphen
+\subsection{Ungerichtete und gerichtete Graphen
\label{subsection:definition-von-graphen}}
In der Einleitung wurde bereits eine informelle
Beschreibung des Konzeptes eines Graphen gegeben.
diff --git a/buch/papers/reedsolomon/idee.tex b/buch/papers/reedsolomon/idee.tex
index df8c30d..046e09c 100644
--- a/buch/papers/reedsolomon/idee.tex
+++ b/buch/papers/reedsolomon/idee.tex
@@ -1,9 +1,9 @@
%
% idee.tex -- Polynom Idee
%
-\section{Idee
+\section{Idee: Polynomansatz
\label{reedsolomon:section:idee}}
-\rhead{Problemstellung}
+\rhead{Idee: Polynomansatz}
Um Fehler in einer Datenübertragung zu erkennen, könnte man die Daten jeweils doppelt senden,
also den gleichen Wert immer zweimal.
Tritt ein Fehler ein, wird sich dies in der Differenz der beiden Werte bemerkbar machen.
@@ -57,9 +57,9 @@ Gerade in der heutigen Zeit wäre dies ein enorm grosses Problem und aus diesem
% ist diese vom Empfänger gesteuerte erneute Übertragen meistens nicht sinnvoll oder sogar unmöglich.
%Der Reed-Solomon-Code macht dies Übertragung auf eine andere, clevere Weise.
-\subsection{Polynom-Ansatz
-\label{reedsolomon:section:polynomansatz}}
-\rhead{Polynom-Ansatz}
+%\subsection{Polynom-Ansatz
+%\label{reedsolomon:section:polynomansatz}}
+%\rhead{Polynom-Ansatz}
Eine zentrale Idee des Reed-Solomon-Codes ist, aus den Daten ein Polynom zu bilden.
Mit dieser Polynomfunktion wird dann eine Anzahl von Werten übertragen.
\begin{beispiel} Nehmen wir die Zahlen \textcolor{blue}{2}, \textcolor{blue}{1} und \textcolor{blue}{5}, welche übertragen werden sollen. Daraus bilden wir das Polynom