improve images

9 files changed, 217 insertions, 110 deletions

diff --git a/buch/chapters/95-homologie/basiswahl.tex b/buch/chapters/95-homologie/basiswahl.tex
index aacfa9f..391ebf2 100644
--- a/buch/chapters/95-homologie/basiswahl.tex
+++ b/buch/chapters/95-homologie/basiswahl.tex
@@ -521,7 +521,7 @@ z_8 % variable 18 = 1
  0\\ %25
  1\\
  1
-\end{pmatrix*}
+\end{pmatrix*}.
 \end{align*}
 \begin{figure}
 \centering
diff --git a/buch/chapters/95-homologie/chapter.tex b/buch/chapters/95-homologie/chapter.tex
index e25188c..88968d2 100644
--- a/buch/chapters/95-homologie/chapter.tex
+++ b/buch/chapters/95-homologie/chapter.tex
@@ -7,7 +7,8 @@
 \label{buch:chapter:homologie}}
 \lhead{Kettenkomplexe und Homologie}
 \rhead{}
-Mit der Inzidenzmatrix war es möglich, einen Graphen zu beschreiben
+Mit der Inzidenzmatrix war es in Kapitel~\ref{buch:chapter:graphen}
+möglich, einen Graphen zu beschreiben
 und verschiedene interessante Eigenschaften desselben zu berechnen.
 Damit können aber nur eindimensionale Strukturen analysiert werden:
 Es ist zum Beispiel nicht möglich, ein Dreieck vom Rand eines
diff --git a/buch/chapters/95-homologie/fixpunkte.tex b/buch/chapters/95-homologie/fixpunkte.tex
index b3b184e..1b86797 100644
--- a/buch/chapters/95-homologie/fixpunkte.tex
+++ b/buch/chapters/95-homologie/fixpunkte.tex
@@ -58,7 +58,7 @@ Lefshetz-Zahl auf das gleiche Resultat führen müssen.
 \centering
 \includegraphics[width=\textwidth]{chapters/95-homologie/images/approximation.pdf}
 \caption{Stückweise lineare Approximation einer Abbildung derart,
-dass die Bildpunkt von Knoten auf Gitterpunkte fallen.
+dass die Bildpunkte von Knoten auf Gitterpunkte fallen.
 Die Abbildung wird damit zu einer Abbildung von Polyedern und
 die induzierte Abbildung der Kettenkomplexe lässt sich direkt berechnen.
 Wenn die Auflösung des Gitters klein genug ist, hat die Approximation
diff --git a/buch/chapters/95-homologie/images/approximation.pdf b/buch/chapters/95-homologie/images/approximation.pdf
index 8bdd2e7..517dde6 100644
--- a/buch/chapters/95-homologie/images/approximation.pdf
+++ b/buch/chapters/95-homologie/images/approximation.pdf
diff --git a/buch/chapters/95-homologie/images/approximation.tex b/buch/chapters/95-homologie/images/approximation.tex
index 042f0e2..1039764 100644
--- a/buch/chapters/95-homologie/images/approximation.tex
+++ b/buch/chapters/95-homologie/images/approximation.tex
@@ -35,7 +35,7 @@
 			\xdef\blau{\pgfmathresult}
 			\definecolor{mycolor}{rgb}{\rot,0.8,\blau}
 			\fill[color=mycolor]
-				(\a:{\s*\r}) -- (\a:{\s*(\r+0.2)}) -- ({\a+1}:{\s*(\r+0.2)}) -- ({\a+1}:{\s*\r}) -- cycle;
+				(\a:{\s*\r}) -- (\a:{\s*(\r+0.21)}) -- ({\a+1.02}:{\s*(\r+0.21)}) -- ({\a+1.02}:{\s*\r}) -- cycle;
 		}
 	}
 }
diff --git a/buch/chapters/95-homologie/images/complexbasis.pdf b/buch/chapters/95-homologie/images/complexbasis.pdf
index 9ff6709..663eaa9 100644
--- a/buch/chapters/95-homologie/images/complexbasis.pdf
+++ b/buch/chapters/95-homologie/images/complexbasis.pdf
diff --git a/buch/chapters/95-homologie/images/complexbasis.tex b/buch/chapters/95-homologie/images/complexbasis.tex
index bab89d2..877351d 100644
--- a/buch/chapters/95-homologie/images/complexbasis.tex
+++ b/buch/chapters/95-homologie/images/complexbasis.tex
@@ -87,9 +87,10 @@
 	\rechteck{7}{10}{darkgreen}
 	\rechteck{11}{11}{blue}
 	\Rechteck{0}{11}
+	\draw[->,shorten >= 0.5cm,shorten <= 0.5cm] (0,{-\s-0.25}) -- (-3.5,{-\s-0.25});
 	\node[color=darkgreen] at ({0},{(9*2-1)*\s}) {$B_{k-2\mathstrut}$};
 	\node at (1.75,{9*2*\s}) {$\Delta_{k-1}$};
-	\node at (1.75,{-\s}) [above] {$\partial_{k-1\mathstrut}$};
+	\node at (1.75,{-\s-0.25}) [above] {$\partial_{k-1\mathstrut}$};
 	\draw[decorate,decoration={brace,amplitude=4pt}]
 		({-\s-0.1},{-\s}) -- ({-\s-0.1},{(2*10+1)*\s});
 	\node at ({-\s-0.17},{10*\s}) [left] {$Z_{k-2\mathstrut}$};
@@ -103,9 +104,10 @@
 	\rechteck{0}{2}{red}
 	\Rechteck{0}{11}
 	\node at (0,{-\s}) [below] {$C_{k-1\mathstrut}$};
+	\draw[->,shorten >= 0.5cm,shorten <= 0.5cm] (0,{-\s-0.25}) -- (-3.5,{-\s-0.25});
 	\node[color=darkgreen] at ({0},{(5*2-1)*\s}) {$B_{k-1\mathstrut}$};
 	\node at (1.75,{6.5*2*\s}) {$\Delta_k$};
-	\node at (1.75,{-\s}) [above] {$\partial_{k\mathstrut}$};
+	\node at (1.75,{-\s-0.25}) [above] {$\partial_{k\mathstrut}$};
 	\draw[decorate,decoration={brace,amplitude=4pt}]
 		({-\s-0.1},{-\s}) -- ({-\s-0.1},{(2*7+1)*\s});
 	\node at ({-\s-0.17},{7*\s}) [left] {$Z_{k-1\mathstrut}$};
@@ -118,6 +120,7 @@
 	\rechteck{0}{3}{red}
 	\Rechteck{0}{10}
 	\node at (0,{-\s}) [below] {$C_{k\mathstrut}$};
+	\draw[->,shorten >= 0.5cm,shorten <= 0.5cm] (0,{-\s-0.25}) -- (-3.5,{-\s-0.25});
 	\node[color=darkgreen] at ({-0.25},{9*\s})
 		{$B_{k\mathstrut}$};
 	\node[color=darkgreen] at (0.24,{2*4*\s}) {$b_1$};
@@ -133,7 +136,7 @@
 	\node[color=blue] at (0.24,{2*9*\s}) {$\vdots$};
 	\node[color=blue] at (0.24,{2*10*\s}) {$c_s$};
 	\node at (1.75,{5.5*2*\s}) {$\Delta_{k+1}$};
-	\node at (1.75,{-\s}) [above] {$\partial_{k+1\mathstrut}$};
+	\node at (1.75,{-\s-0.25}) [above] {$\partial_{k+1\mathstrut}$};
 	\draw[decorate,decoration={brace,amplitude=4pt}]
 		({-\s-0.1},{-\s}) -- ({-\s-0.1},{(2*5+1)*\s});
 	\node at ({-\s-0.17},{5*\s}) [left] {$Z_{k\mathstrut}$};
@@ -146,6 +149,7 @@
 	\rechteck{0}{0}{red}
 	\Rechteck{0}{7}
 	\node at (0,{-\s}) [below] {$C_{k+1\mathstrut}$};
+	\draw[->,shorten >= 0.5cm,shorten <= 0.5cm] (0,{-\s-0.25}) -- (-3.5,{-\s-0.25});
 	\node[color=darkgreen] at ({0},{(2.0*2+1)*\s})
 		{$B_{k+1\mathstrut}$};
 	\draw[decorate,decoration={brace,amplitude=4pt}]
@@ -153,6 +157,10 @@
 	\node at ({-\s-0.17},{5*\s}) [left] {$Z_{k+1\mathstrut}$};
 \end{scope}
 
+\begin{scope}[xshift=10.5cm]
+	\draw[->,shorten >= 0.5cm,shorten <= 0.5cm] (0,{-\s-0.25}) -- (-3.5,{-\s-0.25});
+\end{scope}
+
 \end{tikzpicture}
 \end{document}
 
diff --git a/buch/chapters/95-homologie/komplex.tex b/buch/chapters/95-homologie/komplex.tex
index 9787bb2..bc4fcf3 100644
--- a/buch/chapters/95-homologie/komplex.tex
+++ b/buch/chapters/95-homologie/komplex.tex
@@ -30,11 +30,14 @@ heisst ein Kettenkomplex, wenn $\partial_{k-1}\partial_k=0$ gilt
 für alle $k>0$.
 \end{definition}
 
-Die aus den Triangulationen konstruieren Vektorräme von
+Die aus den Triangulationen konstruierten Vektorräume von
 Abschnitt~\ref{buch:subsection:triangulation} bilden einen
 Kettenkomplex.
-
-XXX nachrechnen: $\partial^2 = 0$ ?
+Dazu ist nur nachzurechnen, dass die Zusammensetzung der
+Randoperatoren verschwindet.
+Wegen der Linearität genügt es, dies für ein einzelnes Simplex zu tun.
+Das haben wir aber bereits in Satz~\ref{buch:homologie:satz:randrand}
+gemacht.
 
 \subsection{Abbildungen
 \label{buch:subsection:abbildungen}}
diff --git a/buch/chapters/95-homologie/simplex.tex b/buch/chapters/95-homologie/simplex.tex
index 3bf1004..65ab441 100644
--- a/buch/chapters/95-homologie/simplex.tex
+++ b/buch/chapters/95-homologie/simplex.tex
@@ -12,10 +12,10 @@ die sogenannten Simplizes entwickeln müssen.
 
 \subsection{Simplizes und Rand
 \label{buch:subsection:simplices}}
-
-\subsubsection{Rand eines Dreiecks}
 Die Inzidenz-Matrix eines Graphen hat einer Kante die beiden Endpunkte
 mit verschiedenen Vorzeichen zugeordnet.
+
+\subsubsection{Rand eines Dreiecks}
 Dieses Idee soll jetzt verallgemeinert werden.
 Der Rand des Dreiecks $\triangle$ in
 Abbildung~\ref{buch:homologie:figure:zusammenziehbar}
@@ -47,7 +47,7 @@ Wir können diese Zuordnung wieder mit einer Matrix ausdrücken.
 \end{pmatrix*}
 \]
 
-\subsubsection{Simplizes}
+\subsubsection{Standardsimplizes}
 Punkte, Kanten und Dreiecke sind die einfachsten Fälle sogenannter
 Simplizes.
 Wir formulieren die Definition dieser Objekte auf eine Weise,
@@ -88,16 +88,29 @@ Anfangspunkt $s_1(0)$ mit einem negativen Vorzeichen versehen wird.
 Für höhere Dimensionen brauchen wir auf analoge Weise erst wieder einen
 geeigneten Parameterraum.
 Die Menge
-\[
+\begin{equation}
 \triangle_n
 =
-\{(t_0,\dots,t_n)\in\mathbb{R}^{n+1}\,|\, t_i\ge 0,t_0+t_1+\dots+t_n=1\}
-\]
+\{(t_0,\dots,t_n)\in\mathbb{R}^{n+1}\mid t_i\ge 0,t_0+t_1+\dots+t_n=1\}
+\subset\mathbb{R}^{n+1}
+\label{buch:homologie:eqn:standardsimplex}
+\end{equation}
 beschreibt zum Beispiel für $n=2$ ein Dreieck und für $n=3$ ein 
 Tetraeder.
+\index{Tetraeder}%
+
+\begin{definition}
+Die Menge $\triangle_n$ von \eqref{buch:homologie:eqn:standardsimplex}
+heisst das $n$-dimensionale Standardsimplex.
+\index{Standardsimplex}%
+\end{definition}
+
+Die Standardbasisvektoren von  $\mathbb{R}^{n+1}$ werden $e_0,\dots,e_n$
+bezeichnet und sind die Ecken des $n$-dimensionalen Standardsimplex.
 
+\subsubsection{Simplizes in $\mathbb{R}^N$}
 Gegeben $n+1$-Punkte $P_0,\dots,P_n$ mit Ortsvektoren
-$\vec{p}_0,\dots,\vec{p}_n$ können wir eine Abbildung
+$\vec{p}_0,\dots,\vec{p}_n\in\mathbb{R}^N$, können wir eine Abbildung
 \begin{equation}
 s_n
 \colon
@@ -116,121 +129,203 @@ t_1\vec{p}_1
 t_n\vec{p}_n
 \end{equation}
 Eine solche Abbildung verallgemeinert also den Begriff einer Strecke
+in einem Raum $\mathbb{R}^N$  
 auf höhere Dimensionen.
+Sie ist durch die Eckpunkte vollständig vorgegeben, es reicht also
+die Punkte $P_0,\dots,P_n\in\mathbb{R}^N$ zu kennen.
+
+%\begin{definition}
+%\label{buch:def:simplex}
+%Ein $n$-dimensionales {\em Simplex} oder {\em $n$-Simplex} in $X$ ist eine
+%stetige Abbildung $s_n\colon\triangle_n\to X$.
+%\end{definition}
+%
+%Die Ecken des $n$-Simplex $\triangle_n$ sind die Standardbasisvektoren
+%in $\mathbb{R}^{n+1}$.
+%Mit $e_k$ bezeichnen wird die Ecke, deren Koordinaten $t_i=0$ sind für 
+%$k\ne i$, ausser der Koordinaten $t_k$, die den Wert $t_k=1$ hat.
+
 
 \begin{definition}
-\label{buch:def:simplex}
-Ein $n$-dimensionales {\em Simplex} oder {\em $n$-Simplex} ist eine
-stetige Abbildung $s_n\colon\triangle_n\to X$.
+Ein $n$-Simplex in $\mathbb{R}^N$ ist die stückweise lineare Abbildung
+$s\colon \triangle_n\to \mathbb{R}^N$ gegeben durch die Bilder der Eckpunkte
+$P_i = s(e_i)$.
+Wir schreiben auch $[P_0,P_1,\dots,P_n]$ für dieses Simplex.
 \end{definition}
 
-Die Ecken des $n$-Simplex $\triangle_n$ sind die Standardbasisvektoren
-in $\mathbb{R}^{n+1}$.
-Mit $e_k$ bezeichnen wird die Ecke, deren Koordinaten $t_i=0$ sind für 
-$k\ne i$, ausser der Koordinaten $t_k$, die den Wert $t_k=1$ hat.
-
 \subsubsection{Rechnen mit Simplizes}
-Damit wir leichter mit Simplizes rechnen können, betrachten wir
+Wir möchten später ein geometrisches Objekt aus Simplizes zusammensetzen.
+Dazu müssen wir mehrere Simplizes so ein einen Raum abbilden können, dass
+sie an den Rändern zusammenpassen.
+Dazu müssen wir mit ``Kombinationen'' von Simplizes rechnen können.
+Wir betrachten daher
 jedes Simplex als einen Basisvektor eines abstrakten Vektorraumes.
-Zu einem $n$-Simplex gehören Vektorräume $C_l$ für jede Dimension
-$l=0$ bis $l=n$.
-Der Vektorraum $C_0$ besteht aus Linearkombinationen
-\[
-C_0 
-=
-\{ x_0 P_0 + \dots + x_n P_n \,| x_i\in\mathbb{R} \},
-\]
-$C_0$ ist ein $n$-dimensionaler Raum.
-Der Vektorraum $C_1$ besteht aus Linearkombinationen der Kanten
-\[
-C_1 
-=
-\biggl\{
-\sum_{i<j}
-x_{ij} k_{ij}
-\,
-\bigg|
-\,
-x_{ij}\in\mathbb{R}
-\biggr\},
-\]
-wobei $k_{ij}$ die Kante von der Ecke $i$ zur Ecke $j$ ist.
 
-In Dimension $l$ bezeichnen wir mit $C_l$  den Vektorraum bestehend
-aus den Linearkombinationen
+Simplizes verschiedener Dimension in $\mathbb{R}^N$ können natürlich 
+immer unterschieden werden, wir können also den Vektorraum in einzelne
+Vektorräume aufteilnen, einen für jede Dimension.
+In Dimension $l$ bezeichnen wir mit $C_l$ den Vektorraum, dessen
+Basisvektoren $l+1$-Tupel
+\(
+[P_0,\dots,P_l]
+\)
+von Punkten von $\mathbb{R}^N$ sind.
+Der Vektorraum $C_l$ besteht dann aus Linearkombinationen
 \[
 C_l
 =
 \biggl\{
-\sum_{i_1<\dots<i_l} x_{i_1\dots i_l} s_{i_1\dots i_l}
-\,
-\bigg|
-\,
-s_{i_1\dots i_l}\in\mathbb{R}
-\biggr\},
-\]
-wobei $s_{i_1\dots i_l}$ das Simplex mit den Ecken $i_1,\dots,i_l$ ist.
-
-Für $n=1$ gibt ist $C_1$ ein eindimensionaler Vektorraum und $C_0$
-ist zweidimensional.
-Die Randabbildung, die einer Kante den Rand zuordnet, ist
-\[
-\partial
-\colon 
-C_1\to C_0
-:
-s_{01}
-\mapsto
-1\cdot s_0 + (-1)\cdot s_1
-\]
-und hat in den oben beschriebenden Basen die Matrix
-\[
-\partial 
-=
-\begin{pmatrix}
-1\\
--1
-\end{pmatrix}.
+\sum x_{P_0\dots P_l} [P_0,\dots,P_l]
+\;\bigg|\;
+x_{P_0\dots P_l}\in\mathbb{R}
+\biggr\}.
 \]
+Die Seitenflächen dieses Simplex sind die $l-1$-dimensionalen
+Simplizes, die man erhält, indem man eine Ecke weglässt.
+Wir bezeichnen mit $[P_0,\dots,\widehat{P_i},\dots,P_l] \in C_{l-1}$
+Die Seitenfläche, die man durch Weglassen der Ecke $P_i$
+erhalten hat.
 
 \subsubsection{Rand eines Simplex}
-Einem Simplex muss auch der Rand zugeordnet werden können.
-Setzt man in $\triangle_2$ den Parameter $t_k=0$, dann erhält
-man die Kante,
-die der Ecke mit Nummer $k$ gegenüberliegt.
-Für jedes $k$ gibt es also eine Abbildung
-\[
-i_k
-\colon
-\triangle_{n-1} \to \triangle_n
-:
-(t_0,\dots,t_n)
+Die Oberfläche eines Simplex ist nicht einfach die Summe der
+Seitenflächen.
+Die Kanten eines Dreiecks $[P_0,P_1,P_2]$ müssen so aneinandergefügt
+werden, dass sie einen Weg um das Dreieck ergeben.
+Beginnt man das Dreieck in Richtung der Kanten
+$[P_0,P_1]$ und $[P_1,P_2]$ zu umlaufen, trifft man in
+``verkehrter'' Richtung auf die Kante $[P_0,P_2]$.
+Für den Rand des Dreiecks muss man also diese Kante mit negativem
+Vorzeichen zählen:
+\begin{align*}
+\partial_3 \colon
+[P_0,P_1,P_2]
 \mapsto
-(t_0,\dots,t_{k-1},0,t_{k},\dots,t_n),
-\]
-in die Kante gegenüber der Ecke $e_k$.
+[P_0,P_1]
++ [P_1,P_2]
+- [P_0,P_2]
+&=
+[\widehat{P_0},P_1,P_2]
+-[P_0,\widehat{P_1},P_2]
++[P_0,P_1,\widehat{P_2}]
+\\
+&=
+\sum_{i=0}^l (-1)^i [P_0,\dots,\widehat{P_i},\dots,P_3]
+\end{align*}
 Dies ist auch die Art, wie Kanten des Dreiecks $\triangle$ 
 in Abbildung~\ref{buch:homologie:figure:zusammenziehbar}
 orientiert wurden.
 
-Für den Rand des $2$-Simplexes mussten die Kanten mit alternierenden
-Vorzeichen zugeordnet werden.
-Damit wird erreicht, dass jeder Punkt sowohl Endpunkt einer 
-Kante und
-ausserdem Anfangspunkt der nächsten Kannte ist.
-Diese Eigenschaft soll auch in höheren Dimensionen erhalten bleiben.
-Die vier Dreiecke, die den Rand eines $3$-Simplex ausmachen,
-müssen so orientiert werden,
-dass jede Kante in beiden Richtungen durchlaufen wird.
-
 \begin{definition}
 \label{buch:def:randoperator}
-Der Randoperator ordnet die Kanten eines $n$-Simplex mit alternierenden
-Vorzeichen zu, die Matrix ist
+Der Randoperator ordnet einem $l$-Simplex dessen $l-1$-dimensonale
+Seitenflächen mit alternierenden Vorzeichen zu:
 \[
+\partial_l : [P_0,\dots,P_l]
+\mapsto
+\sum_{i=0}^l (-1)^i [P_0,\dots,\widehat{P_i},\dots,P_l].
 \]
 \end{definition}
 
+\subsubsection{Inzidenzmatrix eines gerichteten Graphen und Randoperator}
+In Abschnitt~\ref{buch:graphen:subsection:inzidenzmatrix} wurde die
+Inzidenzmatrix eines gerichteten Graphen $G=(V,E)$ definiert.
+Seien $V=\{v_1,\dots,v_n\}$ die Vertizes des Graphen und
+$E=\{e_1,\dots,e_m\}$ die Kanten. 
+Gibt es eine Kante $e_k = (v_i,v_j)\in E$ im Graphen, dann hat die Inzidenzmatrix
+in Spalte $k$ die Einträge $-1$ in Zeile $i$ und $+1$ in Zeile $j$.
+Die Kante $e_k$ können wir als eindimensionales Simplex $[v_i,v_j]$
+betrachten.
+Die Adjazenzmatrix ordnet ihm die Linearkombination
+\[
+A(G)\colon e_k=[v_i,v_j] \mapsto -[v_i] +[v_j]
+= (-1)^0 [\widehat{v_i},v_j] + (-1)^1 [v_i,\widehat{v_j}]
+=
+\partial_2 [v_i,v_j]
+\]
+zu.
+Die Adjazenzmatrix eines Graphen kann man also als den Randoperator
+$\partial_1$ betrachten, der auf den als $1$-dimensionale Simplizes
+betrachteten Kanten des Graphen wirkt.
+
+\subsubsection{Der Rand des Randes}
+Der Rand eines Tetraeders setzt sich aus vier Dreiecken
+zusammen.
+Jede Kante gehört zu genau zwei Seitenflächen. 
+Wenn die Dreiecke alle so orientiert sind, dass sie ``von ausserhalb''
+des Tetraeders betrachtet positiv orientiert sind, dann wird jede
+Kante zweimal in jeder Richtung durchlaufen.
+Bildet man den Rand all dieser Seitenflächen, kommte jede Kante
+einmal mit positivem und einmal mit negativem Vorzeichen vor,
+die Summe ist $0$.
+
+Ganz allgemein gilt, dass der Rand des Randes verschwindet.
+
+\begin{satz}
+\label{buch:homologie:satz:randrand}
+Es gilt $\partial_{l-1}\circ\partial_l=0$.
+\end{satz}
+
+\begin{proof}[Beweis]
+Der Rand des Simplex $[P_0,\dots,P_l]$ ist
+\[
+\partial_l[P_0,\dots,P_l]
+=
+\sum_{i=0}^l (-1)^i [P_0,\dots,\widehat{P_i},\dots,P_l].
+\]
+Darauf muss jetzt der Randoperator $\partial_{l-1}$ angewendet
+werden.
+Dabei wird jeweils der Index $i$ übersprungen, bei der Bildung der
+Summe müssen die Teile daher separat betrachtet werden:
+\begin{align}
+\partial_{l-1}\partial_l[P_0,\dots,P_l]
+&=
+\sum_{i=0}^l (-1)^i \partial_{l-1}[P_0,\dots,\widehat{P_i},\dots,P_l]
+\notag
+\\
+&=
+\sum_{i=0}^l (-1)^i
+\biggl(
+\sum_{j<i} (-1)^j
+[P_0,\dots,\widehat{P_j},\dots,\widehat{P_i}\dots,P_l]
+\notag
+\\
+&\hspace*{2cm}
++
+\sum_{j>i} (-1)^{j-1}
+[P_0,\dots,\widehat{P_i},\dots,\widehat{P_j}\dots,P_l]
+\biggr)
+\label{buch:homologie:eqn:randrand}
+\\
+&=
+\sum_{j<i} (-1)^{i+j}
+[P_0,\dots,\widehat{P_j},\dots,\widehat{P_i}\dots,P_l]
+-
+\sum_{j>i} (-1)^{i+j}
+[P_0,\dots,\widehat{P_i},\dots,\widehat{P_j}\dots,P_l]
+\notag
+\end{align}
+Der Exponent $j-1$ im zweiten Term von
+\eqref{buch:homologie:eqn:randrand}
+trägt der Tatsache Rechnung,
+dass der Index $i$ übersprungen worden ist.
+In der zweiten Summe kann man die Summationsindizes umbenennen,
+also $i$ durch $j$ ersetzen und umgekehrt, dann entsteht
+\begin{align*}
+\partial_{l-1}\partial_l[P_0,\dots,P_l]
+&=
+\sum_{j<i} (-1)^{i+j}
+[P_0,\dots,\widehat{P_j},\dots,\widehat{P_i}\dots,P_l]
+\\
+&\qquad
+-
+\sum_{i>j} (-1)^{j+i}
+[P_0,\dots,\widehat{P_j},\dots,\widehat{P_i}\dots,P_l]
+\\
+&=0.
+\qedhere
+\end{align*}
+\end{proof}
+
 \subsection{Polyeder}
 \begin{figure}
 \centering
@@ -253,8 +348,8 @@ Die Vereinigung ist aber nicht beliebig, vielmehr ist die Schnittmenge
 zweier beliebiger 1-Simplizes immer entweder leer, eine Menge 
 mit nur einem Vertex oder ein ganzes 1-Simplex.
 
-Dies reicht aber nicht, wie Abbildung~\ref{buch:homologie:polyeder}
-zeigt.
+Für höhere Dimensionen muss diese Idee ausgedehnt werden auf
+höherdimensionale Simplizes.
 In einem Graphen dürfen sich Kanten nicht in einem inneren Punkt treffen,
 sondern nur in Endpunkten.
 Verallgemeinert auf höherdimensionale Simplizes kann man dies als die
@@ -279,7 +374,7 @@ ist kein Polyeder, kann aber leicht zu einem Polyeder gemacht werden,
 indem man einzelne Kanten mit zusätzlichen Punkten unterteilt.
 Auch müssen die zweidimensionalen Simplizes aufgeteilt werden.
 
-Die Abbildung~\ref{buch:homologie:figure:polyeder} zeigt auch, dass
+Abbildung~\ref{buch:homologie:figure:polyeder} zeigt auch, dass
 die Darstellung einer Punktmenge als Polyeder nicht eindeutig ist.
 Man kann die Kanten und Flächen jederzeit weiter unterteilen, ohne
 dass sich die Gestalt der gesamten Menge dadurch ändert.
@@ -287,7 +382,7 @@ dass sich die Gestalt der gesamten Menge dadurch ändert.
 \subsection{Triangulation
 \label{buch:subsection:triangulation}}
 Unser Ziel ist, geometrische Objekte besser verstehen zu können.
-Dabei sind uns Deformationen ja sogar Knicke egal, es interessiert uns
+Dabei sind uns Deformationen und sogar Knicke egal, es interessiert uns
 nur die ``Gestalt'' des Objekts.
 Entfernungen zwischen Punkten sind ebenfalls von untergeordneter 
 Bedeutung, da sie bei Deformation nicht erhalten bleiben.