Ein Vorgang in der Topologie, bei dem eine offene Überdeckung eines Raumes durch eine andere offene Überdeckung ersetzt wird, wobei jede Menge der neuen Überdeckung in einer Menge der ursprünglichen Überdeckung enthalten ist; dient dazu, Überdeckungen mit zusätzlichen Eigenschaften (z. B. lokal endlich) zu erzeugen.

Prinzip

Gegeben eine offene Überdeckung U eines topologischen Raumes X ist eine Verfeinerung V eine offene Überdeckung mit der Eigenschaft: Für jedes V∈V gibt es ein U∈U mit V ⊆ U. Verfeinerungen erlauben die Kontrolle des lokalen Verhaltens ohne Vergrößerung der ursprünglichen Mengen.

Demonstration

Beispiel: Für X = [0,1] und die Überdeckung U = {(-0.1,0.6),(0.4,1.1)} wählt man eine Verfeinerung V aus kleinen offenen Intervallen um jeden Punkt, z. B. V = {(-0.01,0.5),(0.5,0.99)}, wobei jedes V in einem U liegt. Auf Mannigfaltigkeiten verfeinert man Überdeckungen oft zu lokal endlichen Überdeckungen, die einer Partition der Eins untergeordnet sind.

Fehlanwendung

Jede Teilmenge einer Überdeckung als Verfeinerung zu betrachten; eine Teilmenge ist höchstens ein Unterüberdeckung, wenn sie noch X überdeckt, erfüllt aber nicht notwendigerweise die Einbettungsbedingung für Verfeinerungen.

Konsequenz

Durch richtige Verfeinerung erhält man Überdeckungen mit gewünschten Eigenschaften (lokal endliche, kontrollierbare Nerven), was Konstruktionen wie Partitionen der Eins oder homotopie-theoretische Approximationen ermöglicht.

Umkehrung

Vergröberung: Ersetzen einer Überdeckung durch eine, deren Mengen Vereinigungen der ursprünglichen Mengen sind; Vergröberung vereinfacht die globale Struktur, verliert aber feine lokale Kontrolle.

Abgrenzung

Gilt für Überdeckungen topologischer Räume und für bestimmte Typen von Überdeckungen (offen, abgeschlossen, messbar); nicht anwendbar, wenn Elemente keine Teilmengen von X sind oder die Einschlussbedingung nicht erfüllbar ist.

Semantische Spannung

Wird oft mit Unterüberdeckung verwechselt: Eine Unterüberdeckung ist eine Teilmenge, die noch überdeckt, während eine Verfeinerung nicht notwendigerweise eine Teilmenge ist und die Einschlussbedingung erfüllen muss; steht auch im Gegensatz zur Vergröberung.

Synthese

Eine Verfeinerung Einer Offenen Überdeckung ist die gezielte Ersetzung einer offenen Überdeckung durch eine feinere offene Überdeckung, deren Mengen in den ursprünglichen Mengen liegen, um lokale Regularität zu gewinnen und gleichzeitig die globale Überdeckung beizubehalten.