Überdeckung (Mathematik)

Ü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.

Inhaltsverzeichnis

Definitionen

Überdeckung

Eine Familie (A_i)_{i \in I} von Teilmengen von A 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 I endlich (bzw. abzählbar) ist.

Teilüberdeckung

Sind (A_i)_{i \in I} und (C_j)_{j \in J} Überdeckungen von B, so heißt (C_j)_{j \in J} Teilüberdeckung von (A_i)_{i \in I}, falls es zu jedem j \in J ein i \in I existiert mit Cj = Ai.

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_k)_{i \in I} genannt.

Überdeckungen in topologischen Räumen

Offene Überdeckung

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

Kompaktheit

Hauptartikel: Kompakter Raum

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

Siehe auch

Literatur


Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Überdeckung — steht für: Überdeckung (Mathematik), ein mathematischer Begriff der Topologie Kanonische Überdeckung, ein Begriff aus der Informatik das Problem der exakten Überdeckung in der Kombinatorik die notwendige Überdeckung von Luftbildern für die… …   Deutsch Wikipedia

  • Überdeckung — Über|dẹ|ckung, die; , en: 1. das Überdẹcken. 2. ↑ Überdachung (2). * * * Überdeckung,   1) Mathematik: in der Topologie eine Familie (Uα)α …   Universal-Lexikon

  • Kompakt (Mathematik) — kompakter Raum berührt die Spezialgebiete Mathematik Topologie Analysis ist Spezialfall von topologischer Raum parakompakter Raum Lindelöf Raum …   Deutsch Wikipedia

  • Kompaktheit (Mathematik) — kompakter Raum berührt die Spezialgebiete Mathematik Topologie Analysis ist Spezialfall von topologischer Raum parakompakter Raum Lindelöf Raum …   Deutsch Wikipedia

  • Gleichmäßige Überdeckung — Uniforme Räume im Teilgebiet Topologie der Mathematik sind Verallgemeinerungen von metrischen Räumen. Jeder metrische Raum kann auf natürliche Weise als uniformer Raum betrachtet werden, und jeder uniforme Raum kann auf natürliche Weise als… …   Deutsch Wikipedia

  • Halm (Mathematik) — Eine Garbe ist ein Begriff aus verschiedenen Gebieten der Mathematik wie zum Beispiel der algebraischen Geometrie und Funktionentheorie. Eine Garbe abelscher Gruppen über einem topologischen Raum besteht aus je einer abelschen Gruppe zu jeder… …   Deutsch Wikipedia

  • Keim (Mathematik) — Eine Garbe ist ein Begriff aus verschiedenen Gebieten der Mathematik wie zum Beispiel der algebraischen Geometrie und Funktionentheorie. Eine Garbe abelscher Gruppen über einem topologischen Raum besteht aus je einer abelschen Gruppe zu jeder… …   Deutsch Wikipedia

  • Garbe (Mathematik) — Eine Garbe ist ein Begriff aus verschiedenen Gebieten der Mathematik wie zum Beispiel der algebraischen Geometrie und Funktionentheorie. Eine Garbe abelscher Gruppen über einem topologischen Raum besteht aus je einer abelschen Gruppe zu jeder… …   Deutsch Wikipedia

  • Abzählbar kompakt — kompakter Raum berührt die Spezialgebiete Mathematik Topologie Analysis ist Spezialfall von topologischer Raum parakompakter Raum Lindelöf Raum …   Deutsch Wikipedia

  • Folgenkompakt — kompakter Raum berührt die Spezialgebiete Mathematik Topologie Analysis ist Spezialfall von topologischer Raum parakompakter Raum Lindelöf Raum …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”