Satz von Poincaré-Volterra
Der Satz von Poincaré-Volterra ist ein Lehrsatz der Topologie, einem der Teilgebiete der Mathematik. Er wird den beiden Mathematikern Henri Poincaré und Vito Volterra zugerechnet, welche ihn in ersten Versionen in den 1880er Jahren formulierten und bewiesen. Der Satz behandelt die Frage der Rückübertragung topologischer Eigenschaften durch offene stetige Abbildungen und formuliert dafür eine hinreichende Bedingung.
Zu dem Satz von Poincaré-Volterra gibt es eine Reihe weiterer Versionen und Abwandlungen. Über diese und über die Historie des Satzes gibt die Abhandlung von Peter Ullrich Auskunft.[1]
Formulierung des Satzes
Der Satz lautet in moderner Formulierung wie folgt:[2]
- Gegeben seien zwei Hausdorffräume und .
- sei zusammenhängend und sei lokal kompakt und lokal zusammenhängend und besitze eine abzählbare Basis.
- Ferner sei eine offene stetige Abbildung, welche der folgenden Zusatzbedingung genüge:
- Jedes Element besitze eine offene Umgebung derart, dass die Einschränkung hinsichtlich der beiderseitigen Unterraumtopologien einen Homöomorphismus darstelle.[3]
- Dann gilt:
- ist ebenfalls lokal kompakt, lokal zusammenhängend und versehen mit einer abzählbaren Basis.
Verwandtes Resultat
Die Theorie der riemannschen Flächen kennt ein dem obigen verwandtes Resultat, welches in der zugehörigen Fachliteratur ebenfalls als Satz von Poincaré-Volterra bezeichnet wird und welches sich als wesentliches Hilfsmittel zum Beweis des Satzes von Radó über riemannsche Flächen erwiesen hat.[4][5]
Dieses besagt folgendes:[6]
- Gegeben seien eine zusammenhängende Mannigfaltigkeit und ein Hausdorffraum , welcher eine abzählbare Basis besitze.
- Weiter sei eine stetige Abbildung, welche der folgenden Zusatzbedingung genüge:
- Für jedes Element sei die über dem Element liegende Faser ein diskreter Unterraum von .[7]
- Dann gilt:
- Auch hat eine abzählbare Basis.
Literatur
- Vorlage:Literatur
- Vorlage:Literatur
- Vorlage:Literatur
- Vorlage:Literatur
- Vorlage:Literatur
- Vorlage:Literatur
Einzelnachweise und Anmerkungen
- ↑ Vorlage:Literatur
- ↑ Bourbaki: S. 114–116.
- ↑ Eine stetige Abbildung dieser Art nennt man in der Topologie auch lokal topologisch; vgl. Schubert: S. 216.
- ↑ Maurin: S. 453–454.
- ↑ Behnke-Sommer: S. 453–454.
- ↑ Forster: S. 165–166.
- ↑ Eine dieser Zusatzbedingung genügende Abbildung zwischen zwei topologischen Räumen nennt man auch eine diskrete Abbildung; vgl. Forster: S. 18. In der Topologie treten diskrete Abbildungen vor allem im Zusammenhang mit Überlagerungen auf. Denn hier ist jede Überlagerungsabbildung diskret; vgl. Schubert: S. 216.