##  [Parakompaktheit](/de/node/62192) 

 Definition

Ein Raum ist parakompakt, wenn jede offene Überdeckung eine offene Verfeinerung besitzt, die lokal endlich ist (jeder Punkt hat eine Umgebung, die nur endlich viele Mengen der Verfeinerung schneidet).

 

 

 

 

 

 





## Prinzip

Prinzip

Die ordnende Idee ist, dass Überdeckungen in lokal handhabbare Stücke verfeinert werden können: lokale Endlichkeit verhindert das Ansammeln zu vieler Überdeckungsstücke in der Nähe eines Punktes und ermöglicht Konstruktionen, die Kontrolle in jedem Punkt erfordern.

 

 

 

 

 





## Demonstration

Demonstration

Jeder metrisierbare Raum ist parakompakt: Aus jeder offenen Überdeckung lässt sich eine lokal endliche Verfeinerung konstruieren (etwa durch Kugeln mit schrumpfenden Radien und ein Standard-Auswahlverfahren), ein zentraler Schritt zum Nachweis der Existenz von Zerlegungen der Eins auf solchen Räumen.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Parakompaktheit mit Kompaktheit gleichzusetzen ist irreführend: Kompaktheit liefert endliche Teilüberdeckungen, Parakompaktheit hingegen lokal endliche Verfeinerungen; ferner ist Parakompaktheit stärker als Metakompaktheit, aber schwächer als manche endlichen Überdeckungsbedingungen.

 

 

 

 

 





## Konsequenz

Konsequenz

Parakompakte Hausdorff-Räume besitzen zu jeder offenen Überdeckung Zerlegungen der Eins, was erhebliche Folgen in der differenziellen Topologie und bei geometrischen Konstruktionen hat; Parakompaktheit sichert viele lokale-zu-globalen Argumente ab.

 

 

 

 

## Umkehrung

Umkehrung

Ein nicht-parakompakter Raum (z. B. bestimmte Long-Line-Konstruktionen oder spezielle Produkttopologien) besitzt offene Überdeckungen ohne lokal endliche offene Verfeinerung, was Zerlegungen der Eins und viele Standardtechniken verhindert.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Parakompaktheit ist ohne Trennungseigenschaften definiert, entfaltet ihre stärksten Folgen jedoch zusammen mit Hausdorff- oder Regularitätsannahmen; sie wird nicht generell bei beliebigen Produkten oder allen Quotientenoperationen erhalten.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Es besteht semantische Spannung zwischen Parakompaktheit, Metakompaktheit (punktendlich verfeinerbar) und σ-Parakompaktheit (abzählbare Vereinigung parakompakter Teilmengen): verwandte, aber verschiedene Begriffe, die leicht vermengt werden.

 

 

 

 

 





## Synthese

Synthese

Parakompaktheit drückt die Fähigkeit aus, globale Überdeckungen in lokal endliche, kontrollierte Familien zu verfeinern; diese lokale Endlichkeit ist das technische Instrument, das Zerlegungen der Eins und viele lokale-zu-globale Konstruktionen in Topologie und Geometrie ermöglicht.