Überdeckung (Mathematik)

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

Definitionen

Überdeckung

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

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

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

Teilüberdeckung

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

Verfeinerung

Sind $(A_{i})_{i\in I}$ und $(D_{k})_{{k\in K}}$ wieder zwei Überdeckungen von $B\subset A$ , so heißt $(D_{k})_{{k\in K}}$ feiner als $(A_{i})_{i\in I}$ , wenn es zu jedem $k \in K$ einen Index $i\in I$ gibt, so dass $D_{k}\subset A_{i}$ gilt. Das Mengensystem $(D_{k})_{{k\in K}}$ wird dann Verfeinung oder Verfeinerungsüberdeckung von $(A_{i})_{i\in I}$ genannt.

Überdeckungen in topologischen Räumen

Offene/abgeschlossene Überdeckung

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

Kompaktheit

→ Hauptartikel: Kompakter Raum

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

Siehe auch

Lebesgue’sche Überdeckungsdimension

Basierend auf einem Artikel in:

Wikipedia.de