Ouvrir le menu principal

Support d'une fonctionModifier

DéfinitionModifier

Soit   une fonction à valeurs complexes, définie sur un espace topologique  .

Définition[1] : On appelle support de  , noté  , l'adhérence de l'ensemble des points en lesquels la fonction ne s'annule pas.

 .

C'est donc une partie fermée de X.

Fonction à support compactModifier

Les fonctions continues à support compact ont des propriétés souvent utiles.

  • Les fonctions C à support compact sont utilisées pour construire des suites régularisantes. Celles-ci permettent, via un produit de convolution, d'approcher une fonction donnée par une suite de fonctions régulières.
  • Soit   un ouvert de  . Les fonctions C à support compact sont denses dans l'espace   pour  . On peut donc penser à démontrer des propriétés des espaces   en utilisant un argument de densité : on démontre d'abord la propriété sur les fonctions   à support compact et ensuite on passe à la limite.
  • L'espace des fonctions   à support compact sur un ouvert   de  , est noté  . Mais certains auteurs utilisent d'autres notations comme   ou  . En fait, les distributions sont définies comme étant les éléments du dual topologique de  , muni d'une topologie adéquate.
  • Sur un espace métrique, les fonctions continues numériques à support compact sont uniformément continues. C'est le théorème de Heine.

Support essentiel d'une fonction mesurableModifier

On veut définir le support essentiel d'une fonction mesurable   de telle façon qu'il ne dépende que de la classe d'équivalence des fonctions égales à   presque partout, c'est-à-dire sauf sur un ensemble de mesure nulle.

DéfinitionModifier

Soit   un ouvert de   et   une fonction mesurable.

Proposition : On considère l'ouvert   de   constitué des points au voisinage desquels   p.p.. Alors,   sur  .

Définition : Le support essentiel de   est :  .

Remarque : si   sur  , grâce à la proposition ci-dessus, on constate que   et donc le support essentiel d'une fonction mesurable est indépendant du représentant choisi.

ExemplesModifier

  • Dans le cas d'une fonction continue, on vérifie aisément que le support essentiel coïncide avec le support (voir supra).
  • Ce n'est plus nécessairement le cas si   n'est pas continue.
    Par exemple, considérons la fonction de Dirichlet  , c.-à-d. la fonction caractéristique de l'ensemble des rationnels. Son support est   mais son support essentiel est vide. En effet, comme la mesure de   dans   est nulle,  .

Support d'un produit de convolutionModifier

Les exemples les plus courants d'ensembles de fonctions mesurables sont les espaces Lp. Plus exactement, tous les éléments d'un espace Lp sont des classes d'égalité presque partout de fonctions mesurables.

Proposition : Soient   et   avec  . Alors

 

Remarques :

  • Le produit de convolution de deux fonctions à support compact est à support compact.
  • En général, si l'un des supports seulement est compact, alors   n'est pas à support compact.

Support d'une mesureModifier

Article détaillé : Support d'une mesure.

Le support d'une mesure borélienne (positive) sur un espace topologique est, par définition, l'intersection de tous les fermés de mesure pleine (c'est-à-dire dont le complémentaire est de mesure nulle). Certains auteurs complètent cette définition par une condition supplémentaire destinée à éviter quelques exemples pathologiques.

Sous des conditions assez couramment remplies (espace topologique à base dénombrable ou régularité de la mesure notamment), c'est le complémentaire du plus grand ouvert de mesure nulle.

Support d'une distributionModifier

DéfinitionModifier

Soit   un ouvert de   et   une distribution. On dit que   est nulle sur un ouvert   lorsque, pour toute fonction test   dont le support (comme précédemment défini) est inclus dans  , on a  .

Définition : On appelle support d'une distribution   sur   le complémentaire du plus grand ouvert sur lequel   est nulle. On le note  .

Remarque : Le support est bien défini, car si une distribution est nulle sur chacun des ouverts d'une famille, elle est nulle sur leur réunion ; son support est donc le complémentaire de la réunion de tous les ouverts sur lesquels elle est nulle.

ExemplesModifier

  • Si   est une fonction continue, alors le support ici défini est identique aux supports introduits précédemment pour les fonctions continues.
  • Si   est une mesure ou une mesure de probabilité, le support ici défini est identique à celui précédemment défini pour les mesures.
  • Si   est un multi-indice, la distribution   obtenue par différentiation de la mesure de Dirac au point  , a un support réduit au point  .

Support singulier d'une distributionModifier

Intuitivement, le support singulier d'une distribution peut être compris comme l'ensemble des points où la distribution ne peut pas être une identifiée à une fonction. Il s'agit là d'une notion différente de celle introduite jusqu'à présent.

Définition : On appelle support singulier d'une distribution  , et on note :  le complémentaire du plus grand ouvert sur lequel   est une fonction  .

Exemple :   où la distribution   est définie par   pour toute fonction  . Ici   désigne la valeur principale de Cauchy.

Pour les distributions de plusieurs variables, le support singulier permet de définir des fronts d'ondes et de comprendre le principe de Huygens en termes d'analyse mathématique.

La notion de support singulier permet d'expliquer l'impossibilité de multiplier des distributions : en gros, pour que la multiplication de deux distributions soit possible, il faut que leurs supports singuliers soient disjoints.

Support d'un champ de vecteursModifier

En géométrie différentielle, pour un champ de vecteurs X (sur un ouvert de Rn ou sur une variété) est l'adhérence des points x en lesquels X(x) est nul. Le champ X engendre un flot à un paramètre de difféomorphismes gt défini au moins localement. Le flot est globalement défini si le champ X est à support compact. Pour t non nul suffisamment petit, le support de gt est exactement le support de X.

Support d'un homéomorphismeModifier

En topologie, un homéomorphisme f de X sur X est une bijection continue et d'inverse continu. Son support est l'adhérence de l'ensemble des points en lesquels f(x) diffère de x. En particulier, en géométrie différentielle et en systèmes dynamiques, on peut s'intéresser aux difféomorphismes à support compact. Le mot difféomorphisme prend sens ici, et est un cas particulier d'homéomorphisme.

Support d'une permutationModifier

En analyse combinatoire, le support d'une permutation est le complémentaire de l'ensemble de ses points fixes. Par exemple, toute permutation sur un ensemble fini se décompose de manière unique comme produit de cycles à supports disjoints.

Remarque : En munissant l'ensemble sur lequel opère la permutation de la topologie discrète, on peut considérer la permutation comme un homéomorphisme et alors les deux définitions du support coïncident.

RéférenceModifier

  1. Walter Rudin, Analyse réelle et complexe [détail des éditions], définition 2.9.

BibliographieModifier