Eine lokal endlich überdeckte Sammlung nichtnegativer glatter Funktionen auf einer topologischen Mannigfaltigkeit (oder einem Gebiet), die einem offenen Überzug untergeordnet ist und deren punktweise Summe identisch eins ist; verwendet, um globale Konstruktionen durch Gewichtung und Verkleben lokaler Daten zu lokalisieren.

Prinzip

Verwendung glatter, lokal getragener Abschneidefunktionen, deren Summe eins ergibt, um lokale Objekte (Funktionen, Formen, Metriken) zu übertragen und zu einem einzigen globalen Objekt zu verbinden, ohne Glattheit zu verlieren.

Demonstration

Auf einer glatten Mannigfaltigkeit wählt man einen lokal endlichen offenen Überzug, verfeinert ihn falls nötig und konstruiert glatte bump-Funktionen auf den verfeinerten Mengen, sodass ihre Summe eins ergibt; man verklebt dann lokale Schnitte eines Vektorbündels, indem man jede lokale Sektion mit der entsprechenden bump multipliziert und aufsummiert.

Fehlanwendung

Anwendung einer Familie, die nicht lokal endlich oder nicht glatt ist (z. B. unendlich überlappende Träger mit nicht konvergenter Summe oder nur messbare Abschneidungen), sodass die resultierende Summe nicht glatt oder nicht wohldefiniert ist, oder der Versuch, eine Partition einem nicht verfeinerten Überzug oder auf einem nicht parakompakten Raum zu unterordnen.

Konsequenz

Ermöglicht die Fortsetzung lokaler Konstruktionen zu globalen, ohne Regularität zu verlieren; erlaubt Lokalisierungsargumente (Partielle Integration, Konstruktion globaler Metriken oder Zusammenhangsformen) und das Verkleben von PDE-Lösungen oder Bündelsektionen.

Umkehrung

Wenn man die Forderung, dass die Summe eins ist, durch die Forderung ersetzt, dass die Summe null oder eine beliebige Funktion ist, geht die Normierung verloren, die eine treue konvexe Kombination lokaler Daten garantiert; ohne die Einheitssumme ist die Invarianz des verklebten Objekts gegenüber lokalen Änderungen nicht gesichert.

Abgrenzung

Setzt für die Existenz in der glatten Kategorie Parakompaktheit des Raumes voraus; die Konstruktion erfordert hinreichende Regularität (glatt, C^k oder stetig) und scheitert typischerweise auf nicht parakompakten Räumen oder bei nur nicht lokal endlichem Überzug.

Semantische Spannung

Unterscheidet sich von Zerlegungen einer Menge in disjunkte Indikatorfunktionen: Partitions of Unity verwenden überlappende, glatte Gewichte mit Summe eins statt paarweise disjunkter Indikatoren und tauschen Exklusivität gegen Regularität und lokale Kontrolle ein.

Synthese

Eine Partition der Eins ist eine glatte, lokal endliche Gewichtung eines Überzugs mit normierter Summe eins, die es ermöglicht, lokale glatte Daten kohärent zu einem globalen glatten Objekt auf parakompakten Mannigfaltigkeiten zu verbinden.