Aller au contenu

Semi-continuité

Un article de Wikipédia, l'encyclopédie libre.

En analyse mathématique, la semi-continuité est une propriété des fonctions définies sur un espace topologique et à valeurs dans la droite réelle achevée = ℝ ∪ {–∞, +∞} ; il s'agit d'une forme faible de la continuité. Intuitivement, une telle fonction f est dite semi-continue supérieurement en x0 si, lorsque x est proche de x0, f(x) est soit proche de f(x0), soit inférieur à f(x0). Pour définir semi-continue inférieurement, on remplace « inférieur à » par « supérieur à » dans la définition précédente.

Une fonction semi-continue supérieurement (le point complètement bleu indique f(x0)).
Une fonction semi-continue inférieurement (le point complètement bleu indique f(x0)).

Considérons la fonction f définie par f(x) = 0 pour x ≠ 0 et f(0) = 1. Cette fonction est semi-continue supérieurement, mais non semi-continue inférieurement. Plus généralement, la fonction caractéristique d'une partie A d'un espace topologique est semi-continue supérieurement si et seulement si A est fermé et semi-continue inférieurement si et seulement si A est ouvert.

La fonction partie entière f(x) = ⌊x⌋, qui retourne le plus grand entier inférieur ou égal au x donné, est semi-continue supérieurement.

La fonction f définie par f(x) = sin(1/x) pour x ≠ 0 et f(0) = 1 est semi-continue supérieurement (mais n'admet pas de limite à gauche ni à droite en 0).

La fonction de répartition d'une variable aléatoire réelle est semi-continue supérieurement.

L'application rang (taille du plus grand mineur non nul), de Mm,n(ℝ) dans ℝ, est semi-continue inférieurement, mais pas supérieurement, sauf aux points où elle atteint sa valeur maximum, min(m, n).

L'application longueur d'un arc dans un espace métrique E, ou plus généralement variation totale VI(f) d'une fonction f d'un ensemble totalement ordonné I dans E, est semi-continue inférieurement, sur l'espace de fonctions bornées B(I, E) (muni de la topologie de la convergence uniforme). Cela signifie exactement que pour tout réel positif r, la partie est fermée dans B(I, E).

Définitions formelles

[modifier | modifier le code]

Soit X un espace topologique, x0 un point de X et f une fonction de X dans .

Semi-continuité supérieure

[modifier | modifier le code]

On dit que f est semi-continue supérieurement en x0 si :

pour tout , il existe un voisinage U de x0 tel que

Si on est dans un espace métrique, la propriété suivante suffit :

, où lim sup désigne la limite supérieure d'une fonction en un point.

La fonction f est dite semi-continue supérieurement si l'une des propriétés équivalentes suivantes est vérifiée :

  • f est semi-continue supérieurement en tout point de X ;
  • pour tout réel α, l'ensemble de sur-niveau est fermé ;
  • l'hypographe est fermé.

Semi-continuité inférieure

[modifier | modifier le code]

Les notions de semi-continuité inférieure d'une fonction se définissent de manière analogue, par symétrie car elles reviennent aux notions correspondantes de semi-continuité supérieure de la fonction opposée.

On dit que f est semi-continue inférieurement en x0 si :

pour tout , il existe un voisinage U de x0 tel que

Si on est dans un espace métrique, la propriété suivante suffit :

, où lim inf désigne la limite inférieure d'une fonction en un point.

La fonction f est dite semi-continue inférieurement si l'une des propriétés équivalentes suivantes est vérifiée :

  • f est semi-continue inférieurement en tout point de X ;
  • pour tout réel α, l'ensemble de sous-niveau est fermé ;
  • l'épigraphe est fermé.

En analyse convexe, où l'épigraphe d'une fonction joue un rôle particulier (il est convexe si et seulement si la fonction est convexe), une fonction semi-continue inférieurement est dite « fermée » (parce que son épigraphe est fermé), mais la notion d'application fermée en topologie générale est différente.

Propriétés

[modifier | modifier le code]

Une fonction est continue en un point si et seulement si elle est semi-continue supérieurement et inférieurement en ce point.

Une fonction est semi-continue inférieurement si et seulement si, considérée comme fonction à valeurs dans muni de la topologie stricte à droite, elle est continue[1] (la semi-continuité supérieure se caractérise de même à l'aide de la topologie stricte à gauche).

Si f et g sont deux fonctions semi-continues supérieurement (resp. inférieurement) en x0, alors f + g l'est aussi. Si de plus les deux fonctions sont à valeurs positives ou nulles, leur produit fg est également semi-continu supérieurement (resp. inférieurement) en x0. Le produit d'une fonction semi-continue supérieurement par un réel négatif est une fonction semi-continue inférieurement.

La borne supérieure f d'une famille (fi)iI de fonctions semi-continues inférieurement de X dans est semi-continue inférieurement. En effet, pour tout réel α, l'ensemble

est une réunion d'ouverts, donc un ouvert.

Par contre, même si toutes les fonctions fi sont continues, f n'est pas nécessairement continue : en fait, sur un espace uniforme, toute fonction semi-continue inférieurement est le sup d'une famille de fonctions continues (si X est un espace métrique, cette famille peut même être choisie dénombrable, donc toute fonction réelle semi-continue sur X est de classe de Baire 1).

Si C est un compact (par exemple un intervalle fermé [a, b] de ℝ) ou même seulement un espace dénombrablement compact et si f : C → ℝ est semi-continue supérieurement, alors f est majorée sur C et atteint sa borne supérieure. La propriété est analogue pour la borne inférieure d'une fonction semi-continue inférieurement. Ces propriétés généralisent le théorème des bornes.

Semi-continuité faible

[modifier | modifier le code]

Dans le cas où X est un espace vectoriel topologique, on dit que la fonction f est faiblement semi-continue (inférieurement ou supérieurement) lorsque la limite dans la définition de semi-continuité est prise au sens de la topologie faible. Afin d'éviter les ambiguïtés, on écrira parfois fortement semi-continue pour désigner la semi-continuité définie pour la topologie forte.

Notes et références

[modifier | modifier le code]
  1. Claude Berge, Espaces topologiques : Fonctions multivoques, vol. 3, Dunod, , 2e éd., p. 80.

Article connexe

[modifier | modifier le code]

Théorème d'insertion de Katětov-Tong (en)