Partition de l'unité

vignette|Exemple de partition de l'unité avec quatre fonctions (rouge, bleu, vert et jaune). 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. Soient un espace topologique et un recouvrement ouvert localement fini de cet espace. 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 et la deuxième à Laurent Schwartz. Le premier théorème montre que le fait qu'un espace soit normal est une condition suffisante pour l'existence de partitions de l'unité subordonnées à un recouvrement ouvert localement fini. Le second, démontré ici dans un cas particulier mais qui se généralise à tout espace paracompact, fournit des partitions de l'unité subordonnées à un recouvrement ouvert quelconque.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (12)

Cours associés (1)

Séances de cours associées (4)

Smoothness

In mathematical analysis, the smoothness of a function is a property measured by the number of continuous derivatives it has over some domain, called differentiability class. At the very minimum, a function could be considered smooth if it is differentiable everywhere (hence continuous). At the other end, it might also possess derivatives of all orders in its domain, in which case it is said to be infinitely differentiable and referred to as a C-infinity function (or function).

Support de fonction

Le support d'une fonction ou d'une application est la partie de son ensemble de définition sur laquelle se concentre l'information utile de cette fonction. Pour une fonction numérique, c'est la partie du domaine où elle n'est pas nulle et pour un homéomorphisme ou une permutation, la partie du domaine où elle n'est pas invariante. Soit une fonction à valeurs complexes, définie sur un espace topologique . Définition : On appelle support de , noté , l'adhérence de l'ensemble des points en lesquels la fonction ne s'annule pas.

Partition de l'unité

Fonctions lisses non analytiques MATH-101(en): Analysis I (English)

Explore les fonctions lisses non analytiques, leurs propriétés et leurs applications en géométrie différentielle et en unité de partitionnement.

Invariant du support de Poisson sur les surfaces

Couvre le concept de délimitation du support Poisson invariant sur les surfaces, explorant le travail en commun avec A. Logunov et S. Tanny.

Préliminaires en théorie des mesures MATH-476: Optimal transport

Couvre les préliminaires de la théorie de la mesure, y compris les concepts de loc comp, de séparable, d'espace métrique complet et d'étanchéité.

MATH-322: Introduction to differentiable manifolds

Differentiable manifolds are a certain class of topological spaces which, in a way we will make precise, locally resemble R^n. We introduce the key concepts of this subject, such as vector fields, dif