partition de l'unité

En première approche, on peut dire qu'une partition de l'unité est une famille de fonctions positives telles que, en chaque point, la somme sur toutes les fonctions des valeurs prises par chacune d'elles vaille 1 : Plus précisément, si est l'espace topologique sur lequel sont définies les fonctions de la partition, on imposera que la somme des fonctions ait un sens, c'est-à-dire que pour tout , la famille soit sommable. De façon usuelle, on impose une condition encore plus forte, à savoir qu'en tout point de , seul un nombre fini des soient non nulles. On parle alors de partition localement finie. On impose en général aussi des conditions de régularité sur les fonctions de la partition, de façon habituelle soit simplement que les fonctions soient continues et alors on parle de partition continue de l'unité, soit indéfiniment dérivables et alors on parle de partition C∞ de l'unité. Ces conditions, en général précisées par le contexte, sont habituellement sous-entendues. Et on utilisera l'expression partition de l'unité pour désigner une partition continue de l'unité localement finie ou bien une partition C∞ de l'unité localement finie. Les partitions de l'unité sont utiles car elles permettent souvent d'étendre des propriétés locales à l'espace tout entier. Bien sûr, ce sont les théorèmes d'existence qui font de cette notion un outil pratique.