Eine lokal endliche Sammlung nichtnegativer glatter Funktionen auf einer topologischen Mannigfaltigkeit, untergeordnet einer offenen Überdeckung, deren punktweise Summe eins ergibt; verwendet, um lokale Konstruktionen zu globalen Objekten zu verkleben.

Prinzip

Die Parakompaktheit des zugrunde liegenden Raums garantiert die Existenz untergeordneter Partitionen der Eins; lokale Endlichkeit stellt sicher, dass die Summe und verwandte Operationen global wohldefiniert und glatt sind.

Demonstration

Gegeben ein glattes Atlas und eine untergeordnete offene Überdeckung konstruiert man glatte Stützfunktionen (bump functions) in diesen Mengen und normiert sie so, dass ihre lokal endliche Summe eins ergibt, was die Zusammenführung lokaler Metriken zu einer globalen Riemannschen Metrik ermöglicht.

Fehlanwendung

Den Versuch, eine naive unendlich Summe nicht lokal endlicher Funktionen zu verwenden, ohne lokale Endlichkeit oder Stützkontrolle zu prüfen; dies kann in Divergenz oder Verlust der Glattheit enden.

Konsequenz

Partitionen der Eins ermöglichen die Fortsetzung lokaler Schnitte, die Konstruktion globaler Differentialformen, die Integration lokaler Dichter und die Definition globaler geometrischer Objekte unter Wahrung lokaler Daten.

Umkehrung

Ist der Raum nicht parakompakt (oder die Überdeckung nicht lokal endlich), existiert keine glatte Partition der Eins untergeordnet zu dieser Überdeckung, was viele übliche Verklebeverfahren verhindert.

Abgrenzung

Erfordert, dass der zugrunde liegende topologische Raum parakompakt ist (für glatte Partitionen typischerweise eine parakompakte glatte Mannigfaltigkeit); gilt nicht für beliebige nicht-parakompakte Räume oder Überdeckungen ohne lokal endliche Verfeinerung.

Semantische Spannung

Im Gegensatz zu Indikatorfunktionen der Überdeckungsmenge (die unstetig und nicht glatt sind); Partitionen der Eins sind glatt, nichtnegativ und summieren zu eins, was differenzierbares Verkleben statt bloßer mengenweiser Auswahl erlaubt.

Synthese

Eine Partition der Eins ist eine lokal endliche Familie glatter nichtnegativer Funktionen, untergeordnet einer offenen Überdeckung und mit identischer Summe eins; sie ist das Standardwerkzeug zum Verkleben lokaler geometrischer oder analytischer Daten zu globalen glatten Objekten.