Eigentliche Abbildung
Eine eigentliche Abbildung ist eine stetige Abbildung, die in der mengentheoretischen Topologie, einem Teilgebiet der Mathematik, untersucht wird.
Definitionen
Die Definition eigentlicher Abbildungen variiert von Autor zu Autor. Hier werden deshalb zwei gebräuchliche Definitionen vorgestellt.
- Eine stetige Abbildung zwischen zwei lokalkompakten Räumen heißt eigentlich, wenn das Urbild jeder kompakten Menge kompakt ist.
Eine weitere und allgemeinere Definition ist:
- Eine stetige Abbildung zwischen zwei topologischen Räumen heißt eigentlich, genau dann wenn für jeden beliebigen topologischen Raum Z die Abbildung abgeschlossen ist.
Die zweite Definition ist äquivalent zur ersten, wenn X ein Hausdorff-Raum und Y ein lokalkompakter Hausdorff-Raum ist.
Beispiele
- Ist die Definitionsmenge kompakt, so ist jede stetige Abbildung eigentlich.
- Jeder Homöomorphismus ist eigentlich, also auch jeder Diffeomorphismus und jede biholomorphe Abbildung.
Eigenschaften
- Eine eigentliche Abbildung ist abgeschlossen, das heißt, das Bild jeder abgeschlossenen Menge ist abgeschlossen.
- Die Einschränkung eigentlicher Abbildung auf einen abgeschlossen Unterraum ist immer eigentlich.
- Die Komposition eigentlicher Abbildungen ist wieder eigentlich. Topologische Räume zusammen mit den eigentlichen Abbildungen bilden also eine Unterkategorie der Kategorie der stetigen Funktionen.
- Sind topologische Räume und sind eigentliche Abbildungen, so ist wieder eine eigentliche Abbildung.
- Ist eine eigentliche Abbildung zwischen topologischen Räumen und ist kompakt, so ist kompakt in .
- Ist ein kompakter Raum und ein beliebiger topologischer Raum und das topologische Produkt, dann ist die Projektion eine eigentliche Abbildung.
Anwendungen
Eigentliche Abbildungen liefern ein Kriterium für die Kompaktheit eines topologischen Raumes: Sei ein einelementiger topologischer Raum mit der einzigen existierenden Topologie. Dann gilt: Ein topologischer Raum ist dann und nur dann kompakt, wenn die konstante Abbildung eigentlich ist. Hieraus folgen die letzten beiden genannten Eigenschaften.
Basierend auf einem Artikel in: Wikipedia.de Seite zurück© biancahoegel.de
Datum der letzten Änderung: Jena, den: 15.06. 2020