Zum Inhalt springen

Mathematik:Topologie: Alte Version

Aus Wikibooks

Metrische Räume

[Bearbeiten]

Grundlegende Definitionen

[Bearbeiten]
In der Topologie untersucht man Mengen, anhand der Lage ihrer Elemente. Um solche Untersuchungen anstellen zu können, benötigt man einen Entfernungs- oder Abstandsbegriff, also ein Mittel um die Lage der Elemente zueinander zu beschreiben. Dieses Mittel ist eine Metrik, und gemäß unserer Anschauung sollte sie einige Eigenschaften besitzen, die sofort einleuchten:
  1. Objekte haben zu sich selbst keinen Abstand, insbesondere sind sie sich am nächsten und somit ist die Entfernung zu jedem anderen Objekt größer.
  2. Die Entfernung zweier Objekte voneinander ist unabhängig davon, wie ich messe, ob von Objekt A nach B oder umgekehrt. Sie sollte also richtungsunabhängig sein.
  3. Umwege vergrößern den Weg zwischen zwei Objekten. Eine Entfernungsfunktion sollte also wachsen, wenn man einen Umweg macht.
Unter diesen Vorgaben gelangt man zur folgenden

Definition:

Für eine Menge heißt die Funktion eine Metrik auf , wenn sie die folgenden Eigenschaften besitzt:
  • (Pos. Definitheit).
  • (Symmetrie).
  • (Dreiecksungleichung).
Das Paar heißt dann metrischer Raum. Eine Metrik ist laut Definition also definit, symmetrisch und erfüllt die Dreiecksungleichung.

Beispiele:

  • Die euklidische Metrik auf ist definiert durch:
für alle
  • Die diskrete Metrik auf einer beliebigen Menge ist definiert durch:
für alle .
  • Die Verallgemeinerung der euklidischen Metrik auf ist definiert durch:
für alle
  • Betrachtet man die euklidische Metrik auf als den metrischen Raum ergibt sich eine weiter Möglichkeit zu verallgemeinern. Die p-Metrik auf ist definiert durch:
für alle , wobei und gilt.
  • Die Maximums- Metrik auf ist definiert durch:
für alle .

Definition:

Seien ein metrischer Raum, und gegeben. Dann nennen wir fortan:
  • die (offene) Kugel mit Radius um .
  • die Sphäre mit Radius um .
Sei nun eine Teilmenge von dann heißt diese:
  • offen, falls gilt: .
  • abgeschlossen, falls gilt: ist offen.
Die Menge heißt das Komplement von in .

Stetigkeit

[Bearbeiten]
Definition
Seien und metrische Räume. Eine Abbildung ist stetig, wenn gilt:
  • .


Satz
Eine Funktion ist genau dann stetig, wenn die Urbilder aller offenen Mengen von , unter , wieder offen sind. Wenn also gilt:
  • .

Konvergenz

[Bearbeiten]

Definition von Konvergenz: Eine Folge in einem topologischen Raum konvergiert gegen (welches ebenfalls in dem topologischen Raum liegt), falls außerhalb jeder offenen Umgebung von nur endlich viele Folgenglieder (und folglich im inneren der Umgebung unendlich viele Folgeglieder) liegen. Man schreibt Der Punkt ist der Grenzwert oder Limes der Folge.

heißt Häufungspunkt, falls in jeder offenen Umgebung von unendlich viele Folgeglieder liegen.

Bemerkung: Jeder Grenzwert ist Häufungspunkt, die Umkehrung gilt im Allgemeinen nicht.

Korollar: Genau jeder Häufungspunkt einer Folge ist Grenzwert einer Teilfolge der Ausgangsfolge.

Bemerkung: Hat man also einen Häufungspunkt gefunden, so gibt es stets eine Teilfolge, die gegen diesen Häufungspunkt konvergiert. Wählt man umgekehrt eine Teilfolge aus, die einen Grenzwert besitzt, so ist dieser Grenzwert auch Häufungspunkt der Ursprungsfolge.

Beispiele:

  • Betrachte in . Die Folge lautet . Sie besitzt die Häufungspunkte und .
  • Betrachte in . Die Folge lautet . Der Grenzwert ist , da außerhalb jedes (offenen) Intervalls, das die enthält, nur endlich viele Folgeglieder liegen.
  • Betrachte in . Die Folge lautet Sie besitzt die Häufungspunkte und .
  • Betrachte die diskrete Topologie auf einer Menge . Dann konvergieren nur die schließlich konstanten Folgen (das sind die Folgen , für die es ein mit gibt.)

Lemma: sei ein metrischen Raum. Eine Folge in X heißt konvergiert gegen , falls gilt:

.

Definition von Cauchyfolge: heißt Cauchyfolge (CF) im metrischen Raum , falls gilt:

.

Definition: Ein metrischer Raum heißt vollständig, falls in ihm jede Cauchyfolge konvergiert.

Topologische Räume

[Bearbeiten]

Topologien können durch Metriken erzeugt werden.

Topologie

[Bearbeiten]

Definition

  • sei Menge. Ein System von Teilmengen von heißt Topologie auf , wenn es folgende Eigenschaften besitzt:
    • Jede Vereinigung von Mengen aus ist in bel. Indexmenge.
    • Jeder Durchschnitt endl. vieler Mengen aus liegt in endlich.
  • Ein topologischer Raum (TR) ist ein Paar (), wobei eine Menge und eine Topologie auf ist. Die Teilmengen von , die zu gehören, heißen offene Mengen von (). Die Komplemente von offenen Mengen heißen abgeschlossene Mengen von .

Bemerkungen:

  • Eine Menge kann zugleich offen und abgeschlossen sein, insbesondere sind und (Grundmenge) immer offen und abgeschlossen. Es gibt Mengen, die weder offen noch abgeschlossen sind.

Umgebung

[Bearbeiten]

Die Menge heißt Umgebung des Punktes im topologischen Raum , falls eine Menge der Topologie umfasst, die enthält. In Formeln:

heißt Umgebung von , falls , so dass .

Bemerkungen:

  • muss nicht offen sein.
  • Jede offene Menge ist Umgebung aller ihrer Punkte.

Stetigkeit

[Bearbeiten]

Definition: Seien und topologische Räume. Eine Abbildung heisst stetig (bezüglich der Topologien und ), falls jedes Urbild einer offenen Menge wieder offen ist. In Formeln:

stetig, genau dann wenn gilt: .

Bemerkungen:

  • Das Wort 'offen' kann sich hier auf zwei verschiedene Topologien beziehen. Es ist sorgfältig darauf zu achten, in welchem Raum man sich befindet.
  • Die Testmengen aus brauchen keine Bildmengen zu sein.
  • Diese Definition liefert für metrische Räume das oben beschriebene Kriterium.

Erzeugung von Topologien

[Bearbeiten]

Produkttopologie

[Bearbeiten]

Produkttopologie

Quotiententopologie

[Bearbeiten]

Quotiententopologie

Zusammenhängende Räume

[Bearbeiten]

Zusammenhang

[Bearbeiten]

Definition: Ein topologischer Raum heißt zusammenhängend, falls es keine Zerlegung in zwei nicht-leere, offene und disjunkte Teilmengen gibt.

Das folgende Korollar entwirrt die Aussage, indem wir die doppelte Verneinung auflösen.

Korollar: Ein topologischer Raum ist genau dann zusammenhängend, wenn bei jeder Zerlegung in zwei offene disjunkte Teilmengen eine Menge die leere Menge oder die ganze Grundmenge ist.

Noch einfacher ausgedrückt: Nur die Leere Menge und die gesamte Grundmenge sind sowohl offen als auch abgeschlossen.

Der Begriff des Zusammenhangs ist so zu verstehen, dass es keine isolierten Punkte (sondern nur 'zusammenhängende') Punkte gibt, die eine gewisse topologische Eigenschaft besitzen oder nicht besitzen. Besitzt in einem zusammenhängenden topologischen Raum ein Punkt eine gewisse Eigenschaft, so gibt es eine Umgebung von , aus der alle Punkte diese Eigenschaft besitzen.

Etwas zugänglicher ist der Begriff wegweise zusammenhängend.

Wegweiser Zusammenhang

[Bearbeiten]

Definition: Sei ein topologischer Raum. Jede stetige Abbildung heißt Weg oder Pfad in .

Bemerkung: Die Topologie auf wird durch die Topologie von induziert durch die Metrik bzw. den Abstandsbegriff. Meistens stellt man sich das Intervall als Zeit vor und das Bild in als zurückgelegten Weg. Man kann o.B.d.A. ein anderes abgeschlossenes Intervall wählen. Der Einfachheit halber wurde hier gewählt.

Definition von wegweise zusammenhängend: Ein topologischer Raum heißt wegweise zusammenhängend, falls es zu je zwei Punkten einen Weg gibt mit und .

Bemerkung: Die Definition ist intuitiv verständlich; Kann man einen Weg finden von jedem Punkt zu jedem anderen, so ist der Raum wegweise zusammenhängend.

Alltagstaugliches Beispiel: Befinden wir uns auf einer Insel und wollen (trockenen Fußes) aufs Festland, so finden wir keinen Weg. Also sind das Festland zusammen mit der Insel nicht wegweise zusammenhängend. Innerhalb der Insel kommen wir von jedem Punkt zu jedem anderen. Die Insel an sich ist wegeweise zusammenhängend.

Trennungseigenschaften

[Bearbeiten]

Definition (Hausdorffsches Trennungsaxiom): Ein topologischer Raum heißt Hausdorff-Raum, wenn für alle Punkte gilt: genau dann, wenn und alle ihre Umgebungen teilen.

Bemerkung: Etwas gängiger ist die Definition, dass es zu zwei verschiedene Punkte passende Umgebungen und gibt, die disjunkt sind . An der Formulierung in der Definiton erkennt man, dass zwei Punkte mittels der Topologie unterschieden (bzw. aufgelöst oder getrennt) werden können. In metrischen Räumen beispielsweise kann dies an Hand des Abstands geschehen. Vielen Leuten erscheint es natürlich, zwei Punkte auch unterscheiden zu können. Das dies nicht immer so ist zeigt das folgende

Alltagstaugliches Beispiel: Unser Auge (oder eine Kamera) kann Punkte nur bis zu einem gewissen Grade auflösen. Punkte, die nahe beinander liegen, können nicht mehr unterschieden werden. Hier gilt das Hausorffsche Trennungsaxiom für die "Topologie des Auges" oder der "Topologie der Kamera" nicht.

Kompakte Räume

[Bearbeiten]

Definiton: Eine Menge eines topolgischen Raumes heißt kompakt genau dann wenn jede offene Überdeckung der Menge eine endliche Teilüberdeckung enthält.

Bemerkung: Eine offene Überdeckung einer Menge ist eine  Familie von offenen Mengen für die gilt . Die Definition von Kompaktheit bereitet erfahrungsgemäß Schwierigkeiten. Hier noch einmal in Worten: Stellen Sie sich vor, sie spielen ein Spiel mit einem Freund. Er nennt Ihnen eine offene Überdeckung Ihrer Menge, also ein paar Mengen, sagen wir: endlich viele, abzählbar unendlich viele oder sogar überabzählbar unendlich viele Mengen. Wenn Ihre Menge kompakt ist können Sie stets endlich viele Mengen (Vorsicht Ironie: Meistens reichen zwei bis drei Millionen Mengen.Ironie aus) daraus wählen, so dass sie trotzdem die Menge ganz bedeckt bekommt. Das darf auch etwas überstehen (d.h. es dürfen in auch zuviele Elemente in Ihrer Überdeckung sein, das schadet nicht). Egal wie sich Ihr Freund anstregen wird, sie können stets souverän die Mengen nennen. Das ist ganz besonders wichtig. Es reicht nicht, dass es eine offene Überdeckung einer Menge gibt, für die Sie dann eine endliche Teilüberdeckung finden müssen. Sie müssen in der Lage sein, für jede offene Überdeckung eine endliche Teilüberdeckung anzugeben. Die Möglichkeit der Auswahl ist übrigens wegen des  Auswahlaxioms sichergestellt.

Satz von Heine-Borel: Eine Teilmenge des ist genau dann kompakt, wenn sie beschränkt und abgeschlossen ist.

Bemerkung: Der Satz von Heine-Borel bietet ein handliches und gut vorstellbares Kriterium für Kompaktheit im (und damit auch im ). Warum ist Kompaktheit so wichtig? Darüber gibt der folgende Satz Auskunft:

Satz von Bolzano-Weierstraß: Jede Folge in einer kompakten Menge besitzt eine konvergente Teilfolge.

Beweis durch Widerspruch: Nehmen wir an, es gäbe eine Folge , die keine konvergente Teilfolge enthält. Dann besitzt jeder Punkt eine offene Umgebung, in der nur endlich viele Folgenglieder liegen. Die Gesamtheit dieser offenen Umgebungen bildet eine offene Überdeckung. Nach der Definition von Kompaktheit können wir endlich viele Umgebungen auswählen, die trotzdem noch überdecken. In jeder dieser Umgebungen liegen nur endlich viele Folgeglieder. Somit wären auch in der gesamten Überdeckung nur endlich viele Folgeglieder. Das ist ein Widerspruch, da alle und somit unendlich viele Folgeglieder in liegen. Korollar: Rechtecke, Kreise usw. (mit Rand!) sind kompakte Teilmengen von , geschlossene Intervalle (d.h. mit Endpunkten) sind kompakte Teilmengen von .

Homotopie

[Bearbeiten]

Wegalgebra

[Bearbeiten]

Wir müssen definieren, wie wir Wege miteinander verknüpfen. Dies geschieht einfach durch hintereinander abgehen. Bedingung ist, dass der Endpunkt des ersten Weges mit dem Startpunkt des zweiten Weges übereinstimmt.

Definition: Seien zwei Wege mit . Dann ist ein neuer Weg, falls man definiert

falls und falls .

Ein Weg heißt Schleife (englisch: loop), falls Start- und Endpunkt miteinander übereinstimmen, d.h. .

Äquivalenz von Wegen

[Bearbeiten]

Anschaulich gesprochen sind zwei Wege gleich, lateinisch: äquivelant, falls sie gleiche Anfangs- und Endpunkte haben und man den einen Weg durch ziehen und stauchen in den anderen überführen kann. Die Vorstellung ist, dass der Weg aus einem Gummiband besteht, dass sich beliebig weit ziehen lässt. Etwas mathematischer Gesprochen: Wir möchten gerne den einen Weg stetig in den anderen deformieren. Dafür bedürfen wir einer Art Abbildung von Wegen. Dies bewerkstelligt die

Homotopie: Eine Homotopie zweier Wege ist eine stetige Abbildung , so dass und ist.

Existiert für zwei Wege eine solche Homotopie, so nennen wir die Wege homotop.

Satz: Die Eigenschaft 'homotop' ist eine Äquivalenzrelation.

Beweis: Reflexiv: Jeder Weg kann durch die konstante Homotopie in sich selbst überführt werden. Symmetrie: Ist eine Homotopie, wo wird durch die gewünschte Homotopie induziert. Transitivität: Durch Hintereinanderausführung der Homotopien.

Fundamentalgruppen

[Bearbeiten]