aboutsummaryrefslogtreecommitdiffstats
path: root/buch/chapters/95-homologie/simplex.tex
blob: 0cf4aa791ead4d25a2c6351f0d943949d0e1b1ff (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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
%
% simplex.tex -- simplizes und Polyeder
%
% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
%
\section{Simplices
\label{buch:section:simplexe}}
\rhead{Simplices}
Die Idee, das Dreieck und seinen Rand zu unterscheiden verlangt,
dass wir zunächst Dreiecke und deren höherdimensionale Verallgemeinerungen,
die sogenannten Simplizes entwickeln müssen.

\subsection{Simplices 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.
Dieses Idee soll jetzt verallgemeinert werden.
Der Rand des Dreiecks $\triangle$ in
Abbildung~\ref{buch:homologie:figure:zusammenziehbar}
besteht aus den Kanten $P_0P_1$, $P_1P_2$ und $P_0P_2$.
Für eine algebraische Definition müssen die Kanten offenbar eine
Orientierung haben, die ist aber garantiert, da wir den Anfangs-
und Endpunkten einer Kante verschiedene Vorzeichen gegeben haben.
Dem Dreieck $\triangle$ werden dann die drei Kanten $k_{01}$, $k_{02}$
und $k_{12}$ zuogeordnet, aber mit zusätzlichen Vorzeichen, die
die Orientierung festhalten.
Durchläuft man den Rand von $\triangle$ in der Reihenfolge $P_0P_1P_2$,
dann müssen die Kanten $k_{12}$ und $k_{02}$ ein negatives Vorzeichen
erhalten.

Wir können diese Zuordnung wieder mit einer Matrix ausdrücken.
\[
\begin{matrix}
\text{$k_{01}$:}\mathstrut\\
\text{$k_{02}$:}\mathstrut\\
\text{$k_{12}$:}\mathstrut
\end{matrix}
\qquad
\partial
=
\begin{pmatrix*}[r]
1\mathstrut\\
-1\mathstrut\\
1\mathstrut
\end{pmatrix*}
\]

\subsubsection{Simplizes}
Punkte, Kanten und Dreiecke sind die einfachsten Fälle sogenannter
Simplizes.
Wir formulieren die Definition dieser Objekte auf eine Weise,
die uns ermöglichen soll, sie auf beliebige Dimension zu verallgemeinern.

Die Strecke, die die Punkte $P$ und $Q$ miteinander verbindet,
kann beschrieben werden durch eine Parametrisierung
der Form
\begin{equation}
s_1
\colon
t
\mapsto
t\vec{p} + (1-t) \vec{q}
=
t_0 \vec{p} + t_1\vec{q},
\end{equation}
wobei die beiden positiven reellen Zahlen $t_0,t_1\in\mathbb{R}$ die
Bedingung $t_0 + t_1 = 1$ erfüllen.
Für ein eindimensionales Objekt brauchen wir also zwei Punkte und zwei
positive Parameter, die sich zu $1$ summieren.
Die Mengen $\triangle_1=\{ (t_0,t_1)\,|t_i\ge 0, t_0+t_1=1\}$ kann also
ganz allgemein als Parameterraum zur Beschreibung eindimensionalen Objektes
mit den Endpunkten dienen.
Eine Strecke ist also eine Abbildung der Form
\begin{equation}
s_1
\colon
\triangle_1 \to \mathbb{R}^N
:
(t_0,t_1)
\mapsto
t_0 \vec{p} + t_1\vec{q},
\end{equation}
und der Rand besteht aus den Punkten $s_1(0)$ und $s_1(1)$, wobei der
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
\[
\triangle_n
=
\{(t_0,\dots,t_n)\in\mathbb{R}^{n+1}\,|\, t_i\ge 0,t_0+t_1+\dots+t_n=1\}
\]
beschreibt zum Beispiel für $n=2$ ein Dreieck und für $n=3$ ein 
Tetraeder.

Gegeben $n+1$-Punkte $P_0,\dots,P_n$ mit Ortsvektoren
$\vec{p}_0,\dots,\vec{p}_n$ können wir eine Abbildung
\begin{equation}
s_n
\colon
\triangle_n
\to
\mathbb{R}^N
:
(t_0,\dots,t_n)
\mapsto
t_0\vec{p}_0
+
t_1\vec{p}_1
+
\dots
+
t_n\vec{p}_n
\end{equation}
Eine solche Abbildung verallgemeinert also den Begriff einer Strecke
auf höhere Dimensionen.

\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$.
\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
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
\[
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}.
\]

\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)
\mapsto
(t_0,\dots,t_{k-1},0,t_{k},\dots,t_n),
\]
in die Kante gegenüber der Ecke $e_k$.
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
\[
\]
\end{definition}

\subsection{Polyeder}
\begin{figure}
\centering
\includegraphics{chapters/95-homologie/images/polyeder.pdf}
\caption{Aufbau eines zweidimensionalen Polyeders aus
verschiedenen Simplizes.
Die Schnittmenge zweier Simplizes muss ein Untersimplex beider Simplizes
sein.
Die roten Kreise im linken Bild weisen auf verschiedene Situationen
hin, wo das diese Bedingung nicht erfüllt ist.
In rechten Bild sind zusätzliche Simlizes hinzugefügt worden, um
die Bedingungen eines Polyeders zu erfüllen.
\label{buch:homologie:figure:polyeder}}
\end{figure}
Aus einzelnen Simplizes können jetzt kompliziertere geometrische
Objekte gebaut werden.
Ein Graph ist ein Beispiel für ein geometrisches Objekt, welches
als Vereinigung von 1-Simplizes entsteht.
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.
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
Bedingung formulieren, dass die Schnittmenge zweier beliebiger
Simplizes immer Untersimplizes beider Simplizes sein müssen.
Wir fassen dies zusammen in der folgenden Definition.

\begin{definition}
\index{Polyeder}%
\index{Dimension eines Polyeders}%
\index{Polyeder, Dimension eines}%
Ein {\em Polyeder} ist eine Vereingung von endlich vielen Simplizes derart,
dass die Schnittmenge zweier beliebiger Simplizes immer ein Untersimplex
beider Simplizes ist.
Die {\em Dimension} des Polyeders ist die grösste Dimension der darin
enthaltenen Simplizes.
\end{definition}

Ein Graph ist nach dieser Definition ein eindimensionales Polyeder.
Die Mengen in der Abbildung~\ref{buch:homologie:figure:polyeder}
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
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.

\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
nur die ``Gestalt'' des Objekts.
Entfernungen zwischen Punkten sind ebenfalls von untergeordneter 
Bedeutung, da sie bei Deformation nicht erhalten bleiben.
Der Begriff des ``topologischen Raumes'' fasst diese Ideen mathematisch
präzise ein, eine genaue Definition würde aber an dieser Stelle zu weit
führen.
Stattdessen beschränken wir uns auf eine Klasse von Punktmengen, die man
mit Simplizes beschreiben kann.

Ein topologischer Raum zeichnet sich durch einen Nachbarschaftsbegriff
von Punkte aus, der erlaubt zu definieren, was eine stetige Abbildung ist.
Ein stetige Abbildungen bildet nahe beeinander liegende Punkte wieder
auf nahe beeinander liegende Punkte ab.
Dass nahe liegende Punkte nicht plötzlich auf weit auseinander liegende
Punkte abgebildet werden gibt die Intuition wieder, dass Deformationen
möglich sein sollen, dass der Raum dabei aber nicht ``reissen'' darf.
Zwei topologische Räume $X$ und $Y$ können daher als ``gleichgestaltig''
betrachtet werden, wenn es zwei stetige Abbildungen $f\colon X\to Y$
und $g\colon Y\to X$ gibt, die zu einander invers sein.
Oder wenn sich $X$ stetig auf $Y$ abbilden lässt, so dass auch die
Umkehrabbildung stetig ist.
Eine solche Abbildung heisst ein {\em Homöomorphismus}, die beiden Räume
$X$ und $Y$ heissen {\em homomorph}.

Eine Kugel ist natürlich kein Polyeder, aber sie kann leicht homöomorph
auf ein dreidimensionales Simplex abgebildet werden.

\begin{beispiel}
Sei $T$ ein reguläres Tetraeder mit den Ecken auf der dreidimensionalen
Einheitskugel $B^3$.
Für jeden Richtungsvektor $x\ne 0$ sei $l(x)$ Entfernung vom Mittelpunkt des
Tetraeders bis zum Durchstosspunkt einer Geraden durch den Mittelpunkt
mit Richtungsvektor $x$ durch die Oberfläche des Tetraeders.
Dann sind die Abbildungen
\[
f\colon
T\to B^3
:
x \mapsto\begin{cases}
\displaystyle
\frac{x}{l(x)}&\quad\text{für $x\ne 0$}\\
0&\quad\text{für $x=0$}
\end{cases}
\qquad\text{und}\qquad
g\colon
B^3\to T
:
x \mapsto\begin{cases}
l(x) x&\quad\text{für $x\ne 0$}\\
0&\quad\text{für $x=0$}
\end{cases}
\]
zueinander inverse stetige Abbildungen oder Homöomorphismen.
\end{beispiel}

Im Folgenden sollen daher nur solche topologischen Räume untersucht werden,
die homöomorph sind zu einem Polyeder.
Man nennt die homöomorphe Abbildung eines Polyeders auf so einen Raum
auch eine Triangulation.
Durch Unterteilung der Simplizes in kleiner Simplizes kann eine solche
Triangulation beliebig verfeinert werden.