Überdeckung (Mathematik)

In der Mathematik ist eine Überdeckung ein grundlegendes Konzept aus der Mengenlehre. Offene Überdeckungen spielen insbesondere bei der Kompaktheit von topologischen Räumen eine wichtige Rolle.

Eine Familie ${\displaystyle (A_{i})_{i\in I}}$ von Teilmengen von ${\displaystyle A}$ heißt Überdeckung von ${\displaystyle B\subset A}$, wenn

${\displaystyle B\subset \bigcup _{i\in I}A_{i}}$

gilt. Die Überdeckung ${\displaystyle (A_{i})_{i\in I}}$ heißt endlich (oder abzählbar), wenn die Indexmenge ${\displaystyle I}$ endlich (bzw. abzählbar) ist.

Sind ${\displaystyle (A_{i})_{i\in I}}$ und ${\displaystyle (C_{j})_{j\in J}}$ Überdeckungen von ${\displaystyle B}$, so heißt ${\displaystyle (C_{j})_{j\in J}}$ Teilüberdeckung von ${\displaystyle (A_{i})_{i\in I}}$, falls zu jedem ${\displaystyle j\in J}$ ein ${\displaystyle i\in I}$ existiert mit ${\displaystyle C_{j}=A_{i}}$. Das heißt, ${\displaystyle (C_{j})_{j\in J}}$ ist eine Teilmenge von ${\displaystyle (A_{i})_{i\in I}}$.

Sind ${\displaystyle (A_{i})_{i\in I}}$ und ${\displaystyle (D_{k})_{k\in K}}$ wieder zwei Überdeckungen von ${\displaystyle B\subset A}$, so heißt ${\displaystyle (D_{k})_{k\in K}}$ feiner als ${\displaystyle (A_{i})_{i\in I}}$, wenn es zu jedem ${\displaystyle k\in K}$ einen Index ${\displaystyle i\in I}$ gibt, so dass ${\displaystyle D_{k}\subset A_{i}}$ gilt. Das Mengensystem ${\displaystyle (D_{k})_{k\in K}}$ wird dann Verfeinerung oder Verfeinerungsüberdeckung von ${\displaystyle (A_{i})_{i\in I}}$ genannt. ${\displaystyle (A_{i})_{i\in I}}$ heißt dabei gröber als ${\displaystyle (D_{k})_{k\in K}}$ ,wenn ${\displaystyle D_{k}\subset A_{i}}$ gilt. Einige Autoren unterscheiden mitunter die Teilmengenbeziehung und bezeichnen, wenn ${\displaystyle D_{k}\subset A_{i}}$ gilt, ${\displaystyle (D_{k})_{k\in K}}$ echt feiner als ${\displaystyle (A_{i})_{i\in I}}$ ; im Falle von ${\displaystyle D_{k}\subseteq A_{i}}$ hingegen ${\displaystyle (D_{k})_{k\in K}}$ feiner als ${\displaystyle (A_{i})_{i\in I}}$.

Eine Verfeinerung, wie oben definiert, heißt eine Quasischrumpfung, wenn sogar ${\displaystyle {\overline {D_{k}}}\subset A_{i}}$ gilt. Gilt zusätzlich ${\displaystyle K=I}$ und ${\displaystyle {\overline {D_{i}}}\subset A_{i}}$ für alle ${\displaystyle i\in I}$, so spricht man von einer Schrumpfung.

Eine Überdeckung ${\displaystyle (A_{i})_{i\in I}}$ eines topologischen Raumes ${\displaystyle X}$ heißt offen (bzw. abgeschlossen), wenn alle ${\displaystyle A_{i}}$ in ${\displaystyle X}$ offen (bzw. abgeschlossen) sind.

Ein topologischer Raum ${\displaystyle X}$ heißt kompakt, wenn jede offene Überdeckung von ${\displaystyle X}$ eine endliche Teilüberdeckung enthält.

• 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 ${\displaystyle \sigma }$-lokalendlich, wenn sie als abzählbare Vereinigung ${\displaystyle \textstyle \bigcup _{n\in \mathbb {N} }{\mathcal {A}}_{n}}$ von Mengenfamilien ${\displaystyle {\mathcal {A}}_{n}}$ geschrieben werden kann, so dass jeder Punkt des Raumes zu jedem ${\displaystyle n}$ eine Umgebung hat, die höchstens endlich viele Mengen aus ${\displaystyle {\mathcal {A}}_{n}}$ schneidet.
• Eine Überdeckung heißt ${\displaystyle \sigma }$-diskret, wenn sie als abzählbare Vereinigung ${\displaystyle \textstyle \bigcup _{n\in \mathbb {N} }{\mathcal {A}}_{n}}$ von Mengenfamilien ${\displaystyle {\mathcal {A}}_{n}}$ geschrieben werden kann, so dass es zu jedem Punkt und zu jedem ${\displaystyle n}$ eine Umgebung dieses Punktes gibt, die höchstens eine der Mengen aus ${\displaystyle {\mathcal {A}}_{n}}$ schneidet. Die ${\displaystyle \sigma }$-diskreten und ${\displaystyle \sigma }$-lokalendlichen Überdeckungen spielen eine wichtige Rolle im Satz von Bing-Nagata-Smirnow.

Ein T₁-Raum ist genau dann normal, wenn jede offene lokalendliche Überdeckung eine Schrumpfung besitzt.

• Lebesgue’sche Überdeckungsdimension
• Überlagerung (Topologie)

• 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