Mathematik: Topologie: Grundlagen

<< Buch Topologie

Einleitung

Die Topologie ist eines der jüngeren Teilgebiete der Mathematik, das sich im 20. Jahrhundert etabliert hat und inzwischen zu den Grundlagen der Mathematik zählt. Man kann die Topologie als eine weitgehende Verallgemeinerung der Geometrie auffassen, in der anstelle der genauen Lage und Maße geometrischer Objekte nur die groben Formen und deren relative Lage zueinander von Interesse sind. In der Geometrie und Analysis betrachtet man hauptsächlich euklidische Räume, also die reelle Zahlengerade $ℝ$, die reelle Ebene ${ℝ}^2$ und allgemein den $n$-dimensionalen reellen Raum ${ℝ}^n$. Diese Räume erlauben mit Hilfe reeller Koordinaten genaue Ortsangaben sowie das Messen von Abständen. Gegenstand der Topologie sind die allgemeineren topologischen Räume, in denen anstelle von meßbaren Entfernungen nur noch Umgebungen für die einzelnen Punkte definiert sind. Man kann anhand solcher Umgebungen nur noch eine ungefähre Nähe verschiedener Punkte feststellen. Zum Studium der Räume gehört die Untersuchung der Abbildungen zwischen ihnen. In der Geometrie sind das die linearen Abbildungen wie zentrische Streckungen, Drehungen und Spiegelungen, in der Analysis beschäftigt man sich mit differenzierbaren Abbildungen, und in der Topologie werden stetige Abbildungen untersucht.

Die allgemeinen topologischen Räume sind zwar ziemlich abstrakte Gebilde und daher etwas gewöhnungsbedürftig, aber dafür kann man geometrische Strukturen beschreiben, die sich den herkömmlichen Mitteln weitestgehend entziehen. Zum Beispiel haben eine Scheibe, ein Quadrat und ein Dreieck dieselbe Struktur, wenn man von der genauen Form des Randes absieht. Ein Kreisring, eine Kreislinie und auch ein verbeulter Kreisring haben dagegen eine andere Struktur, sie sind äquivalent zu einer Scheibe mit einem Loch in der Mitte. Die Untersuchung solcher geometrischer Strukturen spielt unter anderem auch eine Rolle in der höherdimensionalen Analysis.

Ein weiteres Beispiel sind Knoten. Die Knotentheorie ist ein Teilgebiet der Topologie, in der es um die Frage geht, wann zwei Knoten "äquivalent" sind. "Äquivalente" Knoten lassen sich ineinander umformen, ohne sie zu durchschneiden. Im folgenden Bild sind drei Knoten schematisch dargestellt, von denen die ersten beiden äquivalent sind. Der erste Knoten ist ein trivialer Knoten, also ein einfaches Band ohne Überkreuzungen.

Auf den ersten Blick scheint es vielleicht nicht besonders spannend zu sein, sich in der Mathematik mit Knoten zu beschäftigen, denn die Knoten, die im Alltag auftreten, hat man auch ohne große Theorie im Griff. Aber die Untersuchung von Knoten hat zu wichtigen Erkenntnissen in der geometrischen und algebraischen Topologie geführt. Unter anderem führt sie auf Fragen nach den möglichen Arten dreidimensionaler Räume und wie man diese erkennen und unterscheiden kann.

Grundlagen

Bevor es mit der Topologie richtig losgeht, sollen zunächst noch einige Grundlagen vorgestellt werden.

Mengen

Sei $S$ eine Menge. Dann ist die Potenzmenge $𝔓(S)$ die Menge aller Teilmengen von $S$, also $𝔓(S)=\{M\mid M\subseteq S\}$.

Ist $T$ eine zweite Menge, so ist die Vereinigung $S\cup T$ die Menge aller $x$, für die $x\in S$ oder $x\in T$ ist, in Formeln $S\cup T=\{x\mid x\in S\vee x\in T\}$.

Der Durchschnitt von $S$ und $T$ ist die Menge der Punkte, die sowohl in $S$ als auch in $T$ liegen, also $S\cap T=\{x\mid x\in S\wedge x\in T\}$.

Die Differenz $S-T$ besteht aus allen Punkten von $S$, die nicht in $T$ liegen, also $S-T=\{x\in S\mid x\notin T\}$.

Ist $A\subseteq T$ eine Teilmenge von $T$, so nennt man die Differenz $T-A$ auch das Komplement von $A$ in $T$.

Das Produkt $S\times T$ zweier Mengen $S$ und $T$ ist die Menge aller Paare $(s,t)$ mit $s\in S$ und $t\in T$.

Eine Relation $R$ auf einer Menge $S$ ist eine Beziehung zwischen den Elementen von $S$. Zum Beispiel die Beziehung $\le$ zwischen den Zahlen oder die Teilmengenbeziehung zwischen Mengen. Formal ist eine Relation eine Teilmenge $R\subseteq S\times S$ aus dem Produkt von $S$ mit sich.

Eine Relation $\le$ auf einer Menge $S$ heißt partielle Ordnung, wenn folgende Bedingungen erfüllt sind:

1. es gilt $s\le s$ für alle $s\in S$ (Reflexivität)
2. gelten für $s_1,s_2,s_3\in S$ die Beziehungen $s_1\le s_2$ und $s_2\le s_3$, dann gilt auch $s_1\le s_3$ (Transitivität)
3. aus $s_1\le s_2$ und $s_2\le s_1$ folgt $s_1=s_2$ (Antisymmetrie)

Eine Menge $S$ zusammen mit einer partiellen Ordnung $\le$ heißt linear geordnet, wenn je zwei Elemente aus $S$ vergleichbar sind, wenn also $s_1\le s_2$ oder $s_2\le s_1$ für je zwei Elemente $s_1,s_2\in S$ gilt.

Sei $(S,\le )$ eine partiell geordnete Menge und $T$ eine Teilmenge von $S$. Eine obere Schranke von $T$ ist ein Element $s\in S$, so daß $t\le s$ für alle $t\in T$ gilt.

Seien $S,T,\le$ wie oben. Ein Element $m\in T$ heißt maximales Element von $T$, wenn es kein $t\in T$ gibt mit $m\le t$.

Satz (Zorn'sches Lemma): Sei $S$ zusammen mit der Relation $\le$ eine partiell geordnete Menge. Wenn jede linear geordnete Teilmenge von $S$ eine obere Schranke hat, dann gibt es ein maximales Element von $S$.

Abbildungen

Eine Abbildung $f:S\to T$ ist eine Vorschrift, die jedem $x\in S$ genau ein $f(x)\in T$ zuordnet. Man schreibt auch $x\mapsto f(x)$, d.h. $x$ wird auf $f(x)$ abgebildet. Der Punkt $f(x)$ heißt Bildpunkt von $x$. Die Menge $\{f(x)\in T\mid x\in S\}$ aller Bildpunkte nennt man das Bild $f(S)$ von $S$. Für eine Teilmenge $A\subseteq T$ nennt man die Menge aller Punkte $x\in S$, die auf einen Punkt aus $A$ abgebildet werden, das Urbild $f^{-1}(A)$ von $A$, in Formeln $f^{-1}(A)=\{x\in S\mid f(x)\in A\}$.

Ist $f:S\to T$ eine Abbildung und $A\subseteq S$, so ist die Einschränkung von $f$ auf $A$, geschrieben $f_{|A}$, gegeben durch die Zuordnung $f_{|A}(x)=f(x)$ für $x\in A$

Bemerkungen:

• Ist $f:S\to T$ eine Abbildung und $A\subseteq T$, so gilt $S-f^{-1}(A)=f^{-1}(T-A)$.
• Es ist $f^{-1}(U)\cap f^{-1}(V)=f^{-1}(U\cap V)$ für Teilmengen $U,V$ von $T$.
• Ist $\mathrm{\Lambda }$ irgendeine Menge, und ist für jedes $\lambda \in \mathrm{\Lambda }$ eine Teilmenge $O_{\lambda }\subseteq T$ von $T$ gegeben, so gilt $\bigcup _{\lambda \in \mathrm{\Lambda }}{f}^{-1}(O_{\lambda })=f^{-1}(\bigcup _{\lambda \in \mathrm{\Lambda }}{O}_{\lambda })$.

Die identische Abbildung oder Identität $id:S\to S$ ist definiert als $id(x):=x$. Ist $A\subseteq S$ eine Teilmenge von S, so ist die Inklusion $i:A\to S$ ebenfalls gegeben durch $i(x):=x$. Die Inklusion ist also die Einschränkung der Identität auf die Teilmenge $A$.

Sind $f:S\to T$ und $g:T\to Z$ zwei Abbildungen, so ist die Komposition oder Zusammensetzung $g\circ f:S\to Z$ von $f$ und $g$ definiert durch $g\circ f(x):=g(f(x))$.

Für Kompositionen gilt $f^{-1}(g^{-1}(A))=(g\circ f{)}^{-1}(A)$.

Eine Abbildung $f:S\to T$, für die das Bild von $S$ die ganze Menge $T$ ist, also $f(S)=T$, heißt surjektiv. $f:S\to T$ heißt injektiv, wenn alle $x\in S$ verschiedene Bildpunkte $f(x)$ haben, wenn also aus $x\ne y$ folgt, daß $f(x)\ne f(y)$ ist. Eine Abbildung heißt bijektiv, wenn sie injektiv und surjektiv ist.

Sei $f:S\to T$ eine bijektive Abbildung. Dann ist $f$ insbesondere surjektiv, und daher ist für jedes $y\in T$ die Menge $f^{-1}(\{y\})$ nicht leer. Wegen der Injektivität enthält $f^{-1}(\{y\})$ höchstens einen Punkt. Es gibt also für jedes $y\in T$ genau einen Punkt $x\in S$ mit $f(x)=y$, und diese Zuordnung definiert eine Abbildung $g:T\to S$ definieren. Es gilt $g(f(x))=x$ für alle $x\in S$ oder anders gesagt $g\circ f=i{d}_S$. Die Abbildung $g$ heißt Umkehrabbildung von oder Inverse zu $f$ und man schreibt auch $g=f^{-1}$. Analog ist $f(g(y))=y$ oder $f\circ g=i{d}_T$, und $f$ ist die Umkehrabbildung $g^{-1}$ von $g$.

Spezielle Mengen

Die leere Menge wird als $\{\}$ oder $\mathrm{\varnothing }$ geschrieben.

Die Menge der natürlichen Zahlen $\{0,1,2,3,4,...\}$ wird wie üblich mit $\mathbb{N}$ bezeichnet.

$\mathbb{Z}$ bezeichnet die Menge der ganzen Zahlen $\{...,-3,-2,-1,0,1,2,3,...\}$.

$ℝ$ bezeichnet die Menge der reellen Zahlen. Für reelle Zahlen $a,b\in ℝ$ gibt es die folgenden Intervalle von $a$ bis $b$:

• $[a,b]=\{x\in ℝ\mid a\le x\le b\}$
• $[a,b[=\{x\in ℝ\mid a\le x<b\}$
• $]a,b]=\{x\in ℝ\mid a<x\le b\}$
• $]a,b[=\{x\in ℝ\mid a<x<b\}$

Der $n$-dimensionale reelle Raum ${ℝ}^n$ besteht aus allen $n$-Tupeln $x=(x_1,x_2,...,x_n)$ reeller Zahlen. Die $x_i,1\le i\le n$ heißen die Koordinaten von $x\in {ℝ}^n$. Der $n$-Würfel besteht aus allen Punkten $\{x=(x_1,x_2,...,x_n)\in {ℝ}^n\mid -1\le x_i\le +1\}$. Der $n$-Ball ist gegeben durch ${𝒟}^n=\{x\in {ℝ}^n\mid \sqrt{x_1^2+x_2^2+...+x_n^2}\le 1\}$ und die $n-1$-Sphäre durch ${𝒮}^{n-1}=\{x\in {ℝ}^n\mid \sqrt{x_1^2+x_2^2+...+x_n^2}=1\}$.

Abkürzungen

$\surd$	Ende eines Beweises.
$inf\{...\}$	Das Infimum ist die größte untere Schranke einer Teilmenge einer linear geordneten Menge.
oBdA	ohne Beschränkung der Allgemeinheit.
$sup\{...\}$	Das Supremum ist die kleinste obere Schranke einer Teilmenge einer linear geordneten Menge.

Weiter mit: Topologische Räume