diff options
author | Nao Pross <np@0hm.ch> | 2021-07-31 17:30:44 +0200 |
---|---|---|
committer | Nao Pross <np@0hm.ch> | 2021-07-31 17:30:44 +0200 |
commit | d7723ea05fe173c5203961dbc74aadf548338fb0 (patch) | |
tree | 12247fbfe674bc7b0f364c19b265ce8bb1059bb3 /buch/chapters/95-homologie/simplex.tex | |
parent | Fix commas and details in references.bib (diff) | |
parent | Merge pull request #58 from Kuehnee/master (diff) | |
download | SeminarMatrizen-d7723ea05fe173c5203961dbc74aadf548338fb0.tar.gz SeminarMatrizen-d7723ea05fe173c5203961dbc74aadf548338fb0.zip |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'buch/chapters/95-homologie/simplex.tex')
-rw-r--r-- | buch/chapters/95-homologie/simplex.tex | 131 |
1 files changed, 125 insertions, 6 deletions
diff --git a/buch/chapters/95-homologie/simplex.tex b/buch/chapters/95-homologie/simplex.tex index 5ca2ca8..0cf4aa7 100644 --- a/buch/chapters/95-homologie/simplex.tex +++ b/buch/chapters/95-homologie/simplex.tex @@ -1,17 +1,17 @@ % -% simplex.tex -- simplizes und simpliziale Komplexe +% simplex.tex -- simplizes und Polyeder % % (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule % -\section{Simplexe und simpliziale Komplexe +\section{Simplices \label{buch:section:simplexe}} -\rhead{Simplexe und simpliziale Komplexe} +\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{Simplexe und Rand -\label{buch:subsection:simplexe}} +\subsection{Simplices und Rand +\label{buch:subsection:simplices}} \subsubsection{Rand eines Dreiecks} Die Inzidenz-Matrix eines Graphen hat einer Kante die beiden Endpunkte @@ -231,8 +231,127 @@ 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:}} +\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. + + + + |