Überdeckung (Mathematik)

In d​er Mathematik i​st eine Überdeckung e​in grundlegendes Konzept a​us der Mengenlehre. Offene Überdeckungen spielen insbesondere b​ei der Kompaktheit v​on topologischen Räumen e​ine wichtige Rolle.

Definitionen

Überdeckung

Eine Familie von Teilmengen von heißt Überdeckung von , wenn

gilt. Die Überdeckung heißt endlich (oder abzählbar), wenn die Indexmenge endlich (bzw. abzählbar) ist.

Teilüberdeckung

Sind und Überdeckungen von , so heißt Teilüberdeckung von , falls zu jedem ein existiert mit . Das heißt, ist eine Teilmenge von .

Verfeinerung

Sind und wieder zwei Überdeckungen von , so heißt feiner als , wenn es zu jedem einen Index gibt, so dass gilt. Das Mengensystem wird dann Verfeinung oder Verfeinerungsüberdeckung von genannt.

Quasischrumpfung und Schrumpfung

Eine Verfeinerung, wie oben definiert, heißt eine Quasischrumpfung, wenn sogar gilt. Gilt zusätzlich und für alle , so spricht man von einer Schrumpfung.

Überdeckungen in topologischen Räumen

Offene/abgeschlossene Überdeckung

Eine Überdeckung eines topologischen Raumes heißt offen (bzw. abgeschlossen), wenn alle in offen (bzw. abgeschlossen) sind.

Kompaktheit

Ein topologischer Raum heißt kompakt, wenn jede offene Überdeckung von eine endliche Teilüberdeckung enthält.

Überdeckungseigenschaften

  • Eine Überdeckung heißt punktendlich, wenn jeder Punkt des Raumes in höchstens endlich vielen Überdeckungsmengen liegt. Ein topologischer Raum heißt metakompakt, wenn jede offene Überdeckung eine punktendliche Verfeinerung besitzt.
  • Eine Überdeckung heißt lokalendlich, wenn jeder Punkt des Raumes eine Umgebung hat, die höchstens endlich viele Überdeckungsmengen schneidet. Bekanntlich heißt ein topologischer Raum parakompakt, wenn jede offene Überdeckung eine lokalendliche Verfeinerung besitzt.
  • Eine Überdeckung heißt -lokalendlich, wenn sie als abzählbare Vereinigung von Mengenfamilien geschrieben werden kann, so dass jeder Punkt des Raumes zu jedem eine Umgebung hat, die höchstens endlich viele Mengen aus schneidet.
  • Eine Überdeckung heißt -diskret, wenn sie als abzählbare Vereinigung von Mengenfamilien geschrieben werden kann, so dass es zu jedem Punkt und zu jedem eine Umgebung dieses Punktes gibt, die höchstens eine der Mengen aus schneidet. Die -diskreten und -lokalendlichen Überdeckungen spielen eine wichtige Rolle im Satz von Bing-Nagata-Smirnow.

Normalität

Ein T1-Raum i​st genau d​ann normal, w​enn jede offene lokalendliche Überdeckung e​ine Schrumpfung besitzt.

Siehe auch

Literatur

  • Boto von Querenburg: Mengentheoretische Topologie (= Springer-Lehrbuch). 3., neu bearbeitete und erweiterte Auflage. Springer, Berlin u. a. 2001, ISBN 3-540-67790-9
  • Karl Peter Grotemeyer: Topologie, Bibliographisches Institut Mannheim (1969), ISBN 3-411-00836-9
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.