Topologie-Glossar

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten (Unterschied zur vorletzten Version).

Dies ist ein Glossar einiger Begriffe, die in dem Bereich der Mathematik vorkommen, der als Topologie bekannt ist.

Dieses Glossar besteht aus zwei Teilen. Der erste Teil beschäftigt sich mit allgemeinen Konzepten und der zweite Teil erklärt Typen von topologischen Räumen. Alle Räume in diesem Glossar werden als topologische Räume angenommen.

Inhaltsverzeichnis

1 Teil 1 – Topologische Konzepte
2 Teil 2 – Arten von topologischen Räumen

[Bearbeiten] Teil 1 – Topologische Konzepte

In diesem Abschnitt werden wichtige topologische Konzepte in alphabetischer Reihenfolge aufgeführt und kurz definiert.

Abschluss: Der Abschluss oder die abgeschlossene Hülle einer Teilmenge M eines Raumes R ist die Schnittmenge aller abgeschlossenen Mengen in R, die M enthalten. Der Abschluss ist die kleinste abgeschlossene Menge, die die ursprüngliche Menge enthält. Alternativ kann man den Abschluss von M in R auch als die Menge aller Berührpunkte von M in R definieren.

Basis: Ein System von offenen Mengen ist eine Basis einer Topologie, falls jede offene Menge eine Vereinigung von Mengen der Basis ist.

Berührpunkt: Ein Punkt x eines topologischen Raumes X heißt Berührpunkt der Teilmenge M von X, wenn jede Umgebung von x mit M einen nichtleeren Durchschnitt hat.

Derivierte Menge: Die Menge aller Häufungspunkte einer Menge M in einem Raum R wird mit M' bezeichnet. Dies ist identisch zu dem Abschluss ohne die isolierten Punkte.

Dicht: Eine dichte Menge ist eine Menge, deren Abschluss der ganze Raum ist.

Häufungspunkt: Ein Punkt p eines topologischen Raums X heißt Häufungspunkt einer Teilmenge B von X, wenn jede Umgebung von p mindestens einen Punkt von B enthält, der ungleich p ist. (Äquivalent: Wenn p im Abschluss von $B \setminus \{p\}$ liegt.)

Homöomorph: Zwei Räume X und Y sind homöomorph, falls es eine bijektive Abbildung f: X -> Y gibt, so dass f und f^-1 stetig sind. Vom Standpunkt der Topologie aus sind X und Y gleich. Die Funktion f wird Homöomorphismus genannt.

Homotope Abbildungen: Zwei stetige Abbildungen f, g: X -> Y sind homotop, falls es eine stetige Abbildung H: X × [0,1] -> Y gibt, so dass H(x,0) = f(x) und H(x,1) = g(x) für alle x aus X. Die Funktion H wird eine Homotopie zwischen f und g genannt.

Innerer Kern: Der innere Kern einer Teilmenge M des Raumes R ist die Vereinigung aller offenen Mengen von R, die in M enthalten sind. Er ist die größte offene Menge, die in der ursprünglichen Menge enthalten ist.

Innerer Punkt: Ein innerer Punkt einer Teilmenge M des Raumes R ist ein Element des inneren Kerns, also ein Punkt x, für den es einen offene Menge O gibt, die zur Gänze in M enthalten ist und x enthält.

isolierter Punkt: Ein Punkt p eines topologischen Raums X heißt isoliert, wenn die Menge {p} offen ist. Ein Punkt p einer Teilmenge B eines topologischen Raums X heißt isoliert in B, wenn es eine offene Menge U in X gibt, die mit B den Schnitt {p} hat.

Lokal endlich: Ein System von Teilmengen eines Raumes ist lokal endlich, falls jeder Punkt eine Umgebung hat, die nur endlich viele der Teilmengen schneidet.

Lokale Basis: Siehe Umgebungsbasis

n-Mannigfaltigkeit: Ein Hausdorff-Raum, in dem jeder Punkt eine zum Einheitsball $D n$ homöomorphe Umgebung besitzt.

Nirgends dicht: Eine nirgends dichte Menge ist eine Menge, deren Abschluss einen leeren inneren Kern hat.

Rand: Der Rand einer Menge ist der Abschluss der Menge minus ihrem inneren Kern.

Stetig: Eine Funktion von einem Raum in einen anderen ist stetig, wenn das Urbild jeder offenen Menge offen ist. Für eine speziellere Definition, die für die reelle Analysis ausreicht, siehe den Artikel über Stetigkeit.

Subbasis: Ein System von offenen Mengen ist eine Subbasis (Unter-Basis) einer Topologie, falls jede offene Menge eine Vereinigung von endlichen Schnitten von Mengen der Subbasis ist.

Teilüberdeckung: Eine Überdeckung K ist eine Teilüberdeckung einer Überdeckung L, falls jedes Element von K auch ein Element von L ist.

Topologische Invariante: Eine Kenngröße topologischer Räume, die sich bei einer homöomorphen Abbildung nicht ändert.

trennbar durch Funktionen: Zwei Mengen A und B in einem Raum sind durch Funktionen trennbar, falls es eine stetige Funktion von dem Raum auf das Intervall [0,1] gibt mit der Eigenschaft, dass A auf 0 abgebildet wird und B auf 1.

Umgebung: Eine Umgebung einer Menge S ist eine Menge, die eine offene Menge enthält, die wiederum die Menge S enthält. Eine Umgebung eines Punktes p ist eine Umgebung der einelementigen Menge {p}, also eine offene Menge, die p enthält.

Umgebungsbasis: Ein System B von Umgebungen eines Punktes x aus einem topologischen Raum X ist eine lokale Basis auf x, falls jede Umgebung von x ein Element von B enthält.

Überdeckung: Ein System {U_i} von Mengen ist eine Überdeckung, falls ihre Vereinigung der ganze Raum ist. Eine offene Überdeckung ist eine Überdeckung {U_i}, in der jedes U_i eine offene Menge ist.

Verfeinerung: Eine Überdeckung K ist eine Verfeinerung einer Überdeckung L, falls jedes Element von K eine Teilmenge eines Elementes von L ist.

Zerlegung der Eins: Eine Familie von stetigen Funktionen von einem Raum nach [0,1] mit folgenden Eigenschaften: Jeder Punkt besitzt erstens eine Umgebung, in der nur endlich viele der Funktionen einen von 0 verschiedenen Wert haben. Zweitens ist die Summe aller Funktionswerte in jedem Punkt 1.

[Bearbeiten] Teil 2 – Arten von topologischen Räumen

Topologische Räume können klassifiziert werden unter Berücksichtigung des Grades, in dem ihre Punkte getrennt sind, unter Berücksichtigung ihrer Kompaktheit, ihrer gesamten Größe und ihres Zusammenhangs.

[Bearbeiten] Trennungsaxiome

Für eine detaillierte Behandlung, siehe Trennungsaxiom. Einige dieser Begriffe werden in älterer mathematischer Literatur anders definiert; siehe Geschichte der Trennungsaxiome.

Kolmogoroff oder T₀: Ein Raum ist T₀, falls es zu jedem Paar von unterschiedlichen Punkten in dem Raum eine offene Menge gibt, die einen Punkt enthält, jedoch nicht den anderen. Verschiedene Punkte haben also verschiedene Umgebungsfilter.

T₁: Ein Raum ist T₁, falls jede einelementige Teilmenge (engl. singleton) abgeschlossen ist. T₁ Räume sind immer T₀.

Hausdorff oder T₂: Ein Raum ist Hausdorffsch, falls jedes Paar von unterschiedlichen Punkten disjunkte Umgebungen besitzt. Hausdorff-Räume sind immer T₁.

Nüchtern (engl. sober), falls jede irreduzible abgeschlossene Menge Abschluss genau eines Punktes ist. Hausdorff-Räume sind nüchtern; nüchterne Räume sind T₀.

Regulär: Ein Raum ist regulär, falls für alle abgeschlossenen Mengen C und Punkte p nicht in C, C und p disjunkte Umgebungen besitzen. Reguläre T₀-Räume sind immer Hausdorffsch.

Tychonoff: Ein Hausdorff-Raum ist Tychonoffsch, falls für alle abgeschlossenen Mengen C und Punkte p nicht in C, C und {p} funktionell getrennt sind. Tychonoff-Räume sind immer regulär.

Normal: Ein Raum ist normal, falls zwei beliebige disjunkte abgeschlossene Mengen disjunkte offene Umgebungen haben. Normale Räume erlauben Zerlegungen der Eins. Normale T₁-Räume sind immer Tychonoffsch.

[Bearbeiten] Kompaktheit

Parakompakt: Ein Raum ist parakompakt, falls jede offene Überdeckung eine offene, lokal endliche Verfeinerung besitzt. Parakompakte Hausdorff-Räume sind normal.

Lindelöf: Ein Raum ist lindelöfsch, falls jede offene Überdeckung eine abzählbare Teilüberdeckung besitzt.

Kompakt: Ein Raum ist kompakt, falls jede offene Überdeckung eine endliche Teilüberdeckung besitzt. Kompakte Räume sind immer lindelöf und parakompakt. Kompakte Hausdorff-Räume sind somit normal. Von einigen Autoren wird diese Eigenschaft auch als Quasi-Kompaktheit bezeichnet. In diesem Sprachgebrauch bezeichnet dann "kompakt" einen quasi-kompakten Hausdorff-Raum.

Lokal kompakt: Ein Raum ist lokal kompakt, falls jeder Punkt eine lokale Basis bestehend aus kompakten Umgebungen hat. Lokal kompakte Hausdorff-Räume sind immer Tychonoffsch.

relativ kompakt: Eine Menge ist relativ kompakt, falls ihr Abschluss kompakt ist.

[Bearbeiten] Größe

Separabel: Ein Raum ist separabel, falls er eine abzählbare dichte Teilmenge hat.

Erst-abzählbar: Ein Raum ist erst-abzählbar, falls jeder Punkt eine abzählbare lokale Basis hat.

Zweit-abzählbar: Ein Raum ist zweit-abzählbar, falls er eine abzählbare Basis als Topologie besitzt. Zweit-abzählbare Räume sind immer separabel, erst-abzählbar und lindelöfsch.

[Bearbeiten] Zusammenhang

Für eine detaillierte Behandlung und Beispiele siehe Zusammenhang (Topologie).

Zusammenhängend: Ein Raum X ist zusammenhängend, falls er nicht die Vereinigung von zwei disjunkten, nicht-leeren offenen Mengen ist.

Lokal zusammenhängend: Ein Raum ist lokal zusammenhängend, falls jeder Punkt eine lokale Basis bestehend aus zusammenhängenden Mengen besitzt.

Total unzusammenhängend: Ein Raum ist total unzusammenhängend, falls er keine zusammenhängende Teilmenge mit mehr als einem Punkt besitzt.

Wegzusammenhängend: Ein Raum X ist wegzusammenhängend (oder pfad-zusammenhängend), falls es für jedes Paar von Punkten x,y aus X einen Weg p von x nach y gibt, d.h. eine stetige Abbildung p : [0,1] -> X mit p(0) = x, und p(1) = y. Wegzusammenhängende Räume sind immer zusammenhängend.

Lokal wegzusammenhängend: Ein Raum ist lokal wegzusammenhängend, falls jeder Punkt eine lokale Basis bestehend aus wegzusammenhängenden Mengen besitzt. Ein lokal wegzusammenhängender Raum ist zusammenhängend genau dann, wenn er wegzusammenhängend ist.

Einfach zusammenhängend: Ein Raum X ist einfach zusammenhängend, falls er wegzusammenhängend ist und jede stetige Abbildung f : S¹ -> X homotop zu einer konstanten Abbildung ist (dabei ist S¹ der Einheitskreis im R²). Einfacher ausgedrückt: X besitzt keine "Löcher".

Semilokal einfach zusammenhängend: Ein Raum X ist semilokal einfach zusammenhängend, falls jeder Punkt eine Umgebung U besitzt, so dass sich jede Schleife in U in X zusammenziehen lässt (in U muss sie nicht notwendigerweise zusammenziehbar sein, daher nur semilokal).

Zusammenziehbar: Ein Raum X ist zusammenziehbar/kontrahierbar, falls die Identitätsabbildung auf X homotop zu einer konstanten Abbildung ist. Zusammenziehbare Räume sind immer einfach zusammenhängend.

Irreduzibel: Ein Raum X ist irreduzibel, falls er nicht die Vereinigung zweier echter abgeschlossener Teilmengen ist.

[Bearbeiten] Verschiedenes

Metrisierbar: Ein Raum ist metrisierbar, falls er homöomorph zu einem metrischen Raum ist. Metrisierbare Räume sind immer Hausdorff und parakompakt (und daher normal und Tychonoff) und erst-abzählbar.

Lokal metrisierbar: Ein Raum ist lokal metrisierbar, falls jeder Punkt eine metrisierbare Umgebung besitzt.

Homogen: Ein Raum X ist homogen, falls es für alle x und y aus X einen Homöomorphismus f : X -> X gibt, so dass f(x) = y. Anschaulich gesagt bedeutet dies, dass der Raum an jedem Punkt gleich aussieht. Alle topologischen Gruppen sind homogen.

Fixpunkteigenschaft: Ein Raum $X$ hat die Fixpunkteigenschaft, wenn jede stetige Abbildung $\phi:X \to X$ einen Fixpunkt besitzt. Die Sphäre $S n$ hat diese Eigenschaft nicht, da die Punktspiegelung am Mittelpunkt keine Fixpunkte besitzt. Für Vollkugeln $D n$ besagt der Fixpunktsatz von Brouwer, dass sie diese Eigenschaft besitzt.