aboutsummaryrefslogtreecommitdiffstats
path: root/buch/chapters/95-homologie/chapter.tex
blob: fa559740b7b8c0c6313908d980b95a43aee1bb11 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
%
% chapter.tex -- Homologie
%
% (c) 2021 Prof Dr Andreas Müller, Hochschule Rapperswil
%
\chapter{Kettenkomplexe und Homologie
\label{buch:chapter:homologie}}
\lhead{Kettenkomplexe und Homologie}
\rhead{}
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
Dreiecks zu unterscheiden
(Abbildung~\ref{buch:homologie:figure:zusammenziehbar}).
\begin{figure}
\centering
\includegraphics{chapters/95-homologie/images/dreieck.pdf}
\caption{Ein Dreieck $\triangle$ (rechts) und der Rand des Dreicks
(links) sind mit den Methoden
der Graphentheorie nicht unterschiedbar. 
Als topologische Räume sind das Dreieck und sein Rand aber ganz klar
unterschiedbar: In einem Dreieck ist jeder geschlossene Pfad in einen 
Punkt zusammenziehbar, aber die Randkurve ist nicht mehrzusammenziehbar,
sobald man das Innere des Dreiecks entfernt.
\label{buch:homologie:figure:zusammenziehbar}}
\end{figure}
Die Randkurve ist in einem Dreieck zusammenziehbar, aber sobald man
das Innere des Dreiecks entfernt, ist die Randkurve nicht mehr
zusammenziehbar.
Dreieck und der Rand des Dreiecks sind also wie man sagt topologisch verschieden.

Die Inzidenzmatrix ordnet jeder Kante ihre beiden Endpunkte zu.
Die Homologietheorie verallgemeinert diese Idee.
Der sogenannte Randoperator ordnet jedem Dreieck, Tetraeder oder allgemein
jedem Simplex seinen Rand zu.
Damit wird es möglich, das Dreieck vom Rand des Dreiecks zu unterschieden.

Die Verallgemeinerung dieser Idee liefert eine algebraische Konstruktion
zu jedem topologischen Raum, die sogenannten Homologie-Gruppen.
Sie formalisieren ein mögliches Konzept der Dimension und der
Idee von ``Löchern'' in einem topologischen Raum.
Sie können dabei helfen, die topologische Struktur verschiedener
Räume zu unterscheiden.
Das Ziel dieses Kapitels ist nicht, die Homologietheorie 
vollständig zu entwickeln, sondern zu zeigen, wie man Matrizen
verwenden kann, um konkrete Rechnungen durchzuführen.

\input{chapters/95-homologie/simplex.tex}
\input{chapters/95-homologie/komplex.tex}
\input{chapters/95-homologie/homologie.tex}
%\input{chapters/95-homologie/mayervietoris.tex}
\input{chapters/95-homologie/fixpunkte.tex}