aboutsummaryrefslogtreecommitdiffstats
path: root/buch/chapters/95-homologie/komplex.tex
diff options
context:
space:
mode:
authorAndreas Müller <andreas.mueller@ost.ch>2021-09-15 18:45:28 +0200
committerAndreas Müller <andreas.mueller@ost.ch>2021-09-15 18:45:28 +0200
commitb1a909384ea96997c563d43e461cb514212f57e6 (patch)
treea7eb1fcb6608a5cbe17484674d5e7217e183c2be /buch/chapters/95-homologie/komplex.tex
parentvarious cover variants (diff)
downloadSeminarMatrizen-b1a909384ea96997c563d43e461cb514212f57e6.tar.gz
SeminarMatrizen-b1a909384ea96997c563d43e461cb514212f57e6.zip
improve images
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}}