aboutsummaryrefslogtreecommitdiffstats
path: root/buch/chapters/95-homologie/komplex.tex
diff options
context:
space:
mode:
Diffstat (limited to 'buch/chapters/95-homologie/komplex.tex')
-rw-r--r--buch/chapters/95-homologie/komplex.tex9
1 files changed, 6 insertions, 3 deletions
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}}