Partizione dell'unità

In topologia, una branca della matematica, una partizione dell'unità relativa ad uno spazio topologico $X$ è una famiglia di funzioni continue $\lambda_i : X \to \R$ che soddisfino le seguenti proprietà:

• $0 \leq \lambda_i (x) \leq 1$ per ogni $i$
• in ogni punto, solo un numero finito di funzioni ha valore non nullo
• la somma di tutte queste funzioni è identicamente uno:

$\sum_{i \in I} \lambda_i (x) = 1$

Questa somma è finita in ogni punto (e quindi la definizione è indipendente dal concetto di somma infinita) per la condizione precedente.

Una partizione dell'unità composta da quattro funzioni. La linea tratteggiata indica la somma delle funzioni in ogni punto

L'esistenza di una partizione dell'unità è spesso data in relazione ad un particolare ricoprimento: si dice che la partizione è subordinata al ricoprimento $U_i$ di $X$ se il supporto di $\lambda_i$ è contenuto in $U_i$ per ogni indice $i$.

Nel contesto della geometria differenziale si aggiunge la richiesta della liscezza delle funzioni $\lambda_i$: in questo caso per distinguere si parla di partizione differenziabile dell'unità.

La paracompattezza dello spazio è una condizione necessaria all'esistenza di una partizione dell'unità. A seconda del contesto, può anche essere sufficiente.

Voci correlate

• Spazio paracompatto
• Ricoprimento
• Funzione liscia
• Funzione di cutoff