Partition de l'unité

En première approche, on peut dire qu'une partition de l'unité est une famille de fonctions positives $(\phi_i)_{i\in I}$ telles que, en chaque point, la somme sur toutes les fonctions des valeurs prises par chacune d'elle vaille 1 : $\sum_{i\in I} \phi_i(x) = 1 ~$ .

Plus précisément, si $X$ 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 $x \in X ~$ , la famille $(\phi_i)_{i\in I} ~$ soit sommable. De façon usuelle, on impose une condition encore plus forte, à savoir qu'en tout point $x$ de $X$ , seul un nombre fini des $\phi_i~$ 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^\infty~$ 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^\infty~$ de l'unité localement finie.

Les partitions de l'unité sont souvent 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.

Sommaire

1 Définitions
- 1.1 Définition d'une partition continue de l'unité localement finie
- 1.2 Définition d'une partition subordonnée à un recouvrement
2 Théorèmes d'existence
3 Exemples de partition de l'unité de l'axe réel
4 Applications
5 Notes et références
6 Voir aussi
- 6.1 Bibliographie
- 6.2 Articles connexes

Définitions

Définition d'une partition continue de l'unité localement finie

Définition 1 — On appelle partition de l'unité d'un espace topologique $X$ , une famille de fonctions continues, $(\phi_i)_{i\in I}$ , définies sur $X$ et à valeur dans l'intervalle [0,1], telles que pour tout point $x\in X$ , les deux conditions suivantes soient satisfaites :

il existe un voisinage de $x$ tel que toutes les fonctions $\phi_i~$ soient nulles sur ce voisinage à l'exception d'un nombre fini d'entre elles.
la somme de toutes les valeurs prises par les fonctions $\phi_i~$ en $x$ soit égale à 1, c'est-à-dire : $\sum_{i\in I}\phi_i(x)=1$ pour tout $x\in X$ .

Définition d'une partition subordonnée à un recouvrement

Soient $X$ un espace topologique et $(U_i)_{i \in I}~$ un recouvrement ouvert localement fini de cet espace.

Définition 2 — On appelle partition de l'unité subordonnée au recouvrement $(U_i)_{i\in I}$ , une partition de l'unité $(\phi_i)_{i\in I}$ au sens de la définition 1, indexée par le même ensemble $I~$ que le recouvrement, et telle qu'en outre, pour tout $i\in I$ , le support de $\phi_i~$ soit inclus dans $U i$ .

Théorèmes d'existence

Parmi toutes les formulations possibles des théorèmes d'existence, nous proposons ci-dessous deux variantes. Nous empruntons la première variante à N. Bourbaki^[1] et la deuxième à Laurent Schwartz^[2].

Theorème 1 — Soit $X$ un espace normal. Pour tout recouvrement ouvert localement fini $(U_i)_{i \in I}$ de $X$ , il existe sur $X$ une partition de l'unité localement finie $(\phi_i)_{i\in I}$ subordonnée au recouvrement $(U_i)_{i \in I}$ .

Démonstration

On munit $I$ d'un bon ordre.
On définit, par récurrence transfinie, une famille $(g_i)_{i\in I}$ d'applications continues de $X$ dans [0,1] telles que si l'on définit les $B_\lambda~$ par $B_\lambda=\left\{x\in X;g_\lambda(x)>0\right\}$ , les propriétés suivantes soient satisfaites pour tout $i\in I$ :

$\operatorname{Supp}(g_i)\subset U_i$
la famille formée des $(B_\lambda)_{\lambda\leqslant i}$ et des $(U_\lambda)_{\lambda>i}~$ est un recouvrement ouvert de $X$ .

Supposons donc que les $g_i~$ sont définis pour tout $i<\gamma~$ et satisfont les propriétés 1 et 2 pour tout $i<\gamma~$ et montrons que l'on peut construire $g_\gamma~$ telle qu'elles soient aussi vérifiées pour $i=\gamma~$ .

On commence par montrer la proposition suivante : les $B_i~$ tels que $i<\gamma~$ et les $U_i~$ tels que $i\geqslant\gamma$ forment un recouvrement de

X

Par hypothèse, pour tout $x\in X$ , il n'y a qu'un nombre fini d'indices $\lambda\in I$ tels que $x\in U_\lambda$ , soient $\lambda_1<\lambda_2<\ldots<\lambda_n~$ . Soit $\lambda_h~$ le plus grand des $\lambda_i~$ tels que $\lambda_i<\gamma~$ .

- Si

h < n

, on a $x\in U_{\lambda_n}$ et $\lambda_n\geqslant\gamma$ ;

- Si

h = n

, l'hypothèse de récurrence nous donne que

x

appartient à un

B λ

tel que $\lambda\leqslant\lambda_n<\gamma$ , ce qui satisfait encore notre proposition.

On pose alors $C=\left(\bigcup_{i<\gamma}B_i\right)\cup\left(\bigcup_{i>\gamma}U_i\right)$ ;

C

est ouvert et d'après ce qui précède, on a $\complement U_\gamma\subset C$ .

D'après les propriétés fondamentales d'un espace normal, il existe une application continue

g

X

dans [0,1], telle que $g_\gamma(x)=0~$ dans $\complement U_\gamma$ et $g_\gamma(x)=1~$ dans $\complement C$ . Nous avons $\operatorname{Supp}(g_\gamma)\subset U_\gamma$ .

Par définition de $B_\gamma~$ on a $\complement C\subset B_\gamma$ , ou en d'autres termes $C\cup B_{\gamma}=X~$ . Les $B_i~$ tels que $i\leqslant\gamma$ et les $U_i~$ tels que $i>\gamma~$ forment bien un recouvrement de

X

, ce qui termine la preuve par récurrence.

Il est donc clair que la famille des $(B_i)_{i\in I}$ ainsi définie est un recouvrement de $X$ puisque pour tout $x\in X$ , il existe un $\gamma~$ tel que pour tout $i>\gamma~$ , $x\notin U_i$ . Ce recouvrement étant localement fini, on peut former la fonction $g=\sum_{i \in I}g_i~$ et par définition des $B_i~$ , on a $g(x)>0~$ pour tout $x\in X$ . Si on pose $\phi_i(x)=\frac{g_i(x)}{g(x)}$ pour tout $x\in X$ et $i\in I$ , les $\phi_i~$ forment une partition continue de l'unité subordonnée au recouvrement des $\left(U_i\right)~$ .

CQFD.

Théorème 2 — Soit $\Omega~$ un ouvert de $\R^n$ . Pour tout recouvrement de $\Omega~$ par des ouverts $(\Omega_i)_{i\in I}$ , on peut trouver une famille de fonctions $\phi_i~$ , indexées par le même ensemble $I~$ , définies sur $\Omega~$ , et vérifiant les propriétés suivantes :

$\phi_i\geqslant0$
$\operatorname{supp}(\phi_i)\subset\Omega_i$
sur tout compact de $\Omega~$ , seul un nombre fini des $\phi_i~$ ne sont pas identiquement nulles
$\sum_{i \in I}\phi_i(x)=1$ pour tout $x\in\Omega$ .

Les $\phi_i~$ constituent alors une partition de l'unité subordonnée au recouvrement $(\Omega_i)_{i\in I}$ .

Démonstration

Première étape : on commence par une démonstration dans le cas où les ouverts $\Omega_i~$ sont relativement compacts dans $\Omega~$ , c'est-à-dire que leur adhérence est compacte, et le recouvrement $(\Omega_i)~$ est localement fini, c'est-à-dire que tout compact est rencontré seulement par un nombre fini de ces ensembles.

Etant donné que $\Omega~$ est un ouvert de $\R^n$ , c'est un espace paracompact et donc on peut trouver un nouveau recouvrement localement fini $(\Omega_i')_{i\in I}$ , dépendant du même ensemble d'indices $I~$ et subordonné au premier recouvrement, c'est-à-dire tel que $\overline{\Omega_i'}\subset\Omega$ . On considère encore un recouvrement $(\Omega_i'')_{i\in I}$ subordonné au recouvrement $(\Omega_i')_{i\in I}$ . Soit alors $\beta_i~$ une fonction continue sur $\R^n$ , définie par la méthode de prolongement d'Urysohn, comprise entre 0 et 1, égale à +1 sur $\overline{\Omega_i''}$ et à 0 sur $\complement{\Omega_i'}$ . Comme $\overline{\Omega_i'}\subset\Omega$ est compact, pour $\epsilon_i>0~$ assez petit, le $\epsilon_i~$ -voisinage de $\overline{\Omega_i'}$ est contenu dans $\Omega_i~$ . On introduit alors la fonction régularisante (en) $\rho_{\epsilon_i}~$ définie par :

$\rho_{\epsilon}(x) =\begin{cases} 0 & \text{ pour } r \geqslant \epsilon \\ \\ \frac k{\epsilon^n} e^{\left( \frac{- r^2}{\epsilon^2 - r^2} \right)} & \text{ pour } r < \epsilon. \end{cases}$

Elle est positive, son support est inclus dans la boule centrée sur l'origine et de rayon $\epsilon~$ et la constante k est choisie de telle sorte que $\int_{\R^n}\rho_{\epsilon}(x)~\mathrm dx = 1$ . Alors la régularisée $\gamma_i=\beta_i* \rho_{\epsilon_i}~$ est strictement positive dans $\overline{\Omega_i'}$ et son support dans $\R^n$ est contenu dans $\Omega_i~$ . La somme $\sum_\nu\gamma_\nu(x)~$ est définie en tout point $x$ de $\Omega~$ , et même un nombre fini seulement de termes de cette somme ne sont pas identiquement nuls sur un voisinage compact de $x$ dans $\Omega~$ . Elle est indéfiniment dérivable et partout > 0 dans $\Omega~$ puisque les $\Omega_i''~$ forment un recouvrement de $\Omega~$ . Alors $\alpha_i(x)=\frac{\gamma_i(x)}{\sum_\nu\gamma_\nu(x)}$ satisfait à toutes les propriétés voulues.

Deuxième étape : cas général. On suppose le recouvrement $(\Omega_i)~$ arbitraire. Comme $\Omega~$ est paracompact, on peut trouver un recouvrement plus fin $(\Omega_j')~$ localement fini, dépendant d'un autre ensemble d'indices $J~$ , et une application $j\mapsto i(j)$ de $J~$ dans $I~$ , tels que tout $\Omega_j~$ soit relativement compact dans $\Omega~$ et que, pour tout $j \in J,~\Omega_j\subset\Omega_{i(j)}$ . D'après la première partie de la démonstration, il existe une partition de l'unité $(\alpha_j)~$ correspondant au recouvrement $(\Omega_j)~$ . On pose alors, pour tout $i\in I$ , $\phi_i=\sum_{i(j)=i}\alpha_j~$ . Tout $x$ de $\Omega~$ a un voisinage sur lequel un nombre fini seulement des $\alpha_j~$ ne sont pas identiquement nulles. Donc $\phi_i~$ est encore indéfiniment dérivable dans $\Omega~$ et son support dans $\Omega~$ est exactement la réunion des supports des $\alpha_j~$ pour lesquels $i(j)=i~$ . Alors les $\phi_i~$ ont toutes propriétés voulues.

CQFD.

Comme corollaire du théorème ci-dessus, à partir de sa démonstration, on peut formuler le théorème suivant :

Corollaire — Soit $\Omega~$ un ouvert de $\R^n$ . Pour tout recouvrement de $\Omega~$ par des ouverts $(\Omega_i)_{i\in I}$ , on peut trouver une famille de fonctions $\phi_j~$ , indexées par un ensemble d'indices $J~$ , non nécessairement égal à $I~$ , telle que toute fonction $\phi_j~$ est à support compact et pour tout $j \in J , ~ \operatorname{supp}(\phi_j) \subset \Omega_i~$ pour un $i \in I ~$ .

Le premier théorème montre que le fait qu'un espace soit normal (et donc a fortiori paracompact) est une condition suffisante pour l'existence de partitions de l'unité subordonnées à un recouvrement. Ces deux formulations montrent que l'on peut en général choisir soit d'avoir le support indexé par le recouvrement d'ouverts ou bien le support compact.

Exemples de partition de l'unité de l'axe réel

L'existence de partitions de l'unité continues ou même dérivables est assez intuitive. Il est facile d'en construire. On considère, par exemple, la fonction

$r(x)=\begin{cases} \frac{\cos(\pi x) + 1}{2}, & -1 < x <1,\\ 0, & x \leqslant -1 \text{ ou } x \geqslant 1 \end{cases}$

On vérifie aisément que la famille des fonctions $f_i, i \in\Z$ définie par

$f_i(x)= r(x-i) ~$ constitue une partition de l'unité dérivable de $\R~$ subordonnée au recouvrement ouvert $]i - 1; i + 1[, i \in\Z$ .

Voici maintenant un exemple de construction d'une partition de l'unité indéfiniment dérivable.

On considère la fonction

$r(x)=\begin{cases} \exp \left(- x^{-2} \right), & x > 0,\\ 0, & x \leqslant 0 \end{cases}$

Elle est indéfiniment dérivable sur $\R$ . Par conséquent, la fonction $s$ définie de la façon suivante

$s(x) = r (x+1) \cdot r(1-x)$

est elle aussi indéfiniment différentiable sur $\R$ , strictement positive dans l'intervalle ]-1; 1[ et identiquement nulle en dehors. On considère alors la famille des fonctions $f_i, i \in\Z$ définies par

$f_i(x)= \frac{s(x-i)}{\sum_{k \in\Z} s(x-k)}$ .

On remarque que la définition est consistante : en effet, chaque point $x$ , se trouve à l'intérieur d'au moins l'un des intervalles de la famille $]i - 1; i + 1[, i \in\Z$ (en fait chaque point se trouve à l'intérieur de deux intervalles, sauf les entiers qui ne se trouvent à l'intérieur que d'un seul intervalle). Et donc en chaque point $x$ , l'un au moins des éléments de la somme est strictement positif. Donc le dénominateur n'est jamais nul.

On vérifie aussi aisément qu'en chaque point $x$

$\sum_{i \in \Z} f_i(x)=1.$

La famille des $f_i, i \in\Z$ forme donc bien une partition de l'unité de l'axe réel, indéfiniment dérivable, et subordonnée au recouvrement ouvert $]i - 1; i + 1[, i \in\Z$ .

Applications

Les partitions de l'unité sont utilisées dans les questions d'intégration d'une fonction définie sur une variété^[3]. On commence par démontrer la propriété voulue sur une fonction dont le support est contenu dans une seule carte locale de la variété, et ensuite grâce à une partition de l'unité qui recouvre la variété, on étend le résultat à la variété tout entière. On se reportera aussi avec intérêt à l'article de présentation du Théorème de Stokes.

Les partitions de l'unité sont également utilisées en analyse fonctionnelle, par exemple dans l'étude des espaces de Sobolev définis sur un ouvert de $\R^n$ avec une frontière, pour montrer la densité des fonctions $C_c^\infty~$ à support compact définies sur $\R^n$ ^[4]^,^[5].

Ils sont aussi parfois utilisés pour résoudre des problèmes d'équations aux dérivées partielles, par exemple pour construire dans un domaine un champ de vecteur solénoïdal dont la valeur à la frontière du domaine est fixée^[6].

Notes et références

↑ N. Bourbaki, Éléments de mathématique. Livre III : Topologie générale, [détail des éditions], Chapitres 5 à 10, Springer-Verlag, 2007, IX.46, Th. 3
↑ L. Schwartz, Théorie des Distributions, Hermann, 1978, Ch.I, Th. II
↑ Y. Choquet-Bruhat, Géométrie différentielle et systèmes extérieurs, Dunod, 1968, II.B.8
↑ (en) R. Adams et J. Fournier, Sobolev Spaces, Academic press, 2003, 3.15
↑ Haïm Brezis, Analyse fonctionnelle : théorie et applications [détail des éditions], Masson, 1983, IX.2
↑ (en) O. Ladyzhenskaya, The Mathematical Theory of viscous incompressible Flow, Gordon and Breach Science Publishers, 1987, Ch.I, Sec.2, 2.1

Voir aussi

Bibliographie

(en) A. Arhangel'skii et al., General Topology III, Springer, 1995 (ISBN 978-3-54054698-6)
(en) Y. Borisovich et al., Introduction to Topology, Éditions Mir, 1985
N. Bourbaki, Éléments de mathématique. Livre III : Topologie générale, [détail des éditions], Chapitres 5 à 10, Springer-Verlag, 2007
(en) J. Dugundji, Topology, Allyn and Bacon Inc., 1966, réimpr. 1989 (ISBN 978-0-69706889-7)
(en) V. Vassiliev, Introduction to Topology, Student Mathematical Library Vol. 14, AMS, 2001 (ISBN 978-0-82182162-6)

Regardez d'autres dictionnaires:

Partition d'un entier — Pour les articles homonymes, voir Partition. En particulier en mathématiques, ne pas confondre avec la notion de partition de l unité ni celle de partition d un ensemble … Wikipédia en Français
Partition (mathématiques) — Pour les articles homonymes, voir Partition. En particulier en mathématiques, ne pas confondre avec la notion de partition d un entier, ni celle de partition de l unité. Une partition d un ensemble X est un ensemble P de sous ensembles non… … Wikipédia en Français
Partition — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « partition », sur le Wiktionnaire (dictionnaire universel) Le mot « partition », dérivé du… … Wikipédia en Français
Partition de Chypre — Partition de l’île de Chypre La rue Ledra à Nicosie, symbole des prémices d ouverture entre les deux parties de l île. Les drapeaux hissés représentent respectivement certaines des parties présentes dans le cadre de l hypothétique résolution du… … Wikipédia en Français
Partition des Indes — Partition de l Inde (1947) La Partition des Indes (hindustani: हिंदुस्तान की त‌‌‌‍क़्सीम (devanagari), ہندوستان کی تقسیم (nastaʿlīq)) est le partage basé sur la démographie religieuse de l Empire colonial britannique des Indes en deux États… … Wikipédia en Français
partition — [n] divider, division allotment, apportionment, barrier, detachment, disconnection, dissolution, distribution, disunion, dividing, hindrance, obstruction, parting, portion, rationing, rupture, screen, segregation, separation, severance, share,… … New thesaurus
Partition of Belgium — The partition of Belgium, or the dissolution of the Belgian State through the separation of the Dutch speaking peoples of the Flanders region from the French speaking peoples of the Walloon Region, granting them either independence or respective… … Wikipedia
partition — 1. partition [ partisjɔ̃ ] n. f. • particion « division, partage » 1170; lat. partitio « partage », de partiri → 2. partir I ♦ Vx Division. ♢ Mod. Blas. Division de l écu par des lignes droites. II ♦ (angl. partition) Anglic. 1 ♦ Partage (d un… … Encyclopédie Universelle
Partition Magic — PartitionMagic PartitionMagic Développeur Symantec Dernière ve … Wikipédia en Français
Partition (film) — Infobox Film name = Partition image size = caption = Movie poster for Partition director = Vic Sarin producer = Tina Pehme Kim Roberts writer = Patricia Finn Vic Sarin narrator = starring = Jimi Mistry Kristin Kreuk Neve Campbell Irfan Khan John… … Wikipedia

Dictionnaires et Encyclopédies sur 'Academic'

Partition de l'unité

Sommaire

Définitions

Définition d'une partition continue de l'unité localement finie

Définition d'une partition subordonnée à un recouvrement

Théorèmes d'existence

Exemples de partition de l'unité de l'axe réel

Applications

Notes et références

Voir aussi

Bibliographie

Articles connexes

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Partition de l'unité

Sommaire

Définitions

Définition d'une partition continue de l'unité localement finie

Définition d'une partition subordonnée à un recouvrement

Théorèmes d'existence

Exemples de partition de l'unité de l'axe réel

Applications

Notes et références

Voir aussi

Bibliographie

Articles connexes

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link